#include <buffalo.h>

Public Member Functions
ProductionRule &	operator+ (Terminal< G > &rhs)

ProductionRule &	operator+ (NonTerminal< G > &rhs)

ProductionRule &	Short (Terminal< G > &lookahead)

ProductionRule &	operator<=> (typename NonTerminal< G >::TransductorType tranductor)

bool	operator== (ProductionRule< G > const &other) const

void	Transduce (ValueTokenAccessor< G > &$) const

	ProductionRule (Terminal< G > &terminal)

	ProductionRule (NonTerminal< G > &nonterminal)

Protected Attributes
NonTerminal< G >::TransductorType	transductor_ = nullptr

std::vector< Symbol< G > >	sequence_

std::size_t	precedence = -1

NonTerminal< G > *	non_terminal_ = nullptr

std::set< Terminal< G > * >	short_circuit_

struct {

}	attr_

Friends
class	Grammar< G >

struct	LRItem< G >

class	Parser< G >

class	SLRParser< G >

class	GrammarDefinitionError< G >

Detailed Description

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

Definition at line 588 of file buffalo.h.

Constructor & Destructor Documentation

◆ ProductionRule() [1/2]

template<IGrammar G>

bf::ProductionRule< G >::ProductionRule ( Terminal< G > & terminal )

inline

Definition at line 678 of file buffalo.h.

◆ ProductionRule() [2/2]

template<IGrammar G>

bf::ProductionRule< G >::ProductionRule ( NonTerminal< G > & nonterminal )

inline

Definition at line 679 of file buffalo.h.

Member Function Documentation

◆ operator+() [1/2]

template<IGrammar G>

ProductionRule & bf::ProductionRule< G >::operator+ ( NonTerminal< G > & rhs )

inline

Definition at line 615 of file buffalo.h.

◆ operator+() [2/2]

template<IGrammar G>

ProductionRule & bf::ProductionRule< G >::operator+ ( Terminal< G > & rhs )

inline

Definition at line 608 of file buffalo.h.

◆ operator<=>()

template<IGrammar G>

ProductionRule & bf::ProductionRule< G >::operator<=> ( typename NonTerminal< G >::TransductorType tranductor )

inline

Definition at line 635 of file buffalo.h.

◆ operator==()

template<IGrammar G>

bool bf::ProductionRule< G >::operator== ( ProductionRule< G > const & other ) const

inline

Definition at line 642 of file buffalo.h.

◆ Short()

template<IGrammar G>

ProductionRule & bf::ProductionRule< G >::Short ( Terminal< G > & lookahead )

inline

"Short Circuits" the rule for a particular lookahead. This will ensure that this rule is not considered when a specific lookahead is ahead.

Parameters

lookahead Lookahead to short circuit on

Returns

Definition at line 628 of file buffalo.h.

◆ Transduce()

template<IGrammar G>

void bf::ProductionRule< G >::Transduce ( ValueTokenAccessor< G > & $ ) const

inline

Definition at line 665 of file buffalo.h.

Friends And Related Symbol Documentation