Merge pull request #1 from JCRaymond/master

Implement bulk of Interpreter (UNTESTED) (what could go wrong)
2018-11-16 14:56:52 -05:00
parent 8bfe78abd7 a36f2d212e
commit e91ddb068f
7 changed files with 335 additions and 14 deletions
--- a/befunge/befunge.iml
+++ b/befunge/befunge.iml
@@ -37,5 +37,14 @@
    <orderEntry type="library" scope="TEST" name="Maven: org.jetbrains.kotlin:kotlin-test-common:1.3.0" level="project" />
    <orderEntry type="library" scope="TEST" name="Maven: junit:junit:4.12" level="project" />
    <orderEntry type="library" scope="TEST" name="Maven: org.hamcrest:hamcrest-core:1.3" level="project" />
+    <orderEntry type="library" name="Maven: org.jetbrains.kotlin:kotlin-stdlib:1.3.0" level="project" />
+    <orderEntry type="library" name="Maven: org.jetbrains.kotlin:kotlin-stdlib-common:1.3.0" level="project" />
+    <orderEntry type="library" name="Maven: org.jetbrains:annotations:13.0" level="project" />
+    <orderEntry type="library" scope="TEST" name="Maven: org.jetbrains.kotlin:kotlin-test-junit:1.3.0" level="project" />
+    <orderEntry type="library" scope="TEST" name="Maven: org.jetbrains.kotlin:kotlin-test-annotations-common:1.3.0" level="project" />
+    <orderEntry type="library" scope="TEST" name="Maven: org.jetbrains.kotlin:kotlin-test:1.3.0" level="project" />
+    <orderEntry type="library" scope="TEST" name="Maven: org.jetbrains.kotlin:kotlin-test-common:1.3.0" level="project" />
+    <orderEntry type="library" scope="TEST" name="Maven: junit:junit:4.12" level="project" />
+    <orderEntry type="library" scope="TEST" name="Maven: org.hamcrest:hamcrest-core:1.3" level="project" />
  </component>
 </module>
--- a/befunge/src/main/kotlin/befide/befunge/b93/B93Funge.kt
+++ b/befunge/src/main/kotlin/befide/befunge/b93/B93Funge.kt
@@ -6,21 +6,57 @@ import befide.befunge.state.*
 class B93Funge : Funge {
    override val width = 80
    override val height = 25
+    private var cars = Array(height) { Array(width) {' '.toLong()}}

    override fun get(vec: Vec): Value {
-        TODO("not implemented") //To change body of created functions use File | Settings | File Templates.
+        return Value(cars[vec.y][vec.x])
    }

    override fun set(vec: Vec, value: Value) {
-        TODO("not implemented") //To change body of created functions use File | Settings | File Templates.
+        cars[vec.y][vec.x] = value.value
    }

    override fun nextVec(vec: Vec, delta: Vec): Vec {
-        TODO("not implemented") //To change body of created functions use File | Settings | File Templates.
+        var x = vec.x + delta.x
+        var y = vec.y + delta.y
+        if (x >= width || x < 0) {
+            x %= width
+        }
+        if (x < 0) {
+            x += width
+        }
+        if (y >= height || y < 0) {
+            y %= height
+        }
+        if (y < 0) {
+            y += height
+        }
+
+        return Vec(x,y)
    }

    override fun setString(data: String) {
-        TODO("not implemented") //To change body of created functions use File | Settings | File Templates.
+        val strings = data.split('\n')
+        for (i in strings.size until height) {
+            cars[i] = Array(width) {' '.toLong()}
+        }
+        strings.map {
+                    it.toList().map{it.toLong()}
+                }
+                .forEachIndexed { index, list ->
+                    if (index > height) {
+                        return
+                    }
+                    cars[index] = (
+                            list.toList() + List(
+                                    if (list.size <= width) width - list.size else 0
+                                ){
+                                    ' '.toLong()
+                                }
+                            )
+                            .subList(0, width)
+                            .toTypedArray()
+                }
    }
 }

--- a/befunge/src/main/kotlin/befide/befunge/b93/B93Interpreter.kt
+++ b/befunge/src/main/kotlin/befide/befunge/b93/B93Interpreter.kt
@@ -1,16 +1,20 @@
 package befide.befunge.b93

 import befide.befunge.core.Interpreter
-import befide.befunge.events.Event
-import befide.befunge.events.FungeEvent
-import befide.befunge.events.IpEvent
-import befide.befunge.events.StackEvent
+import befide.befunge.events.*
 import befide.befunge.state.IpMode
 import befide.befunge.state.Value
 import befide.befunge.state.Vec
 import java.util.*

 class B93Interpreter : Interpreter {
+    private companion object {
+        val RIGHT = Vec(1, 0)
+        val LEFT = Vec(-1, 0)
+        val UP = Vec(0, -1)
+        val DOWN = Vec(0,1)
+    }
+
    override val funge = B93Funge()
    override val stack = Stack<Value>()
    override val ip = B93Pointer(Vec(0, 0), Vec(1, 0), IpMode.Normal)
@@ -19,11 +23,269 @@ class B93Interpreter : Interpreter {
    override val stackChanged: Event<StackEvent> = Event()
    override val ipChanged: Event<IpEvent> = Event()

+    private val fungeMods = HashMap<Vec,Value>()
+
+    private fun _pop(): Value? {
+        if (!stack.empty())
+            return stack.pop()
+        return null
+    }
+
+    private fun pop(): Value {
+        val v = _pop()
+        val ret = v?.let {
+            stackChanged(StackEvent(StackAction.Pop, listOf(it)))
+            it
+        } ?: Value(0)
+        return ret
+    }
+
+    private fun pop(num: Int): List<Value> {
+        val vs = List(num) {_pop()}
+        stackChanged(StackEvent(StackAction.Pop, vs.filterNotNull()))
+        return vs.map { it ?: Value(0) }
+    }
+
+    private fun _push(v: Value) {
+        stack.push(v)
+    }
+
+    private fun push(v: Value) {
+        _push(v)
+        stackChanged.invoke(StackEvent(StackAction.Push, listOf(v)))
+    }
+
+    private fun push(vs: List<Value>) {
+        vs.forEach { _push(it) }
+        stackChanged.invoke(StackEvent(StackAction.Push, vs))
+    }
+
+    private fun peek(): Value {
+        if (!stack.empty()) {
+            return stack.peek()
+        }
+        return Value(0)
+    }
+
+    private fun binop(bop: Char) {
+        val (vb, va) = pop(2)
+        val a = va.value
+        val b = vb.value
+        val res = when(bop) {
+            '+' -> a + b
+            '-' -> a - b
+            '*' -> a * b
+            '/' -> a / b
+            '%' -> a % b
+            '`' -> if (a > b) 1L else 0L
+            else -> null
+        }
+        res?.let {
+            val vres = Value(res)
+            push(vres)
+        }
+    }
+
+    private fun unop(uop: Char) {
+        val vv = pop()
+        val v = vv.value
+        val res = when(uop) {
+            '!' -> if (v == 0L) 1L else 0L
+            else -> null
+        }
+        res?.let {
+            val vres = Value(it)
+            push(vres)
+        }
+    }
+
+    private fun changeDir(dir: Char) {
+        val newDelta = when(dir) {
+            '>' -> RIGHT
+            '<' -> LEFT
+            '^' -> UP
+            'v' -> DOWN
+            else -> null
+        }
+        newDelta?.let {
+            ip.delta = it
+        }
+    }
+
+    private fun randomDir() {
+        val dirs = listOf('<', '>', '^', 'v')
+        val ind = Random().nextInt(4)
+        changeDir(dirs[ind])
+    }
+
+    private fun conditional(cop: Char) {
+        val vcond = pop()
+        val cond = vcond.value == 0L
+        val newDelta = when(cop) {
+            '|' -> if (cond) DOWN else UP
+            '_' -> if (cond) RIGHT else LEFT
+            else -> null
+        }
+        newDelta?.let {
+            ip.delta = it
+        }
+    }
+
+    private fun toggleStrmode() {
+        val newMode = when (ip.mode) {
+            IpMode.String -> IpMode.Normal
+            IpMode.Normal -> IpMode.String
+            IpMode.Inactive -> IpMode.Inactive
+        }
+        ip.mode = newMode
+    }
+
+    private fun stackop(sop: Char) {
+        when (sop) {
+            ':' -> {
+                val vc = peek().copy()
+                push(vc)
+            }
+            '\\' -> {
+                val (v2, v1) = pop(2)
+                push(listOf(v2, v1))
+            }
+            '$' -> {
+                pop()
+            }
+        }
+    }
+
+    private fun output(type: Char) {
+        val vv = pop()
+        val v = vv.value
+        val out = when (type) {
+            '.' -> v.toString().toCharArray() + ' '
+            ',' -> charArrayOf(v.toChar())
+            else -> charArrayOf()
+        }
+        print(out) //TEMPORARY
+        //TODO output {out} chararray
+    }
+
+    private fun stepIP() {
+        ip.pos = funge.nextVec(ip.pos, ip.delta)
+        // No ipChanged here, shown in execInstr
+    }
+
+    private fun input(type: Char) {
+        val inp = readLine()
+        val vinp = Value(when(type) {
+            '&' -> inp?.toLong() ?: 0L
+            '~' -> inp?.get(0)?.toLong() ?: 0L
+            else -> 0L
+        })
+        push(vinp)
+    }
+
+    private fun fget() {
+        val (vy, vx) = pop(2)
+        val x = vx.value.toInt()
+        val y = vy.value.toInt()
+        if (0 <= x && x < funge.width && 0 <= y && y <= funge.height) {
+            val vv = funge[Vec(x, y)]
+            push(vv)
+        }
+    }
+
+    private fun fput() {
+        val (vy, vx, vv) = pop(3)
+        val x = vx.value.toInt()
+        val y = vy.value.toInt()
+        if (0 <= x && x < funge.width && 0 <= y && y <= funge.height) {
+            val loc = Vec(x, y)
+            val old = funge[loc]
+            funge[loc] = vv
+            if (!fungeMods.contains(loc)) {
+                fungeMods[loc] = old
+            }
+            fungeChanged(FungeEvent(listOf(FungeChange(loc,old,vv))))
+        }
+    }
+
+    private fun terminate() {
+        ip.mode = IpMode.Inactive
+    }
+
+    private fun pushDig(dig: Char) {
+        val num = dig.toLong() - '0'.toLong()
+        push(Value(num))
+    }
+
+    private fun noOp() {}
+
+    private fun execInstr(instr: Value) {
+        val car = instr.asChar
+        when (car) {
+            null -> noOp()
+            '+', '-', '*', '/', '%', '`' -> binop(car)
+            '!' -> unop(car)
+            '>', '<', '^', 'v' -> changeDir(car)
+            '?' -> randomDir()
+            '_', '|' -> conditional(car)
+            '"' -> toggleStrmode()
+            ':', '\\', '$' -> stackop(car)
+            '.', ',' -> output(car)
+            '#' -> stepIP()
+            'g' -> fget()
+            'p' -> fput()
+            '&', '~' -> input(car)
+            '@' -> terminate()
+            in '0'..'9' -> pushDig(car)
+            else -> noOp()
+        }
+    }
+
+    private fun strMode(instr: Value) {
+        if (instr.asChar == '"') {
+            toggleStrmode()
+            return
+        }
+        push(instr)
+    }
+
    override fun step(): Boolean {
-        TODO("not implemented") //To change body of created functions use File | Settings | File Templates.
+        val instr = funge[ip.pos]
+        val currIP = ip.copy()
+        when (ip.mode) {
+            IpMode.Inactive -> noOp()
+            IpMode.Normal -> execInstr(instr)
+            IpMode.String -> strMode(instr)
+        }
+        if (ip.mode != IpMode.Inactive) {
+            stepIP()
+            if (ip.mode != IpMode.String) {
+                while (funge[ip.pos].asChar == ' ') {
+                    stepIP()
+                }
+            }
+            val newIP = ip.copy()
+            ipChanged(IpEvent(currIP, newIP))
+        }
+        return ip.mode != IpMode.Inactive
    }

    override fun reset() {
-        TODO("not implemented") //To change body of created functions use File | Settings | File Templates.
+        val oldIP = ip.copy()
+        ip.pos = Vec(0,0)
+        ip.delta = RIGHT
+        ip.mode = IpMode.Normal
+        val newIP = ip.copy()
+        ipChanged.invoke(IpEvent(oldIP, newIP))
+
+        stack.clear()
+        stackChanged(StackEvent(StackAction.Clear, listOf()))
+
+        val changes = fungeMods.map { FungeChange(it.key, funge[it.key], it.value) }
+        for ((k,v) in fungeMods) {
+            funge[k] = v
+        }
+        fungeMods.clear()
+        fungeChanged(FungeEvent(changes))
    }
 }
--- a/befunge/src/main/kotlin/befide/befunge/b93/B93Pointer.kt
+++ b/befunge/src/main/kotlin/befide/befunge/b93/B93Pointer.kt
@@ -4,4 +4,4 @@ import befide.befunge.core.Pointer
 import befide.befunge.state.IpMode
 import befide.befunge.state.Vec

-data class B93Pointer(override val pos: Vec, override val delta: Vec, override val mode: IpMode) : Pointer
+data class B93Pointer(override var pos: Vec, override var delta: Vec, override var mode: IpMode) : Pointer
--- a/befunge/src/main/kotlin/befide/befunge/state/IpMode.kt
+++ b/befunge/src/main/kotlin/befide/befunge/state/IpMode.kt
@@ -3,6 +3,5 @@ package befide.befunge.state
 enum class IpMode {
    Normal,
    String,
-    Char,
    Inactive
 }
--- a/befunge/src/main/kotlin/befide/befunge/state/Value.kt
+++ b/befunge/src/main/kotlin/befide/befunge/state/Value.kt
@@ -1,7 +1,7 @@
 package befide.befunge.state

-data class Value(val value: Int) {
-    constructor(value: Char) : this(value.toInt())
+data class Value(val value: Long) {
+    constructor(value: Char) : this(value.toLong())

    val asChar: Char? = if (value in (32..126)) value.toChar() else null
 }
--- a/ide/ide.iml
+++ b/ide/ide.iml
@@ -29,6 +29,21 @@
    </content>
    <orderEntry type="inheritedJdk" />
    <orderEntry type="sourceFolder" forTests="false" />
+    <orderEntry type="library" name="Maven: no.tornado:tornadofx:1.7.17" level="project" />
+    <orderEntry type="library" name="Maven: org.glassfish:javax.json:1.1.2" level="project" />
+    <orderEntry type="library" name="Maven: javax.json:javax.json-api:1.1.2" level="project" />
+    <orderEntry type="library" name="Maven: org.jetbrains.kotlin:kotlin-stdlib-jdk8:1.2.60" level="project" />
+    <orderEntry type="library" name="Maven: org.jetbrains.kotlin:kotlin-stdlib-jdk7:1.2.60" level="project" />
+    <orderEntry type="library" name="Maven: org.jetbrains.kotlin:kotlin-reflect:1.2.60" level="project" />
+    <orderEntry type="library" name="Maven: org.jetbrains.kotlin:kotlin-stdlib:1.3.0" level="project" />
+    <orderEntry type="library" name="Maven: org.jetbrains.kotlin:kotlin-stdlib-common:1.3.0" level="project" />
+    <orderEntry type="library" name="Maven: org.jetbrains:annotations:13.0" level="project" />
+    <orderEntry type="library" scope="TEST" name="Maven: org.jetbrains.kotlin:kotlin-test-junit:1.3.0" level="project" />
+    <orderEntry type="library" scope="TEST" name="Maven: org.jetbrains.kotlin:kotlin-test-annotations-common:1.3.0" level="project" />
+    <orderEntry type="library" scope="TEST" name="Maven: org.jetbrains.kotlin:kotlin-test:1.3.0" level="project" />
+    <orderEntry type="library" scope="TEST" name="Maven: org.jetbrains.kotlin:kotlin-test-common:1.3.0" level="project" />
+    <orderEntry type="library" scope="TEST" name="Maven: junit:junit:4.12" level="project" />
+    <orderEntry type="library" scope="TEST" name="Maven: org.hamcrest:hamcrest-core:1.3" level="project" />
    <orderEntry type="module" module-name="befunge" />
    <orderEntry type="library" name="Maven: no.tornado:tornadofx:1.7.17" level="project" />
    <orderEntry type="library" name="Maven: org.glassfish:javax.json:1.1.2" level="project" />