feat: MPS model checker integration for react

Author: slisson

react-ssr-mps/src/main/kotlin/org/modelix/react/ssr/mps/ModelCheckerIntegration.kt

@@ -0,0 +1,63 @@
+package org.modelix.react.ssr.mps
+
+import jetbrains.mps.checkers.ConstraintsChecker
+import jetbrains.mps.errors.item.NodeReportItem
+import jetbrains.mps.progress.EmptyProgressMonitor
+import jetbrains.mps.smodel.MPSModuleRepository
+import jetbrains.mps.typesystemEngine.checker.NonTypesystemChecker
+import jetbrains.mps.typesystemEngine.checker.TypesystemChecker
+import org.jetbrains.mps.openapi.model.SNode
+import org.jetbrains.mps.openapi.util.Consumer
+import org.modelix.incremental.incrementalFunction
+import org.modelix.model.api.BuiltinLanguages
+import org.modelix.model.api.INode
+import org.modelix.model.api.INodeReference
+import org.modelix.model.mpsadapters.MPSNodeReference
+import org.modelix.model.mpsadapters.tomps.ModelixNodeAsMPSNode
+import org.modelix.react.ssr.server.IRenderer
+
+object ModelCheckerIntegration {
+
+    private val checkRootNode = incrementalFunction<List<NodeReportItem>, INode>("check") { context, node ->
+        runCheck(ModelixNodeAsMPSNode.toMPSNode(node))
+    }
+
+    @JvmStatic
+    fun getMessages(node: INode): List<NodeReportItem> {
+        return checkRoot(getRootNode(node))[node.reference] ?: emptyList()
+    }
+
+    @JvmStatic
+    fun getMessages(node: SNode): List<NodeReportItem> {
+        return getMessages(ModelixNodeAsMPSNode.toModelixNode(node))
+    }
+
+    private fun checkRoot(rootNode: INode): Map<INodeReference, List<NodeReportItem>> {
+        val messages: List<NodeReportItem> = checkRootNode(rootNode).bind(IRenderer.contextIncrementalEngine.getValue()).invoke()
+        return messages.groupBy { MPSNodeReference(it.node) }
+    }
+
+    private fun getRootNode(node: INode): INode {
+        if (node.getContainmentLink()?.getUID() == BuiltinLanguages.MPSRepositoryConcepts.Model.rootNodes.getUID()) {
+            return node
+        } else {
+            return getRootNode(node.parent ?: return node)
+        }
+    }
+
+    private fun runCheck(root: SNode): List<NodeReportItem> {
+        val items = ArrayList<NodeReportItem>()
+        val consumer: Consumer<NodeReportItem> = object : Consumer<NodeReportItem> {
+            override fun consume(item: NodeReportItem) {
+                items.add(item)
+            }
+        }
+
+        @Suppress("removal")
+        val repository = MPSModuleRepository.getInstance()
+        TypesystemChecker().check(root, repository, consumer, EmptyProgressMonitor())
+        NonTypesystemChecker().check(root, repository, consumer, EmptyProgressMonitor())
+        ConstraintsChecker(null).asRootChecker().check(root, repository, consumer, EmptyProgressMonitor())
+        return items
+    }
+}