Show / Hide Table of Contents

Class ltlBaseListener

This class provides an empty implementation of IltlListener, which can be extended to create a listener which only needs to handle a subset of the available methods.

Inheritance
System.Object
ltlBaseListener
Implements
IltlListener
Antlr4.Runtime.Tree.IParseTreeListener
Namespace: GCore.Antlr.Grammers.Ltl
Assembly: Ltl.dll
Syntax
public class ltlBaseListener : object, IltlListener, Antlr4.Runtime.Tree.IParseTreeListener

Methods

| Improve this Doc View Source

EnterEveryRule(Antlr4.Runtime.ParserRuleContext)

Declaration
public virtual void EnterEveryRule(Antlr4.Runtime.ParserRuleContext context)
Parameters
Type Name Description
Antlr4.Runtime.ParserRuleContext context
Remarks

The default implementation does nothing.

| Improve this Doc View Source

EnterProposition(ltlParser.PropositionContext)

Enter a parse tree produced by proposition().

The default implementation does nothing.

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

The parse tree.

| Improve this Doc View Source

ExitEveryRule(Antlr4.Runtime.ParserRuleContext)

Declaration
public virtual void ExitEveryRule(Antlr4.Runtime.ParserRuleContext context)
Parameters
Type Name Description
Antlr4.Runtime.ParserRuleContext context
Remarks

The default implementation does nothing.

| Improve this Doc View Source

ExitProposition(ltlParser.PropositionContext)

Exit a parse tree produced by proposition().

The default implementation does nothing.

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

The parse tree.

| Improve this Doc View Source

VisitErrorNode(Antlr4.Runtime.Tree.IErrorNode)

Declaration
public virtual void VisitErrorNode(Antlr4.Runtime.Tree.IErrorNode node)
Parameters
Type Name Description
Antlr4.Runtime.Tree.IErrorNode node
Remarks

The default implementation does nothing.

| Improve this Doc View Source

VisitTerminal(Antlr4.Runtime.Tree.ITerminalNode)

Declaration
public virtual void VisitTerminal(Antlr4.Runtime.Tree.ITerminalNode node)
Parameters
Type Name Description
Antlr4.Runtime.Tree.ITerminalNode node
Remarks

The default implementation does nothing.

Implements

IltlListener
Antlr4.Runtime.Tree.IParseTreeListener
  • Improve this Doc
  • View Source
In This Article
Back to top Generated by DocFX