ca.uqac.lif.ecp.ltl

Class ParserBuilder<T extends Event>

java.lang.Object

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

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

Type Parameters:

T - The type of the events

Direct Known Subclasses:

AtomicParserBuilder

public abstract class ParserBuilder<T extends Event>
extends OperatorBuilder<T>

Builds an LTL formula from an expression parsed from a grammar

Author:

Sylvain Hallé

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	ParserBuilder.LtlVisitor Visits a parse tree and builds an LTL expression
protected static class	ParserBuilder.ParseNodeOperator<U extends Event> Operator simply meant to contain a parse node

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

OperatorBuilder.BuildException

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.String	m_expression
protected ca.uqac.lif.bullwinkle.BnfParser	m_parser

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
Operator<T>	build()
protected static ca.uqac.lif.bullwinkle.BnfParser	initializeParser() Sets up the parser for LTL
protected abstract Atom<T>	parseAtom(ca.uqac.lif.bullwinkle.ParseNode node, java.util.Stack<Operator<T>> stack) Creates an atom from the parse stack and the current parse node
protected static java.lang.String	scanString(java.util.Scanner scanner) Utility method to create a string from a scanner
protected abstract void	setupParser(ca.uqac.lif.bullwinkle.BnfParser parser) Sets up the parser for this specific operator builder.

Methods inherited from class java.lang.Object

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

Field Detail

m_expression

protected java.lang.String m_expression

m_parser

protected final ca.uqac.lif.bullwinkle.BnfParser m_parser

Constructor Detail

ParserBuilder

public ParserBuilder()

ParserBuilder

public ParserBuilder(java.lang.String expression)

ParserBuilder

public ParserBuilder(java.util.Scanner scanner)

Method Detail

build

public Operator<T> build()
                  throws OperatorBuilder.BuildException

Specified by:

build in class OperatorBuilder<T extends Event>

Throws:

OperatorBuilder.BuildException

initializeParser

protected static ca.uqac.lif.bullwinkle.BnfParser initializeParser()

Sets up the parser for LTL

Returns:

An instance of the parser

scanString

protected static java.lang.String scanString(java.util.Scanner scanner)

Utility method to create a string from a scanner

Parameters:

scanner - The scanner

Returns:

The resulting string

setupParser

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

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.

Parameters:

parser - The parser

parseAtom

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

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

Parameters:

node - The node

stack - The stack

Returns:

The atom