EmbASP-CSharp
Public Member Functions | List of all members
DLVHEXParserBaseVisitor< Result > Class Template Reference

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

Inheritance diagram for DLVHEXParserBaseVisitor< Result >:
IDLVHEXParserVisitor< Result >

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

Detailed Description

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.

Template Parameters
ResultThe return type of the visit operation.

Definition at line 35 of file DLVHEXParserBaseVisitor.cs.

Member Function Documentation

◆ VisitAtoms()

virtual Result DLVHEXParserBaseVisitor< Result >.VisitAtoms ( [NotNull] DLVHEXParser.AtomsContext  context)
inlinevirtual

Visit a parse tree produced by DLVHEXParser.atoms.

The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Implements IDLVHEXParserVisitor< Result >.

Definition at line 67 of file DLVHEXParserBaseVisitor.cs.

◆ VisitCost()

virtual Result DLVHEXParserBaseVisitor< Result >.VisitCost ( [NotNull] DLVHEXParser.CostContext  context)
inlinevirtual

Visit a parse tree produced by DLVHEXParser.cost.

The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Implements IDLVHEXParserVisitor< Result >.

Definition at line 77 of file DLVHEXParserBaseVisitor.cs.

◆ VisitGroundQuery()

virtual Result DLVHEXParserBaseVisitor< Result >.VisitGroundQuery ( [NotNull] DLVHEXParser.GroundQueryContext  context)
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 .

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Implements IDLVHEXParserVisitor< Result >.

Definition at line 46 of file DLVHEXParserBaseVisitor.cs.

◆ VisitLevel()

virtual Result DLVHEXParserBaseVisitor< Result >.VisitLevel ( [NotNull] DLVHEXParser.LevelContext  context)
inlinevirtual

Visit a parse tree produced by DLVHEXParser.level.

The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .

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

◆ VisitModel()

virtual Result DLVHEXParserBaseVisitor< Result >.VisitModel ( [NotNull] DLVHEXParser.ModelContext  context)
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 .

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

◆ VisitOutput()

virtual Result DLVHEXParserBaseVisitor< Result >.VisitOutput ( [NotNull] DLVHEXParser.OutputContext  context)
inlinevirtual

Visit a parse tree produced by DLVHEXParser.output.

The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Implements IDLVHEXParserVisitor< Result >.

Definition at line 97 of file DLVHEXParserBaseVisitor.cs.

◆ VisitPredicate_atom()

virtual Result DLVHEXParserBaseVisitor< Result >.VisitPredicate_atom ( [NotNull] DLVHEXParser.Predicate_atomContext  context)
inlinevirtual

Visit a parse tree produced by DLVHEXParser.predicate_atom.

The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .

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

◆ VisitTerm()

virtual Result DLVHEXParserBaseVisitor< Result >.VisitTerm ( [NotNull] DLVHEXParser.TermContext  context)
inlinevirtual

Visit a parse tree produced by DLVHEXParser.term.

The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Implements IDLVHEXParserVisitor< Result >.

Definition at line 117 of file DLVHEXParserBaseVisitor.cs.

◆ VisitWitness()

virtual Result DLVHEXParserBaseVisitor< Result >.VisitWitness ( [NotNull] DLVHEXParser.WitnessContext  context)
inlinevirtual

Visit a parse tree produced by DLVHEXParser.witness.

The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .

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


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