ca.uqac.lif.ecp.ltl

Class AtomicParserBuilder

java.lang.Object

ca.uqac.lif.ecp.ltl.OperatorBuilder<T>

ca.uqac.lif.ecp.ltl.ParserBuilder<AtomicEvent>

ca.uqac.lif.ecp.ltl.AtomicParserBuilder

public class AtomicParserBuilder
extends ParserBuilder<AtomicEvent>

Nested Class Summary

Nested classes/interfaces inherited from class ca.uqac.lif.ecp.ltl.ParserBuilder

ParserBuilder.LtlVisitor, ParserBuilder.ParseNodeOperator<U extends Event>

Nested classes/interfaces inherited from class ca.uqac.lif.ecp.ltl.OperatorBuilder

OperatorBuilder.BuildException

Field Summary

Fields inherited from class ca.uqac.lif.ecp.ltl.ParserBuilder

m_expression, m_parser

Constructor Summary

Constructors

Constructor and Description
AtomicParserBuilder()
AtomicParserBuilder(java.util.Scanner scanner)
AtomicParserBuilder(java.lang.String expression)

Method Summary

Modifier and Type	Method and Description
protected Atom<AtomicEvent>	parseAtom(ca.uqac.lif.bullwinkle.ParseNode node, java.util.Stack<Operator<AtomicEvent>> stack) Creates an atom from the parse stack and the current parse node
protected void	setupParser(ca.uqac.lif.bullwinkle.BnfParser parser) Sets up the parser for this specific operator builder.

Methods inherited from class ca.uqac.lif.ecp.ltl.ParserBuilder

build, initializeParser, scanString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AtomicParserBuilder

public AtomicParserBuilder()

AtomicParserBuilder

public AtomicParserBuilder(java.lang.String expression)

AtomicParserBuilder

public AtomicParserBuilder(java.util.Scanner scanner)

Method Detail

setupParser

protected void setupParser(ca.uqac.lif.bullwinkle.BnfParser parser)

Description copied from class: ParserBuilder

Sets up the parser for this specific operator builder. Normally this method should add at least the definition of the non-terminal symbol <atom> to the grammar, and possibly other rules.

Specified by:

setupParser in class ParserBuilder<AtomicEvent>

Parameters:

parser - The parser

parseAtom

protected Atom<AtomicEvent> parseAtom(ca.uqac.lif.bullwinkle.ParseNode node,
                                      java.util.Stack<Operator<AtomicEvent>> stack)

Description copied from class: ParserBuilder

Creates an atom from the parse stack and the current parse node

Specified by:

parseAtom in class ParserBuilder<AtomicEvent>

Parameters:

node - The node

stack - The stack

Returns:

The atom