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 |