CBMC
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
preprocessort Class Referenceabstract

#include <preprocessor.h>

+ Inheritance diagram for preprocessort:
+ Collaboration diagram for preprocessort:

Public Member Functions

  preprocessort (std::istream &_in, std::ostream &_out, message_handlert &_message_handler, const std::string &_filename)
 
 
 
- Public Member Functions inherited from messaget
 
 
  messaget (const messaget &other)
 
 
 
 
mstreamtget_mstream (unsigned message_level) const
 
 
 
 
 
 
 
 
  Generate output to message_stream using output_generator if the configured verbosity is at least as high as that of message_stream.
 

Public Attributes

std::istream &  in
 
std::ostream &  out
 
std::string  filename
 

Additional Inherited Members

- Public Types inherited from messaget
enum   message_levelt {
  M_ERROR =1 , M_WARNING =2 , M_RESULT =4 , M_STATUS =6 ,
  M_STATISTICS =8 , M_PROGRESS =9 , M_DEBUG =10
}
 
- Static Public Member Functions inherited from messaget
  Parse a (user-)provided string as a verbosity level and set it as the verbosity of dest.
 
  Create an ECMA-48 SGR (Select Graphic Rendition) command.
 
- Static Public Attributes inherited from messaget
 
  return to default formatting, as defined by the terminal
 
  render text with red foreground color
 
  render text with green foreground color
 
  render text with yellow foreground color
 
  render text with blue foreground color
 
  render text with magenta foreground color
 
  render text with cyan foreground color
 
  render text with bright red foreground color
 
  render text with bright green foreground color
 
  render text with bright yellow foreground color
 
  render text with bright blue foreground color
 
  render text with bright magenta foreground color
 
  render text with bright cyan foreground color
 
  render text with bold font
 
  render text with faint font
 
  render italic text
 
  render underlined text
 
  Start quoted text.
 
  End quoted text.
 
- Protected Attributes inherited from messaget
 
 

Detailed Description

Definition at line 20 of file preprocessor.h.

Constructor & Destructor Documentation

◆  preprocessort()

preprocessort::preprocessort ( std::istream &  _in,
std::ostream &  _out,
message_handlert_message_handler,
const std::string &  _filename 
)
inline

Definition at line 23 of file preprocessor.h.

◆  ~preprocessort()

virtual preprocessort::~preprocessort ( )
inlinevirtual

Definition at line 34 of file preprocessor.h.

Member Function Documentation

◆  preprocessor()

virtual void preprocessort::preprocessor ( )
pure virtual

Member Data Documentation

◆  filename

std::string preprocessort::filename

Definition at line 38 of file preprocessor.h.

◆  in

std::istream& preprocessort::in

Definition at line 36 of file preprocessor.h.

◆  out

std::ostream& preprocessort::out

Definition at line 37 of file preprocessor.h.


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

AltStyle によって変換されたページ (->オリジナル) /