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

Public Member Functions

visitGroundQuery (DLVParser.GroundQueryContext ctx)
 
visitSimpleModel (DLVParser.SimpleModelContext ctx)
 
visitNonGroundQuery (DLVParser.NonGroundQueryContext ctx)
 
visitWeightedModel (DLVParser.WeightedModelContext ctx)
 
visitCost (DLVParser.CostContext ctx)
 
visitCost_level (DLVParser.Cost_levelContext ctx)
 
visitModel (DLVParser.ModelContext ctx)
 
visitOutput (DLVParser.OutputContext ctx)
 
visitPredicate (DLVParser.PredicateContext ctx)
 
visitTerm (DLVParser.TermContext ctx)
 
visitWitness (DLVParser.WitnessContext ctx)
 

Detailed Description

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

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

Definition at line 12 of file DLVParserVisitor.java.

Member Function Documentation

◆ visitCost()

T it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.visitCost ( DLVParser.CostContext  ctx)

Visit a parse tree produced by DLVParser#cost.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor< T >.

◆ visitCost_level()

T it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.visitCost_level ( DLVParser.Cost_levelContext  ctx)

Visit a parse tree produced by DLVParser#cost_level.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor< T >.

◆ visitGroundQuery()

T it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.visitGroundQuery ( DLVParser.GroundQueryContext  ctx)

Visit a parse tree produced by the

GroundQuery

labeled alternative in DLVParser#answer_set.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor< T >.

◆ visitModel()

T it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.visitModel ( DLVParser.ModelContext  ctx)

Visit a parse tree produced by DLVParser#model.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor< T >.

◆ visitNonGroundQuery()

T it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.visitNonGroundQuery ( DLVParser.NonGroundQueryContext  ctx)

Visit a parse tree produced by the

NonGroundQuery

labeled alternative in DLVParser#answer_set.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor< T >.

◆ visitOutput()

T it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.visitOutput ( DLVParser.OutputContext  ctx)

Visit a parse tree produced by DLVParser#output.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor< T >.

◆ visitPredicate()

T it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.visitPredicate ( DLVParser.PredicateContext  ctx)

Visit a parse tree produced by DLVParser#predicate.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor< T >.

◆ visitSimpleModel()

T it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.visitSimpleModel ( DLVParser.SimpleModelContext  ctx)

Visit a parse tree produced by the

SimpleModel

labeled alternative in DLVParser#answer_set.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor< T >.

◆ visitTerm()

T it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.visitTerm ( DLVParser.TermContext  ctx)

Visit a parse tree produced by DLVParser#term.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor< T >.

◆ visitWeightedModel()

T it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.visitWeightedModel ( DLVParser.WeightedModelContext  ctx)

Visit a parse tree produced by the

WeightedModel

labeled alternative in DLVParser#answer_set.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor< T >.

◆ visitWitness()

T it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.visitWitness ( DLVParser.WitnessContext  ctx)

Visit a parse tree produced by DLVParser#witness.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor< T >.


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