Main Page | Modules | Namespace List | Class Hierarchy | Class List | Directories | File List | Namespace Members | Class Members | File Members

public.hh File Reference

#include "evtgba/explicit.hh"
#include "ltlparse/location.hh"
#include <string>
#include <list>
#include <utility>
#include <iosfwd>

Include dependency graph for public.hh:

Go to the source code of this file.

Namespaces

namespace  spot

Typedefs

typedef std::pair< yy::Location,
std::string > 
evtgba_parse_error
 A parse diagnostic with its location.
typedef std::list< evtgba_parse_errorevtgba_parse_error_list
 A list of parser diagnostics, as filled by parse.

Functions

evtgba_explicit * evtgba_parse (const std::string &filename, evtgba_parse_error_list &error_list, bool debug=false)
 Build a spot::evtgba_explicit from a text file.
bool format_evtgba_parse_errors (std::ostream &os, evtgba_parse_error_list &error_list)
 Format diagnostics produced by spot::evtgba_parse.


Typedef Documentation

typedef std::pair<yy::Location, std::string> spot::evtgba_parse_error
 

A parse diagnostic with its location.

typedef std::list<evtgba_parse_error> spot::evtgba_parse_error_list
 

A list of parser diagnostics, as filled by parse.


Function Documentation

evtgba_explicit* evtgba_parse const std::string &  filename,
evtgba_parse_error_list error_list,
bool  debug = false
 

Build a spot::evtgba_explicit from a text file.

Parameters:
filename The name of the file to parse.
error_list A list that will be filled with parse errors that occured during parsing.
debug When true, causes the parser to trace its execution.
Returns:
A pointer to the evtgba built from filename, or 0 if the file could not be opened.
Note that the parser usually tries to recover from errors. It can return an non zero value even if it encountered error during the parsing of filename. If you want to make sure filename was parsed succesfully, check error_list for emptiness.

Warning:
This function is not reentrant.

bool format_evtgba_parse_errors std::ostream &  os,
evtgba_parse_error_list error_list
 

Format diagnostics produced by spot::evtgba_parse.

Parameters:
os Where diagnostics should be output.
error_list The error list filled by spot::ltl::parse while parsing ltl_string.
Returns:
true iff any diagnostic was output.


Please comment this page and report errors about it on the RefDocComments page.
Generated on Mon Jan 31 12:54:33 2005 for spot by doxygen 1.4.0