aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language.tests
diff options
context:
space:
mode:
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language.tests')
-rw-r--r--Application/org.eclipse.viatra.solver.language.tests/.classpath26
-rw-r--r--Application/org.eclipse.viatra.solver.language.tests/.gitignore1
-rw-r--r--Application/org.eclipse.viatra.solver.language.tests/.project34
-rw-r--r--Application/org.eclipse.viatra.solver.language.tests/.settings/org.eclipse.core.resources.prefs2
-rw-r--r--Application/org.eclipse.viatra.solver.language.tests/.settings/org.eclipse.jdt.core.prefs7
-rw-r--r--Application/org.eclipse.viatra.solver.language.tests/META-INF/MANIFEST.MF15
-rw-r--r--Application/org.eclipse.viatra.solver.language.tests/build.properties6
-rw-r--r--Application/org.eclipse.viatra.solver.language.tests/src-gen/org/eclipse/viatra/solver/language/tests/SolverLanguageInjectorProvider.java69
-rw-r--r--Application/org.eclipse.viatra.solver.language.tests/src/org/eclipse/viatra/solver/language/tests/SolverLanguageParsingTest.xtend30
-rw-r--r--Application/org.eclipse.viatra.solver.language.tests/xtend-gen/org/eclipse/viatra/solver/language/tests/.gitignore3
10 files changed, 193 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language.tests/.classpath b/Application/org.eclipse.viatra.solver.language.tests/.classpath
new file mode 100644
index 00000000..5c07a9f3
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language.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.tests/.gitignore b/Application/org.eclipse.viatra.solver.language.tests/.gitignore
new file mode 100644
index 00000000..e75a396d
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language.tests/.gitignore
@@ -0,0 +1 @@
/test-bin/
diff --git a/Application/org.eclipse.viatra.solver.language.tests/.project b/Application/org.eclipse.viatra.solver.language.tests/.project
new file mode 100644
index 00000000..2b8c0538
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language.tests/.project
@@ -0,0 +1,34 @@
1<?xml version="1.0" encoding="UTF-8"?>
2<projectDescription>
3 <name>org.eclipse.viatra.solver.language.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.tests/.settings/org.eclipse.core.resources.prefs b/Application/org.eclipse.viatra.solver.language.tests/.settings/org.eclipse.core.resources.prefs
new file mode 100644
index 00000000..4824b802
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language.tests/.settings/org.eclipse.core.resources.prefs
@@ -0,0 +1,2 @@
1eclipse.preferences.version=1
2encoding/<project>=UTF-8
diff --git a/Application/org.eclipse.viatra.solver.language.tests/.settings/org.eclipse.jdt.core.prefs b/Application/org.eclipse.viatra.solver.language.tests/.settings/org.eclipse.jdt.core.prefs
new file mode 100644
index 00000000..295926d9
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language.tests/.settings/org.eclipse.jdt.core.prefs
@@ -0,0 +1,7 @@
1eclipse.preferences.version=1
2org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
3org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8
4org.eclipse.jdt.core.compiler.compliance=1.8
5org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
6org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
7org.eclipse.jdt.core.compiler.source=1.8
diff --git a/Application/org.eclipse.viatra.solver.language.tests/META-INF/MANIFEST.MF b/Application/org.eclipse.viatra.solver.language.tests/META-INF/MANIFEST.MF
new file mode 100644
index 00000000..5fff5688
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language.tests/META-INF/MANIFEST.MF
@@ -0,0 +1,15 @@
1Manifest-Version: 1.0
2Automatic-Module-Name: org.eclipse.viatra.solver.language.tests
3Bundle-ManifestVersion: 2
4Bundle-Name: org.eclipse.viatra.solver.language.tests
5Bundle-Vendor: My Company
6Bundle-Version: 1.0.0.qualifier
7Bundle-SymbolicName: org.eclipse.viatra.solver.language.tests; singleton:=true
8Bundle-ActivationPolicy: lazy
9Require-Bundle: org.eclipse.viatra.solver.language,
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.xbase.lib;bundle-version="2.14.0"
14Bundle-RequiredExecutionEnvironment: JavaSE-1.8
15Export-Package: org.eclipse.viatra.solver.language.tests;x-internal=true
diff --git a/Application/org.eclipse.viatra.solver.language.tests/build.properties b/Application/org.eclipse.viatra.solver.language.tests/build.properties
new file mode 100644
index 00000000..4c654e9b
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language.tests/build.properties
@@ -0,0 +1,6 @@
1source.. = src/,\
2 src-gen/,\
3 xtend-gen/
4bin.includes = .,\
5 META-INF/
6bin.excludes = **/*.xtend
diff --git a/Application/org.eclipse.viatra.solver.language.tests/src-gen/org/eclipse/viatra/solver/language/tests/SolverLanguageInjectorProvider.java b/Application/org.eclipse.viatra.solver.language.tests/src-gen/org/eclipse/viatra/solver/language/tests/SolverLanguageInjectorProvider.java
new file mode 100644
index 00000000..f6f7cc26
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language.tests/src-gen/org/eclipse/viatra/solver/language/tests/SolverLanguageInjectorProvider.java
@@ -0,0 +1,69 @@
1/*
2 * generated by Xtext 2.18.0.M3
3 */
4package org.eclipse.viatra.solver.language.tests;
5
6import com.google.inject.Guice;
7import com.google.inject.Injector;
8import org.eclipse.viatra.solver.language.SolverLanguageRuntimeModule;
9import org.eclipse.viatra.solver.language.SolverLanguageStandaloneSetup;
10import org.eclipse.xtext.testing.GlobalRegistries;
11import org.eclipse.xtext.testing.GlobalRegistries.GlobalStateMemento;
12import org.eclipse.xtext.testing.IInjectorProvider;
13import org.eclipse.xtext.testing.IRegistryConfigurator;
14
15public class SolverLanguageInjectorProvider implements IInjectorProvider, IRegistryConfigurator {
16
17 protected GlobalStateMemento stateBeforeInjectorCreation;
18 protected GlobalStateMemento stateAfterInjectorCreation;
19 protected Injector injector;
20
21 static {
22 GlobalRegistries.initializeDefaults();
23 }
24
25 @Override
26 public Injector getInjector() {
27 if (injector == null) {
28 this.injector = internalCreateInjector();
29 stateAfterInjectorCreation = GlobalRegistries.makeCopyOfGlobalState();
30 }
31 return injector;
32 }
33
34 protected Injector internalCreateInjector() {
35 return new SolverLanguageStandaloneSetup() {
36 @Override
37 public Injector createInjector() {
38 return Guice.createInjector(createRuntimeModule());
39 }
40 }.createInjectorAndDoEMFRegistration();
41 }
42
43 protected SolverLanguageRuntimeModule createRuntimeModule() {
44 // make it work also with Maven/Tycho and OSGI
45 // see https://bugs.eclipse.org/bugs/show_bug.cgi?id=493672
46 return new SolverLanguageRuntimeModule() {
47 @Override
48 public ClassLoader bindClassLoaderToInstance() {
49 return SolverLanguageInjectorProvider.class
50 .getClassLoader();
51 }
52 };
53 }
54
55 @Override
56 public void restoreRegistry() {
57 stateBeforeInjectorCreation.restoreGlobalState();
58 stateBeforeInjectorCreation = null;
59 }
60
61 @Override
62 public void setupRegistry() {
63 stateBeforeInjectorCreation = GlobalRegistries.makeCopyOfGlobalState();
64 if (injector == null) {
65 getInjector();
66 }
67 stateAfterInjectorCreation.restoreGlobalState();
68 }
69}
diff --git a/Application/org.eclipse.viatra.solver.language.tests/src/org/eclipse/viatra/solver/language/tests/SolverLanguageParsingTest.xtend b/Application/org.eclipse.viatra.solver.language.tests/src/org/eclipse/viatra/solver/language/tests/SolverLanguageParsingTest.xtend
new file mode 100644
index 00000000..eb90bf67
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language.tests/src/org/eclipse/viatra/solver/language/tests/SolverLanguageParsingTest.xtend
@@ -0,0 +1,30 @@
1/*
2 * generated by Xtext 2.18.0.M3
3 */
4package org.eclipse.viatra.solver.language.tests
5
6import com.google.inject.Inject
7import org.eclipse.viatra.solver.language.solverLanguage.Problem
8import org.eclipse.xtext.testing.InjectWith
9import org.eclipse.xtext.testing.extensions.InjectionExtension
10import org.eclipse.xtext.testing.util.ParseHelper
11import org.junit.jupiter.api.Assertions
12import org.junit.jupiter.api.Test
13import org.junit.jupiter.api.^extension.ExtendWith
14
15@ExtendWith(InjectionExtension)
16@InjectWith(SolverLanguageInjectorProvider)
17class SolverLanguageParsingTest {
18 @Inject
19 ParseHelper<Problem> parseHelper
20
21 @Test
22 def void loadModel() {
23 val result = parseHelper.parse('''
24 Hello Xtext!
25 ''')
26 Assertions.assertNotNull(result)
27 val errors = result.eResource.errors
28 Assertions.assertTrue(errors.isEmpty, '''Unexpected errors: «errors.join(", ")»''')
29 }
30}
diff --git a/Application/org.eclipse.viatra.solver.language.tests/xtend-gen/org/eclipse/viatra/solver/language/tests/.gitignore b/Application/org.eclipse.viatra.solver.language.tests/xtend-gen/org/eclipse/viatra/solver/language/tests/.gitignore
new file mode 100644
index 00000000..57fc9539
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language.tests/xtend-gen/org/eclipse/viatra/solver/language/tests/.gitignore
@@ -0,0 +1,3 @@
1/.SolverLanguageParsingTest.java._trace
2/.SolverLanguageParsingTest.xtendbin
3/SolverLanguageParsingTest.java
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-03 11:27:08 +0000