EmbASP-CSharp
DLVParserVisitor.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 DLVParser.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 IDLVParserVisitor<Result> : IParseTreeVisitor<Result> {
40  Result VisitGroundQuery([NotNull] DLVParser.GroundQueryContext context);
47  Result VisitSimpleModel([NotNull] DLVParser.SimpleModelContext context);
54  Result VisitNonGroundQuery([NotNull] DLVParser.NonGroundQueryContext context);
61  Result VisitWeightedModel([NotNull] DLVParser.WeightedModelContext context);
67  Result VisitCost([NotNull] DLVParser.CostContext context);
73  Result VisitCost_level([NotNull] DLVParser.Cost_levelContext context);
79  Result VisitModel([NotNull] DLVParser.ModelContext context);
85  Result VisitOutput([NotNull] DLVParser.OutputContext context);
91  Result VisitPredicate([NotNull] DLVParser.PredicateContext context);
97  Result VisitTerm([NotNull] DLVParser.TermContext context);
103  Result VisitWitness([NotNull] DLVParser.WitnessContext context);
104 }
IDLVParserVisitor.VisitTerm
Result VisitTerm([NotNull] DLVParser.TermContext context)
Visit a parse tree produced by DLVParser.term.
IDLVParserVisitor
This interface defines a complete generic visitor for a parse tree produced by DLVParser.
Definition: DLVParserVisitor.cs:33
IDLVParserVisitor.VisitCost
Result VisitCost([NotNull] DLVParser.CostContext context)
Visit a parse tree produced by DLVParser.cost.
IDLVParserVisitor.VisitOutput
Result VisitOutput([NotNull] DLVParser.OutputContext context)
Visit a parse tree produced by DLVParser.output.
IDLVParserVisitor.VisitGroundQuery
Result VisitGroundQuery([NotNull] DLVParser.GroundQueryContext context)
Visit a parse tree produced by the GroundQuery labeled alternative in DLVParser.answer_set.
IDLVParserVisitor.VisitModel
Result VisitModel([NotNull] DLVParser.ModelContext context)
Visit a parse tree produced by DLVParser.model.
IDLVParserVisitor.VisitWeightedModel
Result VisitWeightedModel([NotNull] DLVParser.WeightedModelContext context)
Visit a parse tree produced by the WeightedModel labeled alternative in DLVParser....
IDLVParserVisitor.VisitSimpleModel
Result VisitSimpleModel([NotNull] DLVParser.SimpleModelContext context)
Visit a parse tree produced by the SimpleModel labeled alternative in DLVParser.answer_set.
IDLVParserVisitor.VisitPredicate
Result VisitPredicate([NotNull] DLVParser.PredicateContext context)
Visit a parse tree produced by DLVParser.predicate.
IDLVParserVisitor.VisitWitness
Result VisitWitness([NotNull] DLVParser.WitnessContext context)
Visit a parse tree produced by DLVParser.witness.
IDLVParserVisitor.VisitNonGroundQuery
Result VisitNonGroundQuery([NotNull] DLVParser.NonGroundQueryContext context)
Visit a parse tree produced by the NonGroundQuery labeled alternative in DLVParser....
IDLVParserVisitor.VisitCost_level
Result VisitCost_level([NotNull] DLVParser.Cost_levelContext context)
Visit a parse tree produced by DLVParser.cost_level.