Class acmeParser.QuantifiedExpressionContext

Inheritance
System.Object
acmeParser.QuantifiedExpressionContext
Namespace: GCore.Antlr.Grammers.Acme
Assembly: Acme.dll
Syntax
public class QuantifiedExpressionContext : ParserRuleContext

Constructors

| Improve this Doc View Source

QuantifiedExpressionContext(ParserRuleContext, Int32)

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

BIT_OR()

Declaration
public ITerminalNode BIT_OR()
Returns
Type Description
ITerminalNode
| Improve this Doc View Source

COMMA()

Declaration
public ITerminalNode[] COMMA()
Returns
Type Description
ITerminalNode[]
| Improve this Doc View Source

COMMA(Int32)

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

designRuleExpression()

Declaration
public acmeParser.DesignRuleExpressionContext designRuleExpression()
Returns
Type Description
acmeParser.DesignRuleExpressionContext
| 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

EXISTS()

Declaration
public ITerminalNode EXISTS()
Returns
Type Description
ITerminalNode
| 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

FORALL()

Declaration
public ITerminalNode FORALL()
Returns
Type Description
ITerminalNode
| Improve this Doc View Source

UNIQUE()

Declaration
public ITerminalNode UNIQUE()
Returns
Type Description
ITerminalNode
| Improve this Doc View Source

variableSetDeclaration()

Declaration
public acmeParser.VariableSetDeclarationContext[] variableSetDeclaration()
Returns
Type Description
acmeParser.VariableSetDeclarationContext[]
| Improve this Doc View Source

variableSetDeclaration(Int32)

Declaration
public acmeParser.VariableSetDeclarationContext variableSetDeclaration(int i)
Parameters
Type Name Description
System.Int32 i
Returns
Type Description
acmeParser.VariableSetDeclarationContext