|
cprover
|
#include <preprocessor.h>
Public Member Functions | |
| preprocessort (std::istream &_in, std::ostream &_out, message_handlert &_message_handler, const std::string &_filename) | |
| virtual | ~preprocessort () |
| virtual void | preprocessor ()=0 |
Public Attributes | |
| std::istream & | in |
| std::ostream & | out |
| std::string | filename |
Additional Inherited Members |
Definition at line 20 of file preprocessor.h.
|
inline |
Definition at line 23 of file preprocessor.h.
|
inlinevirtual |
Definition at line 34 of file preprocessor.h.
|
pure virtual |
| std::string preprocessort::filename |
Definition at line 38 of file preprocessor.h.
| std::istream& preprocessort::in |
Definition at line 36 of file preprocessor.h.
| std::ostream& preprocessort::out |
Definition at line 37 of file preprocessor.h.