edu.uvm.ccts.arden.logic.antlr

Class LogicParser.SortContext

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.SortContext

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.SortContext
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.SortContext(LogicParser.ExprContext ctx)

Method Summary

Methods

Modifier and Type	Method and Description
<T> T	accept(org.antlr.v4.runtime.tree.ParseTreeVisitor<? extends T> visitor)
org.antlr.v4.runtime.tree.TerminalNode	Data()
LogicParser.ExprContext	expr()
org.antlr.v4.runtime.tree.TerminalNode	Sort()
org.antlr.v4.runtime.tree.TerminalNode	Time()

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.SortContext

public LogicParser.SortContext(LogicParser.ExprContext ctx)

Method Detail

Sort

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

Time

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

expr

public LogicParser.ExprContext expr()

Data

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

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