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

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