Class LTLParserBaseListener
- java.lang.Object
-
- owl.grammar.LTLParserBaseListener
-
- All Implemented Interfaces:
org.antlr.v4.runtime.tree.ParseTreeListener,LTLParserListener
public class LTLParserBaseListener extends Object implements LTLParserListener
This class provides an empty implementation ofLTLParserListener, which can be extended to create a listener which only needs to handle a subset of the available methods.
-
-
Constructor Summary
Constructors Constructor Description LTLParserBaseListener()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidenterAndExpression(LTLParser.AndExpressionContext ctx)Enter a parse tree produced byLTLParser.andExpression().voidenterBinaryOp(LTLParser.BinaryOpContext ctx)Enter a parse tree produced byLTLParser.binaryOp().voidenterBinaryOperation(LTLParser.BinaryOperationContext ctx)Enter a parse tree produced by thebinaryOperationlabeled alternative inLTLParser.binaryExpression().voidenterBinaryUnary(LTLParser.BinaryUnaryContext ctx)Enter a parse tree produced by thebinaryUnarylabeled alternative inLTLParser.binaryExpression().voidenterBool(LTLParser.BoolContext ctx)Enter a parse tree produced byLTLParser.bool().voidenterBoolean(LTLParser.BooleanContext ctx)Enter a parse tree produced by thebooleanlabeled alternative inLTLParser.atomExpression().voidenterDoubleQuotedVariable(LTLParser.DoubleQuotedVariableContext ctx)Enter a parse tree produced by thedoubleQuotedVariablelabeled alternative inLTLParser.atomExpression().voidenterEveryRule(org.antlr.v4.runtime.ParserRuleContext ctx)voidenterExpression(LTLParser.ExpressionContext ctx)Enter a parse tree produced byLTLParser.expression().voidenterFormula(LTLParser.FormulaContext ctx)Enter a parse tree produced byLTLParser.formula().voidenterNested(LTLParser.NestedContext ctx)Enter a parse tree produced by thenestedlabeled alternative inLTLParser.atomExpression().voidenterOrExpression(LTLParser.OrExpressionContext ctx)Enter a parse tree produced byLTLParser.orExpression().voidenterSingleQuotedVariable(LTLParser.SingleQuotedVariableContext ctx)Enter a parse tree produced by thesingleQuotedVariablelabeled alternative inLTLParser.atomExpression().voidenterUnaryAtom(LTLParser.UnaryAtomContext ctx)Enter a parse tree produced by theunaryAtomlabeled alternative inLTLParser.unaryExpression().voidenterUnaryOp(LTLParser.UnaryOpContext ctx)Enter a parse tree produced byLTLParser.unaryOp().voidenterUnaryOperation(LTLParser.UnaryOperationContext ctx)Enter a parse tree produced by theunaryOperationlabeled alternative inLTLParser.unaryExpression().voidenterVariable(LTLParser.VariableContext ctx)Enter a parse tree produced by thevariablelabeled alternative inLTLParser.atomExpression().voidexitAndExpression(LTLParser.AndExpressionContext ctx)Exit a parse tree produced byLTLParser.andExpression().voidexitBinaryOp(LTLParser.BinaryOpContext ctx)Exit a parse tree produced byLTLParser.binaryOp().voidexitBinaryOperation(LTLParser.BinaryOperationContext ctx)Exit a parse tree produced by thebinaryOperationlabeled alternative inLTLParser.binaryExpression().voidexitBinaryUnary(LTLParser.BinaryUnaryContext ctx)Exit a parse tree produced by thebinaryUnarylabeled alternative inLTLParser.binaryExpression().voidexitBool(LTLParser.BoolContext ctx)Exit a parse tree produced byLTLParser.bool().voidexitBoolean(LTLParser.BooleanContext ctx)Exit a parse tree produced by thebooleanlabeled alternative inLTLParser.atomExpression().voidexitDoubleQuotedVariable(LTLParser.DoubleQuotedVariableContext ctx)Exit a parse tree produced by thedoubleQuotedVariablelabeled alternative inLTLParser.atomExpression().voidexitEveryRule(org.antlr.v4.runtime.ParserRuleContext ctx)voidexitExpression(LTLParser.ExpressionContext ctx)Exit a parse tree produced byLTLParser.expression().voidexitFormula(LTLParser.FormulaContext ctx)Exit a parse tree produced byLTLParser.formula().voidexitNested(LTLParser.NestedContext ctx)Exit a parse tree produced by thenestedlabeled alternative inLTLParser.atomExpression().voidexitOrExpression(LTLParser.OrExpressionContext ctx)Exit a parse tree produced byLTLParser.orExpression().voidexitSingleQuotedVariable(LTLParser.SingleQuotedVariableContext ctx)Exit a parse tree produced by thesingleQuotedVariablelabeled alternative inLTLParser.atomExpression().voidexitUnaryAtom(LTLParser.UnaryAtomContext ctx)Exit a parse tree produced by theunaryAtomlabeled alternative inLTLParser.unaryExpression().voidexitUnaryOp(LTLParser.UnaryOpContext ctx)Exit a parse tree produced byLTLParser.unaryOp().voidexitUnaryOperation(LTLParser.UnaryOperationContext ctx)Exit a parse tree produced by theunaryOperationlabeled alternative inLTLParser.unaryExpression().voidexitVariable(LTLParser.VariableContext ctx)Exit a parse tree produced by thevariablelabeled alternative inLTLParser.atomExpression().voidvisitErrorNode(org.antlr.v4.runtime.tree.ErrorNode node)voidvisitTerminal(org.antlr.v4.runtime.tree.TerminalNode node)
-
-
-
Method Detail
-
enterFormula
public void enterFormula(LTLParser.FormulaContext ctx)
Enter a parse tree produced byLTLParser.formula().The default implementation does nothing.
- Specified by:
enterFormulain interfaceLTLParserListener- Parameters:
ctx- the parse tree
-
exitFormula
public void exitFormula(LTLParser.FormulaContext ctx)
Exit a parse tree produced byLTLParser.formula().The default implementation does nothing.
- Specified by:
exitFormulain interfaceLTLParserListener- Parameters:
ctx- the parse tree
-
enterExpression
public void enterExpression(LTLParser.ExpressionContext ctx)
Enter a parse tree produced byLTLParser.expression().The default implementation does nothing.
- Specified by:
enterExpressionin interfaceLTLParserListener- Parameters:
ctx- the parse tree
-
exitExpression
public void exitExpression(LTLParser.ExpressionContext ctx)
Exit a parse tree produced byLTLParser.expression().The default implementation does nothing.
- Specified by:
exitExpressionin interfaceLTLParserListener- Parameters:
ctx- the parse tree
-
enterOrExpression
public void enterOrExpression(LTLParser.OrExpressionContext ctx)
Enter a parse tree produced byLTLParser.orExpression().The default implementation does nothing.
- Specified by:
enterOrExpressionin interfaceLTLParserListener- Parameters:
ctx- the parse tree
-
exitOrExpression
public void exitOrExpression(LTLParser.OrExpressionContext ctx)
Exit a parse tree produced byLTLParser.orExpression().The default implementation does nothing.
- Specified by:
exitOrExpressionin interfaceLTLParserListener- Parameters:
ctx- the parse tree
-
enterAndExpression
public void enterAndExpression(LTLParser.AndExpressionContext ctx)
Enter a parse tree produced byLTLParser.andExpression().The default implementation does nothing.
- Specified by:
enterAndExpressionin interfaceLTLParserListener- Parameters:
ctx- the parse tree
-
exitAndExpression
public void exitAndExpression(LTLParser.AndExpressionContext ctx)
Exit a parse tree produced byLTLParser.andExpression().The default implementation does nothing.
- Specified by:
exitAndExpressionin interfaceLTLParserListener- Parameters:
ctx- the parse tree
-
enterBinaryOperation
public void enterBinaryOperation(LTLParser.BinaryOperationContext ctx)
Enter a parse tree produced by thebinaryOperationlabeled alternative inLTLParser.binaryExpression().The default implementation does nothing.
- Specified by:
enterBinaryOperationin interfaceLTLParserListener- Parameters:
ctx- the parse tree
-
exitBinaryOperation
public void exitBinaryOperation(LTLParser.BinaryOperationContext ctx)
Exit a parse tree produced by thebinaryOperationlabeled alternative inLTLParser.binaryExpression().The default implementation does nothing.
- Specified by:
exitBinaryOperationin interfaceLTLParserListener- Parameters:
ctx- the parse tree
-
enterBinaryUnary
public void enterBinaryUnary(LTLParser.BinaryUnaryContext ctx)
Enter a parse tree produced by thebinaryUnarylabeled alternative inLTLParser.binaryExpression().The default implementation does nothing.
- Specified by:
enterBinaryUnaryin interfaceLTLParserListener- Parameters:
ctx- the parse tree
-
exitBinaryUnary
public void exitBinaryUnary(LTLParser.BinaryUnaryContext ctx)
Exit a parse tree produced by thebinaryUnarylabeled alternative inLTLParser.binaryExpression().The default implementation does nothing.
- Specified by:
exitBinaryUnaryin interfaceLTLParserListener- Parameters:
ctx- the parse tree
-
enterUnaryOperation
public void enterUnaryOperation(LTLParser.UnaryOperationContext ctx)
Enter a parse tree produced by theunaryOperationlabeled alternative inLTLParser.unaryExpression().The default implementation does nothing.
- Specified by:
enterUnaryOperationin interfaceLTLParserListener- Parameters:
ctx- the parse tree
-
exitUnaryOperation
public void exitUnaryOperation(LTLParser.UnaryOperationContext ctx)
Exit a parse tree produced by theunaryOperationlabeled alternative inLTLParser.unaryExpression().The default implementation does nothing.
- Specified by:
exitUnaryOperationin interfaceLTLParserListener- Parameters:
ctx- the parse tree
-
enterUnaryAtom
public void enterUnaryAtom(LTLParser.UnaryAtomContext ctx)
Enter a parse tree produced by theunaryAtomlabeled alternative inLTLParser.unaryExpression().The default implementation does nothing.
- Specified by:
enterUnaryAtomin interfaceLTLParserListener- Parameters:
ctx- the parse tree
-
exitUnaryAtom
public void exitUnaryAtom(LTLParser.UnaryAtomContext ctx)
Exit a parse tree produced by theunaryAtomlabeled alternative inLTLParser.unaryExpression().The default implementation does nothing.
- Specified by:
exitUnaryAtomin interfaceLTLParserListener- Parameters:
ctx- the parse tree
-
enterBoolean
public void enterBoolean(LTLParser.BooleanContext ctx)
Enter a parse tree produced by thebooleanlabeled alternative inLTLParser.atomExpression().The default implementation does nothing.
- Specified by:
enterBooleanin interfaceLTLParserListener- Parameters:
ctx- the parse tree
-
exitBoolean
public void exitBoolean(LTLParser.BooleanContext ctx)
Exit a parse tree produced by thebooleanlabeled alternative inLTLParser.atomExpression().The default implementation does nothing.
- Specified by:
exitBooleanin interfaceLTLParserListener- Parameters:
ctx- the parse tree
-
enterVariable
public void enterVariable(LTLParser.VariableContext ctx)
Enter a parse tree produced by thevariablelabeled alternative inLTLParser.atomExpression().The default implementation does nothing.
- Specified by:
enterVariablein interfaceLTLParserListener- Parameters:
ctx- the parse tree
-
exitVariable
public void exitVariable(LTLParser.VariableContext ctx)
Exit a parse tree produced by thevariablelabeled alternative inLTLParser.atomExpression().The default implementation does nothing.
- Specified by:
exitVariablein interfaceLTLParserListener- Parameters:
ctx- the parse tree
-
enterSingleQuotedVariable
public void enterSingleQuotedVariable(LTLParser.SingleQuotedVariableContext ctx)
Enter a parse tree produced by thesingleQuotedVariablelabeled alternative inLTLParser.atomExpression().The default implementation does nothing.
- Specified by:
enterSingleQuotedVariablein interfaceLTLParserListener- Parameters:
ctx- the parse tree
-
exitSingleQuotedVariable
public void exitSingleQuotedVariable(LTLParser.SingleQuotedVariableContext ctx)
Exit a parse tree produced by thesingleQuotedVariablelabeled alternative inLTLParser.atomExpression().The default implementation does nothing.
- Specified by:
exitSingleQuotedVariablein interfaceLTLParserListener- Parameters:
ctx- the parse tree
-
enterDoubleQuotedVariable
public void enterDoubleQuotedVariable(LTLParser.DoubleQuotedVariableContext ctx)
Enter a parse tree produced by thedoubleQuotedVariablelabeled alternative inLTLParser.atomExpression().The default implementation does nothing.
- Specified by:
enterDoubleQuotedVariablein interfaceLTLParserListener- Parameters:
ctx- the parse tree
-
exitDoubleQuotedVariable
public void exitDoubleQuotedVariable(LTLParser.DoubleQuotedVariableContext ctx)
Exit a parse tree produced by thedoubleQuotedVariablelabeled alternative inLTLParser.atomExpression().The default implementation does nothing.
- Specified by:
exitDoubleQuotedVariablein interfaceLTLParserListener- Parameters:
ctx- the parse tree
-
enterNested
public void enterNested(LTLParser.NestedContext ctx)
Enter a parse tree produced by thenestedlabeled alternative inLTLParser.atomExpression().The default implementation does nothing.
- Specified by:
enterNestedin interfaceLTLParserListener- Parameters:
ctx- the parse tree
-
exitNested
public void exitNested(LTLParser.NestedContext ctx)
Exit a parse tree produced by thenestedlabeled alternative inLTLParser.atomExpression().The default implementation does nothing.
- Specified by:
exitNestedin interfaceLTLParserListener- Parameters:
ctx- the parse tree
-
enterUnaryOp
public void enterUnaryOp(LTLParser.UnaryOpContext ctx)
Enter a parse tree produced byLTLParser.unaryOp().The default implementation does nothing.
- Specified by:
enterUnaryOpin interfaceLTLParserListener- Parameters:
ctx- the parse tree
-
exitUnaryOp
public void exitUnaryOp(LTLParser.UnaryOpContext ctx)
Exit a parse tree produced byLTLParser.unaryOp().The default implementation does nothing.
- Specified by:
exitUnaryOpin interfaceLTLParserListener- Parameters:
ctx- the parse tree
-
enterBinaryOp
public void enterBinaryOp(LTLParser.BinaryOpContext ctx)
Enter a parse tree produced byLTLParser.binaryOp().The default implementation does nothing.
- Specified by:
enterBinaryOpin interfaceLTLParserListener- Parameters:
ctx- the parse tree
-
exitBinaryOp
public void exitBinaryOp(LTLParser.BinaryOpContext ctx)
Exit a parse tree produced byLTLParser.binaryOp().The default implementation does nothing.
- Specified by:
exitBinaryOpin interfaceLTLParserListener- Parameters:
ctx- the parse tree
-
enterBool
public void enterBool(LTLParser.BoolContext ctx)
Enter a parse tree produced byLTLParser.bool().The default implementation does nothing.
- Specified by:
enterBoolin interfaceLTLParserListener- Parameters:
ctx- the parse tree
-
exitBool
public void exitBool(LTLParser.BoolContext ctx)
Exit a parse tree produced byLTLParser.bool().The default implementation does nothing.
- Specified by:
exitBoolin interfaceLTLParserListener- Parameters:
ctx- the parse tree
-
enterEveryRule
public void enterEveryRule(org.antlr.v4.runtime.ParserRuleContext ctx)
The default implementation does nothing.
- Specified by:
enterEveryRulein interfaceorg.antlr.v4.runtime.tree.ParseTreeListener
-
exitEveryRule
public void exitEveryRule(org.antlr.v4.runtime.ParserRuleContext ctx)
The default implementation does nothing.
- Specified by:
exitEveryRulein interfaceorg.antlr.v4.runtime.tree.ParseTreeListener
-
visitTerminal
public void visitTerminal(org.antlr.v4.runtime.tree.TerminalNode node)
The default implementation does nothing.
- Specified by:
visitTerminalin interfaceorg.antlr.v4.runtime.tree.ParseTreeListener
-
visitErrorNode
public void visitErrorNode(org.antlr.v4.runtime.tree.ErrorNode node)
The default implementation does nothing.
- Specified by:
visitErrorNodein interfaceorg.antlr.v4.runtime.tree.ParseTreeListener
-
-