PageRenderTime 44ms CodeModel.GetById 33ms app.highlight 5ms RepoModel.GetById 2ms app.codeStats 0ms

/src/tools/semantics/code/liberty_dumb_expression_visitor.e

http://github.com/tybor/Liberty
Specman e | 260 lines | 196 code | 50 blank | 14 comment | 0 complexity | 04c6755567a937e97c01f84eeacc0c57 MD5 | raw file
  1-- This file is part of Liberty Eiffel.
  2--
  3-- Liberty Eiffel is free software: you can redistribute it and/or modify
  4-- it under the terms of the GNU General Public License as published by
  5-- the Free Software Foundation, version 3 of the License.
  6--
  7-- Liberty Eiffel is distributed in the hope that it will be useful,
  8-- but WITHOUT ANY WARRANTY; without even the implied warranty of
  9-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 10-- GNU General Public License for more details.
 11--
 12-- You should have received a copy of the GNU General Public License
 13-- along with Liberty Eiffel.  If not, see <http://www.gnu.org/licenses/>.
 14--
 15class LIBERTY_DUMB_EXPRESSION_VISITOR
 16
 17inherit
 18   LIBERTY_EXPRESSION_VISITOR
 19
 20feature {LIBERTY_ADD}
 21   visit_liberty_add (v: LIBERTY_ADD) is
 22      do
 23      end
 24
 25feature {LIBERTY_AGENT}
 26   visit_liberty_agent (v: LIBERTY_AGENT) is
 27      do
 28      end
 29
 30feature {LIBERTY_AND}
 31   visit_liberty_and (v: LIBERTY_AND) is
 32      do
 33      end
 34
 35feature {LIBERTY_AND_THEN}
 36   visit_liberty_and_then (v: LIBERTY_AND_THEN) is
 37      do
 38      end
 39
 40feature {LIBERTY_ARRAY_MANIFEST}
 41   visit_liberty_array_manifest (v: LIBERTY_ARRAY_MANIFEST) is
 42      do
 43      end
 44
 45feature {LIBERTY_ASSIGNMENT_TEST}
 46   visit_liberty_assignment_test (v: LIBERTY_ASSIGNMENT_TEST) is
 47      do
 48      end
 49
 50feature {LIBERTY_BOOLEAN_MANIFEST}
 51   visit_liberty_boolean_manifest (v: LIBERTY_BOOLEAN_MANIFEST) is
 52      do
 53      end
 54
 55feature {LIBERTY_CALL_EXPRESSION}
 56   visit_liberty_call_expression (v: LIBERTY_CALL_EXPRESSION) is
 57      do
 58      end
 59
 60feature {LIBERTY_CAST_EXPRESSION}
 61   visit_liberty_cast_expression (v: LIBERTY_CAST_EXPRESSION) is
 62      do
 63      end
 64
 65feature {LIBERTY_CHARACTER_MANIFEST}
 66   visit_liberty_character_manifest (v: LIBERTY_CHARACTER_MANIFEST) is
 67      do
 68      end
 69
 70feature {LIBERTY_CREATION_EXPRESSION}
 71   visit_liberty_creation_expression (v: LIBERTY_CREATION_EXPRESSION) is
 72      do
 73      end
 74
 75feature {LIBERTY_DIVIDE}
 76   visit_liberty_divide (v: LIBERTY_DIVIDE) is
 77      do
 78      end
 79
 80feature {LIBERTY_ENTITY_EXPRESSION}
 81   visit_liberty_entity_expression (v: LIBERTY_ENTITY_EXPRESSION) is
 82      do
 83      end
 84
 85feature {LIBERTY_ENTITY_REFERENCE}
 86   visit_liberty_entity_reference (v: LIBERTY_ENTITY_REFERENCE) is
 87      do
 88      end
 89
 90feature {LIBERTY_EQUALS}
 91   visit_liberty_equals (v: LIBERTY_EQUALS) is
 92      do
 93      end
 94
 95feature {LIBERTY_GREATER_OR_EQUAL}
 96   visit_liberty_greater_or_equal (v: LIBERTY_GREATER_OR_EQUAL) is
 97      do
 98      end
 99
100feature {LIBERTY_GREATER_THAN}
101   visit_liberty_greater_than (v: LIBERTY_GREATER_THAN) is
102      do
103      end
104
105feature {LIBERTY_IMPLIES}
106   visit_liberty_implies (v: LIBERTY_IMPLIES) is
107      do
108      end
109
110feature {LIBERTY_INFIX_OPERATOR}
111   visit_liberty_infix_operator (v: LIBERTY_INFIX_OPERATOR) is
112      do
113      end
114
115feature {LIBERTY_INT_DIVIDE}
116   visit_liberty_int_divide (v: LIBERTY_INT_DIVIDE) is
117      do
118      end
119
120feature {LIBERTY_INTEGER_16_MANIFEST}
121   visit_liberty_integer_16_manifest (v: LIBERTY_INTEGER_16_MANIFEST) is
122      do
123      end
124
125feature {LIBERTY_INTEGER_32_MANIFEST}
126   visit_liberty_integer_32_manifest (v: LIBERTY_INTEGER_32_MANIFEST) is
127      do
128      end
129
130feature {LIBERTY_INTEGER_64_MANIFEST}
131   visit_liberty_integer_64_manifest (v: LIBERTY_INTEGER_64_MANIFEST) is
132      do
133      end
134
135feature {LIBERTY_INTEGER_8_MANIFEST}
136   visit_liberty_integer_8_manifest (v: LIBERTY_INTEGER_8_MANIFEST) is
137      do
138      end
139
140feature {LIBERTY_INTEGER_TYPED_MANIFEST}
141   visit_liberty_integer_typed_manifest (v: LIBERTY_INTEGER_TYPED_MANIFEST) is
142      do
143      end
144
145feature {LIBERTY_INT_REMAINDER}
146   visit_liberty_int_remainder (v: LIBERTY_INT_REMAINDER) is
147      do
148      end
149
150feature {LIBERTY_LESS_OR_EQUAL}
151   visit_liberty_less_or_equal (v: LIBERTY_LESS_OR_EQUAL) is
152      do
153      end
154
155feature {LIBERTY_LESS_THAN}
156   visit_liberty_less_than (v: LIBERTY_LESS_THAN) is
157      do
158      end
159
160feature {LIBERTY_NEGATIVE}
161   visit_liberty_negative (v: LIBERTY_NEGATIVE) is
162      do
163      end
164
165feature {LIBERTY_NOT}
166   visit_liberty_not (v: LIBERTY_NOT) is
167      do
168      end
169
170feature {LIBERTY_NOT_EQUALS}
171   visit_liberty_not_equals (v: LIBERTY_NOT_EQUALS) is
172      do
173      end
174
175feature {LIBERTY_OLD}
176   visit_liberty_old (v: LIBERTY_OLD) is
177      do
178      end
179
180feature {LIBERTY_OPEN_ARGUMENT}
181   visit_liberty_open_argument (v: LIBERTY_OPEN_ARGUMENT) is
182      do
183      end
184
185feature {LIBERTY_OR}
186   visit_liberty_or (v: LIBERTY_OR) is
187      do
188      end
189
190feature {LIBERTY_OR_ELSE}
191   visit_liberty_or_else (v: LIBERTY_OR_ELSE) is
192      do
193      end
194
195feature {LIBERTY_POSITIVE}
196   visit_liberty_positive (v: LIBERTY_POSITIVE) is
197      do
198      end
199
200feature {LIBERTY_POWER}
201   visit_liberty_power (v: LIBERTY_POWER) is
202      do
203      end
204
205feature {LIBERTY_PRECURSOR_EXPRESSION}
206   visit_liberty_precursor_expression (v: LIBERTY_PRECURSOR_EXPRESSION) is
207      do
208      end
209
210feature {LIBERTY_PREFIX_OPERATOR}
211   visit_liberty_prefix_operator (v: LIBERTY_PREFIX_OPERATOR) is
212      do
213      end
214
215feature {LIBERTY_REAL_MANIFEST}
216   visit_liberty_real_manifest (v: LIBERTY_REAL_MANIFEST) is
217      do
218      end
219
220feature {LIBERTY_REAL_TYPED_MANIFEST}
221   visit_liberty_real_typed_manifest (v: LIBERTY_REAL_TYPED_MANIFEST) is
222      do
223      end
224
225feature {LIBERTY_STRING_MANIFEST}
226   visit_liberty_string_manifest (v: LIBERTY_STRING_MANIFEST) is
227      do
228      end
229
230feature {LIBERTY_STRING_TYPED_MANIFEST}
231   visit_liberty_string_typed_manifest (v: LIBERTY_STRING_TYPED_MANIFEST) is
232      do
233      end
234
235feature {LIBERTY_SUBTRACT}
236   visit_liberty_subtract (v: LIBERTY_SUBTRACT) is
237      do
238      end
239
240feature {LIBERTY_TIMES}
241   visit_liberty_times (v: LIBERTY_TIMES) is
242      do
243      end
244
245feature {LIBERTY_TUPLE}
246   visit_liberty_tuple (v: LIBERTY_TUPLE) is
247      do
248      end
249
250feature {LIBERTY_VOID}
251   visit_liberty_void (v: LIBERTY_VOID) is
252      do
253      end
254
255feature {LIBERTY_XOR}
256   visit_liberty_xor (v: LIBERTY_XOR) is
257      do
258      end
259
260end -- class LIBERTY_DUMB_EXPRESSION_VISITOR