Interface IltlListener

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

Namespace: GCore.Antlr.Grammers.Ltl
Assembly: Ltl.dll
Syntax
public interface IltlListener : Antlr4.Runtime.Tree.IParseTreeListener

Methods

| Improve this Doc View Source

EnterProposition(ltlParser.PropositionContext)

Enter a parse tree produced by proposition().

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

The parse tree.
| Improve this Doc View Source

ExitProposition(ltlParser.PropositionContext)

Exit a parse tree produced by proposition().

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

The parse tree.