From eec2d3b70442999a879aa673e52c1144eec4e351 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <marussy@mit.bme.hu>
Date: Fri, 1 Oct 2021 15:52:11 +0200
Subject: feat: skeleton for language to store mapping

---
 .../mapping/tests/PartialModelMapperTest.xtend     | 44 ++++++++++++++++++++++
 1 file changed, 44 insertions(+)
 create mode 100644 language-to-store/src/test/java/org/eclipse/viatra/solver/language/mapping/tests/PartialModelMapperTest.xtend

(limited to 'language-to-store/src/test/java/org/eclipse/viatra/solver/language/mapping/tests/PartialModelMapperTest.xtend')

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())
+	}
+}
-- 
cgit v1.2.3-70-g09d2