- Reorganized the code related to _lux_proc a bit.

- Implemented some of the low-level machinery for 64-bit integers.

1 files changed, 140 insertions, 428 deletions

diff --git a/luxc/src/lux/analyser/jvm.clj b/luxc/src/lux/analyser/proc/jvm.clj
index 6146551ef..480cb341a 100644
--- a/luxc/src/lux/analyser/jvm.clj
+++ b/luxc/src/lux/analyser/proc/jvm.clj
@@ -1,4 +1,4 @@
-(ns lux.analyser.jvm
+(ns lux.analyser.proc.jvm
   (:require (clojure [template :refer [do-template]]
                      [string :as string])
             clojure.core.match
@@ -1001,432 +1001,144 @@
                                    )))
         ))))
 
-(do-template [<name> <op>]
-  (defn <name> [analyse exo-type ?values]
-    (|do [:let [(&/$Cons input (&/$Cons mask (&/$Nil))) ?values]
-          =mask (&&/analyse-1 analyse &type/Nat mask)
-          =input (&&/analyse-1 analyse &type/Nat input)
-          _ (&type/check exo-type &type/Nat)
-          _cursor &/cursor]
-      (return (&/|list (&&/|meta exo-type _cursor
-                                 (&&/$proc (&/T ["bit" <op>]) (&/|list =input =mask) (&/|list)))))))
-
-  ^:private analyse-bit-and "and"
-  ^:private analyse-bit-or  "or"
-  ^:private analyse-bit-xor "xor"
-  )
-
-(defn ^:private analyse-bit-count [analyse exo-type ?values]
-  (|do [:let [(&/$Cons input (&/$Nil)) ?values]
-        =input (&&/analyse-1 analyse &type/Nat input)
-        _ (&type/check exo-type &type/Nat)
-        _cursor &/cursor]
-    (return (&/|list (&&/|meta exo-type _cursor
-                               (&&/$proc (&/T ["bit" "count"]) (&/|list =input) (&/|list)))))))
-
-(do-template [<name> <op> <type>]
-  (defn <name> [analyse exo-type ?values]
-    (|do [:let [(&/$Cons input (&/$Cons shift (&/$Nil))) ?values]
-          =shift (&&/analyse-1 analyse &type/Nat shift)
-          =input (&&/analyse-1 analyse <type> input)
-          _ (&type/check exo-type <type>)
-          _cursor &/cursor]
-      (return (&/|list (&&/|meta exo-type _cursor
-                                 (&&/$proc (&/T ["bit" <op>]) (&/|list =input =shift) (&/|list)))))))
-
-  ^:private analyse-bit-shift-left           "shift-left"           &type/Nat
-  ^:private analyse-bit-shift-right          "shift-right"          &type/Int
-  ^:private analyse-bit-unsigned-shift-right "unsigned-shift-right" &type/Nat
-  )
-
-(defn ^:private analyse-lux-== [analyse exo-type ?values]
-  (&type/with-var
-    (fn [$var]
-      (|do [:let [(&/$Cons left (&/$Cons right (&/$Nil))) ?values]
-            =left (&&/analyse-1 analyse $var left)
-            =right (&&/analyse-1 analyse $var right)
-            _ (&type/check exo-type &type/Bool)
-            _cursor &/cursor]
-        (return (&/|list (&&/|meta exo-type _cursor
-                                   (&&/$proc (&/T ["lux" "=="]) (&/|list =left =right) (&/|list)))))))))
-
-(do-template [<name> <proc> <input-type> <output-type>]
-  (defn <name> [analyse exo-type ?values]
-    (|do [:let [(&/$Cons x (&/$Cons y (&/$Nil))) ?values]
-          =x (&&/analyse-1 analyse <input-type> x)
-          =y (&&/analyse-1 analyse <input-type> y)
-          _ (&type/check exo-type <output-type>)
-          _cursor &/cursor]
-      (return (&/|list (&&/|meta <output-type> _cursor
-                                 (&&/$proc (&/T <proc>) (&/|list =x =y) (&/|list)))))))
-
-  ^:private analyse-nat-add  ["nat" "+"]  &type/Nat  &type/Nat
-  ^:private analyse-nat-sub  ["nat" "-"]  &type/Nat  &type/Nat
-  ^:private analyse-nat-mul  ["nat" "*"]  &type/Nat  &type/Nat
-  ^:private analyse-nat-div  ["nat" "/"]  &type/Nat  &type/Nat
-  ^:private analyse-nat-rem  ["nat" "%"]  &type/Nat  &type/Nat
-  ^:private analyse-nat-eq   ["nat" "="]  &type/Nat  &type/Bool
-  ^:private analyse-nat-lt   ["nat" "<"]  &type/Nat  &type/Bool
-
-  ;; TODO: USE COMMON PROC ANALYSIS
-  ^:private analyse-int-add  ["int" "+"]  &type/Int  &type/Int
-  ^:private analyse-int-sub  ["int" "-"]  &type/Int  &type/Int
-  ^:private analyse-int-mul  ["int" "*"]  &type/Int  &type/Int
-  ^:private analyse-int-div  ["int" "/"]  &type/Int  &type/Int
-  ^:private analyse-int-rem  ["int" "%"]  &type/Int  &type/Int
-  ^:private analyse-int-eq   ["int" "="]  &type/Int  &type/Bool
-  ^:private analyse-int-lt   ["int" "<"]  &type/Int  &type/Bool
-
-  ^:private analyse-deg-add ["deg" "+"] &type/Deg &type/Deg
-  ^:private analyse-deg-sub ["deg" "-"] &type/Deg &type/Deg
-  ^:private analyse-deg-mul ["deg" "*"] &type/Deg &type/Deg
-  ^:private analyse-deg-div ["deg" "/"] &type/Deg &type/Deg
-  ^:private analyse-deg-rem ["deg" "%"] &type/Deg &type/Deg
-  ^:private analyse-deg-eq  ["deg" "="] &type/Deg &type/Bool
-  ^:private analyse-deg-lt  ["deg" "<"] &type/Deg &type/Bool
-
-  ;; TODO: USE COMMON PROC ANALYSIS
-  ^:private analyse-real-add  ["real" "+"]  &type/Real  &type/Real
-  ^:private analyse-real-sub  ["real" "-"]  &type/Real  &type/Real
-  ^:private analyse-real-mul  ["real" "*"]  &type/Real  &type/Real
-  ^:private analyse-real-div  ["real" "/"]  &type/Real  &type/Real
-  ^:private analyse-real-rem  ["real" "%"]  &type/Real  &type/Real
-  ^:private analyse-real-eq   ["real" "="]  &type/Real  &type/Bool
-  ^:private analyse-real-lt   ["real" "<"]  &type/Real  &type/Bool
-  )
-
-(defn ^:private analyse-deg-scale [analyse exo-type ?values]
-  (|do [:let [(&/$Cons x (&/$Cons y (&/$Nil))) ?values]
-        =x (&&/analyse-1 analyse &type/Deg x)
-        =y (&&/analyse-1 analyse &type/Nat y)
-        _ (&type/check exo-type &type/Deg)
-        _cursor &/cursor]
-    (return (&/|list (&&/|meta &type/Deg _cursor
-                               (&&/$proc (&/T ["deg" "scale"]) (&/|list =x =y) (&/|list)))))))
-
-(do-template [<encode> <encode-op> <decode> <decode-op> <type>]
-  (do (defn <encode> [analyse exo-type ?values]
-        (|do [:let [(&/$Cons x (&/$Nil)) ?values]
-              =x (&&/analyse-1 analyse <type> x)
-              _ (&type/check exo-type &type/Text)
-              _cursor &/cursor]
-          (return (&/|list (&&/|meta &type/Text _cursor
-                                     (&&/$proc (&/T <encode-op>) (&/|list =x) (&/|list)))))))
-
-    (let [decode-type (&/$AppT &type/Maybe <type>)]
-      (defn <decode> [analyse exo-type ?values]
-        (|do [:let [(&/$Cons x (&/$Nil)) ?values]
-              =x (&&/analyse-1 analyse &type/Text x)
-              _ (&type/check exo-type decode-type)
-              _cursor &/cursor]
-          (return (&/|list (&&/|meta decode-type _cursor
-                                     (&&/$proc (&/T <decode-op>) (&/|list =x) (&/|list)))))))))
-
-  ^:private analyse-nat-encode  ["nat"  "encode"] ^:private analyse-nat-decode  ["nat"  "decode"] &type/Nat
-  ;; TODO: USE COMMON PROC ANALYSIS
-  ^:private analyse-int-encode ["int" "encode"] ^:private analyse-int-decode ["int" "decode"] &type/Int
-  ^:private analyse-deg-encode ["deg" "encode"] ^:private analyse-deg-decode ["deg" "decode"] &type/Deg
-  ;; TODO: USE COMMON PROC ANALYSIS
-  ^:private analyse-real-encode ["real" "encode"] ^:private analyse-real-decode ["real" "decode"] &type/Real
-  )
-
-(do-template [<name> <type> <op>]
-  (defn <name> [analyse exo-type ?values]
-    (|do [:let [(&/$Nil) ?values]
-          _ (&type/check exo-type <type>)
-          _cursor &/cursor]
-      (return (&/|list (&&/|meta <type> _cursor
-                                 (&&/$proc (&/T <op>) (&/|list) (&/|list)))))))
-
-  ^:private analyse-nat-min-value  &type/Nat  ["nat"  "min-value"]
-  ^:private analyse-nat-max-value  &type/Nat  ["nat"  "max-value"]
-
-  ;; TODO: USE COMMON PROC ANALYSIS
-  ^:private analyse-int-min-value  &type/Int  ["int"  "min-value"]
-  ^:private analyse-int-max-value  &type/Int  ["int"  "max-value"]
-  
-  ^:private analyse-deg-min-value &type/Deg ["deg" "min-value"]
-  ^:private analyse-deg-max-value &type/Deg ["deg" "max-value"]
-
-  ;; TODO: USE COMMON PROC ANALYSIS
-  ^:private analyse-real-min-value  &type/Real  ["real"  "min-value"]
-  ^:private analyse-real-max-value  &type/Real  ["real"  "max-value"]
-  )
-
-(do-template [<name> <from-type> <to-type> <op>]
-  (defn <name> [analyse exo-type ?values]
-    (|do [:let [(&/$Cons x (&/$Nil)) ?values]
-          =x (&&/analyse-1 analyse <from-type> x)
-          _ (&type/check exo-type <to-type>)
-          _cursor &/cursor]
-      (return (&/|list (&&/|meta <to-type> _cursor
-                                 (&&/$proc (&/T <op>) (&/|list =x) (&/|list)))))))
-
-  ^:private analyse-nat-to-int   &type/Nat  &type/Int  ["nat" "to-int"]
-  ^:private analyse-nat-to-char  &type/Nat  &type/Char ["nat" "to-char"]
-  ^:private analyse-int-to-nat   &type/Int  &type/Nat  ["int" "to-nat"]
-  ^:private analyse-char-to-nat  &type/Char &type/Nat  ["char" "to-nat"]
-
-  ^:private analyse-deg-to-real &type/Deg &type/Real ["deg" "to-real"]
-  ^:private analyse-real-to-deg &type/Real &type/Deg ["real" "to-deg"]
-  )
-
-;; TODO: USE COMMON PROC ANALYSIS
-(do-template [<name> <proc> <input-type> <output-type>]
-  (defn <name> [analyse exo-type ?values]
-    (|do [:let [(&/$Cons x (&/$Cons y (&/$Nil))) ?values]
-          =x (&&/analyse-1 analyse <input-type> x)
-          =y (&&/analyse-1 analyse <input-type> y)
-          _ (&type/check exo-type <output-type>)
-          _cursor &/cursor]
-      (return (&/|list (&&/|meta <output-type> _cursor
-                                 (&&/$proc (&/T <proc>) (&/|list =x =y) (&/|list)))))))
-
-  ^:private analyse-text-eq     ["text" "="]      &type/Text &type/Bool
-  ^:private analyse-text-append ["text" "append"] &type/Text &type/Text
-  )
-;; TODO: USE COMMON PROC ANALYSIS
-
-(defn analyse-host [analyse exo-type compilers category proc ?values]
+(defn analyse-host [analyse exo-type compilers proc ?values]
   (|let [[_ _ _ compile-class compile-interface] compilers]
-    (case category
-      "lux"
-      (case proc
-        "=="                   (analyse-lux-== analyse exo-type ?values))
-
-      "text"
-      (case proc
-        "="                    (analyse-text-eq analyse exo-type ?values)
-        "append"               (analyse-text-append analyse exo-type ?values))
-      
-      "bit"
-      (case proc
-        "count"                (analyse-bit-count analyse exo-type ?values)
-        "and"                  (analyse-bit-and analyse exo-type ?values)
-        "or"                   (analyse-bit-or analyse exo-type ?values)
-        "xor"                  (analyse-bit-xor analyse exo-type ?values)
-        "shift-left"           (analyse-bit-shift-left analyse exo-type ?values)
-        "shift-right"          (analyse-bit-shift-right analyse exo-type ?values)
-        "unsigned-shift-right" (analyse-bit-unsigned-shift-right analyse exo-type ?values))
-      
-      "array"
-      (case proc
-        "new"    (analyse-array-new analyse exo-type ?values)
-        "get"    (analyse-array-get analyse exo-type ?values)
-        "put"    (analyse-jvm-aastore analyse exo-type ?values)
-        "remove" (analyse-array-remove analyse exo-type ?values)
-        "size"   (analyse-jvm-arraylength analyse exo-type ?values))
-
-      "nat"
-      (case proc
-        "+" (analyse-nat-add analyse exo-type ?values)
-        "-" (analyse-nat-sub analyse exo-type ?values)
-        "*" (analyse-nat-mul analyse exo-type ?values)
-        "/" (analyse-nat-div analyse exo-type ?values)
-        "%" (analyse-nat-rem analyse exo-type ?values)
-        "=" (analyse-nat-eq analyse exo-type ?values)
-        "<" (analyse-nat-lt analyse exo-type ?values)
-        "encode" (analyse-nat-encode analyse exo-type ?values)
-        "decode" (analyse-nat-decode analyse exo-type ?values)
-        "min-value" (analyse-nat-min-value analyse exo-type ?values)
-        "max-value" (analyse-nat-max-value analyse exo-type ?values)
-        "to-int" (analyse-nat-to-int analyse exo-type ?values)
-        "to-char" (analyse-nat-to-char analyse exo-type ?values)
-        )
-
-      "deg"
-      (case proc
-        "+" (analyse-deg-add analyse exo-type ?values)
-        "-" (analyse-deg-sub analyse exo-type ?values)
-        "*" (analyse-deg-mul analyse exo-type ?values)
-        "/" (analyse-deg-div analyse exo-type ?values)
-        "%" (analyse-deg-rem analyse exo-type ?values)
-        "=" (analyse-deg-eq analyse exo-type ?values)
-        "<" (analyse-deg-lt analyse exo-type ?values)
-        "encode" (analyse-deg-encode analyse exo-type ?values)
-        "decode" (analyse-deg-decode analyse exo-type ?values)
-        "min-value" (analyse-deg-min-value analyse exo-type ?values)
-        "max-value" (analyse-deg-max-value analyse exo-type ?values)
-        "to-real" (analyse-deg-to-real analyse exo-type ?values)
-        "scale" (analyse-deg-scale analyse exo-type ?values)
-        )
-
-      "int"
-      (case proc
-        "+" (analyse-int-add analyse exo-type ?values)
-        "-" (analyse-int-sub analyse exo-type ?values)
-        "*" (analyse-int-mul analyse exo-type ?values)
-        "/" (analyse-int-div analyse exo-type ?values)
-        "%" (analyse-int-rem analyse exo-type ?values)
-        "=" (analyse-int-eq analyse exo-type ?values)
-        "<" (analyse-int-lt analyse exo-type ?values)
-        "encode" (analyse-int-encode analyse exo-type ?values)
-        "decode" (analyse-int-decode analyse exo-type ?values)
-        "min-value" (analyse-int-min-value analyse exo-type ?values)
-        "max-value" (analyse-int-max-value analyse exo-type ?values)
-        "to-nat" (analyse-int-to-nat analyse exo-type ?values)
-        )
-
-      "real"
-      (case proc
-        "+" (analyse-real-add analyse exo-type ?values)
-        "-" (analyse-real-sub analyse exo-type ?values)
-        "*" (analyse-real-mul analyse exo-type ?values)
-        "/" (analyse-real-div analyse exo-type ?values)
-        "%" (analyse-real-rem analyse exo-type ?values)
-        "=" (analyse-real-eq analyse exo-type ?values)
-        "<" (analyse-real-lt analyse exo-type ?values)
-        "encode" (analyse-real-encode analyse exo-type ?values)
-        "decode" (analyse-real-decode analyse exo-type ?values)
-        "min-value" (analyse-real-min-value analyse exo-type ?values)
-        "max-value" (analyse-real-max-value analyse exo-type ?values)
-        "to-deg" (analyse-real-to-deg analyse exo-type ?values)
-        )
-
-      "char"
-      (case proc
-        "to-nat" (analyse-char-to-nat analyse exo-type ?values)
-        )
-      
-      "jvm"
-      (case proc
-        "synchronized" (analyse-jvm-synchronized analyse exo-type ?values)
-        "load-class"   (analyse-jvm-load-class analyse exo-type ?values)
-        "try"          (analyse-jvm-try analyse exo-type ?values)
-        "throw"        (analyse-jvm-throw analyse exo-type ?values)
-        "null?"        (analyse-jvm-null? analyse exo-type ?values)
-        "null"         (analyse-jvm-null analyse exo-type ?values)
-        "anewarray"    (analyse-jvm-anewarray analyse exo-type ?values)
-        "aaload"       (analyse-jvm-aaload analyse exo-type ?values)
-        "aastore"      (analyse-jvm-aastore analyse exo-type ?values)
-        "arraylength"  (analyse-jvm-arraylength analyse exo-type ?values)
-        "znewarray"    (analyse-jvm-znewarray analyse exo-type ?values)
-        "bnewarray"    (analyse-jvm-bnewarray analyse exo-type ?values)
-        "snewarray"    (analyse-jvm-snewarray analyse exo-type ?values)
-        "inewarray"    (analyse-jvm-inewarray analyse exo-type ?values)
-        "lnewarray"    (analyse-jvm-lnewarray analyse exo-type ?values)
-        "fnewarray"    (analyse-jvm-fnewarray analyse exo-type ?values)
-        "dnewarray"    (analyse-jvm-dnewarray analyse exo-type ?values)
-        "cnewarray"    (analyse-jvm-cnewarray analyse exo-type ?values)
-        "iadd"         (analyse-jvm-iadd analyse exo-type ?values)
-        "isub"         (analyse-jvm-isub analyse exo-type ?values)
-        "imul"         (analyse-jvm-imul analyse exo-type ?values)
-        "idiv"         (analyse-jvm-idiv analyse exo-type ?values)
-        "irem"         (analyse-jvm-irem analyse exo-type ?values)
-        "ieq"          (analyse-jvm-ieq analyse exo-type ?values)
-        "ilt"          (analyse-jvm-ilt analyse exo-type ?values)
-        "igt"          (analyse-jvm-igt analyse exo-type ?values)
-        "ceq"          (analyse-jvm-ceq analyse exo-type ?values)
-        "clt"          (analyse-jvm-clt analyse exo-type ?values)
-        "cgt"          (analyse-jvm-cgt analyse exo-type ?values)
-        "ladd"         (analyse-jvm-ladd analyse exo-type ?values)
-        "lsub"         (analyse-jvm-lsub analyse exo-type ?values)
-        "lmul"         (analyse-jvm-lmul analyse exo-type ?values)
-        "ldiv"         (analyse-jvm-ldiv analyse exo-type ?values)
-        "lrem"         (analyse-jvm-lrem analyse exo-type ?values)
-        "leq"          (analyse-jvm-leq analyse exo-type ?values)
-        "llt"          (analyse-jvm-llt analyse exo-type ?values)
-        "lgt"          (analyse-jvm-lgt analyse exo-type ?values)
-        "fadd"         (analyse-jvm-fadd analyse exo-type ?values)
-        "fsub"         (analyse-jvm-fsub analyse exo-type ?values)
-        "fmul"         (analyse-jvm-fmul analyse exo-type ?values)
-        "fdiv"         (analyse-jvm-fdiv analyse exo-type ?values)
-        "frem"         (analyse-jvm-frem analyse exo-type ?values)
-        "feq"          (analyse-jvm-feq analyse exo-type ?values)
-        "flt"          (analyse-jvm-flt analyse exo-type ?values)
-        "fgt"          (analyse-jvm-fgt analyse exo-type ?values)
-        "dadd"         (analyse-jvm-dadd analyse exo-type ?values)
-        "dsub"         (analyse-jvm-dsub analyse exo-type ?values)
-        "dmul"         (analyse-jvm-dmul analyse exo-type ?values)
-        "ddiv"         (analyse-jvm-ddiv analyse exo-type ?values)
-        "drem"         (analyse-jvm-drem analyse exo-type ?values)
-        "deq"          (analyse-jvm-deq analyse exo-type ?values)
-        "dlt"          (analyse-jvm-dlt analyse exo-type ?values)
-        "dgt"          (analyse-jvm-dgt analyse exo-type ?values)
-        "iand"         (analyse-jvm-iand analyse exo-type ?values)
-        "ior"          (analyse-jvm-ior analyse exo-type ?values)
-        "ixor"         (analyse-jvm-ixor analyse exo-type ?values)
-        "ishl"         (analyse-jvm-ishl analyse exo-type ?values)
-        "ishr"         (analyse-jvm-ishr analyse exo-type ?values)
-        "iushr"        (analyse-jvm-iushr analyse exo-type ?values)
-        "land"         (analyse-jvm-land analyse exo-type ?values)
-        "lor"          (analyse-jvm-lor analyse exo-type ?values)
-        "lxor"         (analyse-jvm-lxor analyse exo-type ?values)
-        "lshl"         (analyse-jvm-lshl analyse exo-type ?values)
-        "lshr"         (analyse-jvm-lshr analyse exo-type ?values)
-        "lushr"        (analyse-jvm-lushr analyse exo-type ?values)
-        "d2f"          (analyse-jvm-d2f analyse exo-type ?values)
-        "d2i"          (analyse-jvm-d2i analyse exo-type ?values)
-        "d2l"          (analyse-jvm-d2l analyse exo-type ?values)
-        "f2d"          (analyse-jvm-f2d analyse exo-type ?values)
-        "f2i"          (analyse-jvm-f2i analyse exo-type ?values)
-        "f2l"          (analyse-jvm-f2l analyse exo-type ?values)
-        "i2b"          (analyse-jvm-i2b analyse exo-type ?values)
-        "i2c"          (analyse-jvm-i2c analyse exo-type ?values)
-        "i2d"          (analyse-jvm-i2d analyse exo-type ?values)
-        "i2f"          (analyse-jvm-i2f analyse exo-type ?values)
-        "i2l"          (analyse-jvm-i2l analyse exo-type ?values)
-        "i2s"          (analyse-jvm-i2s analyse exo-type ?values)
-        "l2d"          (analyse-jvm-l2d analyse exo-type ?values)
-        "l2f"          (analyse-jvm-l2f analyse exo-type ?values)
-        "l2i"          (analyse-jvm-l2i analyse exo-type ?values)
-        "l2s"          (analyse-jvm-l2s analyse exo-type ?values)
-        "l2b"          (analyse-jvm-l2b analyse exo-type ?values)
-        "c2b"          (analyse-jvm-c2b analyse exo-type ?values)
-        "c2s"          (analyse-jvm-c2s analyse exo-type ?values)
-        "c2i"          (analyse-jvm-c2i analyse exo-type ?values)
-        "c2l"          (analyse-jvm-c2l analyse exo-type ?values)
-        "b2l"          (analyse-jvm-b2l analyse exo-type ?values)
-        "s2l"          (analyse-jvm-s2l analyse exo-type ?values)
-        ;; else
-        (->> (&/fail-with-loc (str "[Analyser Error] Unknown host procedure: " [category proc]))
-             (if-let [[_ _def-code] (re-find #"^interface:(.*)$" proc)]
-               (|do [[_module _line _column] &/cursor]
-                 (&reader/with-source (str "interface@" "(" _module "," _line "," _column ")") _def-code
-                   (|do [[=gclass-decl =supers =anns =methods] &&a-parser/parse-interface-def]
-                     (analyse-jvm-interface analyse compile-interface =gclass-decl =supers =anns =methods)))))
-             
-             (if-let [[_ _def-code] (re-find #"^class:(.*)$" proc)]
-               (|do [[_module _line _column] &/cursor]
-                 (&reader/with-source (str "class@" "(" _module "," _line "," _column ")") _def-code
-                   (|do [[=gclass-decl =super-class =interfaces =inheritance-modifier =anns =fields =methods] &&a-parser/parse-class-def]
-                     (analyse-jvm-class analyse compile-class =gclass-decl =super-class =interfaces =inheritance-modifier =anns =fields =methods)))))
-             
-             (if-let [[_ _def-code] (re-find #"^anon-class:(.*)$" proc)]
-               (|do [[_module _line _column] &/cursor]
-                 (&reader/with-source (str "anon-class@" "(" _module "," _line "," _column ")") _def-code
-                   (|do [[=super-class =interfaces =ctor-args =methods] &&a-parser/parse-anon-class-def]
-                     (analyse-jvm-anon-class analyse compile-class exo-type =super-class =interfaces =ctor-args =methods)))))
-             
-             (if-let [[_ _class] (re-find #"^instanceof:([^:]+)$" proc)]
-               (analyse-jvm-instanceof analyse exo-type _class ?values))
-             
-             (if-let [[_ _class _arg-classes] (re-find #"^new:([^:]+):([^:]*)$" proc)]
-               (analyse-jvm-new analyse exo-type _class (if (= "" _arg-classes) (&/|list) (&/->list (string/split _arg-classes #","))) ?values))
-             
-             (if-let [[_ _class _method _arg-classes] (re-find #"^invokestatic:([^:]+):([^:]+):([^:]*)$" proc)]
-               (analyse-jvm-invokestatic analyse exo-type _class _method (if (= "" _arg-classes) (&/|list) (&/->list (string/split _arg-classes #","))) ?values))
-             
-             (if-let [[_ _class _method _arg-classes] (re-find #"^invokeinterface:([^:]+):([^:]+):([^:]*)$" proc)]
-               (analyse-jvm-invokeinterface analyse exo-type _class _method (if (= "" _arg-classes) (&/|list) (&/->list (string/split _arg-classes #","))) ?values))
-             
-             (if-let [[_ _class _method _arg-classes] (re-find #"^invokevirtual:([^:]+):([^:]+):([^:]*)$" proc)]
-               (analyse-jvm-invokevirtual analyse exo-type _class _method (if (= "" _arg-classes) (&/|list) (&/->list (string/split _arg-classes #","))) ?values))
-             
-             (if-let [[_ _class _method _arg-classes] (re-find #"^invokespecial:([^:]+):([^:]+):([^:]*)$" proc)]
-               (analyse-jvm-invokespecial analyse exo-type _class _method (if (= "" _arg-classes) (&/|list) (&/->list (string/split _arg-classes #","))) ?values))
-             
-             (if-let [[_ _class _field] (re-find #"^getstatic:([^:]+):([^:]+)$" proc)]
-               (analyse-jvm-getstatic analyse exo-type _class _field ?values))
-             
-             (if-let [[_ _class _field] (re-find #"^getfield:([^:]+):([^:]+)$" proc)]
-               (analyse-jvm-getfield analyse exo-type _class _field ?values))
-             
-             (if-let [[_ _class _field] (re-find #"^putstatic:([^:]+):([^:]+)$" proc)]
-               (analyse-jvm-putstatic analyse exo-type _class _field ?values))
-             
-             (if-let [[_ _class _field] (re-find #"^putfield:([^:]+):([^:]+)$" proc)]
-               (analyse-jvm-putfield analyse exo-type _class _field ?values))))
-
+    (case proc
+      "synchronized" (analyse-jvm-synchronized analyse exo-type ?values)
+      "load-class"   (analyse-jvm-load-class analyse exo-type ?values)
+      "try"          (analyse-jvm-try analyse exo-type ?values)
+      "throw"        (analyse-jvm-throw analyse exo-type ?values)
+      "null?"        (analyse-jvm-null? analyse exo-type ?values)
+      "null"         (analyse-jvm-null analyse exo-type ?values)
+      "anewarray"    (analyse-jvm-anewarray analyse exo-type ?values)
+      "aaload"       (analyse-jvm-aaload analyse exo-type ?values)
+      "aastore"      (analyse-jvm-aastore analyse exo-type ?values)
+      "arraylength"  (analyse-jvm-arraylength analyse exo-type ?values)
+      "znewarray"    (analyse-jvm-znewarray analyse exo-type ?values)
+      "bnewarray"    (analyse-jvm-bnewarray analyse exo-type ?values)
+      "snewarray"    (analyse-jvm-snewarray analyse exo-type ?values)
+      "inewarray"    (analyse-jvm-inewarray analyse exo-type ?values)
+      "lnewarray"    (analyse-jvm-lnewarray analyse exo-type ?values)
+      "fnewarray"    (analyse-jvm-fnewarray analyse exo-type ?values)
+      "dnewarray"    (analyse-jvm-dnewarray analyse exo-type ?values)
+      "cnewarray"    (analyse-jvm-cnewarray analyse exo-type ?values)
+      "iadd"         (analyse-jvm-iadd analyse exo-type ?values)
+      "isub"         (analyse-jvm-isub analyse exo-type ?values)
+      "imul"         (analyse-jvm-imul analyse exo-type ?values)
+      "idiv"         (analyse-jvm-idiv analyse exo-type ?values)
+      "irem"         (analyse-jvm-irem analyse exo-type ?values)
+      "ieq"          (analyse-jvm-ieq analyse exo-type ?values)
+      "ilt"          (analyse-jvm-ilt analyse exo-type ?values)
+      "igt"          (analyse-jvm-igt analyse exo-type ?values)
+      "ceq"          (analyse-jvm-ceq analyse exo-type ?values)
+      "clt"          (analyse-jvm-clt analyse exo-type ?values)
+      "cgt"          (analyse-jvm-cgt analyse exo-type ?values)
+      "ladd"         (analyse-jvm-ladd analyse exo-type ?values)
+      "lsub"         (analyse-jvm-lsub analyse exo-type ?values)
+      "lmul"         (analyse-jvm-lmul analyse exo-type ?values)
+      "ldiv"         (analyse-jvm-ldiv analyse exo-type ?values)
+      "lrem"         (analyse-jvm-lrem analyse exo-type ?values)
+      "leq"          (analyse-jvm-leq analyse exo-type ?values)
+      "llt"          (analyse-jvm-llt analyse exo-type ?values)
+      "lgt"          (analyse-jvm-lgt analyse exo-type ?values)
+      "fadd"         (analyse-jvm-fadd analyse exo-type ?values)
+      "fsub"         (analyse-jvm-fsub analyse exo-type ?values)
+      "fmul"         (analyse-jvm-fmul analyse exo-type ?values)
+      "fdiv"         (analyse-jvm-fdiv analyse exo-type ?values)
+      "frem"         (analyse-jvm-frem analyse exo-type ?values)
+      "feq"          (analyse-jvm-feq analyse exo-type ?values)
+      "flt"          (analyse-jvm-flt analyse exo-type ?values)
+      "fgt"          (analyse-jvm-fgt analyse exo-type ?values)
+      "dadd"         (analyse-jvm-dadd analyse exo-type ?values)
+      "dsub"         (analyse-jvm-dsub analyse exo-type ?values)
+      "dmul"         (analyse-jvm-dmul analyse exo-type ?values)
+      "ddiv"         (analyse-jvm-ddiv analyse exo-type ?values)
+      "drem"         (analyse-jvm-drem analyse exo-type ?values)
+      "deq"          (analyse-jvm-deq analyse exo-type ?values)
+      "dlt"          (analyse-jvm-dlt analyse exo-type ?values)
+      "dgt"          (analyse-jvm-dgt analyse exo-type ?values)
+      "iand"         (analyse-jvm-iand analyse exo-type ?values)
+      "ior"          (analyse-jvm-ior analyse exo-type ?values)
+      "ixor"         (analyse-jvm-ixor analyse exo-type ?values)
+      "ishl"         (analyse-jvm-ishl analyse exo-type ?values)
+      "ishr"         (analyse-jvm-ishr analyse exo-type ?values)
+      "iushr"        (analyse-jvm-iushr analyse exo-type ?values)
+      "land"         (analyse-jvm-land analyse exo-type ?values)
+      "lor"          (analyse-jvm-lor analyse exo-type ?values)
+      "lxor"         (analyse-jvm-lxor analyse exo-type ?values)
+      "lshl"         (analyse-jvm-lshl analyse exo-type ?values)
+      "lshr"         (analyse-jvm-lshr analyse exo-type ?values)
+      "lushr"        (analyse-jvm-lushr analyse exo-type ?values)
+      "d2f"          (analyse-jvm-d2f analyse exo-type ?values)
+      "d2i"          (analyse-jvm-d2i analyse exo-type ?values)
+      "d2l"          (analyse-jvm-d2l analyse exo-type ?values)
+      "f2d"          (analyse-jvm-f2d analyse exo-type ?values)
+      "f2i"          (analyse-jvm-f2i analyse exo-type ?values)
+      "f2l"          (analyse-jvm-f2l analyse exo-type ?values)
+      "i2b"          (analyse-jvm-i2b analyse exo-type ?values)
+      "i2c"          (analyse-jvm-i2c analyse exo-type ?values)
+      "i2d"          (analyse-jvm-i2d analyse exo-type ?values)
+      "i2f"          (analyse-jvm-i2f analyse exo-type ?values)
+      "i2l"          (analyse-jvm-i2l analyse exo-type ?values)
+      "i2s"          (analyse-jvm-i2s analyse exo-type ?values)
+      "l2d"          (analyse-jvm-l2d analyse exo-type ?values)
+      "l2f"          (analyse-jvm-l2f analyse exo-type ?values)
+      "l2i"          (analyse-jvm-l2i analyse exo-type ?values)
+      "l2s"          (analyse-jvm-l2s analyse exo-type ?values)
+      "l2b"          (analyse-jvm-l2b analyse exo-type ?values)
+      "c2b"          (analyse-jvm-c2b analyse exo-type ?values)
+      "c2s"          (analyse-jvm-c2s analyse exo-type ?values)
+      "c2i"          (analyse-jvm-c2i analyse exo-type ?values)
+      "c2l"          (analyse-jvm-c2l analyse exo-type ?values)
+      "b2l"          (analyse-jvm-b2l analyse exo-type ?values)
+      "s2l"          (analyse-jvm-s2l analyse exo-type ?values)
       ;; else
-      (&/fail-with-loc (str "[Analyser Error] Unknown host procedure: " [category proc])))))
+      (->> (&/fail-with-loc (str "[Analyser Error] Unknown JVM procedure: " proc))
+           (if-let [[_ _def-code] (re-find #"^interface:(.*)$" proc)]
+             (|do [[_module _line _column] &/cursor]
+               (&reader/with-source (str "interface@" "(" _module "," _line "," _column ")") _def-code
+                 (|do [[=gclass-decl =supers =anns =methods] &&a-parser/parse-interface-def]
+                   (analyse-jvm-interface analyse compile-interface =gclass-decl =supers =anns =methods)))))
+           
+           (if-let [[_ _def-code] (re-find #"^class:(.*)$" proc)]
+             (|do [[_module _line _column] &/cursor]
+               (&reader/with-source (str "class@" "(" _module "," _line "," _column ")") _def-code
+                 (|do [[=gclass-decl =super-class =interfaces =inheritance-modifier =anns =fields =methods] &&a-parser/parse-class-def]
+                   (analyse-jvm-class analyse compile-class =gclass-decl =super-class =interfaces =inheritance-modifier =anns =fields =methods)))))
+           
+           (if-let [[_ _def-code] (re-find #"^anon-class:(.*)$" proc)]
+             (|do [[_module _line _column] &/cursor]
+               (&reader/with-source (str "anon-class@" "(" _module "," _line "," _column ")") _def-code
+                 (|do [[=super-class =interfaces =ctor-args =methods] &&a-parser/parse-anon-class-def]
+                   (analyse-jvm-anon-class analyse compile-class exo-type =super-class =interfaces =ctor-args =methods)))))
+           
+           (if-let [[_ _class] (re-find #"^instanceof:([^:]+)$" proc)]
+             (analyse-jvm-instanceof analyse exo-type _class ?values))
+           
+           (if-let [[_ _class _arg-classes] (re-find #"^new:([^:]+):([^:]*)$" proc)]
+             (analyse-jvm-new analyse exo-type _class (if (= "" _arg-classes) (&/|list) (&/->list (string/split _arg-classes #","))) ?values))
+           
+           (if-let [[_ _class _method _arg-classes] (re-find #"^invokestatic:([^:]+):([^:]+):([^:]*)$" proc)]
+             (analyse-jvm-invokestatic analyse exo-type _class _method (if (= "" _arg-classes) (&/|list) (&/->list (string/split _arg-classes #","))) ?values))
+           
+           (if-let [[_ _class _method _arg-classes] (re-find #"^invokeinterface:([^:]+):([^:]+):([^:]*)$" proc)]
+             (analyse-jvm-invokeinterface analyse exo-type _class _method (if (= "" _arg-classes) (&/|list) (&/->list (string/split _arg-classes #","))) ?values))
+           
+           (if-let [[_ _class _method _arg-classes] (re-find #"^invokevirtual:([^:]+):([^:]+):([^:]*)$" proc)]
+             (analyse-jvm-invokevirtual analyse exo-type _class _method (if (= "" _arg-classes) (&/|list) (&/->list (string/split _arg-classes #","))) ?values))
+           
+           (if-let [[_ _class _method _arg-classes] (re-find #"^invokespecial:([^:]+):([^:]+):([^:]*)$" proc)]
+             (analyse-jvm-invokespecial analyse exo-type _class _method (if (= "" _arg-classes) (&/|list) (&/->list (string/split _arg-classes #","))) ?values))
+           
+           (if-let [[_ _class _field] (re-find #"^getstatic:([^:]+):([^:]+)$" proc)]
+             (analyse-jvm-getstatic analyse exo-type _class _field ?values))
+           
+           (if-let [[_ _class _field] (re-find #"^getfield:([^:]+):([^:]+)$" proc)]
+             (analyse-jvm-getfield analyse exo-type _class _field ?values))
+           
+           (if-let [[_ _class _field] (re-find #"^putstatic:([^:]+):([^:]+)$" proc)]
+             (analyse-jvm-putstatic analyse exo-type _class _field ?values))
+           
+           (if-let [[_ _class _field] (re-find #"^putfield:([^:]+):([^:]+)$" proc)]
+             (analyse-jvm-putfield analyse exo-type _class _field ?values))))
+    ))