Interface IpropcalcVisitor<Result>
This interface defines a complete generic visitor for a parse tree produced by propcalcParser.
Namespace: GCore.Antlr.Grammers.Propcalc
Assembly: Propcalc.dll
Syntax
public interface IpropcalcVisitor<Result> : IParseTreeVisitor<Result>
Type Parameters
Name | Description |
---|---|
Result | The return type of the visit operation. |
Methods
| Improve this Doc View SourceVisitAtom(propcalcParser.AtomContext)
Visit a parse tree produced by atom().
Declaration
Result VisitAtom(propcalcParser.AtomContext context)
Parameters
Type | Name | Description |
---|---|---|
propcalcParser.AtomContext | context | The parse tree. |
Returns
Type | Description |
---|---|
Result |
VisitAtoms(propcalcParser.AtomsContext)
Visit a parse tree produced by atoms().
Declaration
Result VisitAtoms(propcalcParser.AtomsContext context)
Parameters
Type | Name | Description |
---|---|---|
propcalcParser.AtomsContext | context | The parse tree. |
Returns
Type | Description |
---|---|
Result |
VisitEquiv(propcalcParser.EquivContext)
Visit a parse tree produced by equiv().
Declaration
Result VisitEquiv(propcalcParser.EquivContext context)
Parameters
Type | Name | Description |
---|---|---|
propcalcParser.EquivContext | context | The parse tree. |
Returns
Type | Description |
---|---|
Result |
VisitExpression(propcalcParser.ExpressionContext)
Visit a parse tree produced by expression().
Declaration
Result VisitExpression(propcalcParser.ExpressionContext context)
Parameters
Type | Name | Description |
---|---|---|
propcalcParser.ExpressionContext | context | The parse tree. |
Returns
Type | Description |
---|---|
Result |
VisitImplies(propcalcParser.ImpliesContext)
Visit a parse tree produced by implies().
Declaration
Result VisitImplies(propcalcParser.ImpliesContext context)
Parameters
Type | Name | Description |
---|---|---|
propcalcParser.ImpliesContext | context | The parse tree. |
Returns
Type | Description |
---|---|
Result |
VisitProposition(propcalcParser.PropositionContext)
Visit a parse tree produced by proposition().
Declaration
Result VisitProposition(propcalcParser.PropositionContext context)
Parameters
Type | Name | Description |
---|---|---|
propcalcParser.PropositionContext | context | The parse tree. |
Returns
Type | Description |
---|---|
Result |
VisitRelExpression(propcalcParser.RelExpressionContext)
Visit a parse tree produced by relExpression().
Declaration
Result VisitRelExpression(propcalcParser.RelExpressionContext context)
Parameters
Type | Name | Description |
---|---|---|
propcalcParser.RelExpressionContext | context | The parse tree. |
Returns
Type | Description |
---|---|
Result |
VisitVariable(propcalcParser.VariableContext)
Visit a parse tree produced by variable().
Declaration
Result VisitVariable(propcalcParser.VariableContext context)
Parameters
Type | Name | Description |
---|---|---|
propcalcParser.VariableContext | context | The parse tree. |
Returns
Type | Description |
---|---|
Result |