Show / Hide Table of Contents

Interface IpropcalcListener

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

Namespace: GCore.Antlr.Grammers.Propcalc
Assembly: Propcalc.dll
Syntax
public interface IpropcalcListener : Antlr4.Runtime.Tree.IParseTreeListener

Methods

| Improve this Doc View Source

EnterAtom(propcalcParser.AtomContext)

Enter a parse tree produced by atom().

Declaration
void EnterAtom(propcalcParser.AtomContext context)
Parameters
Type Name Description
propcalcParser.AtomContext context

The parse tree.

| Improve this Doc View Source

EnterAtoms(propcalcParser.AtomsContext)

Enter a parse tree produced by atoms().

Declaration
void EnterAtoms(propcalcParser.AtomsContext context)
Parameters
Type Name Description
propcalcParser.AtomsContext context

The parse tree.

| Improve this Doc View Source

EnterEquiv(propcalcParser.EquivContext)

Enter a parse tree produced by equiv().

Declaration
void EnterEquiv(propcalcParser.EquivContext context)
Parameters
Type Name Description
propcalcParser.EquivContext context

The parse tree.

| Improve this Doc View Source

EnterExpression(propcalcParser.ExpressionContext)

Enter a parse tree produced by expression().

Declaration
void EnterExpression(propcalcParser.ExpressionContext context)
Parameters
Type Name Description
propcalcParser.ExpressionContext context

The parse tree.

| Improve this Doc View Source

EnterImplies(propcalcParser.ImpliesContext)

Enter a parse tree produced by implies().

Declaration
void EnterImplies(propcalcParser.ImpliesContext context)
Parameters
Type Name Description
propcalcParser.ImpliesContext context

The parse tree.

| Improve this Doc View Source

EnterProposition(propcalcParser.PropositionContext)

Enter a parse tree produced by proposition().

Declaration
void EnterProposition(propcalcParser.PropositionContext context)
Parameters
Type Name Description
propcalcParser.PropositionContext context

The parse tree.

| Improve this Doc View Source

EnterRelExpression(propcalcParser.RelExpressionContext)

Enter a parse tree produced by relExpression().

Declaration
void EnterRelExpression(propcalcParser.RelExpressionContext context)
Parameters
Type Name Description
propcalcParser.RelExpressionContext context

The parse tree.

| Improve this Doc View Source

EnterVariable(propcalcParser.VariableContext)

Enter a parse tree produced by variable().

Declaration
void EnterVariable(propcalcParser.VariableContext context)
Parameters
Type Name Description
propcalcParser.VariableContext context

The parse tree.

| Improve this Doc View Source

ExitAtom(propcalcParser.AtomContext)

Exit a parse tree produced by atom().

Declaration
void ExitAtom(propcalcParser.AtomContext context)
Parameters
Type Name Description
propcalcParser.AtomContext context

The parse tree.

| Improve this Doc View Source

ExitAtoms(propcalcParser.AtomsContext)

Exit a parse tree produced by atoms().

Declaration
void ExitAtoms(propcalcParser.AtomsContext context)
Parameters
Type Name Description
propcalcParser.AtomsContext context

The parse tree.

| Improve this Doc View Source

ExitEquiv(propcalcParser.EquivContext)

Exit a parse tree produced by equiv().

Declaration
void ExitEquiv(propcalcParser.EquivContext context)
Parameters
Type Name Description
propcalcParser.EquivContext context

The parse tree.

| Improve this Doc View Source

ExitExpression(propcalcParser.ExpressionContext)

Exit a parse tree produced by expression().

Declaration
void ExitExpression(propcalcParser.ExpressionContext context)
Parameters
Type Name Description
propcalcParser.ExpressionContext context

The parse tree.

| Improve this Doc View Source

ExitImplies(propcalcParser.ImpliesContext)

Exit a parse tree produced by implies().

Declaration
void ExitImplies(propcalcParser.ImpliesContext context)
Parameters
Type Name Description
propcalcParser.ImpliesContext context

The parse tree.

| Improve this Doc View Source

ExitProposition(propcalcParser.PropositionContext)

Exit a parse tree produced by proposition().

Declaration
void ExitProposition(propcalcParser.PropositionContext context)
Parameters
Type Name Description
propcalcParser.PropositionContext context

The parse tree.

| Improve this Doc View Source

ExitRelExpression(propcalcParser.RelExpressionContext)

Exit a parse tree produced by relExpression().

Declaration
void ExitRelExpression(propcalcParser.RelExpressionContext context)
Parameters
Type Name Description
propcalcParser.RelExpressionContext context

The parse tree.

| Improve this Doc View Source

ExitVariable(propcalcParser.VariableContext)

Exit a parse tree produced by variable().

Declaration
void ExitVariable(propcalcParser.VariableContext context)
Parameters
Type Name Description
propcalcParser.VariableContext context

The parse tree.

  • Improve this Doc
  • View Source
In This Article
Back to top Generated by DocFX