1
2 package eu.simuline.relana.parser;
3
4 import eu.simuline.relana.model.CClass;
5 import eu.simuline.relana.model.SClass;
6 import eu.simuline.relana.model.CClassLoader;
7 import eu.simuline.relana.model.MapDecl;
8 import eu.simuline.relana.model.Deficiency;
9 import eu.simuline.relana.model.DeficiencyMap;
10 import eu.simuline.relana.model.ClassLocator;
11
12 import eu.simuline.relana.expressions.FormulaDecl;
13 import eu.simuline.relana.expressions.Operation;
14 import eu.simuline.relana.expressions.Type;
15
16 import java.io.Reader;
17 import java.io.IOException;
18
19 import java.util.Set;
20 import java.util.HashSet;
21 import java.util.Stack;
22
23 import org.antlr.v4.runtime.tree.ParseTreeListener;
24
25
26
27
28
29 public interface FormulaListener extends ParseTreeListener {
30
31
32
33
34 void enterFormula(FormulaParser.FormulaContext ctx);
35
36
37
38
39 void exitFormula(FormulaParser.FormulaContext ctx);
40
41
42
43
44 void enterConstFormula(FormulaParser.ConstFormulaContext ctx);
45
46
47
48
49 void exitConstFormula(FormulaParser.ConstFormulaContext ctx);
50
51
52
53
54 void enterVarFormula(FormulaParser.VarFormulaContext ctx);
55
56
57
58
59 void exitVarFormula(FormulaParser.VarFormulaContext ctx);
60
61
62
63
64 void enterCompFormula(FormulaParser.CompFormulaContext ctx);
65
66
67
68
69 void exitCompFormula(FormulaParser.CompFormulaContext ctx);
70
71
72
73
74 void enterAddFormula(FormulaParser.AddFormulaContext ctx);
75
76
77
78
79 void exitAddFormula(FormulaParser.AddFormulaContext ctx);
80
81
82
83
84 void enterPath(FormulaParser.PathContext ctx);
85
86
87
88
89 void exitPath(FormulaParser.PathContext ctx);
90 }