Interface IltlVisitor<Result>
This interface defines a complete generic visitor for a parse tree produced by ltlParser.
Namespace: GCore.Antlr.Grammers.Ltl
Assembly: Ltl.dll
Syntax
public interface 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().
Declaration
Result VisitProposition(ltlParser.PropositionContext context)Parameters
| Type | Name | Description |
|---|---|---|
| ltlParser.PropositionContext | context | The parse tree. |
Returns
| Type | Description |
|---|---|
| Result |