Class metamathParser

Inheritance

System.Object

metamathParser

Namespace: GCore.Antlr.Grammers.Metamath

Assembly: Metamath.dll

Syntax

public class metamathParser : Parser

Constructors

metamathParser(ITokenStream)

Declaration

public metamathParser(ITokenStream input)

Parameters

Type	Name	Description
ITokenStream	input

metamathParser(ITokenStream, TextWriter, TextWriter)

Declaration

public metamathParser(ITokenStream input, TextWriter output, TextWriter errorOutput)

Parameters

Type	Name	Description
ITokenStream	input
TextWriter	output
TextWriter	errorOutput

Fields

_ATN

Declaration

public static readonly ATN _ATN

Field Value

Type	Description
ATN

BLOCK_COMMENT

Declaration

public const int BLOCK_COMMENT = null

Field Value

Type	Description
System.Int32

COMPRESSEDPROOFBLOCK

Declaration

public const int COMPRESSEDPROOFBLOCK = null

Field Value

Type	Description
System.Int32

decisionToDFA

Declaration

protected static Antlr4.Runtime.Dfa.DFA[] decisionToDFA

Field Value

Type	Description
Antlr4.Runtime.Dfa.DFA[]

DefaultVocabulary

Declaration

public static readonly IVocabulary DefaultVocabulary

Field Value

Type	Description
IVocabulary

LABEL

Declaration

public const int LABEL = null

Field Value

Type	Description
System.Int32

LPAREN

Declaration

public const int LPAREN = null

Field Value

Type	Description
System.Int32

PRINTABLECHARACTER

Declaration

public const int PRINTABLECHARACTER = null

Field Value

Type	Description
System.Int32

RPAREN

Declaration

public const int RPAREN = null

Field Value

Type	Description
System.Int32

RULE_assertstmt

Declaration

public const int RULE_assertstmt = null

Field Value

Type	Description
System.Int32

RULE_axiomstmt

Declaration

public const int RULE_axiomstmt = null

Field Value

Type	Description
System.Int32

RULE_block

Declaration

public const int RULE_block = null

Field Value

Type	Description
System.Int32

RULE_compressedproof

Declaration

public const int RULE_compressedproof = null

Field Value

Type	Description
System.Int32

RULE_constant

Declaration

public const int RULE_constant = null

Field Value

Type	Description
System.Int32

RULE_constantstmt

Declaration

public const int RULE_constantstmt = null

Field Value

Type	Description
System.Int32

RULE_database

Declaration

public const int RULE_database = null

Field Value

Type	Description
System.Int32

RULE_disjointstmt

Declaration

public const int RULE_disjointstmt = null

Field Value

Type	Description
System.Int32

RULE_essentialstmt

Declaration

public const int RULE_essentialstmt = null

Field Value

Type	Description
System.Int32

RULE_filename

Declaration

public const int RULE_filename = null

Field Value

Type	Description
System.Int32

RULE_floatingstmt

Declaration

public const int RULE_floatingstmt = null

Field Value

Type	Description
System.Int32

RULE_hypothesisstmt

Declaration

public const int RULE_hypothesisstmt = null

Field Value

Type	Description
System.Int32

RULE_includestmt

Declaration

public const int RULE_includestmt = null

Field Value

Type	Description
System.Int32

RULE_mathsymbol

Declaration

public const int RULE_mathsymbol = null

Field Value

Type	Description
System.Int32

RULE_outermostscopestmt

Declaration

public const int RULE_outermostscopestmt = null

Field Value

Type	Description
System.Int32

RULE_proof

Declaration

public const int RULE_proof = null

Field Value

Type	Description
System.Int32

RULE_provablestmt

Declaration

public const int RULE_provablestmt = null

Field Value

Type	Description
System.Int32

RULE_stmt

Declaration

public const int RULE_stmt = null

Field Value

Type	Description
System.Int32

RULE_typecode

Declaration

public const int RULE_typecode = null

Field Value

Type	Description
System.Int32

RULE_uncompressedproof

Declaration

public const int RULE_uncompressedproof = null

Field Value

Type	Description
System.Int32

RULE_variable

Declaration

public const int RULE_variable = null

Field Value

Type	Description
System.Int32

RULE_variablestmt

Declaration

public const int RULE_variablestmt = null

Field Value

Type	Description
System.Int32

ruleNames

Declaration

public static readonly string[] ruleNames

Field Value

Type	Description
System.String[]

sharedContextCache

Declaration

protected static PredictionContextCache sharedContextCache

Field Value

Type	Description
PredictionContextCache

T__0

Declaration

public const int T__0 = null

Field Value

Type	Description
System.Int32

T__1

Declaration

public const int T__1 = null

Field Value

Type	Description
System.Int32

T__10

Declaration

public const int T__10 = null

Field Value

Type	Description
System.Int32

T__11

Declaration

public const int T__11 = null

Field Value

Type	Description
System.Int32

T__12

Declaration

public const int T__12 = null

Field Value

Type	Description
System.Int32

T__13

Declaration

public const int T__13 = null

Field Value

Type	Description
System.Int32

T__2

Declaration

public const int T__2 = null

Field Value

Type	Description
System.Int32

T__3

Declaration

public const int T__3 = null

Field Value

Type	Description
System.Int32

T__4

Declaration

public const int T__4 = null

Field Value

Type	Description
System.Int32

T__5

Declaration

public const int T__5 = null

Field Value

Type	Description
System.Int32

T__6

Declaration

public const int T__6 = null

Field Value

Type	Description
System.Int32

T__7

Declaration

public const int T__7 = null

Field Value

Type	Description
System.Int32

T__8

Declaration

public const int T__8 = null

Field Value

Type	Description
System.Int32

T__9

Declaration

public const int T__9 = null

Field Value

Type	Description
System.Int32

WS

Declaration

public const int WS = null

Field Value

Type	Description
System.Int32

Properties

GrammarFileName

Declaration

public override string GrammarFileName { get; }

Property Value

Type	Description
System.String

RuleNames

Declaration

public override string[] RuleNames { get; }

Property Value

Type	Description
System.String[]

SerializedAtn

Declaration

public override string SerializedAtn { get; }

Property Value

Type	Description
System.String

Vocabulary

Declaration

public override IVocabulary Vocabulary { get; }

Property Value

Type	Description
IVocabulary

Methods

assertstmt()

Declaration

public metamathParser.AssertstmtContext assertstmt()

Returns

Type	Description
metamathParser.AssertstmtContext

axiomstmt()

Declaration

public metamathParser.AxiomstmtContext axiomstmt()

Returns

Type	Description
metamathParser.AxiomstmtContext

block()

Declaration

public metamathParser.BlockContext block()

Returns

Type	Description
metamathParser.BlockContext

compressedproof()

Declaration

public metamathParser.CompressedproofContext compressedproof()

Returns

Type	Description
metamathParser.CompressedproofContext

constant()

Declaration

public metamathParser.ConstantContext constant()

Returns

Type	Description
metamathParser.ConstantContext

constantstmt()

Declaration

public metamathParser.ConstantstmtContext constantstmt()

Returns

Type	Description
metamathParser.ConstantstmtContext

database()

Declaration

public metamathParser.DatabaseContext database()

Returns

Type	Description
metamathParser.DatabaseContext

disjointstmt()

Declaration

public metamathParser.DisjointstmtContext disjointstmt()

Returns

Type	Description
metamathParser.DisjointstmtContext

essentialstmt()

Declaration

public metamathParser.EssentialstmtContext essentialstmt()

Returns

Type	Description
metamathParser.EssentialstmtContext

filename()

Declaration

public metamathParser.FilenameContext filename()

Returns

Type	Description
metamathParser.FilenameContext

floatingstmt()

Declaration

public metamathParser.FloatingstmtContext floatingstmt()

Returns

Type	Description
metamathParser.FloatingstmtContext

hypothesisstmt()

Declaration

public metamathParser.HypothesisstmtContext hypothesisstmt()

Returns

Type	Description
metamathParser.HypothesisstmtContext

includestmt()

Declaration

public metamathParser.IncludestmtContext includestmt()

Returns

Type	Description
metamathParser.IncludestmtContext

mathsymbol()

Declaration

public metamathParser.MathsymbolContext mathsymbol()

Returns

Type	Description
metamathParser.MathsymbolContext

outermostscopestmt()

Declaration

public metamathParser.OutermostscopestmtContext outermostscopestmt()

Returns

Type	Description
metamathParser.OutermostscopestmtContext

proof()

Declaration

public metamathParser.ProofContext proof()

Returns

Type	Description
metamathParser.ProofContext

provablestmt()

Declaration

public metamathParser.ProvablestmtContext provablestmt()

Returns

Type	Description
metamathParser.ProvablestmtContext

stmt()

Declaration

public metamathParser.StmtContext stmt()

Returns

Type	Description
metamathParser.StmtContext

typecode()

Declaration

public metamathParser.TypecodeContext typecode()

Returns

Type	Description
metamathParser.TypecodeContext

uncompressedproof()

Declaration

public metamathParser.UncompressedproofContext uncompressedproof()

Returns

Type	Description
metamathParser.UncompressedproofContext

variable()

Declaration

public metamathParser.VariableContext variable()

Returns

Type	Description
metamathParser.VariableContext

variablestmt()

Declaration

public metamathParser.VariablestmtContext variablestmt()

Returns

Type	Description
metamathParser.VariablestmtContext