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

◆ visitAtoms()

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

Visit a parse tree produced by DLVHEXParser#atoms.

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.dlvhex.DLVHEXParserVisitor< T >.

◆ visitCost()

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

Visit a parse tree produced by DLVHEXParser#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.dlvhex.DLVHEXParserVisitor< T >.

◆ visitGroundQuery()

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

Visit a parse tree produced by the

GroundQuery

labeled alternative in DLVHEXParser#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.dlvhex.DLVHEXParserVisitor< T >.

◆ visitLevel()

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

Visit a parse tree produced by DLVHEXParser#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.dlvhex.DLVHEXParserVisitor< T >.

◆ visitModel()

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

Visit a parse tree produced by the

Model

labeled alternative in DLVHEXParser#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.dlvhex.DLVHEXParserVisitor< T >.

◆ visitOutput()

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

Visit a parse tree produced by DLVHEXParser#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.dlvhex.DLVHEXParserVisitor< T >.

◆ visitPredicate_atom()

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

Visit a parse tree produced by DLVHEXParser#predicate_atom.

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.dlvhex.DLVHEXParserVisitor< T >.

◆ visitTerm()

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

Visit a parse tree produced by DLVHEXParser#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.dlvhex.DLVHEXParserVisitor< T >.

◆ visitWitness()

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

Visit a parse tree produced by DLVHEXParser#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.dlvhex.DLVHEXParserVisitor< T >.


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