Class alloyParser.ParagraphContext

Inheritance
System.Object
alloyParser.ParagraphContext
Namespace: GCore.Antlr.Grammers.Alloy
Assembly: Alloy.dll
Syntax
public class ParagraphContext : ParserRuleContext

Constructors

| Improve this Doc View Source

ParagraphContext(ParserRuleContext, Int32)

Declaration
public ParagraphContext(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

assertDecl()

Declaration
public alloyParser.AssertDeclContext assertDecl()
Returns
Type Description
alloyParser.AssertDeclContext
| Improve this Doc View Source

cmdDecl()

Declaration
public alloyParser.CmdDeclContext cmdDecl()
Returns
Type Description
alloyParser.CmdDeclContext
| 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

factDecl()

Declaration
public alloyParser.FactDeclContext factDecl()
Returns
Type Description
alloyParser.FactDeclContext
| Improve this Doc View Source

funDecl()

Declaration
public alloyParser.FunDeclContext funDecl()
Returns
Type Description
alloyParser.FunDeclContext
| Improve this Doc View Source

predDecl()

Declaration
public alloyParser.PredDeclContext predDecl()
Returns
Type Description
alloyParser.PredDeclContext
| Improve this Doc View Source

sigDecl()

Declaration
public alloyParser.SigDeclContext sigDecl()
Returns
Type Description
alloyParser.SigDeclContext