Interface IfolVisitor<Result>

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

Namespace: GCore.Antlr.Grammers.Fol
Assembly: Fol.dll
Syntax
public interface IfolVisitor<Result> : IParseTreeVisitor<Result>
Type Parameters
Name Description
Result

The return type of the visit operation.

Methods

| Improve this Doc View Source

VisitBin_connective(folParser.Bin_connectiveContext)

Visit a parse tree produced by bin_connective().

Declaration
Result VisitBin_connective(folParser.Bin_connectiveContext context)
Parameters
Type Name Description
folParser.Bin_connectiveContext context

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

VisitCondition(folParser.ConditionContext)

Visit a parse tree produced by condition().

Declaration
Result VisitCondition(folParser.ConditionContext context)
Parameters
Type Name Description
folParser.ConditionContext context

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

VisitFormula(folParser.FormulaContext)

Visit a parse tree produced by formula().

Declaration
Result VisitFormula(folParser.FormulaContext context)
Parameters
Type Name Description
folParser.FormulaContext context

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

VisitFunc_constant(folParser.Func_constantContext)

Visit a parse tree produced by func_constant().

Declaration
Result VisitFunc_constant(folParser.Func_constantContext context)
Parameters
Type Name Description
folParser.Func_constantContext context

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

VisitInd_constant(folParser.Ind_constantContext)

Visit a parse tree produced by ind_constant().

Declaration
Result VisitInd_constant(folParser.Ind_constantContext context)
Parameters
Type Name Description
folParser.Ind_constantContext context

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

VisitPred_constant(folParser.Pred_constantContext)

Visit a parse tree produced by pred_constant().

Declaration
Result VisitPred_constant(folParser.Pred_constantContext context)
Parameters
Type Name Description
folParser.Pred_constantContext context

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

VisitSeparator(folParser.SeparatorContext)

Visit a parse tree produced by separator().

Declaration
Result VisitSeparator(folParser.SeparatorContext context)
Parameters
Type Name Description
folParser.SeparatorContext context

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

VisitTerm(folParser.TermContext)

Visit a parse tree produced by term().

Declaration
Result VisitTerm(folParser.TermContext context)
Parameters
Type Name Description
folParser.TermContext context

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

VisitVariable(folParser.VariableContext)

Visit a parse tree produced by variable().

Declaration
Result VisitVariable(folParser.VariableContext context)
Parameters
Type Name Description
folParser.VariableContext context

The parse tree.
Returns
Type Description
Result