#include <lalr.h>

Collaboration diagram for Automaton:

Public Types
typedef Node< Read >	ReadsGraph

typedef ReadsGraph::iterator	ReadNode

typedef Node< Include >	IncludesGraph

typedef IncludesGraph::iterator	IncludeNode

Public Member Functions
	Automaton (Grammar *g)

QPair< StatePointer, bool >	internState (const State &state)

void	build ()

void	buildNullables ()

void	buildLookbackSets ()

void	buildDirectReads ()

void	buildReadsDigraph ()

void	buildReads ()

void	visitReadNode (ReadNode node)

void	buildIncludesAndFollows ()

void	buildIncludesDigraph ()

void	visitIncludeNode (IncludeNode node)

void	buildLookaheads ()

void	buildDefaultReduceActions ()

void	closure (StatePointer state)

int	id (RulePointer rule)

int	id (StatePointer state)

int	id (Name name)

void	dump (QTextStream &out, IncludeNode incl)

void	dump (QTextStream &out, ReadNode rd)

void	dump (QTextStream &out, const Lookback &lp)

Public Attributes
Grammar *	_M_grammar

StateList	states

StatePointer	start

NameSet	nullables

QMultiMap< ItemPointer, Lookback >	lookbacks

QMap< ItemPointer, NameSet >	lookaheads

Detailed Description

Definition at line 310 of file lalr.h.

Member Typedef Documentation

◆ IncludeNode

typedef IncludesGraph::iterator Automaton::IncludeNode

Definition at line 321 of file lalr.h.

◆ IncludesGraph

typedef Node<Include> Automaton::IncludesGraph

Definition at line 320 of file lalr.h.

◆ ReadNode

typedef ReadsGraph::iterator Automaton::ReadNode

Definition at line 318 of file lalr.h.

◆ ReadsGraph

typedef Node<Read> Automaton::ReadsGraph

Definition at line 317 of file lalr.h.

Constructor & Destructor Documentation

◆ Automaton()

Automaton::Automaton ( Grammar * g )

Definition at line 236 of file lalr.cpp.

Member Function Documentation

◆ build()

void Automaton::build ( )

Definition at line 257 of file lalr.cpp.

References _M_grammar, buildDefaultReduceActions(), buildIncludesAndFollows(), buildLookaheads(), buildLookbackSets(), buildNullables(), buildReads(), closure(), Grammar::goal, State::insert(), internState(), and item.

Referenced by main().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ buildDefaultReduceActions()

void Automaton::buildDefaultReduceActions ( )

Definition at line 724 of file lalr.cpp.

References item, lookaheads, Q_ASSERT, QMap< Key, T >::size(), state, and QMap< Key, T >::value().

Referenced by build().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ buildDirectReads()

void Automaton::buildDirectReads ( )

Definition at line 445 of file lalr.cpp.

References _M_grammar, Qt::endl(), Grammar::isNonTerminal(), Grammar::isTerminal(), and qerr().

Referenced by buildReads().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ buildIncludesAndFollows()

void Automaton::buildIncludesAndFollows ( )

Definition at line 565 of file lalr.cpp.

References Node< _Tp >::begin_nodes(), buildIncludesDigraph(), Node< _Tp >::end_nodes(), and visitIncludeNode().

Referenced by build().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ buildIncludesDigraph()

void Automaton::buildIncludesDigraph ( )

Definition at line 586 of file lalr.cpp.

References _M_grammar, A, dot(), Qt::endl(), Node< _Tp >::get(), Grammar::isNonTerminal(), it, qerr(), rule, and Grammar::rule_map.

Referenced by buildIncludesAndFollows().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ buildLookaheads()

void Automaton::buildLookaheads ( )

Definition at line 693 of file lalr.cpp.

References dump(), Qt::endl(), QMap< Key, T >::insert(), it, item, lookaheads, lookbacks, Lookback::nt, qerr(), and Lookback::state.

Referenced by build().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ buildLookbackSets()

void Automaton::buildLookbackSets ( )

Definition at line 391 of file lalr.cpp.

References _M_grammar, A, dot(), Qt::endl(), QMultiMap< Key, T >::insert(), Grammar::isNonTerminal(), it, item, lookbacks, Q_ASSERT, qerr(), rule, and Grammar::rule_map.

Referenced by build().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ buildNullables()

void Automaton::buildNullables ( )

Definition at line 277 of file lalr.cpp.

References _M_grammar, Qt::endl(), nullables, qerr(), rule, and Grammar::rules.

Referenced by build().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ buildReads()

void Automaton::buildReads ( )

Definition at line 509 of file lalr.cpp.

References Node< _Tp >::begin_nodes(), buildDirectReads(), buildReadsDigraph(), Node< _Tp >::end_nodes(), and visitReadNode().

Referenced by build().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ buildReadsDigraph()

void Automaton::buildReadsDigraph ( )

Definition at line 474 of file lalr.cpp.

References _M_grammar, dump(), Qt::endl(), Node< _Tp >::get(), Grammar::isNonTerminal(), nullables, and qerr().

Referenced by buildReads().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ closure()

void Automaton::closure ( StatePointer state )

Definition at line 327 of file lalr.cpp.

References _M_grammar, closure(), Item::dot, QList< T >::empty(), QList< T >::front(), internState(), Grammar::isNonTerminal(), it, item, QStack< T >::pop(), QList< T >::pop_front(), QStack< T >::push(), QList< T >::push_back(), rule, Item::rule, Grammar::rule_map, state, and QStack< T >::top().

Referenced by build(), and closure().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ dump() [1/3]

void Automaton::dump	(	QTextStream &	out,
		const Lookback &	lp
	)

Definition at line 762 of file lalr.cpp.

References Lookback::nt, out, and Lookback::state.

◆ dump() [2/3]

void Automaton::dump	(	QTextStream &	out,
		IncludeNode	incl
	)

Definition at line 752 of file lalr.cpp.

References out.

Referenced by buildLookaheads(), buildReadsDigraph(), and visitIncludeNode().

Here is the caller graph for this function:

◆ dump() [3/3]

void Automaton::dump	(	QTextStream &	out,
		ReadNode	rd
	)

◆ id() [1/3]

int Automaton::id ( Name name )

Definition at line 247 of file lalr.cpp.

References _M_grammar, and Grammar::names.

◆ id() [2/3]

int Automaton::id ( RulePointer rule )

Definition at line 242 of file lalr.cpp.

References _M_grammar, rule, and Grammar::rules.

Referenced by CppGenerator::operator()(), DotGraph::operator()(), and ParseTable::operator()().

Here is the caller graph for this function:

◆ id() [3/3]

int Automaton::id ( StatePointer state )

Definition at line 252 of file lalr.cpp.

References state.

◆ internState()

QPair< StatePointer, bool > Automaton::internState ( const State & state )

Definition at line 299 of file lalr.cpp.

References QSet< T >::end(), it, qMakePair(), and state.

Referenced by build(), and closure().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ visitIncludeNode()

void Automaton::visitIncludeNode ( IncludeNode node )

Definition at line 647 of file lalr.cpp.

References dump(), Qt::endl(), QStack< T >::pop(), QStack< T >::push(), qerr(), qMin(), QStack< T >::top(), and visitIncludeNode().

Referenced by buildIncludesAndFollows(), and visitIncludeNode().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ visitReadNode()

void Automaton::visitReadNode ( ReadNode node )

Definition at line 528 of file lalr.cpp.

References QStack< T >::pop(), QStack< T >::push(), qMin(), QStack< T >::top(), and visitReadNode().

Referenced by buildReads(), and visitReadNode().

Here is the call graph for this function:

Here is the caller graph for this function:

Member Data Documentation

◆ _M_grammar

Grammar* Automaton::_M_grammar

Definition at line 352 of file lalr.h.

Referenced by build(), buildDirectReads(), buildIncludesDigraph(), buildLookbackSets(), buildNullables(), buildReadsDigraph(), closure(), id(), id(), DotGraph::operator()(), ParseTable::operator()(), and _Bucket::toState().

◆ lookaheads

QMap<ItemPointer, NameSet> Automaton::lookaheads

Definition at line 357 of file lalr.h.

Referenced by buildDefaultReduceActions(), buildLookaheads(), CppGenerator::operator()(), and ParseTable::operator()().

◆ lookbacks

QMultiMap<ItemPointer, Lookback> Automaton::lookbacks

Definition at line 356 of file lalr.h.

Referenced by buildLookaheads(), and buildLookbackSets().

◆ nullables

NameSet Automaton::nullables

Definition at line 355 of file lalr.h.

Referenced by buildNullables(), buildReadsDigraph(), and NotNullable::operator()().

◆ start

StatePointer Automaton::start

Definition at line 354 of file lalr.h.

◆ states

StateList Automaton::states

Definition at line 353 of file lalr.h.

Referenced by CppGenerator::operator()(), DotGraph::operator()(), and ParseTable::operator()().

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

qtbase/src/tools/qlalr/lalr.h
qtbase/src/tools/qlalr/lalr.cpp

Public Types

Public Member Functions

Public Attributes

Detailed Description

Member Typedef Documentation

◆ IncludeNode

◆ IncludesGraph

◆ ReadNode

◆ ReadsGraph

Constructor & Destructor Documentation

◆ Automaton()

Member Function Documentation

◆ build()

◆ buildDefaultReduceActions()

◆ buildDirectReads()

◆ buildIncludesAndFollows()

◆ buildIncludesDigraph()

◆ buildLookaheads()

◆ buildLookbackSets()

◆ buildNullables()

◆ buildReads()

◆ buildReadsDigraph()

◆ closure()

◆ dump() [1/3]

◆ dump() [2/3]

◆ dump() [3/3]

◆ id() [1/3]

◆ id() [2/3]

◆ id() [3/3]

◆ internState()

◆ visitIncludeNode()

◆ visitReadNode()

Member Data Documentation

◆ _M_grammar

◆ lookaheads

◆ lookbacks

◆ nullables

◆ start

◆ states