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

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

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

Public Member Functions

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

Detailed Description

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

Template Parameters
ResultThe return type of the visit operation.

Definition at line 33 of file DLVParserVisitor.cs.

Member Function Documentation

◆ VisitCost()

Result IDLVParserVisitor< Result >.VisitCost ( [NotNull] DLVParser.CostContext  context)

Visit a parse tree produced by DLVParser.cost.

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Implemented in DLVParserBaseVisitor< Result >.

◆ VisitCost_level()

Result IDLVParserVisitor< Result >.VisitCost_level ( [NotNull] DLVParser.Cost_levelContext  context)

Visit a parse tree produced by DLVParser.cost_level.

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Implemented in DLVParserBaseVisitor< Result >.

◆ VisitGroundQuery()

Result IDLVParserVisitor< Result >.VisitGroundQuery ( [NotNull] DLVParser.GroundQueryContext  context)

Visit a parse tree produced by the GroundQuery labeled alternative in DLVParser.answer_set.

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Implemented in DLVParserBaseVisitor< Result >.

◆ VisitModel()

Result IDLVParserVisitor< Result >.VisitModel ( [NotNull] DLVParser.ModelContext  context)

Visit a parse tree produced by DLVParser.model.

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Implemented in DLVParserBaseVisitor< Result >.

◆ VisitNonGroundQuery()

Result IDLVParserVisitor< Result >.VisitNonGroundQuery ( [NotNull] DLVParser.NonGroundQueryContext  context)

Visit a parse tree produced by the NonGroundQuery labeled alternative in DLVParser.answer_set.

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Implemented in DLVParserBaseVisitor< Result >.

◆ VisitOutput()

Result IDLVParserVisitor< Result >.VisitOutput ( [NotNull] DLVParser.OutputContext  context)

Visit a parse tree produced by DLVParser.output.

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Implemented in DLVParserBaseVisitor< Result >.

◆ VisitPredicate()

Result IDLVParserVisitor< Result >.VisitPredicate ( [NotNull] DLVParser.PredicateContext  context)

Visit a parse tree produced by DLVParser.predicate.

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Implemented in DLVParserBaseVisitor< Result >.

◆ VisitSimpleModel()

Result IDLVParserVisitor< Result >.VisitSimpleModel ( [NotNull] DLVParser.SimpleModelContext  context)

Visit a parse tree produced by the SimpleModel labeled alternative in DLVParser.answer_set.

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Implemented in DLVParserBaseVisitor< Result >.

◆ VisitTerm()

Result IDLVParserVisitor< Result >.VisitTerm ( [NotNull] DLVParser.TermContext  context)

Visit a parse tree produced by DLVParser.term.

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Implemented in DLVParserBaseVisitor< Result >.

◆ VisitWeightedModel()

Result IDLVParserVisitor< Result >.VisitWeightedModel ( [NotNull] DLVParser.WeightedModelContext  context)

Visit a parse tree produced by the WeightedModel labeled alternative in DLVParser.answer_set.

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Implemented in DLVParserBaseVisitor< Result >.

◆ VisitWitness()

Result IDLVParserVisitor< Result >.VisitWitness ( [NotNull] DLVParser.WitnessContext  context)

Visit a parse tree produced by DLVParser.witness.

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Implemented in DLVParserBaseVisitor< Result >.


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