Package: ISymbolTable

ISymbolTable

Coverage

1: /*
2: * #%~
3: * New Pretty Printer
4: * %%
5: * Copyright (C) 2008 - 2014 Overture
6: * %%
7: * This program is free software: you can redistribute it and/or modify
8: * it under the terms of the GNU General Public License as
9: * published by the Free Software Foundation, either version 3 of the
10: * License, or (at your option) any later version.
11: *
12: * This program is distributed in the hope that it will be useful,
13: * but WITHOUT ANY WARRANTY; without even the implied warranty of
14: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15: * GNU General Public License for more details.
16: *
17: * You should have received a copy of the GNU General Public
18: * License along with this program. If not, see
19: * <http://www.gnu.org/licenses/gpl-3.0.html>.
20: * #~%
21: */
22: package org.overture.core.npp;
23:
24: /**
25: * The Interface InsTable lists all available VDM symbols and is a contract for any symbol table to be used with the new
26: * pretty printer.
27: *
28: * @author ldc
29: */
30: public interface ISymbolTable
31: {
32:
33:         String getTAIL();
34:
35:         String getAND();
36:
37:         String getOR();
38:
39:         String getPLUS();
40:
41:         String getMINUS();
42:
43:         String getDIVIDE();
44:
45:         String getTIMES();
46:
47:         String getLT();
48:
49:         String getLE();
50:
51:         String getGT();
52:
53:         String getGE();
54:
55:         String getNE();
56:
57:         String getEQUALS();
58:
59:         String getEQUIV();
60:
61:         String getIMPLIES();
62:
63:         String getSETDIFF();
64:
65:         String getPLUSPLUS();
66:
67:         String getSTARSTAR();
68:
69:         String getCONCATENATE();
70:
71:         String getMAPLET();
72:
73:         String getRANGE();
74:
75:         String getDOMRESTO();
76:
77:         String getDOMRESBY();
78:
79:         String getRANGERESTO();
80:
81:         String getRANGERESBY();
82:
83:         String getLAMBDA();
84:
85:         String getIOTA();
86:
87:         String getEXISTS1();
88:
89:         String getEXISTS();
90:
91:         String getPOINT();
92:
93:         String getHEAD();
94:
95:         String getFORALL();
96:
97:         String getCOMPOSITION();
98:
99:         String getINDS();
100:
101:         String getDISTCONC();
102:
103:         String getDUNION();
104:
105:         String getFLOOR();
106:
107:         String getMERGE();
108:
109:         String getDINTER();
110:
111:         String getABSOLUTE();
112:
113:         String getELEMS();
114:
115:         String getRNG();
116:
117:         String getPOWER();
118:
119:         String getLEN();
120:
121:         String getDOM();
122:
123:         String getCARD();
124:
125:         String getINVERSE();
126:
127:         String getINTER();
128:
129:         String getUNION();
130:
131:         String getMUNION();
132:
133:         String getREM();
134:
135:         String getMOD();
136:
137:         String getDIV();
138:
139:         String getSUBSET();
140:
141:         String getPSUBSET();
142:
143:         String getINSET();
144:
145:         String getNOTINSET();
146:
147:         String getPRED();
148:
149:         String getSEP();
150:
151:         String getDEF();
152:
153:         String getOPENQUOTE();
154:
155:         String getCLOSEQUOTE();
156:
157:         String getCHARDELIM();
158:
159:         String getSTRINGDELIM();
160:
161: }