diff options
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 |
Remove Eclipse-specific files
They can be re-generated by the BuildShip plugin anyways.
Diffstat (limited to 'language')
-rw-r--r-- | language/.classpath | 62 | ||||
-rw-r--r-- | language/.launch/Generate Problem (problem) Language Infrastructure.launch | 14 | ||||
-rw-r--r-- | language/.project | 29 | ||||
-rw-r--r-- | language/.settings/org.eclipse.core.resources.prefs | 2 |
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 @@ | |||
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 | ||