aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat
-rw-r--r--.gitignore5
-rw-r--r--.project17
-rw-r--r--.settings/org.eclipse.core.resources.prefs2
-rw-r--r--language-ide/.classpath32
-rw-r--r--language-ide/.project29
-rw-r--r--language-ide/.settings/org.eclipse.core.resources.prefs2
-rw-r--r--language-model/.classpath19
-rw-r--r--language-model/.project41
-rw-r--r--language-model/build.gradle6
-rw-r--r--language-web/.classpath37
-rw-r--r--language-web/.project40
-rw-r--r--language-web/.settings/org.eclipse.core.resources.prefs2
-rw-r--r--language/.classpath62
-rw-r--r--language/.launch/Generate Problem (problem) Language Infrastructure.launch14
-rw-r--r--language/.project29
-rw-r--r--language/.settings/org.eclipse.core.resources.prefs2
16 files changed, 10 insertions, 329 deletions
diff --git a/.gitignore b/.gitignore
index 8189b3d7..8e2b3658 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,4 +4,7 @@ xtend-gen/
4build/ 4build/
5*._trace 5*._trace
6*.xtendbin 6*.xtendbin
7org.eclipse.buildship.core.prefs 7.classpath
8.launch
9.project
10.settings
diff --git a/.project b/.project
deleted file mode 100644
index 21b452ad..00000000
--- a/.project
+++ /dev/null
@@ -1,17 +0,0 @@
1<?xml version="1.0" encoding="UTF-8"?>
2<projectDescription>
3 <name>org.eclipse.viatra.solver.language.parent</name>
4 <comment></comment>
5 <projects>
6 </projects>
7 <buildSpec>
8 <buildCommand>
9 <name>org.eclipse.buildship.core.gradleprojectbuilder</name>
10 <arguments>
11 </arguments>
12 </buildCommand>
13 </buildSpec>
14 <natures>
15 <nature>org.eclipse.buildship.core.gradleprojectnature</nature>
16 </natures>
17</projectDescription>
diff --git a/.settings/org.eclipse.core.resources.prefs b/.settings/org.eclipse.core.resources.prefs
deleted file mode 100644
index 99f26c02..00000000
--- a/.settings/org.eclipse.core.resources.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
1eclipse.preferences.version=1
2encoding/<project>=UTF-8
diff --git a/language-ide/.classpath b/language-ide/.classpath
deleted file mode 100644
index c2583eb8..00000000
--- a/language-ide/.classpath
+++ /dev/null
@@ -1,32 +0,0 @@
1<?xml version="1.0" encoding="UTF-8"?>
2<classpath>
3 <classpathentry kind="src" output="bin/main" path="src/main/java">
4 <attributes>
5 <attribute name="gradle_scope" value="main"/>
6 <attribute name="gradle_used_by_scope" value="main,test"/>
7 </attributes>
8 </classpathentry>
9 <classpathentry kind="src" output="bin/main" path="src/main/xtext-gen">
10 <attributes>
11 <attribute name="gradle_scope" value="main"/>
12 <attribute name="gradle_used_by_scope" value="main,test"/>
13 <attribute name="ignore_optional_problems" value="true"/>
14 </attributes>
15 </classpathentry>
16 <classpathentry kind="src" output="bin/main" path="src/main/xtend-gen">
17 <attributes>
18 <attribute name="gradle_scope" value="main"/>
19 <attribute name="gradle_used_by_scope" value="main,test"/>
20 <attribute name="ignore_optional_problems" value="true"/>
21 </attributes>
22 </classpathentry>
23 <classpathentry kind="src" output="bin/main" path="src/main/resources">
24 <attributes>
25 <attribute name="gradle_scope" value="main"/>
26 <attribute name="gradle_used_by_scope" value="main,test"/>
27 </attributes>
28 </classpathentry>
29 <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11/"/>
30 <classpathentry kind="con" path="org.eclipse.buildship.core.gradleclasspathcontainer"/>
31 <classpathentry kind="output" path="bin/default"/>
32</classpath>
diff --git a/language-ide/.project b/language-ide/.project
deleted file mode 100644
index 55c47a3f..00000000
--- a/language-ide/.project
+++ /dev/null
@@ -1,29 +0,0 @@
1<?xml version="1.0" encoding="UTF-8"?>
2<projectDescription>
3 <name>language-ide</name>
4 <comment></comment>
5 <projects>
6 </projects>
7 <buildSpec>
8 <buildCommand>
9 <name>org.eclipse.jdt.core.javabuilder</name>
10 <arguments>
11 </arguments>
12 </buildCommand>
13 <buildCommand>
14 <name>org.eclipse.xtext.ui.shared.xtextBuilder</name>
15 <arguments>
16 </arguments>
17 </buildCommand>
18 <buildCommand>
19 <name>org.eclipse.buildship.core.gradleprojectbuilder</name>
20 <arguments>
21 </arguments>
22 </buildCommand>
23 </buildSpec>
24 <natures>
25 <nature>org.eclipse.buildship.core.gradleprojectnature</nature>
26 <nature>org.eclipse.xtext.ui.shared.xtextNature</nature>
27 <nature>org.eclipse.jdt.core.javanature</nature>
28 </natures>
29</projectDescription>
diff --git a/language-ide/.settings/org.eclipse.core.resources.prefs b/language-ide/.settings/org.eclipse.core.resources.prefs
deleted file mode 100644
index 99f26c02..00000000
--- a/language-ide/.settings/org.eclipse.core.resources.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
1eclipse.preferences.version=1
2encoding/<project>=UTF-8
diff --git a/language-model/.classpath b/language-model/.classpath
deleted file mode 100644
index 2e8747d8..00000000
--- a/language-model/.classpath
+++ /dev/null
@@ -1,19 +0,0 @@
1<?xml version="1.0" encoding="UTF-8"?>
2<classpath>
3 <classpathentry kind="src" output="bin/main" path="src/main/emf-gen">
4 <attributes>
5 <attribute name="gradle_scope" value="main"/>
6 <attribute name="gradle_used_by_scope" value="main,test"/>
7 <attribute name="ignore_optional_problems" value="true"/>
8 </attributes>
9 </classpathentry>
10 <classpathentry kind="src" output="bin/main" path="src/main/resources">
11 <attributes>
12 <attribute name="gradle_scope" value="main"/>
13 <attribute name="gradle_used_by_scope" value="main,test"/>
14 </attributes>
15 </classpathentry>
16 <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11/"/>
17 <classpathentry kind="con" path="org.eclipse.buildship.core.gradleclasspathcontainer"/>
18 <classpathentry kind="output" path="bin/default"/>
19</classpath>
diff --git a/language-model/.project b/language-model/.project
deleted file mode 100644
index 246372ea..00000000
--- a/language-model/.project
+++ /dev/null
@@ -1,41 +0,0 @@
1<?xml version="1.0" encoding="UTF-8"?>
2<projectDescription>
3 <name>language-model</name>
4 <comment></comment>
5 <projects>
6 </projects>
7 <buildSpec>
8 <buildCommand>
9 <name>org.eclipse.jdt.core.javabuilder</name>
10 <arguments>
11 </arguments>
12 </buildCommand>
13 <buildCommand>
14 <name>org.eclipse.xtext.ui.shared.xtextBuilder</name>
15 <arguments>
16 </arguments>
17 </buildCommand>
18 <buildCommand>
19 <name>org.eclipse.buildship.core.gradleprojectbuilder</name>
20 <arguments>
21 </arguments>
22 </buildCommand>
23 <buildCommand>
24 <name>org.eclipse.pde.ManifestBuilder</name>
25 <arguments>
26 </arguments>
27 </buildCommand>
28 <buildCommand>
29 <name>org.eclipse.pde.SchemaBuilder</name>
30 <arguments>
31 </arguments>
32 </buildCommand>
33 </buildSpec>
34 <natures>
35 <nature>org.eclipse.sirius.nature.modelingproject</nature>
36 <nature>org.eclipse.jdt.core.javanature</nature>
37 <nature>org.eclipse.xtext.ui.shared.xtextNature</nature>
38 <nature>org.eclipse.buildship.core.gradleprojectnature</nature>
39 <nature>org.eclipse.pde.PluginNature</nature>
40 </natures>
41</projectDescription>
diff --git a/language-model/build.gradle b/language-model/build.gradle
index 2f9e3257..08e16a38 100644
--- a/language-model/build.gradle
+++ b/language-model/build.gradle
@@ -7,3 +7,9 @@ sourceSets {
7 java.srcDirs += ['src/main/emf-gen'] 7 java.srcDirs += ['src/main/emf-gen']
8 } 8 }
9} 9}
10
11eclipse {
12 project {
13 natures += ['org.eclipse.sirius.nature.modelingproject', 'org.eclipse.pde.PluginNature']
14 }
15} \ No newline at end of file
diff --git a/language-web/.classpath b/language-web/.classpath
deleted file mode 100644
index 402c9caf..00000000
--- a/language-web/.classpath
+++ /dev/null
@@ -1,37 +0,0 @@
1<?xml version="1.0" encoding="UTF-8"?>
2<classpath>
3 <classpathentry kind="src" output="bin/main" path="src/main/java">
4 <attributes>
5 <attribute name="gradle_scope" value="main"/>
6 <attribute name="gradle_used_by_scope" value="main,test"/>
7 </attributes>
8 </classpathentry>
9 <classpathentry kind="src" output="bin/main" path="src/main/xtext-gen">
10 <attributes>
11 <attribute name="gradle_scope" value="main"/>
12 <attribute name="gradle_used_by_scope" value="main,test"/>
13 <attribute name="ignore_optional_problems" value="true"/>
14 </attributes>
15 </classpathentry>
16 <classpathentry kind="src" output="bin/main" path="src/main/xtend-gen">
17 <attributes>
18 <attribute name="gradle_scope" value="main"/>
19 <attribute name="gradle_used_by_scope" value="main,test"/>
20 <attribute name="ignore_optional_problems" value="true"/>
21 </attributes>
22 </classpathentry>
23 <classpathentry kind="src" output="bin/main" path="src/main/resources">
24 <attributes>
25 <attribute name="gradle_scope" value="main"/>
26 <attribute name="gradle_used_by_scope" value="main,test"/>
27 </attributes>
28 </classpathentry>
29 <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11/"/>
30 <classpathentry kind="con" path="org.eclipse.jst.j2ee.internal.web.container"/>
31 <classpathentry kind="con" path="org.eclipse.buildship.core.gradleclasspathcontainer">
32 <attributes>
33 <attribute name="org.eclipse.jst.component.dependency" value="/WEB-INF/lib"/>
34 </attributes>
35 </classpathentry>
36 <classpathentry kind="output" path="bin/default"/>
37</classpath>
diff --git a/language-web/.project b/language-web/.project
deleted file mode 100644
index 028fb4b9..00000000
--- a/language-web/.project
+++ /dev/null
@@ -1,40 +0,0 @@
1<?xml version="1.0" encoding="UTF-8"?>
2<projectDescription>
3 <name>language-web</name>
4 <comment></comment>
5 <projects>
6 </projects>
7 <buildSpec>
8 <buildCommand>
9 <name>org.eclipse.jdt.core.javabuilder</name>
10 <arguments>
11 </arguments>
12 </buildCommand>
13 <buildCommand>
14 <name>org.eclipse.xtext.ui.shared.xtextBuilder</name>
15 <arguments>
16 </arguments>
17 </buildCommand>
18 <buildCommand>
19 <name>org.eclipse.wst.common.project.facet.core.builder</name>
20 <arguments>
21 </arguments>
22 </buildCommand>
23 <buildCommand>
24 <name>org.eclipse.wst.validation.validationbuilder</name>
25 <arguments>
26 </arguments>
27 </buildCommand>
28 <buildCommand>
29 <name>org.eclipse.buildship.core.gradleprojectbuilder</name>
30 <arguments>
31 </arguments>
32 </buildCommand>
33 </buildSpec>
34 <natures>
35 <nature>org.eclipse.jdt.core.javanature</nature>
36 <nature>org.eclipse.xtext.ui.shared.xtextNature</nature>
37 <nature>org.eclipse.wst.common.project.facet.core.nature</nature>
38 <nature>org.eclipse.buildship.core.gradleprojectnature</nature>
39 </natures>
40</projectDescription>
diff --git a/language-web/.settings/org.eclipse.core.resources.prefs b/language-web/.settings/org.eclipse.core.resources.prefs
deleted file mode 100644
index 99f26c02..00000000
--- a/language-web/.settings/org.eclipse.core.resources.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
1eclipse.preferences.version=1
2encoding/<project>=UTF-8
diff --git a/language/.classpath b/language/.classpath
deleted file mode 100644
index 058cfd22..00000000
--- a/language/.classpath
+++ /dev/null
@@ -1,62 +0,0 @@
1<?xml version="1.0" encoding="UTF-8"?>
2<classpath>
3 <classpathentry kind="src" output="bin/main" path="src/main/java">
4 <attributes>
5 <attribute name="gradle_scope" value="main"/>
6 <attribute name="gradle_used_by_scope" value="main,test"/>
7 </attributes>
8 </classpathentry>
9 <classpathentry kind="src" output="bin/main" path="src/main/xtext-gen">
10 <attributes>
11 <attribute name="gradle_scope" value="main"/>
12 <attribute name="gradle_used_by_scope" value="main,test"/>
13 <attribute name="ignore_optional_problems" value="true"/>
14 </attributes>
15 </classpathentry>
16 <classpathentry kind="src" output="bin/main" path="src/main/xtend-gen">
17 <attributes>
18 <attribute name="gradle_scope" value="main"/>
19 <attribute name="gradle_used_by_scope" value="main,test"/>
20 <attribute name="ignore_optional_problems" value="true"/>
21 </attributes>
22 </classpathentry>
23 <classpathentry kind="src" output="bin/main" path="src/main/resources">
24 <attributes>
25 <attribute name="gradle_scope" value="main"/>
26 <attribute name="gradle_used_by_scope" value="main,test"/>
27 </attributes>
28 </classpathentry>
29 <classpathentry kind="src" output="bin/test" path="src/test/java">
30 <attributes>
31 <attribute name="gradle_scope" value="test"/>
32 <attribute name="gradle_used_by_scope" value="test"/>
33 <attribute name="test" value="true"/>
34 </attributes>
35 </classpathentry>
36 <classpathentry kind="src" output="bin/test" path="src/test/xtext-gen">
37 <attributes>
38 <attribute name="gradle_scope" value="test"/>
39 <attribute name="gradle_used_by_scope" value="test"/>
40 <attribute name="test" value="true"/>
41 <attribute name="ignore_optional_problems" value="true"/>
42 </attributes>
43 </classpathentry>
44 <classpathentry kind="src" output="bin/test" path="src/test/xtend-gen">
45 <attributes>
46 <attribute name="gradle_scope" value="test"/>
47 <attribute name="gradle_used_by_scope" value="test"/>
48 <attribute name="test" value="true"/>
49 <attribute name="ignore_optional_problems" value="true"/>
50 </attributes>
51 </classpathentry>
52 <classpathentry kind="src" output="bin/test" path="src/test/resources">
53 <attributes>
54 <attribute name="gradle_scope" value="test"/>
55 <attribute name="gradle_used_by_scope" value="test"/>
56 <attribute name="test" value="true"/>
57 </attributes>
58 </classpathentry>
59 <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11/"/>
60 <classpathentry kind="con" path="org.eclipse.buildship.core.gradleclasspathcontainer"/>
61 <classpathentry kind="output" path="bin/default"/>
62</classpath>
diff --git a/language/.launch/Generate Problem (problem) Language Infrastructure.launch b/language/.launch/Generate Problem (problem) Language Infrastructure.launch
deleted file mode 100644
index 042ecc17..00000000
--- a/language/.launch/Generate Problem (problem) Language Infrastructure.launch
+++ /dev/null
@@ -1,14 +0,0 @@
1<?xml version="1.0" encoding="UTF-8" standalone="no"?>
2<launchConfiguration type="org.eclipse.buildship.core.launch.runconfiguration">
3<listAttribute key="arguments"/>
4<stringAttribute key="gradle_distribution" value="GRADLE_DISTRIBUTION(WRAPPER)"/>
5<listAttribute key="jvm_arguments"/>
6<booleanAttribute key="show_console_view" value="true"/>
7<booleanAttribute key="show_execution_view" value="true"/>
8<listAttribute key="tasks">
9<listEntry value="build"/>
10</listAttribute>
11<stringAttribute key="org.eclipse.debug.core.ATTR_REFRESH_SCOPE" value="${working_set:&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot;?&gt;&#10;&lt;resources&gt;&#10;&lt;item path=&quot;/org.eclipse.viatra.solver.language.parent&quot; type=&quot;4&quot;/&gt;&#10;&lt;item path=&quot;/org.eclipse.viatra.solver.language&quot; type=&quot;4&quot;/&gt;&#10;&lt;item path=&quot;/org.eclipse.viatra.solver.language.ide&quot; type=&quot;4&quot;/&gt;&#10;&lt;item path=&quot;/org.eclipse.viatra.solver.language.web&quot; type=&quot;4&quot;/&gt;&#10;&lt;item path=&quot;/org.eclipse.viatra.solver.language.tests&quot; type=&quot;4&quot;/&gt;&#10;;&lt;/resources&gt;}"/>
12<booleanAttribute key="org.eclipse.jdt.launching.ATTR_USE_START_ON_FIRST_THREAD" value="true"/>
13<stringAttribute key="org.eclipse.jdt.launching.WORKING_DIRECTORY" value="${workspace_loc:/org.eclipse.viatra.solver.language}"/>
14</launchConfiguration>
diff --git a/language/.project b/language/.project
deleted file mode 100644
index c2d3df18..00000000
--- a/language/.project
+++ /dev/null
@@ -1,29 +0,0 @@
1<?xml version="1.0" encoding="UTF-8"?>
2<projectDescription>
3 <name>language</name>
4 <comment></comment>
5 <projects>
6 </projects>
7 <buildSpec>
8 <buildCommand>
9 <name>org.eclipse.jdt.core.javabuilder</name>
10 <arguments>
11 </arguments>
12 </buildCommand>
13 <buildCommand>
14 <name>org.eclipse.xtext.ui.shared.xtextBuilder</name>
15 <arguments>
16 </arguments>
17 </buildCommand>
18 <buildCommand>
19 <name>org.eclipse.buildship.core.gradleprojectbuilder</name>
20 <arguments>
21 </arguments>
22 </buildCommand>
23 </buildSpec>
24 <natures>
25 <nature>org.eclipse.buildship.core.gradleprojectnature</nature>
26 <nature>org.eclipse.xtext.ui.shared.xtextNature</nature>
27 <nature>org.eclipse.jdt.core.javanature</nature>
28 </natures>
29</projectDescription>
diff --git a/language/.settings/org.eclipse.core.resources.prefs b/language/.settings/org.eclipse.core.resources.prefs
deleted file mode 100644
index 99f26c02..00000000
--- a/language/.settings/org.eclipse.core.resources.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
1eclipse.preferences.version=1
2encoding/<project>=UTF-8
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-30 22:37:12 +0000