/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. --
  15. class LIBERTY_DUMB_EXPRESSION_VISITOR
  16. inherit
  17. LIBERTY_EXPRESSION_VISITOR
  18. feature {LIBERTY_ADD}
  19. visit_liberty_add (v: LIBERTY_ADD) is
  20. do
  21. end
  22. feature {LIBERTY_AGENT}
  23. visit_liberty_agent (v: LIBERTY_AGENT) is
  24. do
  25. end
  26. feature {LIBERTY_AND}
  27. visit_liberty_and (v: LIBERTY_AND) is
  28. do
  29. end
  30. feature {LIBERTY_AND_THEN}
  31. visit_liberty_and_then (v: LIBERTY_AND_THEN) is
  32. do
  33. end
  34. feature {LIBERTY_ARRAY_MANIFEST}
  35. visit_liberty_array_manifest (v: LIBERTY_ARRAY_MANIFEST) is
  36. do
  37. end
  38. feature {LIBERTY_ASSIGNMENT_TEST}
  39. visit_liberty_assignment_test (v: LIBERTY_ASSIGNMENT_TEST) is
  40. do
  41. end
  42. feature {LIBERTY_BOOLEAN_MANIFEST}
  43. visit_liberty_boolean_manifest (v: LIBERTY_BOOLEAN_MANIFEST) is
  44. do
  45. end
  46. feature {LIBERTY_CALL_EXPRESSION}
  47. visit_liberty_call_expression (v: LIBERTY_CALL_EXPRESSION) is
  48. do
  49. end
  50. feature {LIBERTY_CAST_EXPRESSION}
  51. visit_liberty_cast_expression (v: LIBERTY_CAST_EXPRESSION) is
  52. do
  53. end
  54. feature {LIBERTY_CHARACTER_MANIFEST}
  55. visit_liberty_character_manifest (v: LIBERTY_CHARACTER_MANIFEST) is
  56. do
  57. end
  58. feature {LIBERTY_CREATION_EXPRESSION}
  59. visit_liberty_creation_expression (v: LIBERTY_CREATION_EXPRESSION) is
  60. do
  61. end
  62. feature {LIBERTY_DIVIDE}
  63. visit_liberty_divide (v: LIBERTY_DIVIDE) is
  64. do
  65. end
  66. feature {LIBERTY_ENTITY_EXPRESSION}
  67. visit_liberty_entity_expression (v: LIBERTY_ENTITY_EXPRESSION) is
  68. do
  69. end
  70. feature {LIBERTY_ENTITY_REFERENCE}
  71. visit_liberty_entity_reference (v: LIBERTY_ENTITY_REFERENCE) is
  72. do
  73. end
  74. feature {LIBERTY_EQUALS}
  75. visit_liberty_equals (v: LIBERTY_EQUALS) is
  76. do
  77. end
  78. feature {LIBERTY_GREATER_OR_EQUAL}
  79. visit_liberty_greater_or_equal (v: LIBERTY_GREATER_OR_EQUAL) is
  80. do
  81. end
  82. feature {LIBERTY_GREATER_THAN}
  83. visit_liberty_greater_than (v: LIBERTY_GREATER_THAN) is
  84. do
  85. end
  86. feature {LIBERTY_IMPLIES}
  87. visit_liberty_implies (v: LIBERTY_IMPLIES) is
  88. do
  89. end
  90. feature {LIBERTY_INFIX_OPERATOR}
  91. visit_liberty_infix_operator (v: LIBERTY_INFIX_OPERATOR) is
  92. do
  93. end
  94. feature {LIBERTY_INT_DIVIDE}
  95. visit_liberty_int_divide (v: LIBERTY_INT_DIVIDE) is
  96. do
  97. end
  98. feature {LIBERTY_INTEGER_16_MANIFEST}
  99. visit_liberty_integer_16_manifest (v: LIBERTY_INTEGER_16_MANIFEST) is
  100. do
  101. end
  102. feature {LIBERTY_INTEGER_32_MANIFEST}
  103. visit_liberty_integer_32_manifest (v: LIBERTY_INTEGER_32_MANIFEST) is
  104. do
  105. end
  106. feature {LIBERTY_INTEGER_64_MANIFEST}
  107. visit_liberty_integer_64_manifest (v: LIBERTY_INTEGER_64_MANIFEST) is
  108. do
  109. end
  110. feature {LIBERTY_INTEGER_8_MANIFEST}
  111. visit_liberty_integer_8_manifest (v: LIBERTY_INTEGER_8_MANIFEST) is
  112. do
  113. end
  114. feature {LIBERTY_INTEGER_TYPED_MANIFEST}
  115. visit_liberty_integer_typed_manifest (v: LIBERTY_INTEGER_TYPED_MANIFEST) is
  116. do
  117. end
  118. feature {LIBERTY_INT_REMAINDER}
  119. visit_liberty_int_remainder (v: LIBERTY_INT_REMAINDER) is
  120. do
  121. end
  122. feature {LIBERTY_LESS_OR_EQUAL}
  123. visit_liberty_less_or_equal (v: LIBERTY_LESS_OR_EQUAL) is
  124. do
  125. end
  126. feature {LIBERTY_LESS_THAN}
  127. visit_liberty_less_than (v: LIBERTY_LESS_THAN) is
  128. do
  129. end
  130. feature {LIBERTY_NEGATIVE}
  131. visit_liberty_negative (v: LIBERTY_NEGATIVE) is
  132. do
  133. end
  134. feature {LIBERTY_NOT}
  135. visit_liberty_not (v: LIBERTY_NOT) is
  136. do
  137. end
  138. feature {LIBERTY_NOT_EQUALS}
  139. visit_liberty_not_equals (v: LIBERTY_NOT_EQUALS) is
  140. do
  141. end
  142. feature {LIBERTY_OLD}
  143. visit_liberty_old (v: LIBERTY_OLD) is
  144. do
  145. end
  146. feature {LIBERTY_OPEN_ARGUMENT}
  147. visit_liberty_open_argument (v: LIBERTY_OPEN_ARGUMENT) is
  148. do
  149. end
  150. feature {LIBERTY_OR}
  151. visit_liberty_or (v: LIBERTY_OR) is
  152. do
  153. end
  154. feature {LIBERTY_OR_ELSE}
  155. visit_liberty_or_else (v: LIBERTY_OR_ELSE) is
  156. do
  157. end
  158. feature {LIBERTY_POSITIVE}
  159. visit_liberty_positive (v: LIBERTY_POSITIVE) is
  160. do
  161. end
  162. feature {LIBERTY_POWER}
  163. visit_liberty_power (v: LIBERTY_POWER) is
  164. do
  165. end
  166. feature {LIBERTY_PRECURSOR_EXPRESSION}
  167. visit_liberty_precursor_expression (v: LIBERTY_PRECURSOR_EXPRESSION) is
  168. do
  169. end
  170. feature {LIBERTY_PREFIX_OPERATOR}
  171. visit_liberty_prefix_operator (v: LIBERTY_PREFIX_OPERATOR) is
  172. do
  173. end
  174. feature {LIBERTY_REAL_MANIFEST}
  175. visit_liberty_real_manifest (v: LIBERTY_REAL_MANIFEST) is
  176. do
  177. end
  178. feature {LIBERTY_REAL_TYPED_MANIFEST}
  179. visit_liberty_real_typed_manifest (v: LIBERTY_REAL_TYPED_MANIFEST) is
  180. do
  181. end
  182. feature {LIBERTY_STRING_MANIFEST}
  183. visit_liberty_string_manifest (v: LIBERTY_STRING_MANIFEST) is
  184. do
  185. end
  186. feature {LIBERTY_STRING_TYPED_MANIFEST}
  187. visit_liberty_string_typed_manifest (v: LIBERTY_STRING_TYPED_MANIFEST) is
  188. do
  189. end
  190. feature {LIBERTY_SUBTRACT}
  191. visit_liberty_subtract (v: LIBERTY_SUBTRACT) is
  192. do
  193. end
  194. feature {LIBERTY_TIMES}
  195. visit_liberty_times (v: LIBERTY_TIMES) is
  196. do
  197. end
  198. feature {LIBERTY_TUPLE}
  199. visit_liberty_tuple (v: LIBERTY_TUPLE) is
  200. do
  201. end
  202. feature {LIBERTY_VOID}
  203. visit_liberty_void (v: LIBERTY_VOID) is
  204. do
  205. end
  206. feature {LIBERTY_XOR}
  207. visit_liberty_xor (v: LIBERTY_XOR) is
  208. do
  209. end
  210. end -- class LIBERTY_DUMB_EXPRESSION_VISITOR