org.requs.facet.syntax

Class SpecParser.Method_declarationContext

java.lang.Object

org.antlr.v4.runtime.RuleContext

org.antlr.v4.runtime.ParserRuleContext

org.requs.facet.syntax.SpecParser.Method_declarationContext

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.Method_declarationContext
extends org.antlr.v4.runtime.ParserRuleContext

Field Summary

Fields

Modifier and Type	Field and Description
SpecParser.BindingContext	hbind
SpecParser.Class_nameContext	hclass
SpecParser.SignatureContext	msig
SpecParser.BindingContext	res
SpecParser.Class_nameContext	rslt
SpecParser.Class_nameContext	self
SpecParser.BindingContext	slf
SpecParser.BindingContext	tbind
SpecParser.Class_nameContext	tclass
org.antlr.v4.runtime.Token	UC_ID

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

Method Summary

Methods

Modifier and Type	Method and Description
org.antlr.v4.runtime.tree.TerminalNode	AND()
List<SpecParser.BindingContext>	binding()
SpecParser.BindingContext	binding(int i)
List<SpecParser.Class_nameContext>	class_name()
SpecParser.Class_nameContext	class_name(int i)
org.antlr.v4.runtime.tree.TerminalNode	COLON()
void	enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
void	exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
int	getRuleIndex()
List<org.antlr.v4.runtime.tree.TerminalNode>	INFORMAL()
org.antlr.v4.runtime.tree.TerminalNode	INFORMAL(int i)
SpecParser.SignatureContext	signature()
SpecParser.StepsContext	steps()
org.antlr.v4.runtime.tree.TerminalNode	UC_ID()
org.antlr.v4.runtime.tree.TerminalNode	USING()
org.antlr.v4.runtime.tree.TerminalNode	WHERE()

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

UC_ID

public org.antlr.v4.runtime.Token UC_ID

self

public SpecParser.Class_nameContext self

slf

public SpecParser.BindingContext slf

msig

public SpecParser.SignatureContext msig

rslt

public SpecParser.Class_nameContext rslt

res

public SpecParser.BindingContext res

hclass

public SpecParser.Class_nameContext hclass

hbind

public SpecParser.BindingContext hbind

tclass

public SpecParser.Class_nameContext tclass

tbind

public SpecParser.BindingContext tbind

Constructor Detail

SpecParser.Method_declarationContext

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

Method Detail

steps

public SpecParser.StepsContext steps()

WHERE

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

class_name

public SpecParser.Class_nameContext class_name(int i)

binding

public List<SpecParser.BindingContext> binding()

AND

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

INFORMAL

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

USING

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

binding

public SpecParser.BindingContext binding(int i)

class_name

public List<SpecParser.Class_nameContext> class_name()

UC_ID

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

INFORMAL

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

COLON

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

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