IDLVHEXParserVisitor< Result > Interface Template Reference

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

Inheritance diagram for IDLVHEXParserVisitor< Result >:

Public Member Functions
Result	VisitGroundQuery ([NotNull] DLVHEXParser.GroundQueryContext context)
	Visit a parse tree produced by the GroundQuery labeled alternative in DLVHEXParser.answer_set. More...
Result	VisitModel ([NotNull] DLVHEXParser.ModelContext context)
	Visit a parse tree produced by the Model labeled alternative in DLVHEXParser.answer_set. More...
Result	VisitAtoms ([NotNull] DLVHEXParser.AtomsContext context)
	Visit a parse tree produced by DLVHEXParser.atoms. More...
Result	VisitCost ([NotNull] DLVHEXParser.CostContext context)
	Visit a parse tree produced by DLVHEXParser.cost. More...
Result	VisitLevel ([NotNull] DLVHEXParser.LevelContext context)
	Visit a parse tree produced by DLVHEXParser.level. More...
Result	VisitOutput ([NotNull] DLVHEXParser.OutputContext context)
	Visit a parse tree produced by DLVHEXParser.output. More...
Result	VisitPredicate_atom ([NotNull] DLVHEXParser.Predicate_atomContext context)
	Visit a parse tree produced by DLVHEXParser.predicate_atom. More...
Result	VisitTerm ([NotNull] DLVHEXParser.TermContext context)
	Visit a parse tree produced by DLVHEXParser.term. More...
Result	VisitWitness ([NotNull] DLVHEXParser.WitnessContext context)
	Visit a parse tree produced by DLVHEXParser.witness. More...

Detailed Description

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

Template Parameters

Result

The return type of the visit operation.

Member Function Documentation

VisitAtoms()

Result IDLVHEXParserVisitor< Result >.VisitAtoms

(

[NotNull] DLVHEXParser.AtomsContext

context

)

Visit a parse tree produced by DLVHEXParser.atoms.

Parameters

context

The parse tree.

<return>The visitor result.</return>

Implemented in DLVHEXParserBaseVisitor< Result >.

VisitCost()

Result IDLVHEXParserVisitor< Result >.VisitCost

(

[NotNull] DLVHEXParser.CostContext

context

)

Visit a parse tree produced by DLVHEXParser.cost.

Parameters

context

The parse tree.

<return>The visitor result.</return>

Implemented in DLVHEXParserBaseVisitor< Result >.

VisitGroundQuery()

Result IDLVHEXParserVisitor< Result >.VisitGroundQuery

(

[NotNull] DLVHEXParser.GroundQueryContext

context

)

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

Parameters

context

The parse tree.

<return>The visitor result.</return>

Implemented in DLVHEXParserBaseVisitor< Result >.

VisitLevel()

Result IDLVHEXParserVisitor< Result >.VisitLevel

(

[NotNull] DLVHEXParser.LevelContext

context

)

Visit a parse tree produced by DLVHEXParser.level.

Parameters

context

The parse tree.

<return>The visitor result.</return>

Implemented in DLVHEXParserBaseVisitor< Result >.

VisitModel()

Result IDLVHEXParserVisitor< Result >.VisitModel

(

[NotNull] DLVHEXParser.ModelContext

context

)

Visit a parse tree produced by the Model labeled alternative in DLVHEXParser.answer_set.

Parameters

context

The parse tree.

<return>The visitor result.</return>

Implemented in DLVHEXParserBaseVisitor< Result >.

VisitOutput()

Result IDLVHEXParserVisitor< Result >.VisitOutput

(

[NotNull] DLVHEXParser.OutputContext

context

)

Visit a parse tree produced by DLVHEXParser.output.

Parameters

context

The parse tree.

<return>The visitor result.</return>

Implemented in DLVHEXParserBaseVisitor< Result >.

VisitPredicate_atom()

Result IDLVHEXParserVisitor< Result >.VisitPredicate_atom

(

[NotNull] DLVHEXParser.Predicate_atomContext

context

)

Visit a parse tree produced by DLVHEXParser.predicate_atom.

Parameters

context

The parse tree.

<return>The visitor result.</return>

Implemented in DLVHEXParserBaseVisitor< Result >.

VisitTerm()

Result IDLVHEXParserVisitor< Result >.VisitTerm

(

[NotNull] DLVHEXParser.TermContext

context

)

Visit a parse tree produced by DLVHEXParser.term.

Parameters

context

The parse tree.

<return>The visitor result.</return>

Implemented in DLVHEXParserBaseVisitor< Result >.

VisitWitness()

Result IDLVHEXParserVisitor< Result >.VisitWitness

(

[NotNull] DLVHEXParser.WitnessContext

context

)

Visit a parse tree produced by DLVHEXParser.witness.

Parameters

context

The parse tree.

<return>The visitor result.</return>

Implemented in DLVHEXParserBaseVisitor< Result >.

---

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

• embasp-csharp/it/unical/mat/parsers/asp/dlvhex/DLVHEXParserVisitor.cs