Class ctlParser.PropositionContext

Inheritance
System.Object
ctlParser.PropositionContext
Namespace: GCore.Antlr.Grammers.Ctl
Assembly: Ctl.dll
Syntax
public class PropositionContext : ParserRuleContext

Constructors

| Improve this Doc View Source

PropositionContext(ParserRuleContext, Int32)

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

ATOMIC()

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

CTL_AND()

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

CTL_DOWNTACK()

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

CTL_EXISTS()

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

CTL_FINALLY()

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

CTL_GLOBALLY()

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

CTL_INEVITABLE()

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

CTL_LEFT_RIGHT_DOUBLE_ARROW()

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

CTL_NEXT()

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

CTL_NOT()

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

CTL_OR()

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

CTL_RIGHTWARDS_DOUBLE_ARROW()

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

CTL_UNTIL()

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

CTL_UPTACK()

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

proposition()

Declaration
public ctlParser.PropositionContext[] proposition()
Returns
Type Description
ctlParser.PropositionContext[]
| Improve this Doc View Source

proposition(Int32)

Declaration
public ctlParser.PropositionContext proposition(int i)
Parameters
Type Name Description
System.Int32 i
Returns
Type Description
ctlParser.PropositionContext