Interface IfolListener

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

Namespace: GCore.Antlr.Grammers.Fol

Assembly: Fol.dll

Syntax

public interface IfolListener : Antlr4.Runtime.Tree.IParseTreeListener

Methods

EnterBin_connective(folParser.Bin_connectiveContext)

Enter a parse tree produced by bin_connective().

Declaration

void EnterBin_connective(folParser.Bin_connectiveContext context)

Parameters

Type	Name	Description
folParser.Bin_connectiveContext	context	The parse tree.

EnterCondition(folParser.ConditionContext)

Enter a parse tree produced by condition().

Declaration

void EnterCondition(folParser.ConditionContext context)

Parameters

Type	Name	Description
folParser.ConditionContext	context	The parse tree.

EnterFormula(folParser.FormulaContext)

Enter a parse tree produced by formula().

Declaration

void EnterFormula(folParser.FormulaContext context)

Parameters

Type	Name	Description
folParser.FormulaContext	context	The parse tree.

EnterFunc_constant(folParser.Func_constantContext)

Enter a parse tree produced by func_constant().

Declaration

void EnterFunc_constant(folParser.Func_constantContext context)

Parameters

Type	Name	Description
folParser.Func_constantContext	context	The parse tree.

EnterInd_constant(folParser.Ind_constantContext)

Enter a parse tree produced by ind_constant().

Declaration

void EnterInd_constant(folParser.Ind_constantContext context)

Parameters

Type	Name	Description
folParser.Ind_constantContext	context	The parse tree.

EnterPred_constant(folParser.Pred_constantContext)

Enter a parse tree produced by pred_constant().

Declaration

void EnterPred_constant(folParser.Pred_constantContext context)

Parameters

Type	Name	Description
folParser.Pred_constantContext	context	The parse tree.

EnterSeparator(folParser.SeparatorContext)

Enter a parse tree produced by separator().

Declaration

void EnterSeparator(folParser.SeparatorContext context)

Parameters

Type	Name	Description
folParser.SeparatorContext	context	The parse tree.

EnterTerm(folParser.TermContext)

Enter a parse tree produced by term().

Declaration

void EnterTerm(folParser.TermContext context)

Parameters

Type	Name	Description
folParser.TermContext	context	The parse tree.

EnterVariable(folParser.VariableContext)

Enter a parse tree produced by variable().

Declaration

void EnterVariable(folParser.VariableContext context)

Parameters

Type	Name	Description
folParser.VariableContext	context	The parse tree.

ExitBin_connective(folParser.Bin_connectiveContext)

Exit a parse tree produced by bin_connective().

Declaration

void ExitBin_connective(folParser.Bin_connectiveContext context)

Parameters

Type	Name	Description
folParser.Bin_connectiveContext	context	The parse tree.

ExitCondition(folParser.ConditionContext)

Exit a parse tree produced by condition().

Declaration

void ExitCondition(folParser.ConditionContext context)

Parameters

Type	Name	Description
folParser.ConditionContext	context	The parse tree.

ExitFormula(folParser.FormulaContext)

Exit a parse tree produced by formula().

Declaration

void ExitFormula(folParser.FormulaContext context)

Parameters

Type	Name	Description
folParser.FormulaContext	context	The parse tree.

ExitFunc_constant(folParser.Func_constantContext)

Exit a parse tree produced by func_constant().

Declaration

void ExitFunc_constant(folParser.Func_constantContext context)

Parameters

Type	Name	Description
folParser.Func_constantContext	context	The parse tree.

ExitInd_constant(folParser.Ind_constantContext)

Exit a parse tree produced by ind_constant().

Declaration

void ExitInd_constant(folParser.Ind_constantContext context)

Parameters

Type	Name	Description
folParser.Ind_constantContext	context	The parse tree.

ExitPred_constant(folParser.Pred_constantContext)

Exit a parse tree produced by pred_constant().

Declaration

void ExitPred_constant(folParser.Pred_constantContext context)

Parameters

Type	Name	Description
folParser.Pred_constantContext	context	The parse tree.

ExitSeparator(folParser.SeparatorContext)

Exit a parse tree produced by separator().

Declaration

void ExitSeparator(folParser.SeparatorContext context)

Parameters

Type	Name	Description
folParser.SeparatorContext	context	The parse tree.

ExitTerm(folParser.TermContext)

Exit a parse tree produced by term().

Declaration

void ExitTerm(folParser.TermContext context)

Parameters

Type	Name	Description
folParser.TermContext	context	The parse tree.

ExitVariable(folParser.VariableContext)

Exit a parse tree produced by variable().

Declaration

void ExitVariable(folParser.VariableContext context)

Parameters

Type	Name	Description
folParser.VariableContext	context	The parse tree.