X-Git-Url: https://thelambdalab.xyz/gitweb/index.cgi?p=ez.git;a=blobdiff_plain;f=ez.el;h=1fb0f655e9fcfc0bc9fc99d1c1bc85f25600c4e6;hp=181a37a444a5f70a8c410bc11a431652c92c2dbd;hb=8ed7e627cfe9175458a7bae4cbf8bbb35cfc00b4;hpb=8455cb56b2ea86886949473c5e77175b9d713554

diff --git a/ez.el b/ez.el
index 181a37a..1fb0f65 100644
--- a/ez.el
+++ b/ez.el
@@ -64,7 +64,7 @@
 
 (defvar ez-start-pc nil)
 (defvar ez-himem-base nil)
-(defvar ez-dict-addr nil)
+(defvar ez-dict-base nil)
 (defvar ez-objtab-addr nil)
 (defvar ez-abbrevtab-addr nil)
 (defvar ez-globalvartab-addr nil)
@@ -120,46 +120,43 @@
   (dotimes (i 31)
     (aset ez-property-defaults i (aref ez-memory (+ ez-objtab-addr (* 2 i))))))
 
-(defun ez-get-obj-addr (obj-id)
-  (+ ez-objtab-addr (* 2 31) (* 9 (- obj-id 1))))
+(defun ez-get-obj-addr (obj)
+  (+ ez-objtab-addr (* 2 31) (* 9 (- obj 1))))
 
-(defun ez-get-obj-parent (obj-id)
-  (let ((addr (ez-get-obj-addr obj-id)))
+(defun ez-get-obj-parent (obj)
+  (let ((addr (ez-get-obj-addr obj)))
     (ez-mem-ref-byte (+ addr 4))))
 
-(defun ez-get-obj-sibling (obj-id)
-  (let ((addr (ez-get-obj-addr obj-id)))
+(defun ez-set-obj-parent (obj new-parent)
+  (let ((addr (ez-get-obj-addr obj)))
+    (ez-mem-set-byte (+ addr 4) new-parent)))
+
+(defun ez-get-obj-sibling (obj)
+  (let ((addr (ez-get-obj-addr obj)))
     (ez-mem-ref-byte (+ addr 5))))
 
-(defun ez-get-obj-child (obj-id)
-  (let ((addr (ez-get-obj-addr obj-id)))
+(defun ez-set-obj-sibling (obj new-sibling)
+  (let ((addr (ez-get-obj-addr obj)))
+    (ez-mem-set-byte (+ addr 5) new-sibling)))
+
+(defun ez-get-obj-child (obj)
+  (let ((addr (ez-get-obj-addr obj)))
     (ez-mem-ref-byte (+ addr 6))))
 
-(defun ez-get-obj-plist-addr (obj-id)
-  (let ((addr (ez-get-obj-addr obj-id)))
+(defun ez-set-obj-child (obj new-child)
+  (let ((addr (ez-get-obj-addr obj)))
+    (ez-mem-set-byte (+ addr 6) new-child)))
+
+(defun ez-get-obj-plist-addr (obj)
+  (let ((addr (ez-get-obj-addr obj)))
     (ez-mem-ref-word (+ addr 7))))
 
-(defun ez-get-obj-name (obj-id)
-  (let ((plist-addr (ez-get-obj-plist-addr obj-id)))
+(defun ez-get-obj-name (obj)
+  (let ((plist-addr (ez-get-obj-plist-addr obj)))
     (if (> (ez-mem-ref-byte plist-addr) 0)
-        (ez-get-zstring (+ 1 (ez-get-obj-plist-addr obj-id)))
+        (ez-get-zstring (+ 1 (ez-get-obj-plist-addr obj)))
       nil)))
 
-(defun ez-get-obj (obj-id)
-  (let ((addr (+ ez-objtab-addr
-                 (* 2 31)
-                 (* 9 (- obj-id 1)))))
-    (list
-     obj-id
-     (ez-mem-ref-byte (+ addr 4))
-     (ez-mem-ref-byte (+ addr 5))
-     (ez-mem-ref-byte (+ addr 6))
-     (ez-mem-ref-word (+ addr 7))
-     (let ((plist-addr (ez-mem-ref-word (+ addr 7))))
-       (if (> (ez-mem-ref-byte plist-addr) 0)
-           (ez-get-zstring (+ 1 plist-addr))
-         nil)))))
-
 (defun ez-get-prop-default (prop)
   (ez-mem-ref-word (+ ez-objtab-addr (* 2 (+ 1 prop)))))
 
@@ -222,6 +219,26 @@
             (and (not current-set) (> val 0)))
         (ez-mem-set-byte byte-addr (logxor byte bit-mask)))))
 
+
+(defun ez-remove-obj (obj)
+  (let ((parent (ez-get-obj-parent obj))
+        (sibling (ez-get-obj-sibling obj)))
+    (unless (= parent 0)
+      (let ((child (ez-get-obj-child parent)))
+        (if (= child obj)
+            (ez-set-obj-child parent sibling)
+          (while (not (= obj (ez-get-obj-sibling child)))
+            (setq child (ez-get-obj-sibling child)))
+          (ez-set-obj-sibling child (ez-get-obj-sibling obj))))
+      (ez-set-obj-parent obj 0))
+    (ez-set-obj-sibling obj 0)))
+
+(defun ez-insert-obj (obj new-parent)
+  (ez-remove-obj obj)
+  (unless (= new-parent 0)
+    (ez-set-obj-sibling obj (ez-get-obj-child new-parent))
+    (ez-set-obj-child new-parent obj)))
+
 ;; Z-strings
 
 (defvar ez-zstring-alphabets
@@ -238,7 +255,7 @@
         (logand (lsh word -5) #b11111)
         (logand word #b11111)))
 
-(defun ez-get-zstring-chars (base-addr)
+(defun ez-get-zstring-chars-and-length (base-addr)
   (let ((addr base-addr)
         (chars nil)
         (not-done t)
@@ -252,8 +269,8 @@
           (setq not-done nil))))
     (cons word-count chars)))
 
-(defun ez-get-zstring (base-addr)
-  (let* ((word-count-and-chars (ez-get-zstring-chars base-addr))
+(defun ez-get-zstring-and-length (base-addr)
+  (let* ((word-count-and-chars (ez-get-zstring-chars-and-length base-addr))
          (word-count (car word-count-and-chars))
          (chars (cdr word-count-and-chars))
          (cur 0)
@@ -266,7 +283,7 @@
         (let ((abbrev-addr
                (* 2 (ez-mem-ref-word (+ ez-abbrevtab-addr
                                         (* 2 (+ (* (- abbrev-char 1) 32) char)))))))
-          (setq s (concat s (cdr (ez-get-zstring abbrev-addr)))))
+          (setq s (concat s (cdr (ez-get-zstring-and-length abbrev-addr)))))
         (setq abbrev-char nil))
        ((memq char '(1 2 3)) ;Abbreviation
         (setq abbrev-char char))
@@ -280,6 +297,9 @@
         (setq cur lock))))
     (cons word-count s)))
 
+(defun ez-get-zstring (base-addr)
+  (cdr (ez-get-zstring-and-length base-addr)))
+
 
 ;; Call stack
 
@@ -504,7 +524,11 @@
     ((1op #x0E) load ez-op-load)
     ((var #x01) storew ez-op-storew)
     ((2op #x0F) loadw ez-op-loadw)
+    ((var #x02) storeb ez-op-storeb)
+    ((2op #x10) loadb ez-op-loadb)
     ((2op #x01) je ez-op-je)
+    ((2op #x02) jl ez-op-jl)
+    ((2op #x06) jin ez-op-jin)
     ((2op #x08) or ez-op-or)
     ((2op #x09) and ez-op-and)
     ((2op #x14) add ez-op-add)
@@ -517,10 +541,17 @@
     ((1op #x02) get_child ez-op-get-child)
     ((1op #x03) get_parent ez-op-get-parent)
     ((2op #x0A) test_attr ez-op-test-attr)
+    ((2op #x0B) set_attr ez-op-set-attr)
+    ((2op #x0C) clear_attr ez-op-clear-attr)
+    ((1op #x09) remove_obj ez-op-remove-obj)
+    ((2op #x0E) insert_obj ez-op-insert-obj)
     ((var #x03) put_prop ez-op-put-prop)
+    ((2op #x11) get_prop ez-op-get-prop)
     ((0op #x02) print ez-op-print)
     ((0op #x0B) new_line ez-op-new-line)
-    ((var #x06) print_num ez-op-print-num)))
+    ((var #x06) print_num ez-op-print-num)
+    ((var #x05) print_char ez-op-print-char)
+    ((1op #x0A) print_obj ez-op-print-obj)))
 
 (defun ez-op-ret (operands &optional operand-types)
   (let ((retval (car operands)))
@@ -568,6 +599,12 @@
     (ez-op-jl (cons (ez-get-var var) (cdr operands)) (cons 'w (cdr operand-types))))
   t)
 
+(defun ez-op-jin (operands operand-types)
+  (let ((obj (car operands))
+        (n (cadr operands)))
+    (ez-do-branch (or (= n 0)
+                      (= n (ez-get-obj-parent obj)))))
+  t)
 
 (defun ez-op-jump (operands operand-types)
   (let ((offset (if (eq (car operand-types) 'b)
@@ -610,6 +647,19 @@
     (ez-set-var (ez-read-pc-byte-and-inc) (ez-mem-ref-word (+ baddr (* 2 n)))))
   t)
 
+(defun ez-op-storeb (operands operand-types)
+  (let ((baddr (car operands))
+        (n (cadr operands))
+        (a (caddr operands)))
+    (ez-mem-set-byte (+ baddr n) a))
+  t)
+
+(defun ez-op-loadb (operands operand-types)
+  (let ((baddr (car operands))
+        (n (cadr operands)))
+    (ez-set-var (ez-read-pc-byte-and-inc) (ez-mem-ref-byte (+ baddr n))))
+  t)
+
 (defun ez-op-and (operands operand-types)
   (let ((a (car operands))
         (b (cadr operands)))
@@ -666,33 +716,62 @@
     (ez-do-branch (= 1 (ez-get-obj-attr obj attr)))
     t))
 
+(defun ez-op-set-attr (operands operand-types)
+  (let ((obj (car operands))
+        (attr (cadr operands)))
+    (ez-set-obj-attr obj attr 1))
+  t)
+
+(defun ez-op-clear-attr (operands operand-types)
+  (let ((obj (car operands))
+        (attr (cadr operands)))
+    (ez-set-obj-attr obj attr 0))
+  t)
+
 (defun ez-op-get-sibling (operands operand-types)
   (let ((sib (ez-get-obj-sibling (car operands))))
     (ez-set-var (ez-read-pc-byte-and-inc) sib)
-    (ez-do-branch (> sib 0))
-    t))
+    (ez-do-branch (> sib 0)))
+  t)
 
 (defun ez-op-get-child (operands operand-types)
   (let ((child (ez-get-obj-child (car operands))))
     (ez-set-var (ez-read-pc-byte-and-inc) child)
-    (ez-do-branch (> child 0))
-    t))
+    (ez-do-branch (> child 0)))
+  t)
 
 (defun ez-op-get-parent (operands operand-types)
   (let ((parent (ez-get-obj-parent (car operands))))
-    (ez-set-var (ez-read-pc-byte-and-inc) parent)
-    (ez-do-branch (> parent 0))
-    t))
+    (ez-set-var (ez-read-pc-byte-and-inc) parent))
+  t)
+
+(defun ez-op-remove-obj (operands operand-types)
+  (let ((obj (car operands)))
+    (ez-remove-obj obj))
+  t)
+
+(defun ez-op-insert-obj (operands operand-types)
+  (let ((obj1 (car operands))
+        (obj2 (cadr operands)))
+    (ez-insert-obj obj1 obj2))
+  t)
 
 (defun ez-op-put-prop (operands operand-types)
   (let* ((obj (car operands))
          (prop (cadr operands))
          (a (caddr operands)))
-    (ez-set-obj-prop obj prop a)
-    t))
+    (ez-set-obj-prop obj prop a))
+  t)
+
+(defun ez-op-get-prop (operands operand-types)
+  (let* ((obj (car operands))
+         (prop (cadr operands)))
+    (ez-set-var (ez-read-pc-byte-and-inc)
+                (ez-get-obj-prop obj prop)))
+  t)
 
 (defun ez-op-print (operands operand-types)
-  (let* ((word-count-and-string (ez-get-zstring (ez-get-pc)))
+  (let* ((word-count-and-string (ez-get-zstring-and-length (ez-get-pc)))
          (word-count (car word-count-and-string))
          (string (cdr word-count-and-string)))
     (ez-print string)
@@ -708,6 +787,15 @@
     (ez-print (number-to-string s)))
   t)
 
+(defun ez-op-print-char (operands operand-types)
+  (let ((c (car operands)))
+    (ez-print (string c)))
+  t)
+
+(defun ez-op-print-obj (operands operand-types)
+  (let ((obj (car operands)))
+    (ez-print (ez-get-obj-name obj)))
+  t)
 
 ;; Execution loop