VAMPIRE: Implement Vampire measurement code

2 files changed, 2 insertions, 8 deletions

diff --git a/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.ecore b/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.ecore
index d8331ba8..3fab9a1d 100644
--- a/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.ecore
+++ b/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.ecore
@@ -9,7 +9,7 @@
     <eStructuralFeatures xsi:type="ecore:EReference" name="interface" eType="#//FunctionalInterface"

         containment="true" eOpposite="#//FunctionalInterface/element"/>

     <eStructuralFeatures xsi:type="ecore:EReference" name="model" lowerBound="1" eType="#//FunctionalArchitectureModel"

-        volatile="true" transient="true" derived="true">

+        volatile="true" transient="true">

       <eAnnotations source="org.eclipse.viatra.query.querybasedfeature">

         <details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.transima.fam.model"/>

       </eAnnotations>

@@ -25,7 +25,7 @@
     <eStructuralFeatures xsi:type="ecore:EReference" name="subElements" upperBound="-1"

         eType="#//FunctionalElement" containment="true" eOpposite="#//FunctionalElement/parent"/>

     <eStructuralFeatures xsi:type="ecore:EAttribute" name="type" lowerBound="1" eType="#//FunctionType"

-        changeable="false" volatile="true" transient="true" derived="true">

+        volatile="true" transient="true">

       <eAnnotations source="org.eclipse.viatra.query.querybasedfeature">

         <details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.transima.fam.type"/>

       </eAnnotations>

diff --git a/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml b/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml
index d6f22c95..07fd662c 100644
--- a/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml
+++ b/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml
@@ -3,12 +3,6 @@
     <!-- @generated FamMetamodel -->

     <package class="functionalarchitecture.FunctionalarchitecturePackage" genModel="model/FamMetamodel.genmodel" uri="http://www.inf.mit.bme.hu/viatrasolver/example/fam"/>

   </extension>

-  <extension id="extension.derived.hu.bme.mit.inf.dslreasoner.domains.transima.fam.model" point="org.eclipse.viatra.query.runtime.base.wellbehaving.derived.features">

-    <wellbehaving-derived-feature classifier-name="FunctionalElement" feature-name="model" package-nsUri="http://www.inf.mit.bme.hu/viatrasolver/example/fam"/>

-  </extension>

-  <extension id="extension.derived.hu.bme.mit.inf.dslreasoner.domains.transima.fam.type" point="org.eclipse.viatra.query.runtime.base.wellbehaving.derived.features">

-    <wellbehaving-derived-feature classifier-name="Function" feature-name="type" package-nsUri="http://www.inf.mit.bme.hu/viatrasolver/example/fam"/>

-  </extension>

   <extension id="hu.bme.mit.inf.dslreasoner.domains.transima.fam.FamPatterns" point="org.eclipse.viatra.query.runtime.queryspecification">

     <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:hu.bme.mit.inf.dslreasoner.domains.transima.fam.FamPatterns" id="hu.bme.mit.inf.dslreasoner.domains.transima.fam.FamPatterns">

       <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.terminatorAndInformation"/>