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 22.1
edited by cmot
on 2014/03/21 14:35
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,105 @@
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 +Example 2
238 +
239 +|=(((
240 +[[image:attach:dependencies5.jpg]]
241 +
242 +(% style="text-align: center;" %)
243 +Selected for
244 +transformation
245 +)))|=(% style="text-align: center;" %)(% style="text-align: center;" %)
246 +(((
247 +[[image:attach:dependencies5b.jpg]]
248 +
249 +Auto selected
250 +requirements
251 +using DEFAULT
252 +of alternative
253 +group
254 +
255 +
256 +)))
257 +
258 +
259 +)))|=(((
260 +(% style="text-align: center;" %)
261 +Example 3
262 +
263 +|=(((
264 +[[image:attach:dependencies6.jpg]]
265 +
266 +(% style="text-align: center;" %)
267 +Selected for
268 +transformation
269 +)))|=(((
270 +[[image:attach:dependencies6b.jpg]]
271 +
272 +(% style="text-align: center;" %)
273 +Auto selected
274 +requirements
275 +using selected
276 +alternative
277 +)))
278 +
279 +
280 +)))
281 +
282 +
283 +
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 +9470116
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/9470116/Kieler Compiler