From 79ae20115e73597fbaf18d5429d7b2788dd4efb6 Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Sat, 9 May 2020 19:09:06 -0400
Subject: Adjust PLEDEG Java Case Study file

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

(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 8b036ff2..63aa0b02 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml
@@ -1,42 +1,42 @@
-<?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>
+<?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