org.requs.facet.syntax

Class SpecParser.StepContext

java.lang.Object

org.antlr.v4.runtime.RuleContext

org.antlr.v4.runtime.ParserRuleContext

org.requs.facet.syntax.SpecParser.StepContext

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:

SpecParser

public static class SpecParser.StepContext
extends org.antlr.v4.runtime.ParserRuleContext

Field Summary

Fields

Modifier and Type	Field and Description
org.antlr.v4.runtime.Token	failure
Flow	flow
org.antlr.v4.runtime.Token	FLOW_ID
org.antlr.v4.runtime.Token	INFORMAL
SpecParser.SubjectContext	result
SpecParser.SignatureContext	step_informal
SpecParser.SignatureContext	step_sig
SpecParser.VariableContext	variable

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
SpecParser.StepContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)
SpecParser.StepContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState, Flow flow)

Method Summary

Methods

Modifier and Type	Method and Description
org.antlr.v4.runtime.tree.TerminalNode	DOT()
void	enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
void	exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
org.antlr.v4.runtime.tree.TerminalNode	FAIL()
org.antlr.v4.runtime.tree.TerminalNode	FLOW_ID()
int	getRuleIndex()
List<org.antlr.v4.runtime.tree.TerminalNode>	INFORMAL()
org.antlr.v4.runtime.tree.TerminalNode	INFORMAL(int i)
SpecParser.SignatureContext	signature()
org.antlr.v4.runtime.tree.TerminalNode	SINCE()
SpecParser.SubjectContext	subject()
org.antlr.v4.runtime.tree.TerminalNode	THE()
SpecParser.UsingContext	using()
SpecParser.VariableContext	variable()

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

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

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

accept, 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

Field Detail

flow

public Flow flow

FLOW_ID

public org.antlr.v4.runtime.Token FLOW_ID

variable

public SpecParser.VariableContext variable

INFORMAL

public org.antlr.v4.runtime.Token INFORMAL

step_sig

public SpecParser.SignatureContext step_sig

result

public SpecParser.SubjectContext result

failure

public org.antlr.v4.runtime.Token failure

step_informal

public SpecParser.SignatureContext step_informal

Constructor Detail

SpecParser.StepContext

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

SpecParser.StepContext

public SpecParser.StepContext(org.antlr.v4.runtime.ParserRuleContext parent,
                      int invokingState,
                      Flow flow)

Method Detail

THE

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

DOT

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

INFORMAL

public List<org.antlr.v4.runtime.tree.TerminalNode> INFORMAL()

variable

public SpecParser.VariableContext variable()

using

public SpecParser.UsingContext using()

INFORMAL

public org.antlr.v4.runtime.tree.TerminalNode INFORMAL(int i)

SINCE

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

FLOW_ID

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

FAIL

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

subject

public SpecParser.SubjectContext subject()

signature

public SpecParser.SignatureContext signature()

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