NwaParser.cpp File Reference

Namespaces
namespace	opennwa
	This file defines forward declarations for various useful NWA-related types.
namespace	opennwa::parser
namespace	opennwa::parser::details
Typedefs
typedef wali::Triple < wali::Key, wali::Key, wali::Key >	opennwa::parser::details::KeyTriple
	READ_TRIPLE and READ_QUAD.
typedef wali::Quad< wali::Key, wali::Key, wali::Key, wali::Key >	opennwa::parser::details::KeyQuad
Functions
void	opennwa::parser::details::discardws (std::istream &is)
std::string	opennwa::parser::details::read_lit (std::istream &is, std::string const &lit)
bool	opennwa::parser::details::is_lparen (int c)
	READ_TOKEN and READ_NAME.
bool	opennwa::parser::details::is_rparen (int c)
std::string	opennwa::parser::details::read_token (std::istream &is)
std::string	opennwa::parser::details::read_name (std::istream &is)
KeyTriple	opennwa::parser::details::read_triple (std::istream &is)
KeyQuad	opennwa::parser::details::read_quad (std::istream &is)
template<typename UnitType >
std::vector< UnitType >	opennwa::parser::details::read_list (std::istream &is, UnitType(*unitParser)(std::istream &is))
	READ_LIST.
std::vector< std::string >	opennwa::parser::details::read_name_list (std::istream &is)
	READ_NAME_LIST, READ_TRIPLE_LIST, READ_QUAD_LIST.
std::vector< KeyTriple >	opennwa::parser::details::read_triple_list (std::istream &is)
std::vector< KeyQuad >	opennwa::parser::details::read_quad_list (std::istream &is)
void	opennwa::parser::details::read_sigma_block (std::istream &is, NwaRefPtr nwa)
	READ_SIGMA_BLOCK, READ_STATE_BLOCK, READ_DELTA_BLOCK.
void	opennwa::parser::details::read_state_block (std::istream &is, NwaRefPtr nwa)
void	opennwa::parser::details::read_delta_block (std::istream &is, NwaRefPtr nwa)
void	opennwa::parser::details::read_block (std::istream &is, NwaRefPtr nwa)
	READ_BLOCK.
NwaRefPtr	opennwa::read_nwa (std::istream &is, std::string *name=NULL)
	Reads a single NWA from 'is'.
ProcedureMap	opennwa::read_nwa_proc_set (std::istream &is)
	Reads a stream full of NWA descriptions, returning the set of named NWAs.
Variables
int	opennwa::parser::details::lineno
	DISCARDWS.