initial commit

1 files changed, 30 insertions, 0 deletions

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 @@
+/*

+ * generated by Xtext 2.18.0.M3

+ */

+package org.eclipse.viatra.solver.language.tests

+

+import com.google.inject.Inject

+import org.eclipse.viatra.solver.language.solverLanguage.Problem

+import org.eclipse.xtext.testing.InjectWith

+import org.eclipse.xtext.testing.extensions.InjectionExtension

+import org.eclipse.xtext.testing.util.ParseHelper

+import org.junit.jupiter.api.Assertions

+import org.junit.jupiter.api.Test

+import org.junit.jupiter.api.^extension.ExtendWith

+

+@ExtendWith(InjectionExtension)

+@InjectWith(SolverLanguageInjectorProvider)

+class SolverLanguageParsingTest {

+        @Inject

+        ParseHelper<Problem> parseHelper

+        

+        @Test

+        def void loadModel() {

+                val result = parseHelper.parse('''

+                        Hello Xtext!

+                ''')

+                Assertions.assertNotNull(result)

+                val errors = result.eResource.errors

+                Assertions.assertTrue(errors.isEmpty, '''Unexpected errors: «errors.join(", ")»''')

+        }

+}