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

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

Inheritance diagram for IClingoParserVisitor< Result >:
ClingoParserBaseVisitor< Result >

Public Member Functions

Result VisitAnswer_set ([NotNull] ClingoParser.Answer_setContext context)
 Visit a parse tree produced by ClingoParser.answer_set. More...
 
Result VisitModel ([NotNull] ClingoParser.ModelContext context)
 Visit a parse tree produced by ClingoParser.model. More...
 
Result VisitOutput ([NotNull] ClingoParser.OutputContext context)
 Visit a parse tree produced by ClingoParser.output. More...
 
Result VisitPredicate_atom ([NotNull] ClingoParser.Predicate_atomContext context)
 Visit a parse tree produced by ClingoParser.predicate_atom. More...
 
Result VisitTerm ([NotNull] ClingoParser.TermContext context)
 Visit a parse tree produced by ClingoParser.term. More...
 

Detailed Description

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

Template Parameters
ResultThe return type of the visit operation.

Member Function Documentation

◆ VisitAnswer_set()

Result IClingoParserVisitor< Result >.VisitAnswer_set ( [NotNull] ClingoParser.Answer_setContext  context)

Visit a parse tree produced by ClingoParser.answer_set.

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Implemented in ClingoParserBaseVisitor< Result >.

◆ VisitModel()

Result IClingoParserVisitor< Result >.VisitModel ( [NotNull] ClingoParser.ModelContext  context)

Visit a parse tree produced by ClingoParser.model.

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Implemented in ClingoParserBaseVisitor< Result >.

◆ VisitOutput()

Result IClingoParserVisitor< Result >.VisitOutput ( [NotNull] ClingoParser.OutputContext  context)

Visit a parse tree produced by ClingoParser.output.

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Implemented in ClingoParserBaseVisitor< Result >.

◆ VisitPredicate_atom()

Result IClingoParserVisitor< Result >.VisitPredicate_atom ( [NotNull] ClingoParser.Predicate_atomContext  context)

Visit a parse tree produced by ClingoParser.predicate_atom.

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Implemented in ClingoParserBaseVisitor< Result >.

◆ VisitTerm()

Result IClingoParserVisitor< Result >.VisitTerm ( [NotNull] ClingoParser.TermContext  context)

Visit a parse tree produced by ClingoParser.term.

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Implemented in ClingoParserBaseVisitor< Result >.


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