Class metamathBaseListener
This class provides an empty implementation of ImetamathListener, which can be extended to create a listener which only needs to handle a subset of the available methods.
Inheritance
Namespace: GCore.Antlr.Grammers.Metamath
Assembly: Metamath.dll
Syntax
public class metamathBaseListener : object, ImetamathListener, Antlr4.Runtime.Tree.IParseTreeListenerMethods
| Improve this Doc View SourceEnterAssertstmt(metamathParser.AssertstmtContext)
Enter a parse tree produced by assertstmt().
The default implementation does nothing.
Declaration
public virtual void EnterAssertstmt(metamathParser.AssertstmtContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.AssertstmtContext | context | The parse tree. |
EnterAxiomstmt(metamathParser.AxiomstmtContext)
Enter a parse tree produced by axiomstmt().
The default implementation does nothing.
Declaration
public virtual void EnterAxiomstmt(metamathParser.AxiomstmtContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.AxiomstmtContext | context | The parse tree. |
EnterBlock(metamathParser.BlockContext)
Enter a parse tree produced by block().
The default implementation does nothing.
Declaration
public virtual void EnterBlock(metamathParser.BlockContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.BlockContext | context | The parse tree. |
EnterCompressedproof(metamathParser.CompressedproofContext)
Enter a parse tree produced by compressedproof().
The default implementation does nothing.
Declaration
public virtual void EnterCompressedproof(metamathParser.CompressedproofContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.CompressedproofContext | context | The parse tree. |
EnterConstant(metamathParser.ConstantContext)
Enter a parse tree produced by constant().
The default implementation does nothing.
Declaration
public virtual void EnterConstant(metamathParser.ConstantContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.ConstantContext | context | The parse tree. |
EnterConstantstmt(metamathParser.ConstantstmtContext)
Enter a parse tree produced by constantstmt().
The default implementation does nothing.
Declaration
public virtual void EnterConstantstmt(metamathParser.ConstantstmtContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.ConstantstmtContext | context | The parse tree. |
EnterDatabase(metamathParser.DatabaseContext)
Enter a parse tree produced by database().
The default implementation does nothing.
Declaration
public virtual void EnterDatabase(metamathParser.DatabaseContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.DatabaseContext | context | The parse tree. |
EnterDisjointstmt(metamathParser.DisjointstmtContext)
Enter a parse tree produced by disjointstmt().
The default implementation does nothing.
Declaration
public virtual void EnterDisjointstmt(metamathParser.DisjointstmtContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.DisjointstmtContext | context | The parse tree. |
EnterEssentialstmt(metamathParser.EssentialstmtContext)
Enter a parse tree produced by essentialstmt().
The default implementation does nothing.
Declaration
public virtual void EnterEssentialstmt(metamathParser.EssentialstmtContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.EssentialstmtContext | context | The parse tree. |
EnterEveryRule(Antlr4.Runtime.ParserRuleContext)
Declaration
public virtual void EnterEveryRule(Antlr4.Runtime.ParserRuleContext context)Parameters
| Type | Name | Description |
|---|---|---|
| Antlr4.Runtime.ParserRuleContext | context |
Remarks
The default implementation does nothing.
EnterFilename(metamathParser.FilenameContext)
Enter a parse tree produced by filename().
The default implementation does nothing.
Declaration
public virtual void EnterFilename(metamathParser.FilenameContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.FilenameContext | context | The parse tree. |
EnterFloatingstmt(metamathParser.FloatingstmtContext)
Enter a parse tree produced by floatingstmt().
The default implementation does nothing.
Declaration
public virtual void EnterFloatingstmt(metamathParser.FloatingstmtContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.FloatingstmtContext | context | The parse tree. |
EnterHypothesisstmt(metamathParser.HypothesisstmtContext)
Enter a parse tree produced by hypothesisstmt().
The default implementation does nothing.
Declaration
public virtual void EnterHypothesisstmt(metamathParser.HypothesisstmtContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.HypothesisstmtContext | context | The parse tree. |
EnterIncludestmt(metamathParser.IncludestmtContext)
Enter a parse tree produced by includestmt().
The default implementation does nothing.
Declaration
public virtual void EnterIncludestmt(metamathParser.IncludestmtContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.IncludestmtContext | context | The parse tree. |
EnterMathsymbol(metamathParser.MathsymbolContext)
Enter a parse tree produced by mathsymbol().
The default implementation does nothing.
Declaration
public virtual void EnterMathsymbol(metamathParser.MathsymbolContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.MathsymbolContext | context | The parse tree. |
EnterOutermostscopestmt(metamathParser.OutermostscopestmtContext)
Enter a parse tree produced by outermostscopestmt().
The default implementation does nothing.
Declaration
public virtual void EnterOutermostscopestmt(metamathParser.OutermostscopestmtContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.OutermostscopestmtContext | context | The parse tree. |
EnterProof(metamathParser.ProofContext)
Enter a parse tree produced by proof().
The default implementation does nothing.
Declaration
public virtual void EnterProof(metamathParser.ProofContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.ProofContext | context | The parse tree. |
EnterProvablestmt(metamathParser.ProvablestmtContext)
Enter a parse tree produced by provablestmt().
The default implementation does nothing.
Declaration
public virtual void EnterProvablestmt(metamathParser.ProvablestmtContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.ProvablestmtContext | context | The parse tree. |
EnterStmt(metamathParser.StmtContext)
Enter a parse tree produced by stmt().
The default implementation does nothing.
Declaration
public virtual void EnterStmt(metamathParser.StmtContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.StmtContext | context | The parse tree. |
EnterTypecode(metamathParser.TypecodeContext)
Enter a parse tree produced by typecode().
The default implementation does nothing.
Declaration
public virtual void EnterTypecode(metamathParser.TypecodeContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.TypecodeContext | context | The parse tree. |
EnterUncompressedproof(metamathParser.UncompressedproofContext)
Enter a parse tree produced by uncompressedproof().
The default implementation does nothing.
Declaration
public virtual void EnterUncompressedproof(metamathParser.UncompressedproofContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.UncompressedproofContext | context | The parse tree. |
EnterVariable(metamathParser.VariableContext)
Enter a parse tree produced by variable().
The default implementation does nothing.
Declaration
public virtual void EnterVariable(metamathParser.VariableContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.VariableContext | context | The parse tree. |
EnterVariablestmt(metamathParser.VariablestmtContext)
Enter a parse tree produced by variablestmt().
The default implementation does nothing.
Declaration
public virtual void EnterVariablestmt(metamathParser.VariablestmtContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.VariablestmtContext | context | The parse tree. |
ExitAssertstmt(metamathParser.AssertstmtContext)
Exit a parse tree produced by assertstmt().
The default implementation does nothing.
Declaration
public virtual void ExitAssertstmt(metamathParser.AssertstmtContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.AssertstmtContext | context | The parse tree. |
ExitAxiomstmt(metamathParser.AxiomstmtContext)
Exit a parse tree produced by axiomstmt().
The default implementation does nothing.
Declaration
public virtual void ExitAxiomstmt(metamathParser.AxiomstmtContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.AxiomstmtContext | context | The parse tree. |
ExitBlock(metamathParser.BlockContext)
Exit a parse tree produced by block().
The default implementation does nothing.
Declaration
public virtual void ExitBlock(metamathParser.BlockContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.BlockContext | context | The parse tree. |
ExitCompressedproof(metamathParser.CompressedproofContext)
Exit a parse tree produced by compressedproof().
The default implementation does nothing.
Declaration
public virtual void ExitCompressedproof(metamathParser.CompressedproofContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.CompressedproofContext | context | The parse tree. |
ExitConstant(metamathParser.ConstantContext)
Exit a parse tree produced by constant().
The default implementation does nothing.
Declaration
public virtual void ExitConstant(metamathParser.ConstantContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.ConstantContext | context | The parse tree. |
ExitConstantstmt(metamathParser.ConstantstmtContext)
Exit a parse tree produced by constantstmt().
The default implementation does nothing.
Declaration
public virtual void ExitConstantstmt(metamathParser.ConstantstmtContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.ConstantstmtContext | context | The parse tree. |
ExitDatabase(metamathParser.DatabaseContext)
Exit a parse tree produced by database().
The default implementation does nothing.
Declaration
public virtual void ExitDatabase(metamathParser.DatabaseContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.DatabaseContext | context | The parse tree. |
ExitDisjointstmt(metamathParser.DisjointstmtContext)
Exit a parse tree produced by disjointstmt().
The default implementation does nothing.
Declaration
public virtual void ExitDisjointstmt(metamathParser.DisjointstmtContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.DisjointstmtContext | context | The parse tree. |
ExitEssentialstmt(metamathParser.EssentialstmtContext)
Exit a parse tree produced by essentialstmt().
The default implementation does nothing.
Declaration
public virtual void ExitEssentialstmt(metamathParser.EssentialstmtContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.EssentialstmtContext | context | The parse tree. |
ExitEveryRule(Antlr4.Runtime.ParserRuleContext)
Declaration
public virtual void ExitEveryRule(Antlr4.Runtime.ParserRuleContext context)Parameters
| Type | Name | Description |
|---|---|---|
| Antlr4.Runtime.ParserRuleContext | context |
Remarks
The default implementation does nothing.
ExitFilename(metamathParser.FilenameContext)
Exit a parse tree produced by filename().
The default implementation does nothing.
Declaration
public virtual void ExitFilename(metamathParser.FilenameContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.FilenameContext | context | The parse tree. |
ExitFloatingstmt(metamathParser.FloatingstmtContext)
Exit a parse tree produced by floatingstmt().
The default implementation does nothing.
Declaration
public virtual void ExitFloatingstmt(metamathParser.FloatingstmtContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.FloatingstmtContext | context | The parse tree. |
ExitHypothesisstmt(metamathParser.HypothesisstmtContext)
Exit a parse tree produced by hypothesisstmt().
The default implementation does nothing.
Declaration
public virtual void ExitHypothesisstmt(metamathParser.HypothesisstmtContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.HypothesisstmtContext | context | The parse tree. |
ExitIncludestmt(metamathParser.IncludestmtContext)
Exit a parse tree produced by includestmt().
The default implementation does nothing.
Declaration
public virtual void ExitIncludestmt(metamathParser.IncludestmtContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.IncludestmtContext | context | The parse tree. |
ExitMathsymbol(metamathParser.MathsymbolContext)
Exit a parse tree produced by mathsymbol().
The default implementation does nothing.
Declaration
public virtual void ExitMathsymbol(metamathParser.MathsymbolContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.MathsymbolContext | context | The parse tree. |
ExitOutermostscopestmt(metamathParser.OutermostscopestmtContext)
Exit a parse tree produced by outermostscopestmt().
The default implementation does nothing.
Declaration
public virtual void ExitOutermostscopestmt(metamathParser.OutermostscopestmtContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.OutermostscopestmtContext | context | The parse tree. |
ExitProof(metamathParser.ProofContext)
Exit a parse tree produced by proof().
The default implementation does nothing.
Declaration
public virtual void ExitProof(metamathParser.ProofContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.ProofContext | context | The parse tree. |
ExitProvablestmt(metamathParser.ProvablestmtContext)
Exit a parse tree produced by provablestmt().
The default implementation does nothing.
Declaration
public virtual void ExitProvablestmt(metamathParser.ProvablestmtContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.ProvablestmtContext | context | The parse tree. |
ExitStmt(metamathParser.StmtContext)
Exit a parse tree produced by stmt().
The default implementation does nothing.
Declaration
public virtual void ExitStmt(metamathParser.StmtContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.StmtContext | context | The parse tree. |
ExitTypecode(metamathParser.TypecodeContext)
Exit a parse tree produced by typecode().
The default implementation does nothing.
Declaration
public virtual void ExitTypecode(metamathParser.TypecodeContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.TypecodeContext | context | The parse tree. |
ExitUncompressedproof(metamathParser.UncompressedproofContext)
Exit a parse tree produced by uncompressedproof().
The default implementation does nothing.
Declaration
public virtual void ExitUncompressedproof(metamathParser.UncompressedproofContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.UncompressedproofContext | context | The parse tree. |
ExitVariable(metamathParser.VariableContext)
Exit a parse tree produced by variable().
The default implementation does nothing.
Declaration
public virtual void ExitVariable(metamathParser.VariableContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.VariableContext | context | The parse tree. |
ExitVariablestmt(metamathParser.VariablestmtContext)
Exit a parse tree produced by variablestmt().
The default implementation does nothing.
Declaration
public virtual void ExitVariablestmt(metamathParser.VariablestmtContext context)Parameters
| Type | Name | Description |
|---|---|---|
| metamathParser.VariablestmtContext | context | The parse tree. |
VisitErrorNode(Antlr4.Runtime.Tree.IErrorNode)
Declaration
public virtual void VisitErrorNode(Antlr4.Runtime.Tree.IErrorNode node)Parameters
| Type | Name | Description |
|---|---|---|
| Antlr4.Runtime.Tree.IErrorNode | node |
Remarks
The default implementation does nothing.
VisitTerminal(Antlr4.Runtime.Tree.ITerminalNode)
Declaration
public virtual void VisitTerminal(Antlr4.Runtime.Tree.ITerminalNode node)Parameters
| Type | Name | Description |
|---|---|---|
| Antlr4.Runtime.Tree.ITerminalNode | node |
Remarks
The default implementation does nothing.