Class alloyParser.ExprContext

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

Constructors

| Improve this Doc View Source

ExprContext(ParserRuleContext, Int32)

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

arrowOp()

Declaration
public alloyParser.ArrowOpContext arrowOp()
Returns
Type Description
alloyParser.ArrowOpContext
| Improve this Doc View Source

binOp()

Declaration
public alloyParser.BinOpContext binOp()
Returns
Type Description
alloyParser.BinOpContext
| Improve this Doc View Source

block()

Declaration
public alloyParser.BlockContext block()
Returns
Type Description
alloyParser.BlockContext
| Improve this Doc View Source

blockOrBar()

Declaration
public alloyParser.BlockOrBarContext blockOrBar()
Returns
Type Description
alloyParser.BlockOrBarContext
| Improve this Doc View Source

compareOp()

Declaration
public alloyParser.CompareOpContext compareOp()
Returns
Type Description
alloyParser.CompareOpContext
| Improve this Doc View Source

const_()

Declaration
public alloyParser.Const_Context const_()
Returns
Type Description
alloyParser.Const_Context
| Improve this Doc View Source

decl()

Declaration
public alloyParser.DeclContext[] decl()
Returns
Type Description
alloyParser.DeclContext[]
| Improve this Doc View Source

decl(Int32)

Declaration
public alloyParser.DeclContext decl(int i)
Parameters
Type Name Description
System.Int32 i
Returns
Type Description
alloyParser.DeclContext
| 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

expr()

Declaration
public alloyParser.ExprContext[] expr()
Returns
Type Description
alloyParser.ExprContext[]
| Improve this Doc View Source

expr(Int32)

Declaration
public alloyParser.ExprContext expr(int i)
Parameters
Type Name Description
System.Int32 i
Returns
Type Description
alloyParser.ExprContext
| Improve this Doc View Source

letDecl()

Declaration
public alloyParser.LetDeclContext[] letDecl()
Returns
Type Description
alloyParser.LetDeclContext[]
| Improve this Doc View Source

letDecl(Int32)

Declaration
public alloyParser.LetDeclContext letDecl(int i)
Parameters
Type Name Description
System.Int32 i
Returns
Type Description
alloyParser.LetDeclContext
| Improve this Doc View Source

name()

Declaration
public alloyParser.NameContext name()
Returns
Type Description
alloyParser.NameContext
| Improve this Doc View Source

qualName()

Declaration
public alloyParser.QualNameContext qualName()
Returns
Type Description
alloyParser.QualNameContext
| Improve this Doc View Source

quant()

Declaration
public alloyParser.QuantContext quant()
Returns
Type Description
alloyParser.QuantContext
| Improve this Doc View Source

unOp()

Declaration
public alloyParser.UnOpContext unOp()
Returns
Type Description
alloyParser.UnOpContext