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 709 of file buffalo.h.

Constructor & Destructor Documentation

Grammar() [1/2]

template<IGrammar G>

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

inline

Definition at line 886 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 752 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 793 of file buffalo.h.

HasNonTerminal()

template<IGrammar G>

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

inline

Definition at line 733 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 743 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 738 of file buffalo.h.

RegisterSymbols()

template<IGrammar G>

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

inline

Definition at line 850 of file buffalo.h.

Friends And Related Symbol Documentation

Parser< G >

template<IGrammar G>

friend class Parser< G >

friend

Definition at line 697 of file buffalo.h.

SLRParser< G >

template<IGrammar G>

friend class SLRParser< G >

friend

Definition at line 697 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 719 of file buffalo.h.

first_

template<IGrammar G>

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

protected

Definition at line 724 of file buffalo.h.

follow_

template<IGrammar G>

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

protected

Definition at line 725 of file buffalo.h.

nonterminals_

template<IGrammar G>

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

protected

Definition at line 721 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 728 of file buffalo.h.

root

template<IGrammar G>

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

Definition at line 731 of file buffalo.h.

terminals_

template<IGrammar G>

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

protected

Definition at line 722 of file buffalo.h.

---

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

• include/buffalo/buffalo.h