Package net.maswag.falcaun

Class LTLBaseListener

java.lang.Object

net.maswag.falcaun.LTLBaseListener

All Implemented Interfaces:

LTLListener, org.antlr.v4.runtime.tree.ParseTreeListener

public class LTLBaseListener
extends Object
implements LTLListener

This class provides an empty implementation of LTLListener, which can be extended to create a listener which only needs to handle a subset of the available methods.

Constructor Summary

Constructors

Constructor	Description
LTLBaseListener()

Method Summary

Modifier and Type	Method	Description
void	enterBinaryOperator(LTLParser.BinaryOperatorContext ctx)	Enter a parse tree produced by LTLParser.binaryOperator().
void	enterBinaryTemporalOperator(LTLParser.BinaryTemporalOperatorContext ctx)	Enter a parse tree produced by LTLParser.binaryTemporalOperator().
void	enterComparisonOperator(LTLParser.ComparisonOperatorContext ctx)	Enter a parse tree produced by LTLParser.comparisonOperator().
void	enterEveryRule(org.antlr.v4.runtime.ParserRuleContext ctx)
void	enterExpr(LTLParser.ExprContext ctx)	Enter a parse tree produced by LTLParser.expr().
void	enterInterval(LTLParser.IntervalContext ctx)	Enter a parse tree produced by LTLParser.interval().
void	enterUnaryOperator(LTLParser.UnaryOperatorContext ctx)	Enter a parse tree produced by LTLParser.unaryOperator().
void	enterUnaryTemporalOperator(LTLParser.UnaryTemporalOperatorContext ctx)	Enter a parse tree produced by LTLParser.unaryTemporalOperator().
void	enterValue(LTLParser.ValueContext ctx)	Enter a parse tree produced by LTLParser.value().
void	exitBinaryOperator(LTLParser.BinaryOperatorContext ctx)	Exit a parse tree produced by LTLParser.binaryOperator().
void	exitBinaryTemporalOperator(LTLParser.BinaryTemporalOperatorContext ctx)	Exit a parse tree produced by LTLParser.binaryTemporalOperator().
void	exitComparisonOperator(LTLParser.ComparisonOperatorContext ctx)	Exit a parse tree produced by LTLParser.comparisonOperator().
void	exitEveryRule(org.antlr.v4.runtime.ParserRuleContext ctx)
void	exitExpr(LTLParser.ExprContext ctx)	Exit a parse tree produced by LTLParser.expr().
void	exitInterval(LTLParser.IntervalContext ctx)	Exit a parse tree produced by LTLParser.interval().
void	exitUnaryOperator(LTLParser.UnaryOperatorContext ctx)	Exit a parse tree produced by LTLParser.unaryOperator().
void	exitUnaryTemporalOperator(LTLParser.UnaryTemporalOperatorContext ctx)	Exit a parse tree produced by LTLParser.unaryTemporalOperator().
void	exitValue(LTLParser.ValueContext ctx)	Exit a parse tree produced by LTLParser.value().
void	visitErrorNode(org.antlr.v4.runtime.tree.ErrorNode node)
void	visitTerminal(org.antlr.v4.runtime.tree.TerminalNode node)

Methods inherited from class java.lang.Object

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

Constructor Details

LTLBaseListener

public LTLBaseListener()

Method Details

enterExpr

public void enterExpr(LTLParser.ExprContext ctx)

Enter a parse tree produced by LTLParser.expr().

The default implementation does nothing.

Specified by:

enterExpr in interface LTLListener

Parameters:

ctx - the parse tree

exitExpr

public void exitExpr(LTLParser.ExprContext ctx)

Exit a parse tree produced by LTLParser.expr().

The default implementation does nothing.

Specified by:

exitExpr in interface LTLListener

Parameters:

ctx - the parse tree

enterUnaryOperator

public void enterUnaryOperator(LTLParser.UnaryOperatorContext ctx)

Enter a parse tree produced by LTLParser.unaryOperator().

The default implementation does nothing.

Specified by:

enterUnaryOperator in interface LTLListener

Parameters:

ctx - the parse tree

exitUnaryOperator

public void exitUnaryOperator(LTLParser.UnaryOperatorContext ctx)

Exit a parse tree produced by LTLParser.unaryOperator().

The default implementation does nothing.

Specified by:

exitUnaryOperator in interface LTLListener

Parameters:

ctx - the parse tree

enterUnaryTemporalOperator

public void enterUnaryTemporalOperator(LTLParser.UnaryTemporalOperatorContext ctx)

Enter a parse tree produced by LTLParser.unaryTemporalOperator().

The default implementation does nothing.

Specified by:

enterUnaryTemporalOperator in interface LTLListener

Parameters:

ctx - the parse tree

exitUnaryTemporalOperator

public void exitUnaryTemporalOperator(LTLParser.UnaryTemporalOperatorContext ctx)

Exit a parse tree produced by LTLParser.unaryTemporalOperator().

The default implementation does nothing.

Specified by:

exitUnaryTemporalOperator in interface LTLListener

Parameters:

ctx - the parse tree

enterBinaryOperator

public void enterBinaryOperator(LTLParser.BinaryOperatorContext ctx)

Enter a parse tree produced by LTLParser.binaryOperator().

The default implementation does nothing.

Specified by:

enterBinaryOperator in interface LTLListener

Parameters:

ctx - the parse tree

exitBinaryOperator

public void exitBinaryOperator(LTLParser.BinaryOperatorContext ctx)

Exit a parse tree produced by LTLParser.binaryOperator().

The default implementation does nothing.

Specified by:

exitBinaryOperator in interface LTLListener

Parameters:

ctx - the parse tree

enterBinaryTemporalOperator

public void enterBinaryTemporalOperator(LTLParser.BinaryTemporalOperatorContext ctx)

Enter a parse tree produced by LTLParser.binaryTemporalOperator().

The default implementation does nothing.

Specified by:

enterBinaryTemporalOperator in interface LTLListener

Parameters:

ctx - the parse tree

exitBinaryTemporalOperator

public void exitBinaryTemporalOperator(LTLParser.BinaryTemporalOperatorContext ctx)

Exit a parse tree produced by LTLParser.binaryTemporalOperator().

The default implementation does nothing.

Specified by:

exitBinaryTemporalOperator in interface LTLListener

Parameters:

ctx - the parse tree

enterComparisonOperator

public void enterComparisonOperator(LTLParser.ComparisonOperatorContext ctx)

Enter a parse tree produced by LTLParser.comparisonOperator().

The default implementation does nothing.

Specified by:

enterComparisonOperator in interface LTLListener

Parameters:

ctx - the parse tree

exitComparisonOperator

public void exitComparisonOperator(LTLParser.ComparisonOperatorContext ctx)

Exit a parse tree produced by LTLParser.comparisonOperator().

The default implementation does nothing.

Specified by:

exitComparisonOperator in interface LTLListener

Parameters:

ctx - the parse tree

enterValue

public void enterValue(LTLParser.ValueContext ctx)

Enter a parse tree produced by LTLParser.value().

The default implementation does nothing.

Specified by:

enterValue in interface LTLListener

Parameters:

ctx - the parse tree

exitValue

public void exitValue(LTLParser.ValueContext ctx)

Exit a parse tree produced by LTLParser.value().

The default implementation does nothing.

Specified by:

exitValue in interface LTLListener

Parameters:

ctx - the parse tree

enterInterval

public void enterInterval(LTLParser.IntervalContext ctx)

Enter a parse tree produced by LTLParser.interval().

The default implementation does nothing.

Specified by:

enterInterval in interface LTLListener

Parameters:

ctx - the parse tree

exitInterval

public void exitInterval(LTLParser.IntervalContext ctx)

Exit a parse tree produced by LTLParser.interval().

The default implementation does nothing.

Specified by:

exitInterval in interface LTLListener

Parameters:

ctx - the parse tree

enterEveryRule

public void enterEveryRule(org.antlr.v4.runtime.ParserRuleContext ctx)

The default implementation does nothing.

Specified by:

enterEveryRule in interface org.antlr.v4.runtime.tree.ParseTreeListener

exitEveryRule

public void exitEveryRule(org.antlr.v4.runtime.ParserRuleContext ctx)

The default implementation does nothing.

Specified by:

exitEveryRule in interface org.antlr.v4.runtime.tree.ParseTreeListener

visitTerminal

public void visitTerminal(org.antlr.v4.runtime.tree.TerminalNode node)

The default implementation does nothing.

Specified by:

visitTerminal in interface org.antlr.v4.runtime.tree.ParseTreeListener

visitErrorNode

public void visitErrorNode(org.antlr.v4.runtime.tree.ErrorNode node)

The default implementation does nothing.

Specified by:

visitErrorNode in interface org.antlr.v4.runtime.tree.ParseTreeListener