Add initial prototype

1 files changed, 30 insertions, 0 deletions

diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/test/java/org/eclipse/viatra/solver/language/tests/ProblemParsingTest.xtend b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/test/java/org/eclipse/viatra/solver/language/tests/ProblemParsingTest.xtend
new file mode 100644
index 00000000..b007cf8b
--- /dev/null
+++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/test/java/org/eclipse/viatra/solver/language/tests/ProblemParsingTest.xtend
@@ -0,0 +1,30 @@
+/*
+ * generated by Xtext 2.25.0
+ */
+package org.eclipse.viatra.solver.language.tests
+
+import com.google.inject.Inject
+import org.eclipse.viatra.solver.language.model.problem.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(ProblemInjectorProvider)
+class ProblemParsingTest {
+        @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(", ")»''')
+        }
+}