mCRL2
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
mcrl2::core::parser_table Struct Reference

Wrapper for D_ParserTables. More...

#include <dparser.h>

Public Member Functions

 parser_table (D_ParserTables &table)
 
std::string tree (const core::parse_node &node) const
 
unsigned int symbol_count () const
 
std::string symbol_name (unsigned int i) const
 
std::string symbol_name (const parse_node &node) const
 
int start_symbol (unsigned int i) const
 
bool is_term_symbol (unsigned int i) const
 
unsigned int start_symbol_index (const std::string &name) const
 
void print () const
 

Public Attributes

D_ParserTables & m_table
 

Detailed Description

Wrapper for D_ParserTables.

Definition at line 116 of file dparser.h.

Constructor & Destructor Documentation

◆ parser_table()

mcrl2::core::parser_table::parser_table ( D_ParserTables &  table)
inlineexplicit

Definition at line 120 of file dparser.h.

Member Function Documentation

◆ is_term_symbol()

bool mcrl2::core::parser_table::is_term_symbol ( unsigned int  i) const

Definition at line 144 of file dparser.cpp.

◆ print()

void mcrl2::core::parser_table::print ( ) const

Definition at line 162 of file dparser.cpp.

◆ start_symbol()

int mcrl2::core::parser_table::start_symbol ( unsigned int  i) const

Definition at line 138 of file dparser.cpp.

◆ start_symbol_index()

unsigned int mcrl2::core::parser_table::start_symbol_index ( const std::string &  name) const

Definition at line 149 of file dparser.cpp.

◆ symbol_count()

unsigned int mcrl2::core::parser_table::symbol_count ( ) const

Definition at line 109 of file dparser.cpp.

◆ symbol_name() [1/2]

std::string mcrl2::core::parser_table::symbol_name ( const parse_node &  node) const

Definition at line 132 of file dparser.cpp.

◆ symbol_name() [2/2]

std::string mcrl2::core::parser_table::symbol_name ( unsigned int  i) const

Definition at line 115 of file dparser.cpp.

◆ tree()

std::string mcrl2::core::parser_table::tree ( const core::parse_node &  node) const

Definition at line 94 of file dparser.cpp.

Member Data Documentation

◆ m_table

D_ParserTables& mcrl2::core::parser_table::m_table

Definition at line 118 of file dparser.h.

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