EmbASP-CSharp
|
This class provides an empty implementation of IDLVHEXParserVisitor<Result>, which can be extended to create a visitor which only needs to handle a subset of the available methods. More...
Public Member Functions | |
virtual Result | VisitGroundQuery ([NotNull] DLVHEXParser.GroundQueryContext context) |
Visit a parse tree produced by the GroundQuery labeled alternative in DLVHEXParser.answer_set. More... | |
virtual Result | VisitModel ([NotNull] DLVHEXParser.ModelContext context) |
Visit a parse tree produced by the Model labeled alternative in DLVHEXParser.answer_set. More... | |
virtual Result | VisitAtoms ([NotNull] DLVHEXParser.AtomsContext context) |
Visit a parse tree produced by DLVHEXParser.atoms. More... | |
virtual Result | VisitCost ([NotNull] DLVHEXParser.CostContext context) |
Visit a parse tree produced by DLVHEXParser.cost. More... | |
virtual Result | VisitLevel ([NotNull] DLVHEXParser.LevelContext context) |
Visit a parse tree produced by DLVHEXParser.level. More... | |
virtual Result | VisitOutput ([NotNull] DLVHEXParser.OutputContext context) |
Visit a parse tree produced by DLVHEXParser.output. More... | |
virtual Result | VisitPredicate_atom ([NotNull] DLVHEXParser.Predicate_atomContext context) |
Visit a parse tree produced by DLVHEXParser.predicate_atom. More... | |
virtual Result | VisitTerm ([NotNull] DLVHEXParser.TermContext context) |
Visit a parse tree produced by DLVHEXParser.term. More... | |
virtual Result | VisitWitness ([NotNull] DLVHEXParser.WitnessContext context) |
Visit a parse tree produced by DLVHEXParser.witness. More... | |
This class provides an empty implementation of IDLVHEXParserVisitor<Result>, which can be extended to create a visitor which only needs to handle a subset of the available methods.
Result | The return type of the visit operation. |
Definition at line 35 of file DLVHEXParserBaseVisitor.cs.
|
inlinevirtual |
Visit a parse tree produced by DLVHEXParser.atoms.
The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .
context | The parse tree. |
<return>The visitor result.</return>
Implements IDLVHEXParserVisitor< Result >.
Definition at line 67 of file DLVHEXParserBaseVisitor.cs.
|
inlinevirtual |
Visit a parse tree produced by DLVHEXParser.cost.
The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .
context | The parse tree. |
<return>The visitor result.</return>
Implements IDLVHEXParserVisitor< Result >.
Definition at line 77 of file DLVHEXParserBaseVisitor.cs.
|
inlinevirtual |
Visit a parse tree produced by the GroundQuery
labeled alternative in DLVHEXParser.answer_set.
The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .
context | The parse tree. |
<return>The visitor result.</return>
Implements IDLVHEXParserVisitor< Result >.
Definition at line 46 of file DLVHEXParserBaseVisitor.cs.
|
inlinevirtual |
Visit a parse tree produced by DLVHEXParser.level.
The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .
context | The parse tree. |
<return>The visitor result.</return>
Implements IDLVHEXParserVisitor< Result >.
Reimplemented in it.unical.mat.parsers.asp.dlvhex.DLVHEXParserBaseVisitorImplementation.
Definition at line 87 of file DLVHEXParserBaseVisitor.cs.
|
inlinevirtual |
Visit a parse tree produced by the Model
labeled alternative in DLVHEXParser.answer_set.
The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .
context | The parse tree. |
<return>The visitor result.</return>
Implements IDLVHEXParserVisitor< Result >.
Reimplemented in it.unical.mat.parsers.asp.dlvhex.DLVHEXParserBaseVisitorImplementation.
Definition at line 57 of file DLVHEXParserBaseVisitor.cs.
|
inlinevirtual |
Visit a parse tree produced by DLVHEXParser.output.
The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .
context | The parse tree. |
<return>The visitor result.</return>
Implements IDLVHEXParserVisitor< Result >.
Definition at line 97 of file DLVHEXParserBaseVisitor.cs.
|
inlinevirtual |
Visit a parse tree produced by DLVHEXParser.predicate_atom.
The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .
context | The parse tree. |
<return>The visitor result.</return>
Implements IDLVHEXParserVisitor< Result >.
Reimplemented in it.unical.mat.parsers.asp.dlvhex.DLVHEXParserBaseVisitorImplementation.
Definition at line 107 of file DLVHEXParserBaseVisitor.cs.
|
inlinevirtual |
Visit a parse tree produced by DLVHEXParser.term.
The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .
context | The parse tree. |
<return>The visitor result.</return>
Implements IDLVHEXParserVisitor< Result >.
Definition at line 117 of file DLVHEXParserBaseVisitor.cs.
|
inlinevirtual |
Visit a parse tree produced by DLVHEXParser.witness.
The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .
context | The parse tree. |
<return>The visitor result.</return>
Implements IDLVHEXParserVisitor< Result >.
Reimplemented in it.unical.mat.parsers.asp.dlvhex.DLVHEXParserBaseVisitorImplementation.
Definition at line 127 of file DLVHEXParserBaseVisitor.cs.