cprover
document_propertiest Class Reference
Collaboration diagram for document_propertiest:
[legend]

Classes

struct  doc_claimt
 
struct  linet
 

Public Member Functions

 document_propertiest (const goto_functionst &_goto_functions, std::ostream &_out)
 
void html ()
 
void latex ()
 

Private Types

enum  { HTML, LATEX }
 

Private Member Functions

void get_code (const source_locationt &source_location, std::string &dest)
 
void doit ()
 

Static Private Member Functions

static void strip_space (std::list< linet > &lines)
 

Private Attributes

const goto_functionstgoto_functions
 
std::ostream & out
 
enum document_propertiest:: { ... }  format
 

Detailed Description

Definition at line 22 of file document_properties.cpp.

Member Enumeration Documentation

§ anonymous enum

anonymous enum
private
Enumerator
HTML 
LATEX 

Definition at line 66 of file document_properties.cpp.

Constructor & Destructor Documentation

§ document_propertiest()

document_propertiest::document_propertiest ( const goto_functionst _goto_functions,
std::ostream &  _out 
)
inline

Definition at line 25 of file document_properties.cpp.

Referenced by document_properties_html(), and document_properties_latex().

Member Function Documentation

§ doit()

§ get_code()

void document_propertiest::get_code ( const source_locationt source_location,
std::string &  dest 
)
private

§ html()

void document_propertiest::html ( )
inline

Definition at line 33 of file document_properties.cpp.

References doit(), format, and HTML.

§ latex()

void document_propertiest::latex ( )
inline

Definition at line 39 of file document_properties.cpp.

References doit(), format, and LATEX.

§ strip_space()

void document_propertiest::strip_space ( std::list< linet > &  lines)
staticprivate

Definition at line 71 of file document_properties.cpp.

References MAXWIDTH.

Referenced by get_code().

Member Data Documentation

§ format

enum { ... } document_propertiest::format

Referenced by doit(), get_code(), html(), and latex().

§ goto_functions

const goto_functionst& document_propertiest::goto_functions
private

Definition at line 46 of file document_properties.cpp.

Referenced by doit().

§ out

std::ostream& document_propertiest::out
private

Definition at line 47 of file document_properties.cpp.

Referenced by doit().


The documentation for this class was generated from the following file: