diff --git a/plugins/carisma.check.template/META-INF/MANIFEST.MF b/plugins/carisma.check.template/META-INF/MANIFEST.MF index 3842add1..29296de1 100644 --- a/plugins/carisma.check.template/META-INF/MANIFEST.MF +++ b/plugins/carisma.check.template/META-INF/MANIFEST.MF @@ -10,7 +10,9 @@ Require-Bundle: org.eclipse.ui, carisma.core, org.eclipse.pde.core, org.eclipse.pde.ui, - org.eclipse.core.resources + org.eclipse.core.resources, + org.eclipse.emf, + org.eclipse.uml2 Bundle-ActivationPolicy: lazy Bundle-RequiredExecutionEnvironment: JavaSE-17 Bundle-Vendor: Software Engineering Institute, TU Dortmund diff --git a/report-aggregate-module/pom.xml b/report-aggregate-module/pom.xml index 97302b7c..7d27a47b 100644 --- a/report-aggregate-module/pom.xml +++ b/report-aggregate-module/pom.xml @@ -10,27 +10,27 @@ Aggregate Coverage Report - carisma carisma.check.activity2petrinet 1.0.1-SNAPSHOT - --> - carisma carisma.check.activitypaths 1.0.2-SNAPSHOT - --> - carisma carisma.check.bpmn2.dummy 1.0.0-SNAPSHOT - --> + carisma carisma.check.bpmn2.marisk @@ -41,13 +41,13 @@ carisma.check.bpmn2.ocl 1.0.1-SNAPSHOT - carisma carisma.check.dummy 1.1.1-SNAPSHOT - --> + carisma @@ -68,107 +68,107 @@ carisma.check.oclcheck 1.0.3-SNAPSHOT - carisma carisma.check.parametertest 1.0.0-SNAPSHOT - --> - carisma carisma.check.requirescheck 1.0.1-SNAPSHOT - --> - carisma carisma.check.sequencediagramcrypto 0.1.0-SNAPSHOT - --> - carisma carisma.check.smartcard 1.0.3-SNAPSHOT - --> - carisma carisma.check.smartcard.evolution 1.1.2-SNAPSHOT - --> - carisma carisma.check.statemachinepaths 1.0.1-SNAPSHOT - --> + carisma carisma.check.staticcheck 1.0.4-SNAPSHOT - carisma carisma.check.staticcheck.evolution 1.1.2-SNAPSHOT - --> - carisma carisma.check.template 1.2.0-SNAPSHOT - --> + carisma carisma.core 1.4.3-SNAPSHOT - carisma carisma.core.io 1.0.0-SNAPSHOT - --> - carisma carisma.evolution 1.1.0-SNAPSHOT - --> - carisma carisma.evolution.uml2 1.2.0-SNAPSHOT - --> - carisma carisma.evolution.uml2.umlchange 1.2.0-SNAPSHOT - --> - carisma carisma.evolution.uml2.umlchange.ui 1.2.0-SNAPSHOT - --> + carisma carisma.modeltype.bpmn2 @@ -184,20 +184,20 @@ carisma.modeltype.bpmn2.extension 1.0.1-SNAPSHOT - carisma carisma.modeltype.bpmn2.extension.edit 1.0.1-SNAPSHOT - --> - carisma carisma.modeltype.bpmn2.extension.editor 1.0.1-SNAPSHOT - --> + carisma carisma.modeltype.uml2 @@ -213,39 +213,39 @@ carisma.ocl.library 1.0.3-SNAPSHOT - carisma carisma.ocl.library.edit 1.0.3-SNAPSHOT - --> - carisma carisma.ocl.library.editor 1.0.3-SNAPSHOT - --> - carisma carisma.profile.umlchange 1.2.0-SNAPSHOT - --> + carisma carisma.profile.umlsec 1.0.6-SNAPSHOT - carisma carisma.profile.umlsec.enc 1.0.0-SNAPSHOT - --> + carisma carisma.profile.umlsec.rabac @@ -258,49 +258,49 @@ 1.0.0-SNAPSHOT - carisma carisma.ui.console 1.0.0-SNAPSHOT - --> - carisma carisma.ui.eclipse 1.4.6-SNAPSHOT - --> - carisma carisma.ui.eclipse.descriptor 1.0.0-SNAPSHOT - --> - carisma carisma.umlchange.efficiency 1.0.0-SNAPSHOT - --> + - carisma carisma.check.activity2petrinet.tests 1.0.1-SNAPSHOT - --> - carisma carisma.check.activitypaths.tests 1.0.1-SNAPSHOT - --> + carisma carisma.check.bpmn2.marisk.tests @@ -326,74 +326,74 @@ carisma.check.rabac.tests 1.0.0-SNAPSHOT - carisma carisma.check.requirescheck.tests 1.0.0-SNAPSHOT - --> - carisma carisma.check.sequencediagrammcrypto.test 1.0.0-SNAPSHOT - --> - carisma carisma.check.smartcard.evolution.tests 1.1.0-SNAPSHOT - --> - carisma carisma.check.smartcard.tests 1.0.1-SNAPSHOT - --> - carisma carisma.check.staticcheck.evolution.tests 1.1.0-SNAPSHOT - --> + carisma carisma.check.staticcheck.tests 1.0.1-SNAPSHOT - carisma carisma.core.tests 1.2.0-SNAPSHOT - --> - carisma carisma.evolution.tests 1.0.0-SNAPSHOT - --> - carisma carisma.evolution.uml2.tests 1.1.0-SNAPSHOT - --> - carisma carisma.evolution.uml2.umlchange.tests 1.0.1-SNAPSHOT - --> + carisma carisma.modeltype.bpmn2.extended.tests @@ -409,25 +409,25 @@ carisma.modeltype.uml2.tests 1.1.1-SNAPSHOT - carisma carisma.profile.umlchange.tests 1.2.0-SNAPSHOT - --> + carisma carisma.profile.umlsec.tests 1.0.3-SNAPSHOT - carisma carisma.tests.modelutils.uml 1.0.1-SNAPSHOT - --> +