Skip to Content

Changes for page Kieler Compiler

Last modified by Richard Kreissig on 2023/09/14 10:52
From version 19.1
edited by cmot
on 2014/03/21 12:18
Change comment: There is no comment for this version
To version 23.1
edited by cmot
on 2014/03/21 14:36
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -96,9 +96,7 @@
96 96   dependencies="TRIGGEREFFECT, SURFACEDEPTH"
97 97   name="Transform All Normalize">
98 98   </transformationGroup>
99 - </extension>
100 - <extension
101 - point="de.cau.cs.kieler.kico.transformation">
99 +
102 102   <transformationMethod
103 103   class="de.cau.cs.kieler.sccharts.extensions.SCChartsCoreTransformation"
104 104   id="TRIGGEREFFECT"
... ... @@ -105,10 +105,7 @@
105 105   method="transformTriggerEffect"
106 106   name="Transform Trigger and Effect">
107 107   </transformationMethod>
108 - </extension>
109 -
110 - <extension
111 - point="de.cau.cs.kieler.kico.transformation">
106 +
112 112   <transformationMethod
113 113   class="de.cau.cs.kieler.sccharts.extensions.SCChartsCoreTransformation"
114 114   id="SURFACEDEPTH"
... ... @@ -115,10 +115,7 @@
115 115   method="transformSurfaceDepth"
116 116   name="Transform Surface Depth">
117 117   </transformationMethod>
118 - </extension>
119 -
120 - <extension
121 - point="de.cau.cs.kieler.kico.transformation">
113 +
122 122   <transformationGroup
123 123   id="ALL"
124 124   dependencies="CORE NORMALIZE"
... ... @@ -190,6 +190,106 @@
190 190  
191 191  {{/code}}
192 192  
185 +=== Requirement Completion ===
186 +
187 +
188 +
189 +|=(((
190 +(% style="text-align: center;" %)
191 +Original
192 +
193 +|=(((
194 + [[image:attach:dependencies2.jpg]]
195 +
196 +(% style="text-align: center;" %)
197 +Original Dependency
198 +Graph
199 +)))|=(((
200 +(% style="text-align: center;" %)
201 +[[image:attach:dependencies3.jpg]]
202 +
203 +(% style="text-align: center;" %)
204 +Two alternative
205 +transformation
206 +implementations
207 +for Abort
208 +)))
209 +
210 +
211 +)))|=(((
212 +(% style="text-align: center;" %)
213 +Example 1
214 +
215 +|=(((
216 + [[image:attach:dependencies4.jpg]]
217 +
218 +(% style="text-align: center;" %)
219 +Selected for
220 +transformation
221 +)))|=(((
222 + [[image:attach:dependencies4b.jpg]]
223 +
224 +(% style="text-align: center;" %)
225 +Auto selected
226 +requirements
227 +)))
228 +
229 +
230 +)))
231 +
232 +
233 +
234 +
235 +
236 +|=(((
237 +(% style="text-align: center;" %)
238 +Example 2
239 +
240 +|=(((
241 +[[image:attach:dependencies5.jpg]]
242 +
243 +(% style="text-align: center;" %)
244 +Selected for
245 +transformation
246 +)))|=(% style="text-align: center;" %)(% style="text-align: center;" %)
247 +(((
248 +[[image:attach:dependencies5b.jpg]]
249 +
250 +Auto selected
251 +requirements
252 +using DEFAULT
253 +of alternative
254 +group
255 +
256 +
257 +)))
258 +
259 +
260 +)))|=(((
261 +(% style="text-align: center;" %)
262 +Example 3
263 +
264 +|=(((
265 +[[image:attach:dependencies6.jpg]]
266 +
267 +(% style="text-align: center;" %)
268 +Selected for
269 +transformation
270 +)))|=(((
271 +[[image:attach:dependencies6b.jpg]]
272 +
273 +(% style="text-align: center;" %)
274 +Auto selected
275 +requirements
276 +using selected
277 +alternative
278 +)))
279 +
280 +
281 +)))
282 +
283 +
284 +
193 193  == Help / Problems / FAQs ==
194 194  
195 195  Maybe you get into problems when using KiCo. The following list should give you hints to solve these. If you have a problem not considered here please write us an e-mail (see above for contact information of the persons in charge of KiCo).
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -9470111
1 +9470117
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9470111/Kieler Compiler
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9470117/Kieler Compiler