Package net.maswag.falcaun

Interface LTLListener

All Superinterfaces:

org.antlr.v4.runtime.tree.ParseTreeListener

All Known Implementing Classes:

LTLBaseListener

public interface LTLListener
extends org.antlr.v4.runtime.tree.ParseTreeListener

This interface defines a complete listener for a parse tree produced by LTLParser.

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	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	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().

Methods inherited from interface org.antlr.v4.runtime.tree.ParseTreeListener

enterEveryRule, exitEveryRule, visitErrorNode, visitTerminal

Method Details

enterExpr

void enterExpr(LTLParser.ExprContext ctx)

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

Parameters:

ctx - the parse tree

exitExpr

void exitExpr(LTLParser.ExprContext ctx)

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

Parameters:

ctx - the parse tree

enterUnaryOperator

void enterUnaryOperator(LTLParser.UnaryOperatorContext ctx)

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

Parameters:

ctx - the parse tree

exitUnaryOperator

void exitUnaryOperator(LTLParser.UnaryOperatorContext ctx)

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

Parameters:

ctx - the parse tree

enterUnaryTemporalOperator

void enterUnaryTemporalOperator(LTLParser.UnaryTemporalOperatorContext ctx)

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

Parameters:

ctx - the parse tree

exitUnaryTemporalOperator

void exitUnaryTemporalOperator(LTLParser.UnaryTemporalOperatorContext ctx)

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

Parameters:

ctx - the parse tree

enterBinaryOperator

void enterBinaryOperator(LTLParser.BinaryOperatorContext ctx)

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

Parameters:

ctx - the parse tree

exitBinaryOperator

void exitBinaryOperator(LTLParser.BinaryOperatorContext ctx)

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

Parameters:

ctx - the parse tree

enterBinaryTemporalOperator

void enterBinaryTemporalOperator(LTLParser.BinaryTemporalOperatorContext ctx)

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

Parameters:

ctx - the parse tree

exitBinaryTemporalOperator

void exitBinaryTemporalOperator(LTLParser.BinaryTemporalOperatorContext ctx)

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

Parameters:

ctx - the parse tree

enterComparisonOperator

void enterComparisonOperator(LTLParser.ComparisonOperatorContext ctx)

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

Parameters:

ctx - the parse tree

exitComparisonOperator

void exitComparisonOperator(LTLParser.ComparisonOperatorContext ctx)

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

Parameters:

ctx - the parse tree

enterValue

void enterValue(LTLParser.ValueContext ctx)

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

Parameters:

ctx - the parse tree

exitValue

void exitValue(LTLParser.ValueContext ctx)

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

Parameters:

ctx - the parse tree

enterInterval

void enterInterval(LTLParser.IntervalContext ctx)

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

Parameters:

ctx - the parse tree

exitInterval

void exitInterval(LTLParser.IntervalContext ctx)

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

Parameters:

ctx - the parse tree