diff options
author | 2020-04-28 20:43:04 +0200 | |
---|---|---|
committer | 2020-04-28 20:43:04 +0200 | |
commit | 8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe (patch) | |
tree | d525bef75519f364d637e0779f8e63d4199dee31 /Application/org.eclipse.viatra.solver.language.ui.tests | |
parent | check expressions are mapped to WF constraints (diff) | |
download | VIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.tar.gz VIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.tar.zst VIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.zip |
initial commit
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language.ui.tests')
8 files changed, 111 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language.ui.tests/.classpath b/Application/org.eclipse.viatra.solver.language.ui.tests/.classpath new file mode 100644 index 00000000..5c07a9f3 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui.tests/.classpath | |||
@@ -0,0 +1,26 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <classpath> | ||
3 | <classpathentry kind="src" output="test-bin" path="src"> | ||
4 | <attributes> | ||
5 | <attribute name="test" value="true"/> | ||
6 | </attributes> | ||
7 | </classpathentry> | ||
8 | <classpathentry kind="src" output="test-bin" path="src-gen"> | ||
9 | <attributes> | ||
10 | <attribute name="test" value="true"/> | ||
11 | </attributes> | ||
12 | </classpathentry> | ||
13 | <classpathentry kind="src" output="test-bin" path="xtend-gen"> | ||
14 | <attributes> | ||
15 | <attribute name="test" value="true"/> | ||
16 | </attributes> | ||
17 | </classpathentry> | ||
18 | <classpathentry kind="con" path="org.eclipse.jdt.junit.JUNIT_CONTAINER/5"> | ||
19 | <attributes> | ||
20 | <attribute name="test" value="true"/> | ||
21 | </attributes> | ||
22 | </classpathentry> | ||
23 | <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/> | ||
24 | <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/> | ||
25 | <classpathentry kind="output" path="bin"/> | ||
26 | </classpath> | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui.tests/.gitignore b/Application/org.eclipse.viatra.solver.language.ui.tests/.gitignore new file mode 100644 index 00000000..e75a396d --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui.tests/.gitignore | |||
@@ -0,0 +1 @@ | |||
/test-bin/ | |||
diff --git a/Application/org.eclipse.viatra.solver.language.ui.tests/.project b/Application/org.eclipse.viatra.solver.language.ui.tests/.project new file mode 100644 index 00000000..8b8929b2 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui.tests/.project | |||
@@ -0,0 +1,34 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <projectDescription> | ||
3 | <name>org.eclipse.viatra.solver.language.ui.tests</name> | ||
4 | <comment></comment> | ||
5 | <projects> | ||
6 | </projects> | ||
7 | <buildSpec> | ||
8 | <buildCommand> | ||
9 | <name>org.eclipse.xtext.ui.shared.xtextBuilder</name> | ||
10 | <arguments> | ||
11 | </arguments> | ||
12 | </buildCommand> | ||
13 | <buildCommand> | ||
14 | <name>org.eclipse.jdt.core.javabuilder</name> | ||
15 | <arguments> | ||
16 | </arguments> | ||
17 | </buildCommand> | ||
18 | <buildCommand> | ||
19 | <name>org.eclipse.pde.ManifestBuilder</name> | ||
20 | <arguments> | ||
21 | </arguments> | ||
22 | </buildCommand> | ||
23 | <buildCommand> | ||
24 | <name>org.eclipse.pde.SchemaBuilder</name> | ||
25 | <arguments> | ||
26 | </arguments> | ||
27 | </buildCommand> | ||
28 | </buildSpec> | ||
29 | <natures> | ||
30 | <nature>org.eclipse.xtext.ui.shared.xtextNature</nature> | ||
31 | <nature>org.eclipse.jdt.core.javanature</nature> | ||
32 | <nature>org.eclipse.pde.PluginNature</nature> | ||
33 | </natures> | ||
34 | </projectDescription> | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui.tests/.settings/org.eclipse.core.resources.prefs b/Application/org.eclipse.viatra.solver.language.ui.tests/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 00000000..4824b802 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui.tests/.settings/org.eclipse.core.resources.prefs | |||
@@ -0,0 +1,2 @@ | |||
1 | eclipse.preferences.version=1 | ||
2 | encoding/<project>=UTF-8 | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui.tests/.settings/org.eclipse.jdt.core.prefs b/Application/org.eclipse.viatra.solver.language.ui.tests/.settings/org.eclipse.jdt.core.prefs new file mode 100644 index 00000000..295926d9 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui.tests/.settings/org.eclipse.jdt.core.prefs | |||
@@ -0,0 +1,7 @@ | |||
1 | eclipse.preferences.version=1 | ||
2 | org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled | ||
3 | org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8 | ||
4 | org.eclipse.jdt.core.compiler.compliance=1.8 | ||
5 | org.eclipse.jdt.core.compiler.problem.assertIdentifier=error | ||
6 | org.eclipse.jdt.core.compiler.problem.enumIdentifier=error | ||
7 | org.eclipse.jdt.core.compiler.source=1.8 | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui.tests/META-INF/MANIFEST.MF b/Application/org.eclipse.viatra.solver.language.ui.tests/META-INF/MANIFEST.MF new file mode 100644 index 00000000..c95da7ee --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui.tests/META-INF/MANIFEST.MF | |||
@@ -0,0 +1,18 @@ | |||
1 | Manifest-Version: 1.0 | ||
2 | Automatic-Module-Name: org.eclipse.viatra.solver.language.ui.tests | ||
3 | Bundle-ManifestVersion: 2 | ||
4 | Bundle-Name: org.eclipse.viatra.solver.language.ui.tests | ||
5 | Bundle-Vendor: My Company | ||
6 | Bundle-Version: 1.0.0.qualifier | ||
7 | Bundle-SymbolicName: org.eclipse.viatra.solver.language.ui.tests; singleton:=true | ||
8 | Bundle-ActivationPolicy: lazy | ||
9 | Require-Bundle: org.eclipse.viatra.solver.language.ui, | ||
10 | org.junit.jupiter.api;bundle-version="[5.0.0,6.0.0)", | ||
11 | org.eclipse.xtext.testing, | ||
12 | org.eclipse.xtext.xbase.testing, | ||
13 | org.eclipse.xtext.junit4, | ||
14 | org.eclipse.xtext.xbase.junit, | ||
15 | org.eclipse.core.runtime, | ||
16 | org.eclipse.ui.workbench;resolution:=optional | ||
17 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 | ||
18 | Export-Package: org.eclipse.viatra.solver.language.ui.tests;x-internal=true | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui.tests/build.properties b/Application/org.eclipse.viatra.solver.language.ui.tests/build.properties new file mode 100644 index 00000000..4c654e9b --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui.tests/build.properties | |||
@@ -0,0 +1,6 @@ | |||
1 | source.. = src/,\ | ||
2 | src-gen/,\ | ||
3 | xtend-gen/ | ||
4 | bin.includes = .,\ | ||
5 | META-INF/ | ||
6 | bin.excludes = **/*.xtend | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui.tests/src-gen/org/eclipse/viatra/solver/language/ui/tests/SolverLanguageUiInjectorProvider.java b/Application/org.eclipse.viatra.solver.language.ui.tests/src-gen/org/eclipse/viatra/solver/language/ui/tests/SolverLanguageUiInjectorProvider.java new file mode 100644 index 00000000..189af4be --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui.tests/src-gen/org/eclipse/viatra/solver/language/ui/tests/SolverLanguageUiInjectorProvider.java | |||
@@ -0,0 +1,17 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.18.0.M3 | ||
3 | */ | ||
4 | package org.eclipse.viatra.solver.language.ui.tests; | ||
5 | |||
6 | import com.google.inject.Injector; | ||
7 | import org.eclipse.viatra.solver.language.ui.internal.LanguageActivator; | ||
8 | import org.eclipse.xtext.testing.IInjectorProvider; | ||
9 | |||
10 | public class SolverLanguageUiInjectorProvider implements IInjectorProvider { | ||
11 | |||
12 | @Override | ||
13 | public Injector getInjector() { | ||
14 | return LanguageActivator.getInstance().getInjector("org.eclipse.viatra.solver.language.SolverLanguage"); | ||
15 | } | ||
16 | |||
17 | } | ||