spot
1.99.8
|
The result of a formula parser. More...
#include <spot/tl/parse.hh>
Public Member Functions | |
parsed_formula (const std::string &str="") | |
bool | format_errors (std::ostream &os) |
Format diagnostics. More... | |
Public Attributes | |
formula | f = nullptr |
The parsed formula. More... | |
std::string | input |
The input text, before parsing. More... | |
parse_error_list | errors |
Syntax errors that occurred during parsing. More... | |
The result of a formula parser.
bool spot::parsed_formula::format_errors | ( | std::ostream & | os | ) |
Format diagnostics.
os | Where diagnostics should be output. |
true
iff any diagnostic was output. parse_error_list spot::parsed_formula::errors |
Syntax errors that occurred during parsing.
Note that the parser does not print any diagnostic. Deciding how to output those errors is up to you.
formula spot::parsed_formula::f = nullptr |
The parsed formula.
This could be formula(nullptr) in case of a serious parse error.
std::string spot::parsed_formula::input |
The input text, before parsing.