Interface AbstractTemporalLogicListener

All Superinterfaces:

org.antlr.v4.runtime.tree.ParseTreeListener

All Known Implementing Classes:

AbstractTemporalLogicBaseListener

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

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

Method Summary

Modifier and Type	Method	Description
void	enterBinaryOperator(AbstractTemporalLogicParser.BinaryOperatorContext ctx)	Enter a parse tree produced by AbstractTemporalLogicParser.binaryOperator().
void	enterBinaryTemporalOperator(AbstractTemporalLogicParser.BinaryTemporalOperatorContext ctx)	Enter a parse tree produced by AbstractTemporalLogicParser.binaryTemporalOperator().
void	enterComparisonOperator(AbstractTemporalLogicParser.ComparisonOperatorContext ctx)	Enter a parse tree produced by AbstractTemporalLogicParser.comparisonOperator().
void	enterInterval(AbstractTemporalLogicParser.IntervalContext ctx)	Enter a parse tree produced by AbstractTemporalLogicParser.interval().
void	enterUnaryOperator(AbstractTemporalLogicParser.UnaryOperatorContext ctx)	Enter a parse tree produced by AbstractTemporalLogicParser.unaryOperator().
void	enterUnaryTemporalOperator(AbstractTemporalLogicParser.UnaryTemporalOperatorContext ctx)	Enter a parse tree produced by AbstractTemporalLogicParser.unaryTemporalOperator().
void	enterValue(AbstractTemporalLogicParser.ValueContext ctx)	Enter a parse tree produced by AbstractTemporalLogicParser.value().
void	exitBinaryOperator(AbstractTemporalLogicParser.BinaryOperatorContext ctx)	Exit a parse tree produced by AbstractTemporalLogicParser.binaryOperator().
void	exitBinaryTemporalOperator(AbstractTemporalLogicParser.BinaryTemporalOperatorContext ctx)	Exit a parse tree produced by AbstractTemporalLogicParser.binaryTemporalOperator().
void	exitComparisonOperator(AbstractTemporalLogicParser.ComparisonOperatorContext ctx)	Exit a parse tree produced by AbstractTemporalLogicParser.comparisonOperator().
void	exitInterval(AbstractTemporalLogicParser.IntervalContext ctx)	Exit a parse tree produced by AbstractTemporalLogicParser.interval().
void	exitUnaryOperator(AbstractTemporalLogicParser.UnaryOperatorContext ctx)	Exit a parse tree produced by AbstractTemporalLogicParser.unaryOperator().
void	exitUnaryTemporalOperator(AbstractTemporalLogicParser.UnaryTemporalOperatorContext ctx)	Exit a parse tree produced by AbstractTemporalLogicParser.unaryTemporalOperator().
void	exitValue(AbstractTemporalLogicParser.ValueContext ctx)	Exit a parse tree produced by AbstractTemporalLogicParser.value().

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

enterEveryRule, exitEveryRule, visitErrorNode, visitTerminal

Method Details

enterUnaryOperator

void enterUnaryOperator(AbstractTemporalLogicParser.UnaryOperatorContext ctx)

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

Parameters:

ctx - the parse tree

exitUnaryOperator

void exitUnaryOperator(AbstractTemporalLogicParser.UnaryOperatorContext ctx)

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

Parameters:

ctx - the parse tree

enterUnaryTemporalOperator

void enterUnaryTemporalOperator(AbstractTemporalLogicParser.UnaryTemporalOperatorContext ctx)

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

Parameters:

ctx - the parse tree

exitUnaryTemporalOperator

void exitUnaryTemporalOperator(AbstractTemporalLogicParser.UnaryTemporalOperatorContext ctx)

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

Parameters:

ctx - the parse tree

enterBinaryOperator

void enterBinaryOperator(AbstractTemporalLogicParser.BinaryOperatorContext ctx)

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

Parameters:

ctx - the parse tree

exitBinaryOperator

void exitBinaryOperator(AbstractTemporalLogicParser.BinaryOperatorContext ctx)

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

Parameters:

ctx - the parse tree

enterBinaryTemporalOperator

void enterBinaryTemporalOperator(AbstractTemporalLogicParser.BinaryTemporalOperatorContext ctx)

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

Parameters:

ctx - the parse tree

exitBinaryTemporalOperator

void exitBinaryTemporalOperator(AbstractTemporalLogicParser.BinaryTemporalOperatorContext ctx)

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

Parameters:

ctx - the parse tree

enterComparisonOperator

void enterComparisonOperator(AbstractTemporalLogicParser.ComparisonOperatorContext ctx)

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

Parameters:

ctx - the parse tree

exitComparisonOperator

void exitComparisonOperator(AbstractTemporalLogicParser.ComparisonOperatorContext ctx)

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

Parameters:

ctx - the parse tree

enterValue

void enterValue(AbstractTemporalLogicParser.ValueContext ctx)

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

Parameters:

ctx - the parse tree

exitValue

void exitValue(AbstractTemporalLogicParser.ValueContext ctx)

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

Parameters:

ctx - the parse tree

enterInterval

void enterInterval(AbstractTemporalLogicParser.IntervalContext ctx)

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

Parameters:

ctx - the parse tree

exitInterval

void exitInterval(AbstractTemporalLogicParser.IntervalContext ctx)

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

Parameters:

ctx - the parse tree