EmbASP-Java
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.

Definition at line 13 of file DLVParserBaseVisitor.java.

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 >.

Definition at line 48 of file DLVParserBaseVisitor.java.

◆ 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 >.

Definition at line 55 of file DLVParserBaseVisitor.java.

◆ 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 >.

Definition at line 20 of file DLVParserBaseVisitor.java.

◆ 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 >.

Definition at line 62 of file DLVParserBaseVisitor.java.

◆ 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 >.

Definition at line 34 of file DLVParserBaseVisitor.java.

◆ 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 >.

Definition at line 69 of file DLVParserBaseVisitor.java.

◆ 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 >.

Definition at line 76 of file DLVParserBaseVisitor.java.

◆ 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 >.

Definition at line 27 of file DLVParserBaseVisitor.java.

◆ 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 >.

Definition at line 83 of file DLVParserBaseVisitor.java.

◆ 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 >.

Definition at line 41 of file DLVParserBaseVisitor.java.

◆ 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 >.

Definition at line 90 of file DLVParserBaseVisitor.java.


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