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 21.1
edited by cmot
on 2014/03/21 14:33
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,102 @@
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 +[[image:attach:dependencies3.jpg]]
201 +
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 +\\Auto selected
249 +requirements
250 +using DEFAULT
251 +of alternative
252 +group
253 +)))
254 +
255 +
256 +)))|=(((
257 +(% style="text-align: center;" %)
258 +Example 3
259 +
260 +|=(((
261 +[[image:attach:dependencies6.jpg]]
262 +
263 +(% style="text-align: center;" %)
264 +Selected for
265 +transformation
266 +)))|=(((
267 +[[image:attach:dependencies6b.jpg]]
268 +
269 +(% style="text-align: center;" %)
270 +Auto selected
271 +requirements
272 +using selected
273 +alternative
274 +)))
275 +
276 +
277 +)))
278 +
279 +
280 +
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 +9470115
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/9470115/Kieler Compiler