EmbASP-Java v7.1.0
Public Member Functions | List of all members
it.unical.mat.parsers.datalog.idlv.IDLVParserBaseVisitor< T > Class Template Reference
Inheritance diagram for it.unical.mat.parsers.datalog.idlv.IDLVParserBaseVisitor< T >:
it.unical.mat.parsers.datalog.idlv.IDLVParserVisitor< T >

Public Member Functions

visitOutput (IDLVParser.OutputContext ctx)
 
visitMinimal_model (IDLVParser.Minimal_modelContext ctx)
 
visitPredicate_atom (IDLVParser.Predicate_atomContext ctx)
 
visitTerm (IDLVParser.TermContext ctx)
 

Detailed Description

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

Parameters
<T>The return type of the visit operation. Use Void for operations with no return type.

Member Function Documentation

◆ visitMinimal_model()

T it.unical.mat.parsers.datalog.idlv.IDLVParserBaseVisitor< T >.visitMinimal_model ( IDLVParser.Minimal_modelContext  ctx)
inline

Visit a parse tree produced by IDLVParser#minimal_model.

Parameters
ctxthe parse tree
Returns
the visitor result

The default implementation returns the result of calling visitChildren on

ctx

.

Implements it.unical.mat.parsers.datalog.idlv.IDLVParserVisitor< T >.

◆ visitOutput()

T it.unical.mat.parsers.datalog.idlv.IDLVParserBaseVisitor< T >.visitOutput ( IDLVParser.OutputContext  ctx)
inline

Visit a parse tree produced by IDLVParser#output.

Parameters
ctxthe parse tree
Returns
the visitor result

The default implementation returns the result of calling visitChildren on

ctx

.

Implements it.unical.mat.parsers.datalog.idlv.IDLVParserVisitor< T >.

◆ visitPredicate_atom()

T it.unical.mat.parsers.datalog.idlv.IDLVParserBaseVisitor< T >.visitPredicate_atom ( IDLVParser.Predicate_atomContext  ctx)
inline

Visit a parse tree produced by IDLVParser#predicate_atom.

Parameters
ctxthe parse tree
Returns
the visitor result

The default implementation returns the result of calling visitChildren on

ctx

.

Implements it.unical.mat.parsers.datalog.idlv.IDLVParserVisitor< T >.

◆ visitTerm()

T it.unical.mat.parsers.datalog.idlv.IDLVParserBaseVisitor< T >.visitTerm ( IDLVParser.TermContext  ctx)
inline

Visit a parse tree produced by IDLVParser#term.

Parameters
ctxthe parse tree
Returns
the visitor result

The default implementation returns the result of calling visitChildren on

ctx

.

Implements it.unical.mat.parsers.datalog.idlv.IDLVParserVisitor< T >.


The documentation for this class was generated from the following file: