EmbASP-CSharp v7.1.0
|
This interface defines a complete generic visitor for a parse tree produced by ClingoParser. More...
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... | |
This interface defines a complete generic visitor for a parse tree produced by ClingoParser.
Result | The return type of the visit operation. |
Result IClingoParserVisitor< Result >.VisitAnswer_set | ( | [NotNull] ClingoParser.Answer_setContext | context | ) |
Visit a parse tree produced by ClingoParser.answer_set.
context | The parse tree. |
<return>The visitor result.</return>
Implemented in ClingoParserBaseVisitor< Result >.
Result IClingoParserVisitor< Result >.VisitModel | ( | [NotNull] ClingoParser.ModelContext | context | ) |
Visit a parse tree produced by ClingoParser.model.
context | The parse tree. |
<return>The visitor result.</return>
Implemented in ClingoParserBaseVisitor< Result >.
Result IClingoParserVisitor< Result >.VisitOutput | ( | [NotNull] ClingoParser.OutputContext | context | ) |
Visit a parse tree produced by ClingoParser.output.
context | The parse tree. |
<return>The visitor result.</return>
Implemented in ClingoParserBaseVisitor< Result >.
Result IClingoParserVisitor< Result >.VisitPredicate_atom | ( | [NotNull] ClingoParser.Predicate_atomContext | context | ) |
Visit a parse tree produced by ClingoParser.predicate_atom.
context | The parse tree. |
<return>The visitor result.</return>
Implemented in ClingoParserBaseVisitor< Result >.
Result IClingoParserVisitor< Result >.VisitTerm | ( | [NotNull] ClingoParser.TermContext | context | ) |
Visit a parse tree produced by ClingoParser.term.
context | The parse tree. |
<return>The visitor result.</return>
Implemented in ClingoParserBaseVisitor< Result >.