edu.uvm.ccts.arden.logic.antlr

Class LogicParser.OccurWithinSurroundingContext

java.lang.Object

org.antlr.v4.runtime.RuleContext

org.antlr.v4.runtime.ParserRuleContext

edu.uvm.ccts.arden.logic.antlr.LogicParser.ExprContext

edu.uvm.ccts.arden.logic.antlr.LogicParser.OccurWithinSurroundingContext

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:

LogicParser

public static class LogicParser.OccurWithinSurroundingContext
extends LogicParser.ExprContext

Field Summary

Fields inherited from class edu.uvm.ccts.arden.logic.antlr.LogicParser.ExprContext

_p

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 and Description
LogicParser.OccurWithinSurroundingContext(LogicParser.ExprContext ctx)

Method Summary

Methods

Modifier and Type	Method and Description
<T> T	accept(org.antlr.v4.runtime.tree.ParseTreeVisitor<? extends T> visitor)
List<LogicParser.ExprContext>	expr()
LogicParser.ExprContext	expr(int i)
org.antlr.v4.runtime.tree.TerminalNode	Not()
org.antlr.v4.runtime.tree.TerminalNode	Occur()
org.antlr.v4.runtime.tree.TerminalNode	Surrounding()
org.antlr.v4.runtime.tree.TerminalNode	Within()

Methods inherited from class edu.uvm.ccts.arden.logic.antlr.LogicParser.ExprContext

copyFrom, getRuleIndex

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

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

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

depth, getPayload, getRuleContext, getText, inspect, inspect, isEmpty, save, save, save, save, 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

Constructor Detail

LogicParser.OccurWithinSurroundingContext

public LogicParser.OccurWithinSurroundingContext(LogicParser.ExprContext ctx)

Method Detail

expr

public List<LogicParser.ExprContext> expr()

Not

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

expr

public LogicParser.ExprContext expr(int i)

Occur

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

Within

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

Surrounding

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

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