Add PLEDGE case study files

1 files changed, 33 insertions, 0 deletions

diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.originalFiles/.project b/Tests/MODELS2020-CaseStudies/case.study.pledge.originalFiles/.project
new file mode 100644
index 00000000..35f74f1f
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.originalFiles/.project
@@ -0,0 +1,33 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+        <name>original.PLEDGE.case.studies</name>
+        <comment></comment>
+        <projects>
+        </projects>
+        <buildSpec>
+                <buildCommand>
+                        <name>org.eclipse.ocl.pivot.ui.oclbuilder</name>
+                        <arguments>
+                                <dictionary>
+                                        <key>disabledExtensions</key>
+                                        <value>*,essentialocl</value>
+                                </dictionary>
+                                <dictionary>
+                                        <key>disabledPaths</key>
+                                        <value>bin/**,target/**</value>
+                                </dictionary>
+                                <dictionary>
+                                        <key>enabledExtensions</key>
+                                        <value>ecore,ocl,oclinecore,oclstdlib,uml</value>
+                                </dictionary>
+                                <dictionary>
+                                        <key>enabledPaths</key>
+                                        <value>**</value>
+                                </dictionary>
+                        </arguments>
+                </buildCommand>
+        </buildSpec>
+        <natures>
+                <nature>org.eclipse.ocl.pivot.ui.oclnature</nature>
+        </natures>
+</projectDescription>