Class SMTLIBv2Parser.Datatype_decContext

Inheritance
System.Object
SMTLIBv2Parser.Datatype_decContext
Namespace: GCore.Antlr.Grammers.Smtlibv2
Assembly: Smtlibv2.dll
Syntax
public class Datatype_decContext : ParserRuleContext

Constructors

| Improve this Doc View Source

Datatype_decContext(ParserRuleContext, Int32)

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

constructor_dec()

Declaration
public SMTLIBv2Parser.Constructor_decContext[] constructor_dec()
Returns
Type Description
SMTLIBv2Parser.Constructor_decContext[]
| Improve this Doc View Source

constructor_dec(Int32)

Declaration
public SMTLIBv2Parser.Constructor_decContext constructor_dec(int i)
Parameters
Type Name Description
System.Int32 i
Returns
Type Description
SMTLIBv2Parser.Constructor_decContext
| 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

GRW_Par()

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

ParClose()

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

ParClose(Int32)

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

ParOpen()

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

ParOpen(Int32)

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

symbol()

Declaration
public SMTLIBv2Parser.SymbolContext[] symbol()
Returns
Type Description
SMTLIBv2Parser.SymbolContext[]
| Improve this Doc View Source

symbol(Int32)

Declaration
public SMTLIBv2Parser.SymbolContext symbol(int i)
Parameters
Type Name Description
System.Int32 i
Returns
Type Description
SMTLIBv2Parser.SymbolContext