EmbASP-CSharp v7.1.0
Public Member Functions | List of all members
DLVParserBaseVisitor< Result > Class Template Reference

This class provides an empty implementation of IDLVParserVisitor<Result>, which can be extended to create a visitor which only needs to handle a subset of the available methods. More...

Inheritance diagram for DLVParserBaseVisitor< Result >:
IDLVParserVisitor< Result >

Public Member Functions

virtual Result VisitGroundQuery ([NotNull] DLVParser.GroundQueryContext context)
 Visit a parse tree produced by the GroundQuery labeled alternative in DLVParser.answer_set. More...
 
virtual Result VisitSimpleModel ([NotNull] DLVParser.SimpleModelContext context)
 Visit a parse tree produced by the SimpleModel labeled alternative in DLVParser.answer_set. More...
 
virtual Result VisitNonGroundQuery ([NotNull] DLVParser.NonGroundQueryContext context)
 Visit a parse tree produced by the NonGroundQuery labeled alternative in DLVParser.answer_set. More...
 
virtual Result VisitWeightedModel ([NotNull] DLVParser.WeightedModelContext context)
 Visit a parse tree produced by the WeightedModel labeled alternative in DLVParser.answer_set. More...
 
virtual Result VisitCost ([NotNull] DLVParser.CostContext context)
 Visit a parse tree produced by DLVParser.cost. More...
 
virtual Result VisitCost_level ([NotNull] DLVParser.Cost_levelContext context)
 Visit a parse tree produced by DLVParser.cost_level. More...
 
virtual Result VisitModel ([NotNull] DLVParser.ModelContext context)
 Visit a parse tree produced by DLVParser.model. More...
 
virtual Result VisitOutput ([NotNull] DLVParser.OutputContext context)
 Visit a parse tree produced by DLVParser.output. More...
 
virtual Result VisitPredicate ([NotNull] DLVParser.PredicateContext context)
 Visit a parse tree produced by DLVParser.predicate. More...
 
virtual Result VisitTerm ([NotNull] DLVParser.TermContext context)
 Visit a parse tree produced by DLVParser.term. More...
 
virtual Result VisitWitness ([NotNull] DLVParser.WitnessContext context)
 Visit a parse tree produced by DLVParser.witness. More...
 

Detailed Description

This class provides an empty implementation of IDLVParserVisitor<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.

Member Function Documentation

◆ VisitCost()

virtual Result DLVParserBaseVisitor< Result >.VisitCost ( [NotNull] DLVParser.CostContext  context)
inlinevirtual

Visit a parse tree produced by DLVParser.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 IDLVParserVisitor< Result >.

◆ VisitCost_level()

virtual Result DLVParserBaseVisitor< Result >.VisitCost_level ( [NotNull] DLVParser.Cost_levelContext  context)
inlinevirtual

Visit a parse tree produced by DLVParser.cost_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 IDLVParserVisitor< Result >.

Reimplemented in it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitorImplementation.

◆ VisitGroundQuery()

virtual Result DLVParserBaseVisitor< Result >.VisitGroundQuery ( [NotNull] DLVParser.GroundQueryContext  context)
inlinevirtual

Visit a parse tree produced by the GroundQuery labeled alternative in DLVParser.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 IDLVParserVisitor< Result >.

◆ VisitModel()

virtual Result DLVParserBaseVisitor< Result >.VisitModel ( [NotNull] DLVParser.ModelContext  context)
inlinevirtual

Visit a parse tree produced by DLVParser.model.

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

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Implements IDLVParserVisitor< Result >.

◆ VisitNonGroundQuery()

virtual Result DLVParserBaseVisitor< Result >.VisitNonGroundQuery ( [NotNull] DLVParser.NonGroundQueryContext  context)
inlinevirtual

Visit a parse tree produced by the NonGroundQuery labeled alternative in DLVParser.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 IDLVParserVisitor< Result >.

◆ VisitOutput()

virtual Result DLVParserBaseVisitor< Result >.VisitOutput ( [NotNull] DLVParser.OutputContext  context)
inlinevirtual

Visit a parse tree produced by DLVParser.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 IDLVParserVisitor< Result >.

◆ VisitPredicate()

virtual Result DLVParserBaseVisitor< Result >.VisitPredicate ( [NotNull] DLVParser.PredicateContext  context)
inlinevirtual

Visit a parse tree produced by DLVParser.predicate.

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

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Implements IDLVParserVisitor< Result >.

Reimplemented in it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitorImplementation.

◆ VisitSimpleModel()

virtual Result DLVParserBaseVisitor< Result >.VisitSimpleModel ( [NotNull] DLVParser.SimpleModelContext  context)
inlinevirtual

Visit a parse tree produced by the SimpleModel labeled alternative in DLVParser.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 IDLVParserVisitor< Result >.

Reimplemented in it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitorImplementation.

◆ VisitTerm()

virtual Result DLVParserBaseVisitor< Result >.VisitTerm ( [NotNull] DLVParser.TermContext  context)
inlinevirtual

Visit a parse tree produced by DLVParser.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 IDLVParserVisitor< Result >.

◆ VisitWeightedModel()

virtual Result DLVParserBaseVisitor< Result >.VisitWeightedModel ( [NotNull] DLVParser.WeightedModelContext  context)
inlinevirtual

Visit a parse tree produced by the WeightedModel labeled alternative in DLVParser.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 IDLVParserVisitor< Result >.

Reimplemented in it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitorImplementation.

◆ VisitWitness()

virtual Result DLVParserBaseVisitor< Result >.VisitWitness ( [NotNull] DLVParser.WitnessContext  context)
inlinevirtual

Visit a parse tree produced by DLVParser.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 IDLVParserVisitor< Result >.

Reimplemented in it.unical.mat.parsers.asp.dlv.DLVParserBaseVisitorImplementation.


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