Class for parsing files containing CSP notation. More...
#include <VCDFileParser.hpp>
Public Member Functions | |
VCDFileParser () | |
Create a new parser/. More... | |
virtual | ~VCDFileParser () |
VCDFile * | parse_file (const std::string &filepath) |
Parse the suppled file. More... | |
void | error (const VCDParser::location &l, const std::string &m) |
Reports errors to stderr. More... | |
void | error (const std::string &m) |
Reports errors to stderr. More... | |
Data Fields | |
std::string | filepath |
The current file being parsed. More... | |
bool | trace_scanning |
Should we debug tokenising? More... | |
bool | trace_parsing |
Should we debug parsing of tokens? More... | |
VCDTime | start_time |
Ignore anything before this timepoint. More... | |
VCDTime | end_time |
Ignore anything after this timepoint. More... | |
VCDFile * | fh |
Current file being parsed and constructed. More... | |
std::stack< VCDScope * > | scopes |
Current stack of scopes being parsed. More... | |
Protected Member Functions | |
void | scan_begin () |
Utility function for starting parsing. More... | |
void | scan_end () |
Utility function for stopping parsing. More... | |
Class for parsing files containing CSP notation.
Definition at line 28 of file VCDFileParser.hpp.
VCDFileParser::VCDFileParser | ( | ) |
Create a new parser/.
Definition at line 9 of file VCDFileParser.cpp.
|
virtual |
Definition at line 19 of file VCDFileParser.cpp.
void VCDFileParser::error | ( | const VCDParser::location & | l, |
const std::string & | m | ||
) |
Reports errors to stderr.
Definition at line 70 of file VCDFileParser.cpp.
void VCDFileParser::error | ( | const std::string & | m | ) |
Reports errors to stderr.
Definition at line 77 of file VCDFileParser.cpp.
VCDFile * VCDFileParser::parse_file | ( | const std::string & | filepath | ) |
Parse the suppled file.
Definition at line 23 of file VCDFileParser.cpp.
|
protected |
Utility function for starting parsing.
|
protected |
Utility function for stopping parsing.
VCDTime VCDFileParser::end_time |
Ignore anything after this timepoint.
Definition at line 56 of file VCDFileParser.hpp.
VCDFile* VCDFileParser::fh |
Current file being parsed and constructed.
Definition at line 65 of file VCDFileParser.hpp.
std::string VCDFileParser::filepath |
The current file being parsed.
Definition at line 44 of file VCDFileParser.hpp.
std::stack<VCDScope*> VCDFileParser::scopes |
Current stack of scopes being parsed.
Definition at line 68 of file VCDFileParser.hpp.
VCDTime VCDFileParser::start_time |
Ignore anything before this timepoint.
Definition at line 53 of file VCDFileParser.hpp.
bool VCDFileParser::trace_parsing |
Should we debug parsing of tokens?
Definition at line 50 of file VCDFileParser.hpp.
bool VCDFileParser::trace_scanning |
Should we debug tokenising?
Definition at line 47 of file VCDFileParser.hpp.