bf::Grammar< G > Class Template Reference

#include <buffalo.h>

Public Member Functions
bool	HasNonTerminal (NonTerminal< G > &non_terminal) const
bool	NonTerminalHasFollow (NonTerminal< G > &non_terminal, Terminal< G > &terminal) const
bool	NonTerminalHasFirst (NonTerminal< G > &non_terminal, Terminal< G > &terminal) const
void	GenerateFirstSet ()
void	GenerateFollowSet ()
void	RegisterSymbols (NonTerminal< G > *nonterminal)
	Grammar (NonTerminal< G > &start)
	Grammar ()=delete

Public Attributes
NonTerminal< G > &	root

Protected Attributes
std::unique_ptr< Terminal< G > >	EOS
std::set< NonTerminal< G > * >	nonterminals_
std::set< Terminal< G > * >	terminals_
std::map< NonTerminal< G > *, std::set< Terminal< G > * > >	first_
std::map< NonTerminal< G > *, std::set< Terminal< G > * > >	follow_
std::vector< std::pair< NonTerminal< G > *, ProductionRule< G > > >	production_rules_
	List of all production rules along with their respective NonTerminal.

Friends
class	Parser< G >
class	SLRParser< G >

Detailed Description

template<IGrammar G>
class bf::Grammar< G >

Definition at line 703 of file buffalo.h.

Constructor & Destructor Documentation

Grammar() [1/2]

template<IGrammar G>

bf::Grammar< G >::Grammar ( NonTerminal< G > &  start )

inline

Definition at line 880 of file buffalo.h.

Grammar() [2/2]

template<IGrammar G>

bf::Grammar< G >::Grammar ( )

delete

Member Function Documentation

GenerateFirstSet()

template<IGrammar G>

void bf::Grammar< G >::GenerateFirstSet ( )

inline

Simple, but somewhat inefficient algorithm for generating FIRST sets. The FIRST set is the set of all Terminals that a NonTerminal can begin with.

Definition at line 746 of file buffalo.h.

GenerateFollowSet()

template<IGrammar G>

void bf::Grammar< G >::GenerateFollowSet ( )

inline

Simple, but somewhat inefficient algorithm for generating FOLLOW sets. The FOLLOW set is the set of all Terminals that can follow a NonTerminal.

Definition at line 787 of file buffalo.h.

HasNonTerminal()

template<IGrammar G>

bool bf::Grammar< G >::HasNonTerminal ( NonTerminal< G > &  non_terminal ) const

inline

Definition at line 727 of file buffalo.h.

NonTerminalHasFirst()

template<IGrammar G>

bool bf::Grammar< G >::NonTerminalHasFirst ( NonTerminal< G > &  non_terminal, Terminal< G > &  terminal  ) const

inline

Definition at line 737 of file buffalo.h.

NonTerminalHasFollow()

template<IGrammar G>

bool bf::Grammar< G >::NonTerminalHasFollow ( NonTerminal< G > &  non_terminal, Terminal< G > &  terminal  ) const

inline

Definition at line 732 of file buffalo.h.

RegisterSymbols()

template<IGrammar G>

void bf::Grammar< G >::RegisterSymbols ( NonTerminal< G > *  nonterminal )

inline

Definition at line 844 of file buffalo.h.

Friends And Related Symbol Documentation

Parser< G >

template<IGrammar G>

friend class Parser< G >

friend

Definition at line 691 of file buffalo.h.

SLRParser< G >

template<IGrammar G>

friend class SLRParser< G >

friend

Definition at line 691 of file buffalo.h.

Member Data Documentation

EOS

template<IGrammar G>

std::unique_ptr<Terminal<G> > bf::Grammar< G >::EOS

protected

Unique pointer to an EOS terminal for this grammar. This allows the grammar to be moved while still retaining the ability to perform pointer comparison on the EOS terminal.

Definition at line 713 of file buffalo.h.

first_

template<IGrammar G>

std::map<NonTerminal<G>*, std::set<Terminal<G>*> > bf::Grammar< G >::first_

protected

Definition at line 718 of file buffalo.h.

follow_

template<IGrammar G>

std::map<NonTerminal<G>*, std::set<Terminal<G>*> > bf::Grammar< G >::follow_

protected

Definition at line 719 of file buffalo.h.

nonterminals_

template<IGrammar G>

std::set<NonTerminal<G>*> bf::Grammar< G >::nonterminals_

protected

Definition at line 715 of file buffalo.h.

production_rules_

template<IGrammar G>

std::vector<std::pair<NonTerminal<G>*, ProductionRule<G> > > bf::Grammar< G >::production_rules_

protected

List of all production rules along with their respective NonTerminal.

Definition at line 722 of file buffalo.h.

root

template<IGrammar G>

NonTerminal<G>& bf::Grammar< G >::root

Definition at line 725 of file buffalo.h.

terminals_

template<IGrammar G>

std::set<Terminal<G>*> bf::Grammar< G >::terminals_

protected

Definition at line 716 of file buffalo.h.

---

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

• include/buffalo/buffalo.h