EmbASP-Java
Public Member Functions | List of all members
it.unical.mat.parsers.asp.dlvhex.DLVHEXParserVisitor< T > Interface Template Reference
Inheritance diagram for it.unical.mat.parsers.asp.dlvhex.DLVHEXParserVisitor< T >:
it.unical.mat.parsers.asp.dlvhex.DLVHEXParserBaseVisitor< T >

Public Member Functions

visitGroundQuery (DLVHEXParser.GroundQueryContext ctx)
 
visitModel (DLVHEXParser.ModelContext ctx)
 
visitAtoms (DLVHEXParser.AtomsContext ctx)
 
visitCost (DLVHEXParser.CostContext ctx)
 
visitLevel (DLVHEXParser.LevelContext ctx)
 
visitOutput (DLVHEXParser.OutputContext ctx)
 
visitPredicate_atom (DLVHEXParser.Predicate_atomContext ctx)
 
visitTerm (DLVHEXParser.TermContext ctx)
 
visitWitness (DLVHEXParser.WitnessContext ctx)
 

Detailed Description

This interface defines a complete generic visitor for a parse tree produced by DLVHEXParser.

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

Definition at line 12 of file DLVHEXParserVisitor.java.

Member Function Documentation

◆ visitAtoms()

T it.unical.mat.parsers.asp.dlvhex.DLVHEXParserVisitor< T >.visitAtoms ( DLVHEXParser.AtomsContext  ctx)

Visit a parse tree produced by DLVHEXParser#atoms.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.asp.dlvhex.DLVHEXParserBaseVisitor< T >.

◆ visitCost()

T it.unical.mat.parsers.asp.dlvhex.DLVHEXParserVisitor< T >.visitCost ( DLVHEXParser.CostContext  ctx)

Visit a parse tree produced by DLVHEXParser#cost.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.asp.dlvhex.DLVHEXParserBaseVisitor< T >.

◆ visitGroundQuery()

T it.unical.mat.parsers.asp.dlvhex.DLVHEXParserVisitor< T >.visitGroundQuery ( DLVHEXParser.GroundQueryContext  ctx)

Visit a parse tree produced by the

GroundQuery

labeled alternative in DLVHEXParser#answer_set.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.asp.dlvhex.DLVHEXParserBaseVisitor< T >.

◆ visitLevel()

T it.unical.mat.parsers.asp.dlvhex.DLVHEXParserVisitor< T >.visitLevel ( DLVHEXParser.LevelContext  ctx)

Visit a parse tree produced by DLVHEXParser#level.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.asp.dlvhex.DLVHEXParserBaseVisitor< T >.

◆ visitModel()

T it.unical.mat.parsers.asp.dlvhex.DLVHEXParserVisitor< T >.visitModel ( DLVHEXParser.ModelContext  ctx)

Visit a parse tree produced by the

Model

labeled alternative in DLVHEXParser#answer_set.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.asp.dlvhex.DLVHEXParserBaseVisitor< T >.

◆ visitOutput()

T it.unical.mat.parsers.asp.dlvhex.DLVHEXParserVisitor< T >.visitOutput ( DLVHEXParser.OutputContext  ctx)

Visit a parse tree produced by DLVHEXParser#output.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.asp.dlvhex.DLVHEXParserBaseVisitor< T >.

◆ visitPredicate_atom()

T it.unical.mat.parsers.asp.dlvhex.DLVHEXParserVisitor< T >.visitPredicate_atom ( DLVHEXParser.Predicate_atomContext  ctx)

Visit a parse tree produced by DLVHEXParser#predicate_atom.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.asp.dlvhex.DLVHEXParserBaseVisitor< T >.

◆ visitTerm()

T it.unical.mat.parsers.asp.dlvhex.DLVHEXParserVisitor< T >.visitTerm ( DLVHEXParser.TermContext  ctx)

Visit a parse tree produced by DLVHEXParser#term.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.asp.dlvhex.DLVHEXParserBaseVisitor< T >.

◆ visitWitness()

T it.unical.mat.parsers.asp.dlvhex.DLVHEXParserVisitor< T >.visitWitness ( DLVHEXParser.WitnessContext  ctx)

Visit a parse tree produced by DLVHEXParser#witness.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.asp.dlvhex.DLVHEXParserBaseVisitor< T >.


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