EmbASP-Java v7.1.0
Public Member Functions | List of all members
it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor< T > Class Template Reference
Inheritance diagram for it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitor< T >:
it.unical.mat.parsers.asp.dlv.DLVParserVisitor< 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 class provides an empty implementation of DLVParserVisitor, 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

◆ visitCost()

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

Visit a parse tree produced by DLVParser#cost.

Parameters
ctxthe parse tree
Returns
the visitor result

The default implementation returns the result of calling visitChildren on

ctx

.

Implements it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.

◆ visitCost_level()

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

Visit a parse tree produced by DLVParser#cost_level.

Parameters
ctxthe parse tree
Returns
the visitor result

The default implementation returns the result of calling visitChildren on

ctx

.

Implements it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.

◆ visitGroundQuery()

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

Visit a parse tree produced by the

GroundQuery

labeled alternative in DLVParser#answer_set.

Parameters
ctxthe parse tree
Returns
the visitor result

The default implementation returns the result of calling visitChildren on

ctx

.

Implements it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.

◆ visitModel()

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

Visit a parse tree produced by DLVParser#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.asp.dlv.DLVParserVisitor< T >.

◆ visitNonGroundQuery()

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

Visit a parse tree produced by the

NonGroundQuery

labeled alternative in DLVParser#answer_set.

Parameters
ctxthe parse tree
Returns
the visitor result

The default implementation returns the result of calling visitChildren on

ctx

.

Implements it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.

◆ visitOutput()

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

Visit a parse tree produced by DLVParser#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.asp.dlv.DLVParserVisitor< T >.

◆ visitPredicate()

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

Visit a parse tree produced by DLVParser#predicate.

Parameters
ctxthe parse tree
Returns
the visitor result

The default implementation returns the result of calling visitChildren on

ctx

.

Implements it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.

◆ visitSimpleModel()

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

Visit a parse tree produced by the

SimpleModel

labeled alternative in DLVParser#answer_set.

Parameters
ctxthe parse tree
Returns
the visitor result

The default implementation returns the result of calling visitChildren on

ctx

.

Implements it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.

◆ visitTerm()

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

Visit a parse tree produced by DLVParser#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.asp.dlv.DLVParserVisitor< T >.

◆ visitWeightedModel()

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

Visit a parse tree produced by the

WeightedModel

labeled alternative in DLVParser#answer_set.

Parameters
ctxthe parse tree
Returns
the visitor result

The default implementation returns the result of calling visitChildren on

ctx

.

Implements it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.

◆ visitWitness()

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

Visit a parse tree produced by DLVParser#witness.

Parameters
ctxthe parse tree
Returns
the visitor result

The default implementation returns the result of calling visitChildren on

ctx

.

Implements it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.


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