EmbASP-CSharp
DLVHEXParserVisitor.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 DLVHEXParser.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 IDLVHEXParserVisitor<Result> : IParseTreeVisitor<Result> {
40  Result VisitGroundQuery([NotNull] DLVHEXParser.GroundQueryContext context);
47  Result VisitModel([NotNull] DLVHEXParser.ModelContext context);
53  Result VisitAtoms([NotNull] DLVHEXParser.AtomsContext context);
59  Result VisitCost([NotNull] DLVHEXParser.CostContext context);
65  Result VisitLevel([NotNull] DLVHEXParser.LevelContext context);
71  Result VisitOutput([NotNull] DLVHEXParser.OutputContext context);
77  Result VisitPredicate_atom([NotNull] DLVHEXParser.Predicate_atomContext context);
83  Result VisitTerm([NotNull] DLVHEXParser.TermContext context);
89  Result VisitWitness([NotNull] DLVHEXParser.WitnessContext context);
90 }
IDLVHEXParserVisitor.VisitPredicate_atom
Result VisitPredicate_atom([NotNull] DLVHEXParser.Predicate_atomContext context)
Visit a parse tree produced by DLVHEXParser.predicate_atom.
IDLVHEXParserVisitor.VisitGroundQuery
Result VisitGroundQuery([NotNull] DLVHEXParser.GroundQueryContext context)
Visit a parse tree produced by the GroundQuery labeled alternative in DLVHEXParser....
IDLVHEXParserVisitor.VisitAtoms
Result VisitAtoms([NotNull] DLVHEXParser.AtomsContext context)
Visit a parse tree produced by DLVHEXParser.atoms.
IDLVHEXParserVisitor.VisitCost
Result VisitCost([NotNull] DLVHEXParser.CostContext context)
Visit a parse tree produced by DLVHEXParser.cost.
IDLVHEXParserVisitor.VisitOutput
Result VisitOutput([NotNull] DLVHEXParser.OutputContext context)
Visit a parse tree produced by DLVHEXParser.output.
IDLVHEXParserVisitor.VisitTerm
Result VisitTerm([NotNull] DLVHEXParser.TermContext context)
Visit a parse tree produced by DLVHEXParser.term.
IDLVHEXParserVisitor
This interface defines a complete generic visitor for a parse tree produced by DLVHEXParser.
Definition: DLVHEXParserVisitor.cs:33
IDLVHEXParserVisitor.VisitLevel
Result VisitLevel([NotNull] DLVHEXParser.LevelContext context)
Visit a parse tree produced by DLVHEXParser.level.
IDLVHEXParserVisitor.VisitModel
Result VisitModel([NotNull] DLVHEXParser.ModelContext context)
Visit a parse tree produced by the Model labeled alternative in DLVHEXParser.answer_set.
IDLVHEXParserVisitor.VisitWitness
Result VisitWitness([NotNull] DLVHEXParser.WitnessContext context)
Visit a parse tree produced by DLVHEXParser.witness.