/src/tools/configuration/etc/liberty_etc_visitor.e

http://github.com/tybor/Liberty · Specman e · 200 lines · 153 code · 33 blank · 14 comment · 0 complexity · b75e3fc05b849feedc1e022857afd976 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. deferred class LIBERTY_ETC_VISITOR
  16. inherit
  17. VISITOR
  18. feature {LIBERTY_ETC}
  19. tool_name: FIXED_STRING is
  20. deferred
  21. end
  22. clusters: MAP[LIBERTY_ETC_CLUSTER, FIXED_STRING] is
  23. deferred
  24. end
  25. check_validity is
  26. deferred
  27. end
  28. feature {LIBERTY_ETC_FACTORY} -- Lists
  29. visit_environment_variable_list (list: LIBERTY_ETC_LIST) is
  30. require
  31. list /= Void
  32. deferred
  33. end
  34. visit_cluster_list (list: LIBERTY_ETC_LIST) is
  35. require
  36. list /= Void
  37. deferred
  38. end
  39. visit_cluster_configuration_list (list: LIBERTY_ETC_LIST) is
  40. require
  41. list /= Void
  42. deferred
  43. end
  44. visit_debug_configuration_list (list: LIBERTY_ETC_LIST) is
  45. require
  46. list /= Void
  47. deferred
  48. end
  49. visit_debug_key_list (list: LIBERTY_ETC_LIST) is
  50. require
  51. list /= Void
  52. deferred
  53. end
  54. visit_location_list (list: LIBERTY_ETC_LIST) is
  55. require
  56. list /= Void
  57. deferred
  58. end
  59. feature {LIBERTY_ETC_FACTORY} -- Non-Terminals
  60. visit_master (nt: LIBERTY_ETC_NON_TERMINAL) is
  61. require
  62. nt /= Void
  63. deferred
  64. end
  65. visit_cluster_definition (nt: LIBERTY_ETC_NON_TERMINAL) is
  66. require
  67. nt /= Void
  68. deferred
  69. end
  70. visit_environment (nt: LIBERTY_ETC_NON_TERMINAL) is
  71. require
  72. nt /= Void
  73. deferred
  74. end
  75. visit_environment_variable (nt: LIBERTY_ETC_NON_TERMINAL) is
  76. require
  77. nt /= Void
  78. deferred
  79. end
  80. visit_clusters (nt: LIBERTY_ETC_NON_TERMINAL) is
  81. require
  82. nt /= Void
  83. deferred
  84. end
  85. visit_cluster (nt: LIBERTY_ETC_NON_TERMINAL) is
  86. require
  87. nt /= Void
  88. deferred
  89. end
  90. visit_locations (nt: LIBERTY_ETC_NON_TERMINAL) is
  91. require
  92. nt /= Void
  93. deferred
  94. end
  95. visit_location (nt: LIBERTY_ETC_NON_TERMINAL) is
  96. require
  97. nt /= Void
  98. deferred
  99. end
  100. visit_version (nt: LIBERTY_ETC_NON_TERMINAL) is
  101. require
  102. nt /= Void
  103. deferred
  104. end
  105. visit_needs (nt: LIBERTY_ETC_NON_TERMINAL) is
  106. require
  107. nt /= Void
  108. deferred
  109. end
  110. visit_cluster_configuration (nt: LIBERTY_ETC_NON_TERMINAL) is
  111. require
  112. nt /= Void
  113. deferred
  114. end
  115. visit_configure (nt: LIBERTY_ETC_NON_TERMINAL) is
  116. require
  117. nt /= Void
  118. deferred
  119. end
  120. visit_cluster_constraints (nt: LIBERTY_ETC_NON_TERMINAL) is
  121. require
  122. nt /= Void
  123. deferred
  124. end
  125. visit_cluster_version_constraint (nt: LIBERTY_ETC_NON_TERMINAL) is
  126. require
  127. nt /= Void
  128. deferred
  129. end
  130. visit_version_operator (nt: LIBERTY_ETC_NON_TERMINAL) is
  131. require
  132. nt /= Void
  133. deferred
  134. end
  135. visit_assertion (nt: LIBERTY_ETC_NON_TERMINAL) is
  136. require
  137. nt /= Void
  138. deferred
  139. end
  140. visit_assertion_level (nt: LIBERTY_ETC_NON_TERMINAL) is
  141. require
  142. nt /= Void
  143. deferred
  144. end
  145. visit_debug (nt: LIBERTY_ETC_NON_TERMINAL) is
  146. require
  147. nt /= Void
  148. deferred
  149. end
  150. visit_debug_configuration (nt: LIBERTY_ETC_NON_TERMINAL) is
  151. require
  152. nt /= Void
  153. deferred
  154. end
  155. visit_debug_key (nt: LIBERTY_ETC_NON_TERMINAL) is
  156. require
  157. nt /= Void
  158. deferred
  159. end
  160. visit_concurrency (nt: LIBERTY_ETC_NON_TERMINAL) is
  161. require
  162. nt /= Void
  163. deferred
  164. end
  165. invariant
  166. clusters /= Void
  167. end -- class LIBERTY_ETC_VISITOR