Class metamathParser.OutermostscopestmtContext

Inheritance

System.Object

metamathParser.OutermostscopestmtContext

Namespace: GCore.Antlr.Grammers.Metamath

Assembly: Metamath.dll

Syntax

public class OutermostscopestmtContext : ParserRuleContext

Constructors

| Improve this Doc View Source

OutermostscopestmtContext(ParserRuleContext, Int32)

Declaration

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

constantstmt()

Declaration

public metamathParser.ConstantstmtContext constantstmt()

Returns

Type	Description
metamathParser.ConstantstmtContext

| 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

includestmt()

Declaration

public metamathParser.IncludestmtContext includestmt()

Returns

Type	Description
metamathParser.IncludestmtContext

| Improve this Doc View Source

stmt()

Declaration

public metamathParser.StmtContext stmt()

Returns

Type	Description
metamathParser.StmtContext