document_properties.cpp File Reference

Subgoal Documentation. More...

#include "document_properties.h"
#include <fstream>
#include <util/string2int.h>
#include <ansi-c/expr2c.h>

Include dependency graph for document_properties.cpp:

Go to the source code of this file.

Classes
class	document_propertiest
struct	document_propertiest::linet
struct	document_propertiest::doc_claimt

Macros
#define	MAXWIDTH   62

Functions
std::string	escape_latex (const std::string &s, bool alltt)
std::string	escape_html (const std::string &s)
bool	is_empty (const std::string &s)
void	document_properties_html (const goto_functionst &goto_functions, std::ostream &out)
void	document_properties_latex (const goto_functionst &goto_functions, std::ostream &out)

Detailed Description

Subgoal Documentation.

Definition in file document_properties.cpp.

Macro Definition Documentation

MAXWIDTH

#define MAXWIDTH   62

Definition at line 20 of file document_properties.cpp.

Referenced by document_propertiest::strip_space().

Function Documentation

document_properties_html()

void document_properties_html	(	const goto_functionst &	goto_functions,
		std::ostream &	out
	)

Definition at line 362 of file document_properties.cpp.

References document_propertiest::html().

Referenced by goto_instrument_parse_optionst::doit().

document_properties_latex()

void document_properties_latex	(	const goto_functionst &	goto_functions,
		std::ostream &	out
	)

Definition at line 369 of file document_properties.cpp.

References document_propertiest::latex().

Referenced by goto_instrument_parse_optionst::doit().

escape_html()

std::string escape_html

(

const std::string &

s

)

Definition at line 121 of file document_properties.cpp.

Referenced by document_propertiest::doit(), and document_propertiest::get_code().

escape_latex()

std::string escape_latex	(	const std::string &	s,
		bool	alltt
	)

Definition at line 100 of file document_properties.cpp.

Referenced by document_propertiest::doit(), and document_propertiest::get_code().

is_empty()

bool is_empty

(

const std::string &

s

)

Definition at line 139 of file document_properties.cpp.

Referenced by string_constraint_generatort::add_axioms_for_is_empty(), string_constraint_generatort::add_axioms_for_substring(), and document_propertiest::get_code().