Introducing the LionWebPartition annotation

Author: ftomassetti

lionweb/src/main/kotlin/com/strumenta/kolasu/lionweb/LionWebLanguageConverter.kt

@@ -22,6 +22,7 @@ import io.lionweb.lioncore.java.language.Property
 import kotlin.reflect.KClass
 import kotlin.reflect.KType
 import kotlin.reflect.full.createType
+import kotlin.reflect.full.findAnnotations
 
 /**
  * This class is able to convert between Kolasu and LionWeb languages, tracking the mapping.
@@ -59,6 +60,7 @@ class LionWebLanguageConverter {
         kolasuLanguage.astClasses.forEach { astClass ->
             if (astClass.isConcept) {
                 val concept = Concept(lionwebLanguage, astClass.simpleName)
+                concept.isPartition = astClass.findAnnotations(LionWebPartition::class).isNotEmpty()
                 concept.key = lionwebLanguage.key + "_" + concept.name
                 concept.id = lionwebLanguage.id + "_" + concept.name
                 concept.isAbstract = astClass.isAbstract || astClass.isSealed

lionweb/src/main/kotlin/com/strumenta/kolasu/lionweb/LionWebPartition.kt

@@ -0,0 +1,8 @@
+package com.strumenta.kolasu.lionweb
+
+/**
+ * This is used to include node classes corresponding to LionWeb Partition Concepts.
+ */
+@Target(AnnotationTarget.CLASS)
+@Retention(AnnotationRetention.RUNTIME)
+annotation class LionWebPartition

lionweb/src/test/kotlin/com/strumenta/kolasu/lionweb/LionWebLanguageConverterTest.kt

@@ -22,6 +22,9 @@ data class SimpleNodeA(
     val child: SimpleNodeB?
 ) : Named, SimpleDecl(), MyRelevantInterface, MyIrrelevantInterface
 
+@LionWebPartition
+data class MyPartition(val roots: MutableList<SimpleRoot>) : Node()
+
 interface MyIrrelevantInterface
 
 @NodeType
@@ -116,6 +119,104 @@ class LionWebLanguageConverterTest {
         assertEquals(true, validationResult.isSuccessful, validationResult.issues.toString())
     }
 
+    @Test
+    fun exportSimpleLanguageWithPartitions() {
+        val kLanguage = KolasuLanguage("com.strumenta.SimpleLang").apply {
+            addClass(SimpleRoot::class)
+            addClass(MyPartition::class)
+        }
+        assertEquals(6, kLanguage.astClasses.size)
+        val lwLanguage = LionWebLanguageConverter().exportToLionWeb(kLanguage)
+        assertEquals("1", lwLanguage.version)
+        assertEquals(6, lwLanguage.elements.size)
+
+        val myPartition = lwLanguage.getConceptByName("MyPartition")!!
+        val simpleRoot = lwLanguage.getConceptByName("SimpleRoot")!!
+        val simpleDecl = lwLanguage.getConceptByName("SimpleDecl")!!
+        val simpleNodeA = lwLanguage.getConceptByName("SimpleNodeA")!!
+        val simpleNodeB = lwLanguage.getConceptByName("SimpleNodeB")!!
+        val myRelevantInterface = lwLanguage.getInterfaceByName("MyRelevantInterface")!!
+        assertNull(lwLanguage.getInterfaceByName("MyIrrelevantInterface"))
+
+        assertEquals("MyPartition", myPartition.name)
+        assertEquals(true, myPartition.isPartition)
+        assertSame(lwLanguage, myPartition.language)
+        assertEquals(StarLasuLWLanguage.ASTNode, simpleRoot.extendedConcept)
+        assertEquals(emptyList(), simpleRoot.implemented)
+        assertEquals(false, simpleRoot.isAbstract)
+        assertEquals(2, simpleRoot.features.size)
+        assertEquals(2, simpleRoot.allFeatures().size)
+
+        assertEquals("SimpleRoot", simpleRoot.name)
+        assertEquals(false, simpleRoot.isPartition)
+        assertSame(lwLanguage, simpleRoot.language)
+        assertEquals(StarLasuLWLanguage.ASTNode, simpleRoot.extendedConcept)
+        assertEquals(emptyList(), simpleRoot.implemented)
+        assertEquals(false, simpleRoot.isAbstract)
+        assertEquals(2, simpleRoot.features.size)
+        assertEquals(2, simpleRoot.allFeatures().size)
+
+        val simpleRootID = simpleRoot.getPropertyByName("id")!!
+        assertEquals("id", simpleRootID.name)
+        assertEquals(false, simpleRootID.isOptional)
+        assertEquals(LionCoreBuiltins.getInteger(), simpleRootID.type)
+
+        val simpleRootChildren = simpleRoot.getContainmentByName("childrez")!!
+        assertEquals("childrez", simpleRootChildren.name)
+        assertEquals(true, simpleRootChildren.isOptional)
+        assertEquals(true, simpleRootChildren.isMultiple)
+        assertEquals(simpleDecl, simpleRootChildren.type)
+
+        assertEquals("SimpleDecl", simpleDecl.name)
+        assertEquals(false, simpleDecl.isPartition)
+        assertSame(lwLanguage, simpleDecl.language)
+        assertEquals(StarLasuLWLanguage.ASTNode, simpleDecl.extendedConcept)
+        assertEquals(emptyList(), simpleRoot.implemented)
+        assertEquals(true, simpleDecl.isAbstract)
+
+        assertEquals("SimpleNodeA", simpleNodeA.name)
+        assertEquals(false, simpleNodeA.isPartition)
+        assertSame(lwLanguage, simpleNodeA.language)
+        assertEquals(simpleDecl, simpleNodeA.extendedConcept)
+        assertEquals(listOf(LionCoreBuiltins.getINamed(), myRelevantInterface), simpleNodeA.implemented)
+        assertEquals(false, simpleNodeA.isAbstract)
+        assertEquals(2, simpleNodeA.features.size)
+        assertEquals(3, simpleNodeA.allFeatures().size)
+
+        assertEquals(
+            true,
+            LionCoreBuiltins.getINamed().getPropertyByName("name") in simpleNodeA.allFeatures()
+        )
+
+        val simpleNodeARef = simpleNodeA.getReferenceByName("ref")!!
+        assertEquals("ref", simpleNodeARef.name)
+        assertEquals(false, simpleNodeARef.isOptional)
+        assertEquals(false, simpleNodeARef.isMultiple)
+        assertEquals(simpleNodeA, simpleNodeARef.type)
+
+        val simpleNodeAChild = simpleNodeA.getContainmentByName("child")!!
+        assertEquals("child", simpleNodeAChild.name)
+        assertEquals(true, simpleNodeAChild.isOptional)
+        assertEquals(false, simpleNodeAChild.isMultiple)
+        assertEquals(simpleNodeB, simpleNodeAChild.type)
+
+        assertEquals("SimpleNodeB", simpleNodeB.name)
+        assertEquals(false, simpleNodeB.isPartition)
+        assertSame(lwLanguage, simpleNodeB.language)
+        assertEquals(simpleDecl, simpleNodeB.extendedConcept)
+        assertEquals(false, simpleNodeB.isAbstract)
+        assertEquals(1, simpleNodeB.features.size)
+        assertEquals(1, simpleNodeB.allFeatures().size)
+
+        val simpleNodeBValue = simpleNodeB.getPropertyByName("value")!!
+        assertEquals("value", simpleNodeBValue.name)
+        assertEquals(false, simpleNodeBValue.isOptional)
+        assertEquals(LionCoreBuiltins.getString(), simpleNodeBValue.type)
+
+        val validationResult = LanguageValidator().validate(lwLanguage)
+        assertEquals(true, validationResult.isSuccessful, validationResult.issues.toString())
+    }
+
     @Test(expected = RuntimeException::class)
     fun conversionOfNullableContainmentListIsForbidden() {
         val kLanguage = KolasuLanguage("com.strumenta.SimpleLang").apply {