ca.uqac.lif.ecp.ltl

Class ParserBuilder.LtlVisitor

java.lang.Object

ca.uqac.lif.ecp.ltl.ParserBuilder.LtlVisitor

All Implemented Interfaces:

ca.uqac.lif.bullwinkle.ParseNodeVisitor

Enclosing class:

ParserBuilder<T extends Event>

protected class ParserBuilder.LtlVisitor
extends java.lang.Object
implements ca.uqac.lif.bullwinkle.ParseNodeVisitor

Visits a parse tree and builds an LTL expression

Nested Class Summary

Nested classes/interfaces inherited from interface ca.uqac.lif.bullwinkle.ParseNodeVisitor

ca.uqac.lif.bullwinkle.ParseNodeVisitor.VisitException

Method Summary

Modifier and Type	Method and Description
Operator<T>	getOperator() Gets the expression built by this visitor
void	pop()
void	visit(ca.uqac.lif.bullwinkle.ParseNode node)

Methods inherited from class java.lang.Object

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

Method Detail

getOperator

public Operator<T> getOperator()

Gets the expression built by this visitor

Returns:

The expression

pop

public void pop()

Specified by:

pop in interface ca.uqac.lif.bullwinkle.ParseNodeVisitor

visit

public void visit(ca.uqac.lif.bullwinkle.ParseNode node)

Specified by:

visit in interface ca.uqac.lif.bullwinkle.ParseNodeVisitor