EmbASP-Java v7.1.0
Public Member Functions | List of all members
it.unical.mat.parsers.datalog.idlv.IDLVParserVisitor< T > Interface Template Reference
Inheritance diagram for it.unical.mat.parsers.datalog.idlv.IDLVParserVisitor< T >:
it.unical.mat.parsers.datalog.idlv.IDLVParserBaseVisitor< 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 interface defines a complete generic visitor for a parse tree produced by IDLVParser.

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.IDLVParserVisitor< T >.visitMinimal_model ( IDLVParser.Minimal_modelContext  ctx)

Visit a parse tree produced by IDLVParser#minimal_model.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.datalog.idlv.IDLVParserBaseVisitor< T >.

◆ visitOutput()

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

Visit a parse tree produced by IDLVParser#output.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.datalog.idlv.IDLVParserBaseVisitor< T >.

◆ visitPredicate_atom()

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

Visit a parse tree produced by IDLVParser#predicate_atom.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.datalog.idlv.IDLVParserBaseVisitor< T >.

◆ visitTerm()

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

Visit a parse tree produced by IDLVParser#term.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.datalog.idlv.IDLVParserBaseVisitor< T >.


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