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

Public Member Functions

visitAnswer_set (DLV2Parser.Answer_setContext ctx)
 
visitCost (DLV2Parser.CostContext ctx)
 
visitLevel (DLV2Parser.LevelContext ctx)
 
visitModel (DLV2Parser.ModelContext ctx)
 
visitOutput (DLV2Parser.OutputContext ctx)
 
visitPredicate_atom (DLV2Parser.Predicate_atomContext ctx)
 
visitTerm (DLV2Parser.TermContext ctx)
 

Detailed Description

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

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

Definition at line 12 of file DLV2ParserVisitor.java.

Member Function Documentation

◆ visitAnswer_set()

T it.unical.mat.parsers.asp.dlv2.DLV2ParserVisitor< T >.visitAnswer_set ( DLV2Parser.Answer_setContext  ctx)

Visit a parse tree produced by DLV2Parser#answer_set.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.asp.dlv2.DLV2ParserBaseVisitor< T >.

◆ visitCost()

T it.unical.mat.parsers.asp.dlv2.DLV2ParserVisitor< T >.visitCost ( DLV2Parser.CostContext  ctx)

Visit a parse tree produced by DLV2Parser#cost.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.asp.dlv2.DLV2ParserBaseVisitor< T >.

◆ visitLevel()

T it.unical.mat.parsers.asp.dlv2.DLV2ParserVisitor< T >.visitLevel ( DLV2Parser.LevelContext  ctx)

Visit a parse tree produced by DLV2Parser#level.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.asp.dlv2.DLV2ParserBaseVisitor< T >.

◆ visitModel()

T it.unical.mat.parsers.asp.dlv2.DLV2ParserVisitor< T >.visitModel ( DLV2Parser.ModelContext  ctx)

Visit a parse tree produced by DLV2Parser#model.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.asp.dlv2.DLV2ParserBaseVisitor< T >.

◆ visitOutput()

T it.unical.mat.parsers.asp.dlv2.DLV2ParserVisitor< T >.visitOutput ( DLV2Parser.OutputContext  ctx)

Visit a parse tree produced by DLV2Parser#output.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.asp.dlv2.DLV2ParserBaseVisitor< T >.

◆ visitPredicate_atom()

T it.unical.mat.parsers.asp.dlv2.DLV2ParserVisitor< T >.visitPredicate_atom ( DLV2Parser.Predicate_atomContext  ctx)

Visit a parse tree produced by DLV2Parser#predicate_atom.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.asp.dlv2.DLV2ParserBaseVisitor< T >.

◆ visitTerm()

T it.unical.mat.parsers.asp.dlv2.DLV2ParserVisitor< T >.visitTerm ( DLV2Parser.TermContext  ctx)

Visit a parse tree produced by DLV2Parser#term.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.asp.dlv2.DLV2ParserBaseVisitor< T >.


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