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... | |
Detailed Description
This interface defines a complete generic visitor for a parse tree produced by ClingoParser.
- Template Parameters
-
Result The 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
-
context The 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
-
context The 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
-
context The 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
-
context The 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
-
context The parse tree.
<return>The visitor result.</return>
Implemented in ClingoParserBaseVisitor< Result >.
The documentation for this interface was generated from the following file:
- embasp-csharp/it/unical/mat/parsers/asp/clingo/ClingoParserVisitor.cs
