Package owl.grammar

Class LTLParser.NestedContext

java.lang.Object

org.antlr.v4.runtime.RuleContext

org.antlr.v4.runtime.ParserRuleContext

owl.grammar.LTLParser.AtomExpressionContext

owl.grammar.LTLParser.NestedContext

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.NestedContext
extends LTLParser.AtomExpressionContext

Field Summary

Fields

Modifier and Type	Field	Description
LTLParser.ExpressionContext	nested

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

children, exception, start, stop

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

EMPTY, invokingState, parent

Constructor Summary

Constructors

Constructor	Description
NestedContext(LTLParser.AtomExpressionContext ctx)

Method Summary

Modifier and Type	Method	Description
<T> T	accept(org.antlr.v4.runtime.tree.ParseTreeVisitor<? extends T> visitor)
void	enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
void	exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
LTLParser.ExpressionContext	expression()
org.antlr.v4.runtime.tree.TerminalNode	LPAREN()
org.antlr.v4.runtime.tree.TerminalNode	RPAREN()

Methods inherited from class owl.grammar.LTLParser.AtomExpressionContext

copyFrom, getRuleIndex

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 Detail

nested

public LTLParser.ExpressionContext nested

Constructor Detail

NestedContext

public NestedContext(LTLParser.AtomExpressionContext ctx)

Method Detail

LPAREN

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

RPAREN

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

expression

public LTLParser.ExpressionContext expression()

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