Changes for page Kieler Compiler
Last modified by Richard Kreissig on 2023/09/14 10:52
Summary
-
Page properties (1 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -21,9 +21,9 @@ 21 21 The KIELER Compiler (KiCo) project allows to register step-by-step model transformations on EObjects that could be written in Xtend or Java. These transformations are registered using an extension point provided (see below). After registering transformations these can be used by simply call the KielerCompiler compilation method as also explained further below. 22 22 23 23 |=((( 24 -[[image:attach: KiCo.jpg]]24 +[[image:attach:IMAG4642.jpg]] 25 25 )))|=((( 26 -[[image:attach:KiCo 3.jpg]]26 +[[image:attach:KiCo.jpg]] 27 27 ))) 28 28 29 29 == Extension Point == ... ... @@ -73,7 +73,7 @@ 73 73 * method: The name of the transformation method. Its signature must ensure that it returns an EObject an only take an EObject argument. Otherwise it cannot be found by KiCo. 74 74 * id: The unique String ID for this transformation. This is the ID the transformation will be referenced throughout KiCo. 75 75 * name: An optional String name for this transformation. If nothing is entered here the ID will be used as a name. 76 -* dependencies: An optional String as comma separated list of other transformation IDs that must run BEFORE this transformation. If nothing is entered here then this means there are no dependencies.76 +* dependencies: An optional String as comma separated list of other transformation IDs that must run AFTER this transformation down the compile-chain. This means if the current transformation is selected to run, all transformations that have dependencies on this will be run BEFORE. If nothing is entered here then this means there are no dependencies. 77 77 ))) 78 78 |((( 79 79 transformationGroup ... ... @@ -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 -947 01091 +9471251 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/947 0109/Kieler Compiler1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9471251/Kieler Compiler