EmbASP-Java
|
Public Member Functions | |
T | visitGroundQuery (DLVParser.GroundQueryContext ctx) |
T | visitSimpleModel (DLVParser.SimpleModelContext ctx) |
T | visitNonGroundQuery (DLVParser.NonGroundQueryContext ctx) |
T | visitWeightedModel (DLVParser.WeightedModelContext ctx) |
T | visitCost (DLVParser.CostContext ctx) |
T | visitCost_level (DLVParser.Cost_levelContext ctx) |
T | visitModel (DLVParser.ModelContext ctx) |
T | visitOutput (DLVParser.OutputContext ctx) |
T | visitPredicate (DLVParser.PredicateContext ctx) |
T | visitTerm (DLVParser.TermContext ctx) |
T | visitWitness (DLVParser.WitnessContext ctx) |
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.
<T> | The return type of the visit operation. Use Void for operations with no return type. |
Definition at line 13 of file DLVParserBaseVisitor.java.
|
inline |
Visit a parse tree produced by DLVParser#cost.
ctx | the parse tree |
The default implementation returns the result of calling visitChildren on
.
Implements it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.
Definition at line 48 of file DLVParserBaseVisitor.java.
|
inline |
Visit a parse tree produced by DLVParser#cost_level.
ctx | the parse tree |
The default implementation returns the result of calling visitChildren on
.
Implements it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.
Definition at line 55 of file DLVParserBaseVisitor.java.
|
inline |
Visit a parse tree produced by the
labeled alternative in DLVParser#answer_set.
ctx | the parse tree |
The default implementation returns the result of calling visitChildren on
.
Implements it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.
Definition at line 20 of file DLVParserBaseVisitor.java.
|
inline |
Visit a parse tree produced by DLVParser#model.
ctx | the parse tree |
The default implementation returns the result of calling visitChildren on
.
Implements it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.
Definition at line 62 of file DLVParserBaseVisitor.java.
|
inline |
Visit a parse tree produced by the
labeled alternative in DLVParser#answer_set.
ctx | the parse tree |
The default implementation returns the result of calling visitChildren on
.
Implements it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.
Definition at line 34 of file DLVParserBaseVisitor.java.
|
inline |
Visit a parse tree produced by DLVParser#output.
ctx | the parse tree |
The default implementation returns the result of calling visitChildren on
.
Implements it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.
Definition at line 69 of file DLVParserBaseVisitor.java.
|
inline |
Visit a parse tree produced by DLVParser#predicate.
ctx | the parse tree |
The default implementation returns the result of calling visitChildren on
.
Implements it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.
Definition at line 76 of file DLVParserBaseVisitor.java.
|
inline |
Visit a parse tree produced by the
labeled alternative in DLVParser#answer_set.
ctx | the parse tree |
The default implementation returns the result of calling visitChildren on
.
Implements it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.
Definition at line 27 of file DLVParserBaseVisitor.java.
|
inline |
Visit a parse tree produced by DLVParser#term.
ctx | the parse tree |
The default implementation returns the result of calling visitChildren on
.
Implements it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.
Definition at line 83 of file DLVParserBaseVisitor.java.
|
inline |
Visit a parse tree produced by the
labeled alternative in DLVParser#answer_set.
ctx | the parse tree |
The default implementation returns the result of calling visitChildren on
.
Implements it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.
Definition at line 41 of file DLVParserBaseVisitor.java.
|
inline |
Visit a parse tree produced by DLVParser#witness.
ctx | the parse tree |
The default implementation returns the result of calling visitChildren on
.
Implements it.unical.mat.parsers.asp.dlv.DLVParserVisitor< T >.
Definition at line 90 of file DLVParserBaseVisitor.java.