From 269d5cc271f4fa203db64ba46345e4616d771b51 Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Tue, 28 Apr 2020 12:29:49 -0400
Subject: Rename pledge case study file

---
 .../case.study.pledge.run/plugin.xml               | 43 +++++++++++++++++++++-
 1 file changed, 42 insertions(+), 1 deletion(-)

(limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml')

diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml
index 2f4febdb..63aa0b02 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml
@@ -1 +1,42 @@
-<?xml version="1.0" encoding="UTF-8"?><plugin/>
+<?xml version="1.0" encoding="UTF-8"?><plugin>
+  <extension id="queries.Case_study_A" point="org.eclipse.viatra.query.runtime.queryspecification">
+    <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:queries.Case_study_A" id="queries.Case_study_A">
+      <query-specification fqn="queries.inv03"/>
+      <query-specification fqn="queries.x_inv03_eligAll"/>
+      <query-specification fqn="queries.x_inv03_hasAll"/>
+      <query-specification fqn="queries.inv05"/>
+      <query-specification fqn="queries.x_inv05_inRange"/>
+      <query-specification fqn="queries.inv06"/>
+      <query-specification fqn="queries.inv07"/>
+      <query-specification fqn="queries.inv08"/>
+      <query-specification fqn="queries.x_inv08_notEI"/>
+      <query-specification fqn="queries.x_inv08_noType"/>
+      <query-specification fqn="queries.x_inv08_inRange"/>
+      <query-specification fqn="queries.inv10"/>
+      <query-specification fqn="queries.inv11"/>
+      <query-specification fqn="queries.x_inv11_incOver100"/>
+      <query-specification fqn="queries.x_inv11_incNotOver100"/>
+      <query-specification fqn="queries.inv12"/>
+      <query-specification fqn="queries.x_inv12_notNonRes"/>
+      <query-specification fqn="queries.x_inv12_notZZ"/>
+      <query-specification fqn="queries.inv13"/>
+      <query-specification fqn="queries.x_inv13"/>
+      <query-specification fqn="queries.inv15"/>
+      <query-specification fqn="queries.x_inv15"/>
+      <query-specification fqn="queries.inv17"/>
+      <query-specification fqn="queries.inv20"/>
+      <query-specification fqn="queries.inv33"/>
+      <query-specification fqn="queries.inv34"/>
+      <query-specification fqn="queries.inv35"/>
+      <query-specification fqn="queries.inv47"/>
+      <query-specification fqn="queries.x_inv47"/>
+      <query-specification fqn="queries.inv48"/>
+      <query-specification fqn="queries.x_inv48_notDis"/>
+      <query-specification fqn="queries.x_inv48_Dis"/>
+      <query-specification fqn="queries.x_inv48_3"/>
+      <query-specification fqn="queries.inv49"/>
+      <query-specification fqn="queries.x_inv49_1"/>
+      <query-specification fqn="queries.x_inv49_2"/>
+    </group>
+  </extension>
+</plugin>
-- 
cgit v1.2.3-70-g09d2