org.requs.facet.syntax

Class SpecParser.Class_declarationContext

java.lang.Object

org.antlr.v4.runtime.RuleContext

org.antlr.v4.runtime.ParserRuleContext

org.requs.facet.syntax.SpecParser.Class_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.Class_declarationContext
extends org.antlr.v4.runtime.ParserRuleContext

Field Summary

Fields

Modifier and Type	Field and Description
org.antlr.v4.runtime.Token	INFORMAL
SpecParser.Class_nameContext	parent
SpecParser.Class_nameContext	self

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

children, exception, start, stop

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

EMPTY, invokingState

Constructor Summary

Constructors

Constructor and Description
SpecParser.Class_declarationContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)

Method Summary

Methods

Modifier and Type	Method and Description
org.antlr.v4.runtime.tree.TerminalNode	A()
List<SpecParser.Class_nameContext>	class_name()
SpecParser.Class_nameContext	class_name(int i)
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)
org.antlr.v4.runtime.tree.TerminalNode	IS()

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

self

public SpecParser.Class_nameContext self

INFORMAL

public org.antlr.v4.runtime.Token INFORMAL

parent

public SpecParser.Class_nameContext parent

Constructor Detail

SpecParser.Class_declarationContext

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

Method Detail

class_name

public SpecParser.Class_nameContext class_name(int i)

INFORMAL

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

A

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

class_name

public List<SpecParser.Class_nameContext> class_name()

INFORMAL

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

IS

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

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