EmbASP-CSharp
DLV2ParserVisitor.cs
1 //------------------------------------------------------------------------------
2 // <auto-generated>
3 // This code was generated by a tool.
4 // ANTLR Version: 4.7
5 //
6 // Changes to this file may cause incorrect behavior and will be lost if
7 // the code is regenerated.
8 // </auto-generated>
9 //------------------------------------------------------------------------------
10 
11 // Generated from DLV2Parser.g4 by ANTLR 4.7
12 
13 // Unreachable code detected
14 #pragma warning disable 0162
15 // The variable '...' is assigned but its value is never used
16 #pragma warning disable 0219
17 // Missing XML comment for publicly visible type or member '...'
18 #pragma warning disable 1591
19 // Ambiguous reference in cref attribute
20 #pragma warning disable 419
21 
22 using Antlr4.Runtime.Misc;
23 using Antlr4.Runtime.Tree;
24 using IToken = Antlr4.Runtime.IToken;
25 
31 [System.CodeDom.Compiler.GeneratedCode("ANTLR", "4.7")]
32 [System.CLSCompliant(false)]
33 public interface IDLV2ParserVisitor<Result> : IParseTreeVisitor<Result> {
39  Result VisitAnswer_set([NotNull] DLV2Parser.Answer_setContext context);
45  Result VisitCost([NotNull] DLV2Parser.CostContext context);
51  Result VisitLevel([NotNull] DLV2Parser.LevelContext context);
57  Result VisitModel([NotNull] DLV2Parser.ModelContext context);
63  Result VisitOutput([NotNull] DLV2Parser.OutputContext context);
69  Result VisitPredicate_atom([NotNull] DLV2Parser.Predicate_atomContext context);
75  Result VisitTerm([NotNull] DLV2Parser.TermContext context);
76 }
IDLV2ParserVisitor
This interface defines a complete generic visitor for a parse tree produced by DLV2Parser.
Definition: DLV2ParserVisitor.cs:33
IDLV2ParserVisitor.VisitPredicate_atom
Result VisitPredicate_atom([NotNull] DLV2Parser.Predicate_atomContext context)
Visit a parse tree produced by DLV2Parser.predicate_atom.
IDLV2ParserVisitor.VisitOutput
Result VisitOutput([NotNull] DLV2Parser.OutputContext context)
Visit a parse tree produced by DLV2Parser.output.
IDLV2ParserVisitor.VisitModel
Result VisitModel([NotNull] DLV2Parser.ModelContext context)
Visit a parse tree produced by DLV2Parser.model.
IDLV2ParserVisitor.VisitAnswer_set
Result VisitAnswer_set([NotNull] DLV2Parser.Answer_setContext context)
Visit a parse tree produced by DLV2Parser.answer_set.
IDLV2ParserVisitor.VisitTerm
Result VisitTerm([NotNull] DLV2Parser.TermContext context)
Visit a parse tree produced by DLV2Parser.term.
IDLV2ParserVisitor.VisitLevel
Result VisitLevel([NotNull] DLV2Parser.LevelContext context)
Visit a parse tree produced by DLV2Parser.level.
IDLV2ParserVisitor.VisitCost
Result VisitCost([NotNull] DLV2Parser.CostContext context)
Visit a parse tree produced by DLV2Parser.cost.