Remove Eclipse-specific files

They can be re-generated by the BuildShip plugin anyways.
author: Kristóf Marussy <kristof@marussy.com> 2021-06-27 14:28:35 +0200
committer: Kristóf Marussy <kristof@marussy.com> 2021-06-27 14:28:35 +0200
commit: 39994e99591536e9519e92b447dfee240f482b99 (patch)
tree: e2d2ead9c6555be2208a50dbefeb7bc98cc43175 /language
parent: Simplify project layout (diff)
download: refinery-39994e99591536e9519e92b447dfee240f482b99.tar.gz
refinery-39994e99591536e9519e92b447dfee240f482b99.tar.zst
refinery-39994e99591536e9519e92b447dfee240f482b99.zip
4 files changed, 0 insertions, 107 deletions
diff --git a/language/.classpath b/language/.classpath
deleted file mode 100644
index 058cfd22..00000000
--- a/language/.classpath
+++ /dev/null
@@ -1,62 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<classpath>
-        <classpathentry kind="src" output="bin/main" path="src/main/java">
-                <attributes>
-                        <attribute name="gradle_scope" value="main"/>
-                        <attribute name="gradle_used_by_scope" value="main,test"/>
-                </attributes>
-        </classpathentry>
-        <classpathentry kind="src" output="bin/main" path="src/main/xtext-gen">
-                <attributes>
-                        <attribute name="gradle_scope" value="main"/>
-                        <attribute name="gradle_used_by_scope" value="main,test"/>
-                        <attribute name="ignore_optional_problems" value="true"/>
-                </attributes>
-        </classpathentry>
-        <classpathentry kind="src" output="bin/main" path="src/main/xtend-gen">
-                <attributes>
-                        <attribute name="gradle_scope" value="main"/>
-                        <attribute name="gradle_used_by_scope" value="main,test"/>
-                        <attribute name="ignore_optional_problems" value="true"/>
-                </attributes>
-        </classpathentry>
-        <classpathentry kind="src" output="bin/main" path="src/main/resources">
-                <attributes>
-                        <attribute name="gradle_scope" value="main"/>
-                        <attribute name="gradle_used_by_scope" value="main,test"/>
-                </attributes>
-        </classpathentry>
-        <classpathentry kind="src" output="bin/test" path="src/test/java">
-                <attributes>
-                        <attribute name="gradle_scope" value="test"/>
-                        <attribute name="gradle_used_by_scope" value="test"/>
-                        <attribute name="test" value="true"/>
-                </attributes>
-        </classpathentry>
-        <classpathentry kind="src" output="bin/test" path="src/test/xtext-gen">
-                <attributes>
-                        <attribute name="gradle_scope" value="test"/>
-                        <attribute name="gradle_used_by_scope" value="test"/>
-                        <attribute name="test" value="true"/>
-                        <attribute name="ignore_optional_problems" value="true"/>
-                </attributes>
-        </classpathentry>
-        <classpathentry kind="src" output="bin/test" path="src/test/xtend-gen">
-                <attributes>
-                        <attribute name="gradle_scope" value="test"/>
-                        <attribute name="gradle_used_by_scope" value="test"/>
-                        <attribute name="test" value="true"/>
-                        <attribute name="ignore_optional_problems" value="true"/>
-                </attributes>
-        </classpathentry>
-        <classpathentry kind="src" output="bin/test" path="src/test/resources">
-                <attributes>
-                        <attribute name="gradle_scope" value="test"/>
-                        <attribute name="gradle_used_by_scope" value="test"/>
-                        <attribute name="test" value="true"/>
-                </attributes>
-        </classpathentry>
-        <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11/"/>
-        <classpathentry kind="con" path="org.eclipse.buildship.core.gradleclasspathcontainer"/>
-        <classpathentry kind="output" path="bin/default"/>
-</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 @@
-<?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<launchConfiguration type="org.eclipse.buildship.core.launch.runconfiguration">
-<listAttribute key="arguments"/>
-<stringAttribute key="gradle_distribution" value="GRADLE_DISTRIBUTION(WRAPPER)"/>
-<listAttribute key="jvm_arguments"/>
-<booleanAttribute key="show_console_view" value="true"/>
-<booleanAttribute key="show_execution_view" value="true"/>
-<listAttribute key="tasks">
-<listEntry value="build"/>
-</listAttribute>
-<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;}"/>
-<booleanAttribute key="org.eclipse.jdt.launching.ATTR_USE_START_ON_FIRST_THREAD" value="true"/>
-<stringAttribute key="org.eclipse.jdt.launching.WORKING_DIRECTORY" value="${workspace_loc:/org.eclipse.viatra.solver.language}"/>
-</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 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<projectDescription>
-        <name>language</name>
-        <comment></comment>
-        <projects>
-        </projects>
-        <buildSpec>
-                <buildCommand>
-                        <name>org.eclipse.jdt.core.javabuilder</name>
-                        <arguments>
-                        </arguments>
-                </buildCommand>
-                <buildCommand>
-                        <name>org.eclipse.xtext.ui.shared.xtextBuilder</name>
-                        <arguments>
-                        </arguments>
-                </buildCommand>
-                <buildCommand>
-                        <name>org.eclipse.buildship.core.gradleprojectbuilder</name>
-                        <arguments>
-                        </arguments>
-                </buildCommand>
-        </buildSpec>
-        <natures>
-                <nature>org.eclipse.buildship.core.gradleprojectnature</nature>
-                <nature>org.eclipse.xtext.ui.shared.xtextNature</nature>
-                <nature>org.eclipse.jdt.core.javanature</nature>
-        </natures>
-</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 @@
-eclipse.preferences.version=1
-encoding/<project>=UTF-8
author	Kristóf Marussy <kristof@marussy.com>	2021-06-27 14:28:35 +0200
committer	Kristóf Marussy <kristof@marussy.com>	2021-06-27 14:28:35 +0200
commit	39994e99591536e9519e92b447dfee240f482b99 (patch)
tree	e2d2ead9c6555be2208a50dbefeb7bc98cc43175 /language
parent	Simplify project layout (diff)
download	refinery-39994e99591536e9519e92b447dfee240f482b99.tar.gz refinery-39994e99591536e9519e92b447dfee240f482b99.tar.zst refinery-39994e99591536e9519e92b447dfee240f482b99.zip

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:<?xml version="1.0" encoding="UTF-8"?> <resources> <item path="/org.eclipse.viatra.solver.language.parent" type="4"/> <item path="/org.eclipse.viatra.solver.language" type="4"/> <item path="/org.eclipse.viatra.solver.language.ide" type="4"/> <item path="/org.eclipse.viatra.solver.language.web" type="4"/> <item path="/org.eclipse.viatra.solver.language.tests" type="4"/> ;</resources>}"/>
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 @@
1	eclipse.preferences.version=1
2	encoding/<project>=UTF-8