Interface ImetamathVisitor<Result>

This interface defines a complete generic visitor for a parse tree produced by metamathParser.

Namespace: GCore.Antlr.Grammers.Metamath

Assembly: Metamath.dll

Syntax

public interface 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().

Declaration

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().

Declaration

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().

Declaration

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().

Declaration

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().

Declaration

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().

Declaration

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().

Declaration

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().

Declaration

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().

Declaration

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().

Declaration

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().

Declaration

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().

Declaration

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().

Declaration

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().

Declaration

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().

Declaration

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().

Declaration

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().

Declaration

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().

Declaration

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().

Declaration

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().

Declaration

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().

Declaration

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().

Declaration

Result VisitVariablestmt(metamathParser.VariablestmtContext context)

Parameters

Type	Name	Description
metamathParser.VariablestmtContext	context	The parse tree.

Returns

Type	Description
Result