Scanning and parsing of (restricted) PRISM models. More...

#include <Pdriver.hh>

Public Member Functions
	p_driver (Model &model, std::vector< std::pair< std::string, std::string >> const &defines, Verbosity::Level verbosity=Verbosity::Silent)
	Constructor.

void	scan_begin (void)
	Starts the scanner.

void	scan_end (void)
	Ends the scanner.

int	parse (std::string const &f)
	Runs the parser. More...

void	error (pparser::location const &l, std::string const &m)
	Error handling function for the scanner.

void	error (std::string const &m)
	Error handling function for the scanner.

void	semantic_error (ast::LocationType const &l, std::string const &m) const
	Semantic error handling for the driver.

Public Attributes
std::string	file

std::vector< ast::Label >	labels

std::vector< ast::Constant >	constants

std::vector< ast::Formula >	formulae

std::vector< ast::Module >	modules

std::vector< ast::ModuleRenaming >	renamings

std::vector< ast::RewardSection >	rewards

std::vector< ast::Player >	players

std::vector< ast::Variable >	globals

Verbosity::Level	verbosity

ast::ModelType	modelType

Detailed Description

Scanning and parsing of (restricted) PRISM models.

Member Function Documentation

int p_driver::parse ( std::string const & f )

Runs the parser.

The documentation for this class was generated from the following files: