You get the following run time error: ENTRY de.cau.cs.kieler.klighd 4 0 2014-03-17 11:08:46.009 !MESSAGE !STACK 0 java.lang.RuntimeException: Cannot find a transformation with the ID 'ABORT2'. Make sure that the transformation with this ID is registered and its declaring plugin is loaded. Make sure that the ID does exactly match (case sensitive). Maybe you forgot to separate multiple ID's by a comma. at de.cau.cs.kieler.kico.KielerCompiler.getTransformation(KielerCompiler.java:61) at de.cau.cs.kieler.kico.KielerCompiler.getDependencies(KielerCompiler.java:82) at de.cau.cs.kieler.kico.KielerCompiler.isDependingOn(KielerCompiler.java:102) at de.cau.cs.kieler.kico.KielerCompiler.insertTransformationID(KielerCompiler.java:136) at de.cau.cs.kieler.kico.KielerCompiler.expandDependencies(KielerCompiler.java:164) ... | There is a transformation with ID "ABORT2" referenced either by the initial call to KielerCompiler.compile() or by some of the dependent transformations / transformation group. But KiCo could not find any registered transformation with ID "ABORT2". Maybe the plugin declaring "ABORT2" was not loaded or the ID is misspelled. | Check why "ABORT2" may not be found by KiCo, more specifically, check if the declaring can be loaded (sometimes compiler error prevent it from being loaded or it has unsatisfied dependencies). Also check the spelling of the ID, maybe the declaring plugin defines the transformation with the ID "abort2". |
| | You get the following error: !ENTRY de.cau.cs.kieler.kico 2 2 2014-03-17 11:26:13.818 !MESSAGE Extension 'TERMINATION' from component: de.cau.cs.kieler.sccharts cannot be loaded becaus this ID is already taken. (de.cau.cs.kieler.kico) | The trasformation with ID "TERMINATION" is already registered and this ID cannot be used a second time. The component "de.cau...sccharts" tries to register a transformation with this ID while this ID is already taken. | Rename one of the IDs or form a group of transformations. |