1 files changed, 44 insertions, 0 deletions

diff --git a/language-to-store/src/test/java/org/eclipse/viatra/solver/language/mapping/tests/PartialModelMapperTest.xtend b/language-to-store/src/test/java/org/eclipse/viatra/solver/language/mapping/tests/PartialModelMapperTest.xtend
new file mode 100644
index 00000000..a769ae20
--- /dev/null
+++ b/language-to-store/src/test/java/org/eclipse/viatra/solver/language/mapping/tests/PartialModelMapperTest.xtend
@@ -0,0 +1,44 @@
+package org.eclipse.viatra.solver.language.mapping.tests
+
+import com.google.inject.Inject
+import org.eclipse.viatra.solver.language.mapping.PartialModelMapper
+import org.eclipse.viatra.solver.language.model.problem.Problem
+import org.eclipse.viatra.solver.language.tests.ProblemInjectorProvider
+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.BeforeEach
+import org.junit.jupiter.api.Disabled
+import org.junit.jupiter.api.Test
+import org.junit.jupiter.api.^extension.ExtendWith
+
+import static org.hamcrest.MatcherAssert.assertThat
+import static org.hamcrest.Matchers.*
+
+@ExtendWith(InjectionExtension)
+@InjectWith(ProblemInjectorProvider)
+class PartialModelMapperTest {
+        @Inject
+        ParseHelper<Problem> parseHelper
+
+        PartialModelMapper mapper
+
+        @BeforeEach
+        def void beforeEach() {
+                mapper = new PartialModelMapper
+        }
+
+        @Test
+        @Disabled("Method not yet implemented")
+        def void exampleTest() {
+                val problem = parseHelper.parse('''
+                        class Person {
+                                Person[0..*] friend
+                        }
+                        
+                        friend(a, b).
+                ''')
+                val model = mapper.transformProblem(problem)
+                assertThat(model, notNullValue())
+        }
+}