Class ltlBaseVisitor<Result>
This class provides an empty implementation of IltlVisitor<Result>, which can be extended to create a visitor which only needs to handle a subset of the available methods.
Inheritance
System.Object
ltlBaseVisitor<Result>
Namespace: GCore.Antlr.Grammers.Ltl
Assembly: Ltl.dll
Syntax
public class ltlBaseVisitor<Result> : AbstractParseTreeVisitor<Result>, IltlVisitor<Result>, IParseTreeVisitor<Result>Type Parameters
| Name | Description |
|---|---|
| Result | The return type of the visit operation. |
Methods
| Improve this Doc View SourceVisitProposition(ltlParser.PropositionContext)
Visit a parse tree produced by proposition().
The default implementation returns the result of calling context.
Declaration
public virtual Result VisitProposition(ltlParser.PropositionContext context)Parameters
| Type | Name | Description |
|---|---|---|
| ltlParser.PropositionContext | context | The parse tree. |
Returns
| Type | Description |
|---|---|
| Result |
Implements
IParseTreeVisitor<>