Class metamathBaseVisitor<Result>

This class provides an empty implementation of ImetamathVisitor<Result>, which can be extended to create a visitor which only needs to handle a subset of the available methods.

Inheritance
System.Object
metamathBaseVisitor<Result>
Implements
IParseTreeVisitor<Result>
Namespace: GCore.Antlr.Grammers.Metamath
Assembly: Metamath.dll
Syntax
public class metamathBaseVisitor<Result> : AbstractParseTreeVisitor<Result>, ImetamathVisitor<Result>, IParseTreeVisitor<Result>
Type Parameters
Name Description
Result

The return type of the visit operation.

Methods

| Improve this Doc View Source

VisitAssertstmt(metamathParser.AssertstmtContext)

Visit a parse tree produced by assertstmt().

The default implementation returns the result of calling on context.

Declaration
public virtual Result VisitAssertstmt(metamathParser.AssertstmtContext context)
Parameters
Type Name Description
metamathParser.AssertstmtContext context

The parse tree.
Returns
Type Description
Result
| Improve this Doc View Source

VisitAxiomstmt(metamathParser.AxiomstmtContext)

Visit a parse tree produced by axiomstmt().

The default implementation returns the result of calling on context.

Declaration
public virtual Result VisitAxiomstmt(metamathParser.AxiomstmtContext context)
Parameters
Type Name Description
metamathParser.AxiomstmtContext context

The parse tree.
Returns
Type Description
Result
| Improve this Doc View Source

VisitBlock(metamathParser.BlockContext)

Visit a parse tree produced by block().

The default implementation returns the result of calling on context.

Declaration
public virtual Result VisitBlock(metamathParser.BlockContext context)
Parameters
Type Name Description
metamathParser.BlockContext context

The parse tree.
Returns
Type Description
Result
| Improve this Doc View Source

VisitCompressedproof(metamathParser.CompressedproofContext)

Visit a parse tree produced by compressedproof().

The default implementation returns the result of calling on context.

Declaration
public virtual Result VisitCompressedproof(metamathParser.CompressedproofContext context)
Parameters
Type Name Description
metamathParser.CompressedproofContext context

The parse tree.
Returns
Type Description
Result
| Improve this Doc View Source

VisitConstant(metamathParser.ConstantContext)

Visit a parse tree produced by constant().

The default implementation returns the result of calling on context.

Declaration
public virtual Result VisitConstant(metamathParser.ConstantContext context)
Parameters
Type Name Description
metamathParser.ConstantContext context

The parse tree.
Returns
Type Description
Result
| Improve this Doc View Source

VisitConstantstmt(metamathParser.ConstantstmtContext)

Visit a parse tree produced by constantstmt().

The default implementation returns the result of calling on context.

Declaration
public virtual Result VisitConstantstmt(metamathParser.ConstantstmtContext context)
Parameters
Type Name Description
metamathParser.ConstantstmtContext context

The parse tree.
Returns
Type Description
Result
| Improve this Doc View Source

VisitDatabase(metamathParser.DatabaseContext)

Visit a parse tree produced by database().

The default implementation returns the result of calling on context.

Declaration
public virtual Result VisitDatabase(metamathParser.DatabaseContext context)
Parameters
Type Name Description
metamathParser.DatabaseContext context

The parse tree.
Returns
Type Description
Result
| Improve this Doc View Source

VisitDisjointstmt(metamathParser.DisjointstmtContext)

Visit a parse tree produced by disjointstmt().

The default implementation returns the result of calling on context.

Declaration
public virtual Result VisitDisjointstmt(metamathParser.DisjointstmtContext context)
Parameters
Type Name Description
metamathParser.DisjointstmtContext context

The parse tree.
Returns
Type Description
Result
| Improve this Doc View Source

VisitEssentialstmt(metamathParser.EssentialstmtContext)

Visit a parse tree produced by essentialstmt().

The default implementation returns the result of calling on context.

Declaration
public virtual Result VisitEssentialstmt(metamathParser.EssentialstmtContext context)
Parameters
Type Name Description
metamathParser.EssentialstmtContext context

The parse tree.
Returns
Type Description
Result
| Improve this Doc View Source

VisitFilename(metamathParser.FilenameContext)

Visit a parse tree produced by filename().

The default implementation returns the result of calling on context.

Declaration
public virtual Result VisitFilename(metamathParser.FilenameContext context)
Parameters
Type Name Description
metamathParser.FilenameContext context

The parse tree.
Returns
Type Description
Result
| Improve this Doc View Source

VisitFloatingstmt(metamathParser.FloatingstmtContext)

Visit a parse tree produced by floatingstmt().

The default implementation returns the result of calling on context.

Declaration
public virtual Result VisitFloatingstmt(metamathParser.FloatingstmtContext context)
Parameters
Type Name Description
metamathParser.FloatingstmtContext context

The parse tree.
Returns
Type Description
Result
| Improve this Doc View Source

VisitHypothesisstmt(metamathParser.HypothesisstmtContext)

Visit a parse tree produced by hypothesisstmt().

The default implementation returns the result of calling on context.

Declaration
public virtual Result VisitHypothesisstmt(metamathParser.HypothesisstmtContext context)
Parameters
Type Name Description
metamathParser.HypothesisstmtContext context

The parse tree.
Returns
Type Description
Result
| Improve this Doc View Source

VisitIncludestmt(metamathParser.IncludestmtContext)

Visit a parse tree produced by includestmt().

The default implementation returns the result of calling on context.

Declaration
public virtual Result VisitIncludestmt(metamathParser.IncludestmtContext context)
Parameters
Type Name Description
metamathParser.IncludestmtContext context

The parse tree.
Returns
Type Description
Result
| Improve this Doc View Source

VisitMathsymbol(metamathParser.MathsymbolContext)

Visit a parse tree produced by mathsymbol().

The default implementation returns the result of calling on context.

Declaration
public virtual Result VisitMathsymbol(metamathParser.MathsymbolContext context)
Parameters
Type Name Description
metamathParser.MathsymbolContext context

The parse tree.
Returns
Type Description
Result
| Improve this Doc View Source

VisitOutermostscopestmt(metamathParser.OutermostscopestmtContext)

Visit a parse tree produced by outermostscopestmt().

The default implementation returns the result of calling on context.

Declaration
public virtual Result VisitOutermostscopestmt(metamathParser.OutermostscopestmtContext context)
Parameters
Type Name Description
metamathParser.OutermostscopestmtContext context

The parse tree.
Returns
Type Description
Result
| Improve this Doc View Source

VisitProof(metamathParser.ProofContext)

Visit a parse tree produced by proof().

The default implementation returns the result of calling on context.

Declaration
public virtual Result VisitProof(metamathParser.ProofContext context)
Parameters
Type Name Description
metamathParser.ProofContext context

The parse tree.
Returns
Type Description
Result
| Improve this Doc View Source

VisitProvablestmt(metamathParser.ProvablestmtContext)

Visit a parse tree produced by provablestmt().

The default implementation returns the result of calling on context.

Declaration
public virtual Result VisitProvablestmt(metamathParser.ProvablestmtContext context)
Parameters
Type Name Description
metamathParser.ProvablestmtContext context

The parse tree.
Returns
Type Description
Result
| Improve this Doc View Source

VisitStmt(metamathParser.StmtContext)

Visit a parse tree produced by stmt().

The default implementation returns the result of calling on context.

Declaration
public virtual Result VisitStmt(metamathParser.StmtContext context)
Parameters
Type Name Description
metamathParser.StmtContext context

The parse tree.
Returns
Type Description
Result
| Improve this Doc View Source

VisitTypecode(metamathParser.TypecodeContext)

Visit a parse tree produced by typecode().

The default implementation returns the result of calling on context.

Declaration
public virtual Result VisitTypecode(metamathParser.TypecodeContext context)
Parameters
Type Name Description
metamathParser.TypecodeContext context

The parse tree.
Returns
Type Description
Result
| Improve this Doc View Source

VisitUncompressedproof(metamathParser.UncompressedproofContext)

Visit a parse tree produced by uncompressedproof().

The default implementation returns the result of calling on context.

Declaration
public virtual Result VisitUncompressedproof(metamathParser.UncompressedproofContext context)
Parameters
Type Name Description
metamathParser.UncompressedproofContext context

The parse tree.
Returns
Type Description
Result
| Improve this Doc View Source

VisitVariable(metamathParser.VariableContext)

Visit a parse tree produced by variable().

The default implementation returns the result of calling on context.

Declaration
public virtual Result VisitVariable(metamathParser.VariableContext context)
Parameters
Type Name Description
metamathParser.VariableContext context

The parse tree.
Returns
Type Description
Result
| Improve this Doc View Source

VisitVariablestmt(metamathParser.VariablestmtContext)

Visit a parse tree produced by variablestmt().

The default implementation returns the result of calling on context.

Declaration
public virtual Result VisitVariablestmt(metamathParser.VariablestmtContext context)
Parameters
Type Name Description
metamathParser.VariablestmtContext context

The parse tree.
Returns
Type Description
Result

Implements

IParseTreeVisitor<>