VAMPIRE: Implement Vampire measurement code

2 files changed, 17 insertions, 2 deletions

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.ecore b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.ecore
index 0d6b4ac6..51b0ca5b 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.ecore
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.ecore
@@ -19,7 +19,9 @@
         eType="#//Vertex" eOpposite="#//Vertex/outgoingTransitions"/>

   </eClassifiers>

   <eClassifiers xsi:type="ecore:EClass" name="Statechart" eSuperTypes="#//CompositeElement"/>

-  <eClassifiers xsi:type="ecore:EClass" name="Entry" eSuperTypes="#//Pseudostate"/>

+  <eClassifiers xsi:type="ecore:EClass" name="Entry" eSuperTypes="#//Pseudostate">

+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="Type" eType="#//EntryType"/>

+  </eClassifiers>

   <eClassifiers xsi:type="ecore:EClass" name="Synchronization" eSuperTypes="#//Pseudostate"/>

   <eClassifiers xsi:type="ecore:EClass" name="State" eSuperTypes="#//RegularState #//CompositeElement"/>

   <eClassifiers xsi:type="ecore:EClass" name="RegularState" abstract="true" eSuperTypes="#//Vertex"/>

@@ -30,4 +32,9 @@
   <eClassifiers xsi:type="ecore:EClass" name="Choice" eSuperTypes="#//Pseudostate"/>

   <eClassifiers xsi:type="ecore:EClass" name="Exit" eSuperTypes="#//Pseudostate"/>

   <eClassifiers xsi:type="ecore:EClass" name="FinalState" eSuperTypes="#//RegularState"/>

+  <eClassifiers xsi:type="ecore:EEnum" name="EntryType">

+    <eLiterals name="Normal"/>

+    <eLiterals name="History"/>

+    <eLiterals name="DeepHistory"/>

+  </eClassifiers>

 </ecore:EPackage>

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.genmodel b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.genmodel
index 4e34cf1d..4419a75a 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.genmodel
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.genmodel
@@ -7,6 +7,11 @@
   <foreignModel>yakindu_simplified.ecore</foreignModel>

   <genPackages prefix="Yakindumm" basePackage="hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph"

       disposableProviderFactory="true" ecorePackage="yakindu_simplified.ecore#/">

+    <genEnums typeSafeEnumCompatible="false" ecoreEnum="yakindu_simplified.ecore#//EntryType">

+      <genEnumLiterals ecoreEnumLiteral="yakindu_simplified.ecore#//EntryType/Normal"/>

+      <genEnumLiterals ecoreEnumLiteral="yakindu_simplified.ecore#//EntryType/History"/>

+      <genEnumLiterals ecoreEnumLiteral="yakindu_simplified.ecore#//EntryType/DeepHistory"/>

+    </genEnums>

     <genClasses image="false" ecoreClass="yakindu_simplified.ecore#//Pseudostate"/>

     <genClasses image="false" ecoreClass="yakindu_simplified.ecore#//Vertex">

       <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference yakindu_simplified.ecore#//Vertex/incomingTransitions"/>

@@ -20,7 +25,9 @@
       <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference yakindu_simplified.ecore#//Transition/source"/>

     </genClasses>

     <genClasses ecoreClass="yakindu_simplified.ecore#//Statechart"/>

-    <genClasses ecoreClass="yakindu_simplified.ecore#//Entry"/>

+    <genClasses ecoreClass="yakindu_simplified.ecore#//Entry">

+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute yakindu_simplified.ecore#//Entry/Type"/>

+    </genClasses>

     <genClasses ecoreClass="yakindu_simplified.ecore#//Synchronization"/>

     <genClasses ecoreClass="yakindu_simplified.ecore#//State"/>

     <genClasses image="false" ecoreClass="yakindu_simplified.ecore#//RegularState"/>

@@ -29,5 +36,6 @@
     </genClasses>

     <genClasses ecoreClass="yakindu_simplified.ecore#//Choice"/>

     <genClasses ecoreClass="yakindu_simplified.ecore#//Exit"/>

+    <genClasses ecoreClass="yakindu_simplified.ecore#//FinalState"/>

   </genPackages>

 </genmodel:GenModel>