Merge pull request #48 from sievericcardo/add-prefixes

Add prefixes to prefixMap for the interpreter

Author: Edkamb

src/main/kotlin/no/uio/microobject/main/MainKt.kt

@@ -50,6 +50,11 @@ data class Settings(var verbose : Boolean,      //Verbosity
         return prefixMapCache as HashMap<String, String>
     }
 
+    fun addPrefixes(prefixes: HashMap<String, String>){
+        prefixMapCache = null
+        extraPrefixes.putAll(prefixes)
+    }
+
     fun replaceKnownPrefixes(string: String) : String{
         var res = string.replace("domain:", "$domainPrefix:")
             .replace("prog:", "$progPrefix:")

src/test/kotlin/no/uio/microobject/test/basic/ExtraPrefixTest.kt

@@ -0,0 +1,17 @@
+package no.uio.microobject.test.basic
+
+import io.kotest.matchers.shouldBe
+import no.uio.microobject.test.MicroObjectTest
+
+class ExtraPrefixTest: MicroObjectTest() {
+    fun prefixTest() {
+        val (interpreter,_) = initInterpreter("persons", StringLoad.RES)
+
+        interpreter.settings.prefixMap().containsKey("ast") shouldBe false
+        interpreter.settings.addPrefixes(hashMapOf("ast" to "http://www.smolang.org/ast#"))
+        interpreter.settings.prefixMap().containsKey("ast") shouldBe true
+    }
+    init {
+        prefixTest()
+    }
+}