PetriEditorExtension.kt
src/jvmMain/kotlin/afield/simulation/petri/PetriEditorExtension.kt · 50 lines
package afield.simulation.petri
import java.io.FileServes the #petri editor extension, which highlights, checks, documents and completes Petri
net regions embedded in box code.
The extension itself is src/commonMain/resources/petri.js, loaded in the browser as the AMD
module bithero/petri. petriEditorExtensionJavascript returns that same file's text and
petriEditorExtensionHtml wraps it in a self-installing panel for a box output.
object PetriEditorExtension
The #petri editor extension's id and source.
const val id: String = "petri"
fun javascript(): String
The Petri editor extension. The single source of truth is the static resource
src/commonMain/resources/petri.js, which is served to the browser as the AMD module
bithero/petri (see bootstrapMonaco.js) and read verbatim here so the node-probe smoke
test exercises the exact code that ships. The file self-installs under bare eval
(no AMD loader) and registers an AMD module when a Monaco loader is present.
fun javascript(): String {
PetriEditorExtension::class.java.getResourceAsStream("/petri.js")?.use { stream ->
return stream.readBytes().toString(Charsets.UTF_8)
}
val onDisk = File("./src/commonMain/resources/petri.js")
require(onDisk.isFile) { "petri.js not found on the classpath or at ${onDisk.absolutePath}" }
return onDisk.readText(Charsets.UTF_8)
}fun html(): String
fun html(): String = """
<div style="font-family:Iosevka Web, monospace; background:#050505; color:#d8d8d8; border:1px solid #303030; padding:10px; max-width:680px">
<strong>Petri editor extension</strong>
<div style="margin-top:4px; color:#a8a8a8">
Registers <code>#petri</code> embedded Kotlin regions with syntax highlighting, lexical diagnostics, hover docs and completions.
</div>
<script>
${javascript()}
</script>
</div>
""".trimIndent()
}