spot  1.99.8
Public Member Functions | Public Attributes | List of all members
spot::parsed_formula Struct Referencefinal

The result of a formula parser. More...

#include <spot/tl/parse.hh>

Collaboration diagram for spot::parsed_formula:
Collaboration graph

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...
 

Detailed Description

The result of a formula parser.

Member Function Documentation

bool spot::parsed_formula::format_errors ( std::ostream &  os)

Format diagnostics.

Parameters
osWhere diagnostics should be output.
Returns
true iff any diagnostic was output.

Member Data Documentation

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.

See also
format_errors
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.


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

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Thu Feb 18 2016 13:37:06 for spot by doxygen 1.8.9.1