Class SMTLIBv2Parser.KeywordContext

Inheritance

System.Object

SMTLIBv2Parser.KeywordContext

Namespace: GCore.Antlr.Grammers.Smtlibv2

Assembly: Smtlibv2.dll

Syntax

public class KeywordContext : ParserRuleContext

Constructors

| Improve this Doc View Source

KeywordContext(ParserRuleContext, Int32)

Declaration

public KeywordContext(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

Colon()

Declaration

public ITerminalNode Colon()

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

predefKeyword()

Declaration

public SMTLIBv2Parser.PredefKeywordContext predefKeyword()

Returns

Type	Description
SMTLIBv2Parser.PredefKeywordContext

| Improve this Doc View Source

simpleSymbol()

Declaration

public SMTLIBv2Parser.SimpleSymbolContext simpleSymbol()

Returns

Type	Description
SMTLIBv2Parser.SimpleSymbolContext