Package net.maswag.falcaun

Class LTLParser.ExprContext

java.lang.Object

org.antlr.v4.runtime.RuleContext

org.antlr.v4.runtime.ParserRuleContext

net.maswag.falcaun.LTLParser.ExprContext

All Implemented Interfaces:

org.antlr.v4.runtime.tree.ParseTree, org.antlr.v4.runtime.tree.RuleNode, org.antlr.v4.runtime.tree.SyntaxTree, org.antlr.v4.runtime.tree.Tree

Enclosing class:

LTLParser

public static class LTLParser.ExprContext
extends org.antlr.v4.runtime.ParserRuleContext

Field Summary

Fields

Modifier and Type	Field	Description
LTLParser.ExprContext	left
LTLParser.ExprContext	right

Fields inherited from class org.antlr.v4.runtime.ParserRuleContext

children, EMPTY, exception, start, stop

Fields inherited from class org.antlr.v4.runtime.RuleContext

invokingState, parent

Constructor Summary

Constructors

Constructor	Description
ExprContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)

Method Summary

Modifier and Type	Method	Description
<T> T	accept(org.antlr.v4.runtime.tree.ParseTreeVisitor<? extends T> visitor)
LTLParser.BinaryOperatorContext	binaryOperator()
LTLParser.BinaryTemporalOperatorContext	binaryTemporalOperator()
void	enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
org.antlr.v4.runtime.tree.TerminalNode	EQ()
void	exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
List<LTLParser.ExprContext>	expr()
LTLParser.ExprContext	expr(int i)
int	getRuleIndex()
org.antlr.v4.runtime.tree.TerminalNode	ID()
org.antlr.v4.runtime.tree.TerminalNode	INPUT()
LTLParser.IntervalContext	interval()
org.antlr.v4.runtime.tree.TerminalNode	LPAREN()
org.antlr.v4.runtime.tree.TerminalNode	OUTPUT()
org.antlr.v4.runtime.tree.TerminalNode	RPAREN()
LTLParser.UnaryOperatorContext	unaryOperator()
LTLParser.UnaryTemporalOperatorContext	unaryTemporalOperator()
org.antlr.v4.runtime.tree.TerminalNode	UNDER()

Methods inherited from class org.antlr.v4.runtime.ParserRuleContext

addAnyChild, addChild, addChild, addChild, addErrorNode, addErrorNode, copyFrom, getChild, getChild, getChildCount, getParent, getRuleContext, getRuleContexts, getSourceInterval, getStart, getStop, getToken, getTokens, removeLastChild, toInfoString

Methods inherited from class org.antlr.v4.runtime.RuleContext

depth, getAltNumber, getPayload, getRuleContext, getText, isEmpty, setAltNumber, setParent, toString, toString, toString, toString, toString, toStringTree, toStringTree, toStringTree

Methods inherited from class java.lang.Object

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

Field Details

left

public LTLParser.ExprContext left

right

public LTLParser.ExprContext right

Constructor Details

ExprContext

public ExprContext(org.antlr.v4.runtime.ParserRuleContext parent,
 int invokingState)

Method Details

INPUT

public org.antlr.v4.runtime.tree.TerminalNode INPUT()

EQ

public org.antlr.v4.runtime.tree.TerminalNode EQ()

ID

public org.antlr.v4.runtime.tree.TerminalNode ID()

OUTPUT

public org.antlr.v4.runtime.tree.TerminalNode OUTPUT()

unaryOperator

public LTLParser.UnaryOperatorContext unaryOperator()

expr

public List<LTLParser.ExprContext> expr()

expr

public LTLParser.ExprContext expr(int i)

unaryTemporalOperator

public LTLParser.UnaryTemporalOperatorContext unaryTemporalOperator()

UNDER

public org.antlr.v4.runtime.tree.TerminalNode UNDER()

interval

public LTLParser.IntervalContext interval()

LPAREN

public org.antlr.v4.runtime.tree.TerminalNode LPAREN()

RPAREN

public org.antlr.v4.runtime.tree.TerminalNode RPAREN()

binaryOperator

public LTLParser.BinaryOperatorContext binaryOperator()

binaryTemporalOperator

public LTLParser.BinaryTemporalOperatorContext binaryTemporalOperator()

getRuleIndex

public int getRuleIndex()

Overrides:

getRuleIndex in class org.antlr.v4.runtime.RuleContext

enterRule

public void enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)

Overrides:

enterRule in class org.antlr.v4.runtime.ParserRuleContext

exitRule

public void exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)

Overrides:

exitRule in class org.antlr.v4.runtime.ParserRuleContext

accept

public <T> T accept(org.antlr.v4.runtime.tree.ParseTreeVisitor<? extends T> visitor)

Specified by:

accept in interface org.antlr.v4.runtime.tree.ParseTree

Overrides:

accept in class org.antlr.v4.runtime.RuleContext