Class alloyParser.ModuleDeclContext

Inheritance

System.Object

alloyParser.ModuleDeclContext

Namespace: GCore.Antlr.Grammers.Alloy

Assembly: Alloy.dll

Syntax

public class ModuleDeclContext : ParserRuleContext

Constructors

| Improve this Doc View Source

ModuleDeclContext(ParserRuleContext, Int32)

Declaration

public ModuleDeclContext(ParserRuleContext parent, int invokingState)

Parameters

Type	Name	Description
ParserRuleContext	parent
System.Int32	invokingState

Properties

| Improve this Doc View Source

RuleIndex

Declaration

public override int RuleIndex { get; }

Property Value

Type	Description
System.Int32

Methods

| Improve this Doc View Source

Accept<TResult>(IParseTreeVisitor<TResult>)

Declaration

public override TResult Accept<TResult>(IParseTreeVisitor<TResult> visitor)

Parameters

Type	Name	Description
IParseTreeVisitor<TResult>	visitor

Returns

Type	Description
TResult

Type Parameters

Name	Description
TResult

| Improve this Doc View Source

EnterRule(IParseTreeListener)

Declaration

public override void EnterRule(IParseTreeListener listener)

Parameters

Type	Name	Description
IParseTreeListener	listener

| Improve this Doc View Source

ExitRule(IParseTreeListener)

Declaration

public override void ExitRule(IParseTreeListener listener)

Parameters

Type	Name	Description
IParseTreeListener	listener

| Improve this Doc View Source

name()

Declaration

public alloyParser.NameContext[] name()

Returns

Type	Description
alloyParser.NameContext[]

| Improve this Doc View Source

name(Int32)

Declaration

public alloyParser.NameContext name(int i)

Parameters

Type	Name	Description
System.Int32	i

Returns

Type	Description
alloyParser.NameContext

| Improve this Doc View Source

qualName()

Declaration

public alloyParser.QualNameContext qualName()

Returns

Type	Description
alloyParser.QualNameContext