diff options
Diffstat (limited to '')
| -rw-r--r-- | documentation/research/database.md | 1 | ||||
| -rw-r--r-- | new-luxc/source/luxc/lang/translation/jvm/procedure/host.lux | 144 | ||||
| -rw-r--r-- | stdlib/source/lux/host.jvm.lux | 122 | ||||
| -rw-r--r-- | stdlib/source/lux/target/jvm/type.lux | 13 | ||||
| -rw-r--r-- | stdlib/source/lux/tool/compiler/phase/extension/analysis/jvm.lux | 59 |
5 files changed, 169 insertions, 170 deletions
diff --git a/documentation/research/database.md b/documentation/research/database.md index 17a201ef5..4d3be85a6 100644 --- a/documentation/research/database.md +++ b/documentation/research/database.md @@ -168,6 +168,7 @@ 1. https://www.slideshare.net/RoiLipman/graph-algebra 1. https://juxt.pro/crux/docs/index.html 1. https://github.com/juxt/crux +1. [The Crux of Bitemporality - Jon Pither](https://www.youtube.com/watch?v=3Stja6YUB94) ## Column diff --git a/new-luxc/source/luxc/lang/translation/jvm/procedure/host.lux b/new-luxc/source/luxc/lang/translation/jvm/procedure/host.lux index be2a0bace..e1e6b3c47 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/procedure/host.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/procedure/host.lux @@ -181,7 +181,7 @@ [double::% _.DREM] ) -(def: boolean-class (jvm.class "java.lang.Boolean" (list))) +(def: boolean-class (jvm.class jvm.boolean-box (list))) (def: falseI (_.GETSTATIC "java.lang.Boolean" "FALSE" boolean-class)) (def: trueI (_.GETSTATIC "java.lang.Boolean" "TRUE" boolean-class)) @@ -234,7 +234,7 @@ (def: int Bundle - (<| (bundle.prefix "int") + (<| (bundle.prefix jvm.int-reflection) (|> (: Bundle bundle.empty) (bundle.install "+" (binary int::+)) (bundle.install "-" (binary int::-)) @@ -253,7 +253,7 @@ (def: long Bundle - (<| (bundle.prefix "long") + (<| (bundle.prefix jvm.long-reflection) (|> (: Bundle bundle.empty) (bundle.install "+" (binary long::+)) (bundle.install "-" (binary long::-)) @@ -272,7 +272,7 @@ (def: float Bundle - (<| (bundle.prefix "float") + (<| (bundle.prefix jvm.float-reflection) (|> (: Bundle bundle.empty) (bundle.install "+" (binary float::+)) (bundle.install "-" (binary float::-)) @@ -285,7 +285,7 @@ (def: double Bundle - (<| (bundle.prefix "double") + (<| (bundle.prefix jvm.double-reflection) (|> (: Bundle bundle.empty) (bundle.install "+" (binary double::+)) (bundle.install "-" (binary double::-)) @@ -298,7 +298,7 @@ (def: char Bundle - (<| (bundle.prefix "char") + (<| (bundle.prefix jvm.char-reflection) (|> (: Bundle bundle.empty) (bundle.install "=" (binary char::=)) (bundle.install "<" (binary char::<)) @@ -308,14 +308,14 @@ (-> Nat Text Type) (jvm.array nesting (case elem-class - "boolean" jvm.boolean - "byte" jvm.byte - "short" jvm.short - "int" jvm.int - "long" jvm.long - "float" jvm.float - "double" jvm.double - "char" jvm.char + (^ (static jvm.boolean-reflection)) jvm.boolean + (^ (static jvm.byte-reflection)) jvm.byte + (^ (static jvm.short-reflection)) jvm.short + (^ (static jvm.int-reflection)) jvm.int + (^ (static jvm.long-reflection)) jvm.long + (^ (static jvm.float-reflection)) jvm.float + (^ (static jvm.double-reflection)) jvm.double + (^ (static jvm.char-reflection)) jvm.char _ (jvm.class elem-class (list))))) (def: (primitive-array-length-handler jvm-primitive) @@ -451,47 +451,47 @@ (|> bundle.empty (dictionary.merge (<| (bundle.prefix "length") (|> bundle.empty - (bundle.install "boolean" (primitive-array-length-handler jvm.boolean)) - (bundle.install "byte" (primitive-array-length-handler jvm.byte)) - (bundle.install "short" (primitive-array-length-handler jvm.short)) - (bundle.install "int" (primitive-array-length-handler jvm.int)) - (bundle.install "long" (primitive-array-length-handler jvm.long)) - (bundle.install "float" (primitive-array-length-handler jvm.float)) - (bundle.install "double" (primitive-array-length-handler jvm.double)) - (bundle.install "char" (primitive-array-length-handler jvm.char)) + (bundle.install jvm.boolean-reflection (primitive-array-length-handler jvm.boolean)) + (bundle.install jvm.byte-reflection (primitive-array-length-handler jvm.byte)) + (bundle.install jvm.short-reflection (primitive-array-length-handler jvm.short)) + (bundle.install jvm.int-reflection (primitive-array-length-handler jvm.int)) + (bundle.install jvm.long-reflection (primitive-array-length-handler jvm.long)) + (bundle.install jvm.float-reflection (primitive-array-length-handler jvm.float)) + (bundle.install jvm.double-reflection (primitive-array-length-handler jvm.double)) + (bundle.install jvm.char-reflection (primitive-array-length-handler jvm.char)) (bundle.install "object" array::length::object)))) (dictionary.merge (<| (bundle.prefix "new") (|> bundle.empty - (bundle.install "boolean" (new-primitive-array-handler jvm.boolean)) - (bundle.install "byte" (new-primitive-array-handler jvm.byte)) - (bundle.install "short" (new-primitive-array-handler jvm.short)) - (bundle.install "int" (new-primitive-array-handler jvm.int)) - (bundle.install "long" (new-primitive-array-handler jvm.long)) - (bundle.install "float" (new-primitive-array-handler jvm.float)) - (bundle.install "double" (new-primitive-array-handler jvm.double)) - (bundle.install "char" (new-primitive-array-handler jvm.char)) + (bundle.install jvm.boolean-reflection (new-primitive-array-handler jvm.boolean)) + (bundle.install jvm.byte-reflection (new-primitive-array-handler jvm.byte)) + (bundle.install jvm.short-reflection (new-primitive-array-handler jvm.short)) + (bundle.install jvm.int-reflection (new-primitive-array-handler jvm.int)) + (bundle.install jvm.long-reflection (new-primitive-array-handler jvm.long)) + (bundle.install jvm.float-reflection (new-primitive-array-handler jvm.float)) + (bundle.install jvm.double-reflection (new-primitive-array-handler jvm.double)) + (bundle.install jvm.char-reflection (new-primitive-array-handler jvm.char)) (bundle.install "object" array::new::object)))) (dictionary.merge (<| (bundle.prefix "read") (|> bundle.empty - (bundle.install "boolean" (read-primitive-array-handler jvm.boolean _.BALOAD)) - (bundle.install "byte" (read-primitive-array-handler jvm.byte _.BALOAD)) - (bundle.install "short" (read-primitive-array-handler jvm.short _.SALOAD)) - (bundle.install "int" (read-primitive-array-handler jvm.int _.IALOAD)) - (bundle.install "long" (read-primitive-array-handler jvm.long _.LALOAD)) - (bundle.install "float" (read-primitive-array-handler jvm.float _.FALOAD)) - (bundle.install "double" (read-primitive-array-handler jvm.double _.DALOAD)) - (bundle.install "char" (read-primitive-array-handler jvm.char _.CALOAD)) + (bundle.install jvm.boolean-reflection (read-primitive-array-handler jvm.boolean _.BALOAD)) + (bundle.install jvm.byte-reflection (read-primitive-array-handler jvm.byte _.BALOAD)) + (bundle.install jvm.short-reflection (read-primitive-array-handler jvm.short _.SALOAD)) + (bundle.install jvm.int-reflection (read-primitive-array-handler jvm.int _.IALOAD)) + (bundle.install jvm.long-reflection (read-primitive-array-handler jvm.long _.LALOAD)) + (bundle.install jvm.float-reflection (read-primitive-array-handler jvm.float _.FALOAD)) + (bundle.install jvm.double-reflection (read-primitive-array-handler jvm.double _.DALOAD)) + (bundle.install jvm.char-reflection (read-primitive-array-handler jvm.char _.CALOAD)) (bundle.install "object" array::read::object)))) (dictionary.merge (<| (bundle.prefix "write") (|> bundle.empty - (bundle.install "boolean" (write-primitive-array-handler jvm.boolean _.BASTORE)) - (bundle.install "byte" (write-primitive-array-handler jvm.byte _.BASTORE)) - (bundle.install "short" (write-primitive-array-handler jvm.short _.SASTORE)) - (bundle.install "int" (write-primitive-array-handler jvm.int _.IASTORE)) - (bundle.install "long" (write-primitive-array-handler jvm.long _.LASTORE)) - (bundle.install "float" (write-primitive-array-handler jvm.float _.FASTORE)) - (bundle.install "double" (write-primitive-array-handler jvm.double _.DASTORE)) - (bundle.install "char" (write-primitive-array-handler jvm.char _.CASTORE)) + (bundle.install jvm.boolean-reflection (write-primitive-array-handler jvm.boolean _.BASTORE)) + (bundle.install jvm.byte-reflection (write-primitive-array-handler jvm.byte _.BASTORE)) + (bundle.install jvm.short-reflection (write-primitive-array-handler jvm.short _.SASTORE)) + (bundle.install jvm.int-reflection (write-primitive-array-handler jvm.int _.IASTORE)) + (bundle.install jvm.long-reflection (write-primitive-array-handler jvm.long _.LASTORE)) + (bundle.install jvm.float-reflection (write-primitive-array-handler jvm.float _.FASTORE)) + (bundle.install jvm.double-reflection (write-primitive-array-handler jvm.double _.DASTORE)) + (bundle.install jvm.char-reflection (write-primitive-array-handler jvm.char _.CASTORE)) (bundle.install "object" array::write::object)))) ))) @@ -563,19 +563,19 @@ (case [from to] ## Wrap (^template [<primitive> <object> <type>] - [<primitive> <object>] + (^ [(static <primitive>) (static <object>)]) (wrap (|>> valueI (_.wrap <type>))) - [<object> <primitive>] + (^ [(static <object>) (static <primitive>)]) (wrap (|>> valueI (_.unwrap <type>)))) - (["boolean" "java.lang.Boolean" #jvm.Boolean] - ["byte" "java.lang.Byte" #jvm.Byte] - ["short" "java.lang.Short" #jvm.Short] - ["int" "java.lang.Integer" #jvm.Int] - ["long" "java.lang.Long" #jvm.Long] - ["float" "java.lang.Float" #jvm.Float] - ["double" "java.lang.Double" #jvm.Double] - ["char" "java.lang.Character" #jvm.Char]) + ([jvm.boolean-reflection jvm.boolean-box #jvm.Boolean] + [jvm.byte-reflection jvm.byte-box #jvm.Byte] + [jvm.short-reflection jvm.short-box #jvm.Short] + [jvm.int-reflection jvm.int-box #jvm.Int] + [jvm.long-reflection jvm.long-box #jvm.Long] + [jvm.float-reflection jvm.float-box #jvm.Float] + [jvm.double-reflection jvm.double-box #jvm.Double] + [jvm.char-reflection jvm.char-box #jvm.Char]) _ (wrap valueI))) @@ -598,14 +598,14 @@ (def: primitives (Dictionary Text Primitive) - (|> (list ["boolean" #jvm.Boolean] - ["byte" #jvm.Byte] - ["short" #jvm.Short] - ["int" #jvm.Int] - ["long" #jvm.Long] - ["float" #jvm.Float] - ["double" #jvm.Double] - ["char" #jvm.Char]) + (|> (list [jvm.boolean-reflection #jvm.Boolean] + [jvm.byte-reflection #jvm.Byte] + [jvm.short-reflection #jvm.Short] + [jvm.int-reflection #jvm.Int] + [jvm.long-reflection #jvm.Long] + [jvm.float-reflection #jvm.Float] + [jvm.double-reflection #jvm.Double] + [jvm.char-reflection #jvm.Char]) (dictionary.from-list text.hash))) (def: (static::get extension-name generate inputs) @@ -841,14 +841,14 @@ (def: primitive (<s>.Parser Primitive) ($_ <>.or - (<s>.constant! ["" "boolean"]) - (<s>.constant! ["" "byte"]) - (<s>.constant! ["" "short"]) - (<s>.constant! ["" "int"]) - (<s>.constant! ["" "long"]) - (<s>.constant! ["" "float"]) - (<s>.constant! ["" "double"]) - (<s>.constant! ["" "char"]) + (<s>.constant! ["" jvm.boolean-reflection]) + (<s>.constant! ["" jvm.byte-reflection]) + (<s>.constant! ["" jvm.short-reflection]) + (<s>.constant! ["" jvm.int-reflection]) + (<s>.constant! ["" jvm.long-reflection]) + (<s>.constant! ["" jvm.float-reflection]) + (<s>.constant! ["" jvm.double-reflection]) + (<s>.constant! ["" jvm.char-reflection]) )) (def: jvm-type diff --git a/stdlib/source/lux/host.jvm.lux b/stdlib/source/lux/host.jvm.lux index 495d8a7ce..c8d413421 100644 --- a/stdlib/source/lux/host.jvm.lux +++ b/stdlib/source/lux/host.jvm.lux @@ -22,8 +22,9 @@ ["." list ("#@." monad fold monoid)] ["." dictionary (#+ Dictionary)]]] ["." macro (#+ with-gensyms) + [syntax (#+ syntax:)] ["." code] - [syntax (#+ syntax:)]] + ["." template]] [target ["." jvm #_ ["#" type (#+ Primitive Var Bound Class Generic Type Argument Return Typed)]]]]) @@ -1490,80 +1491,64 @@ (-> Var Code) code.local-identifier) -(template [<name> <unbox/box> - <byte> <for-byte> - <short> <for-short> - <int> <for-int> - <float> <for-float>] +(template [<input?> <name> <unbox/box> <special+>] [(def: (<name> mode [unboxed raw]) (-> Primitive-Mode [Text Code] Code) - (let [[unboxed refined] (case mode - #ManualPrM - [unboxed raw] - - #AutoPrM - (case unboxed - (^ (static jvm.byte-descriptor)) - [<byte> (` (<for-byte> (~ raw)))] - - (^ (static jvm.short-descriptor)) - [<short> (` (<for-short> (~ raw)))] - - (^ (static jvm.int-descriptor)) - [<int> (` (<for-int> (~ raw)))] - - (^ (static jvm.float-descriptor)) - [<float> (` (<for-float> (~ raw)))] - - _ - [unboxed raw]))] - (case (dictionary.get unboxed boxes) - (#.Some boxed) - (<unbox/box> unboxed boxed refined) - - #.None - refined)))] - - [auto-convert-input ..unbox - jvm.byte-descriptor ..long-to-byte - jvm.short-descriptor ..long-to-short - jvm.int-descriptor ..long-to-int - jvm.float-descriptor ..double-to-float] - [auto-convert-output ..box - jvm.long-descriptor "jvm conversion byte-to-long" - jvm.long-descriptor "jvm conversion short-to-long" - jvm.long-descriptor "jvm conversion int-to-long" - jvm.double-descriptor "jvm conversion float-to-double"] + (let [[unboxed refined post] (: [Text Code (List Code)] + (case mode + #ManualPrM + [unboxed raw (list)] + + #AutoPrM + (`` (case unboxed + (^template [<old> <new> <pre> <post>] + (^ (static <old>)) + (with-expansions [<post>' (template.splice <post>)] + [<new> + (` (.|> (~ raw) (~+ <pre>))) + (list <post>')])) + ((~~ (template.splice <special+>))) + + _ + [unboxed + (if <input?> + (` ("jvm object cast" (~ raw))) + raw) + (list)])))) + unboxed/boxed (case (dictionary.get unboxed boxes) + (#.Some boxed) + (<unbox/box> unboxed boxed refined) + + #.None + refined) + post-processed (case post + #.Nil + unboxed/boxed + + _ + (` (.|> (~ unboxed/boxed) (~+ post))))] + post-processed))] + + [#1 auto-convert-input ..unbox + [[jvm.byte-descriptor jvm.byte-descriptor (list (` (.: .Int)) (` (.:coerce (.primitive "java.lang.Long"))) (` ..long-to-byte)) []] + [jvm.short-descriptor jvm.short-descriptor (list (` (.: .Int)) (` (.:coerce (.primitive "java.lang.Long"))) (` ..long-to-short)) []] + [jvm.int-descriptor jvm.int-descriptor (list (` (.: .Int)) (` (.:coerce (.primitive "java.lang.Long"))) (` ..long-to-int)) []] + [jvm.long-descriptor jvm.long-descriptor (list (` (.: .Int)) (` (.:coerce (.primitive "java.lang.Long")))) []] + [jvm.float-descriptor jvm.float-descriptor (list (` (.: .Frac)) (` (.:coerce (.primitive "java.lang.Double"))) (` ..double-to-float)) []] + [jvm.double-descriptor jvm.double-descriptor (list (` (.: .Frac)) (` (.:coerce (.primitive "java.lang.Double")))) []]]] + [#0 auto-convert-output ..box + [[jvm.byte-descriptor jvm.long-descriptor (list (` "jvm conversion byte-to-long")) [(` (.: (.primitive "java.lang.Long"))) (` (.:coerce .Int))]] + [jvm.short-descriptor jvm.long-descriptor (list (` "jvm conversion short-to-long")) [(` (.: (.primitive "java.lang.Long"))) (` (.:coerce .Int))]] + [jvm.int-descriptor jvm.long-descriptor (list (` "jvm conversion int-to-long")) [(` (.: (.primitive "java.lang.Long"))) (` (.:coerce .Int))]] + [jvm.long-descriptor jvm.long-descriptor (list) [(` (.: (.primitive "java.lang.Long"))) (` (.:coerce .Int))]] + [jvm.float-descriptor jvm.double-descriptor (list (` "jvm conversion float-to-double")) [(` (.: (.primitive "java.lang.Double"))) (` (.:coerce .Frac))]] + [jvm.double-descriptor jvm.double-descriptor (list) [(` (.: (.primitive "java.lang.Double"))) (` (.:coerce .Frac))]]]] ) (def: (un-quote quoted) (-> Code Code) (` ((~' ~) (~ quoted)))) -(def: (jvm-input [unboxed raw]) - (-> [Text Code] [Text Code]) - [unboxed (case unboxed - (^ (static jvm.byte-descriptor)) - (` (.:coerce (.primitive "java.lang.Long") (.: .Int (~ raw)))) - - (^ (static jvm.short-descriptor)) - (` (.:coerce (.primitive "java.lang.Long") (.: .Int (~ raw)))) - - (^ (static jvm.int-descriptor)) - (` (.:coerce (.primitive "java.lang.Long") (.: .Int (~ raw)))) - - (^ (static jvm.long-descriptor)) - (` (.:coerce (.primitive "java.lang.Long") (.: .Int (~ raw)))) - - (^ (static jvm.float-descriptor)) - (` (.:coerce (.primitive "java.lang.Double") (.: .Frac (~ raw)))) - - (^ (static jvm.double-descriptor)) - (` (.:coerce (.primitive "java.lang.Double") (.: .Frac (~ raw)))) - - _ - (` ("jvm object cast" (~ raw))))]) - (def: (jvm-invoke-inputs mode classes inputs) (-> Primitive-Mode (List Text) (List [Bit Code]) (List Code)) (|> inputs @@ -1572,7 +1557,7 @@ (` ((~! !!!) (~ (un-quote input)))) (un-quote input)))) (list.zip2 classes) - (list@map (|>> jvm-input (auto-convert-input mode))))) + (list@map (auto-convert-input mode)))) (def: (with-class-type class expression) (-> Text Code Code) @@ -1695,7 +1680,6 @@ (` ((~ setter-name) (~ g!value))) (` ((~ setter-name) (~ g!value) (~ g!obj)))) setter-value (|> [(jvm.signature import-field-type) (un-quote g!value)] - ..jvm-input (auto-convert-input import-field-mode)) setter-value (if import-field-maybe? (` ((~! !!!) (~ setter-value))) diff --git a/stdlib/source/lux/target/jvm/type.lux b/stdlib/source/lux/target/jvm/type.lux index d8851d978..6e3269df5 100644 --- a/stdlib/source/lux/target/jvm/type.lux +++ b/stdlib/source/lux/target/jvm/type.lux @@ -39,6 +39,19 @@ [char-reflection "char"] ) +(template [<name> <box>] + [(def: #export <name> <box>)] + + [boolean-box "java.lang.Boolean"] + [byte-box "java.lang.Byte"] + [short-box "java.lang.Short"] + [int-box "java.lang.Integer"] + [long-box "java.lang.Long"] + [float-box "java.lang.Float"] + [double-box "java.lang.Double"] + [char-box "java.lang.Character"] + ) + (def: #export array-prefix "[") (def: object-prefix "L") (def: var-prefix "T") diff --git a/stdlib/source/lux/tool/compiler/phase/extension/analysis/jvm.lux b/stdlib/source/lux/tool/compiler/phase/extension/analysis/jvm.lux index 947bbc69f..358c666c7 100644 --- a/stdlib/source/lux/tool/compiler/phase/extension/analysis/jvm.lux +++ b/stdlib/source/lux/tool/compiler/phase/extension/analysis/jvm.lux @@ -60,14 +60,14 @@ [(def: #export <name> .Type (#.Primitive <class> #.Nil))] ## Boxes - [Boolean "java.lang.Boolean"] - [Byte "java.lang.Byte"] - [Short "java.lang.Short"] - [Integer "java.lang.Integer"] - [Long "java.lang.Long"] - [Float "java.lang.Float"] - [Double "java.lang.Double"] - [Character "java.lang.Character"] + [Boolean jvm.boolean-box] + [Byte jvm.byte-box] + [Short jvm.short-box] + [Integer jvm.int-box] + [Long jvm.long-box] + [Float jvm.float-box] + [Double jvm.double-box] + [Character jvm.char-box] [String "java.lang.String"] ## Primitives @@ -354,14 +354,14 @@ (def: #export boxes (Dictionary Text Text) - (|> (list [jvm.boolean-reflection "java.lang.Boolean"] - [jvm.byte-reflection "java.lang.Byte"] - [jvm.short-reflection "java.lang.Short"] - [jvm.int-reflection "java.lang.Integer"] - [jvm.long-reflection "java.lang.Long"] - [jvm.float-reflection "java.lang.Float"] - [jvm.double-reflection "java.lang.Double"] - [jvm.char-reflection "java.lang.Character"]) + (|> (list [jvm.boolean-reflection jvm.boolean-box] + [jvm.byte-reflection jvm.byte-box] + [jvm.short-reflection jvm.short-box] + [jvm.int-reflection jvm.int-box] + [jvm.long-reflection jvm.long-box] + [jvm.float-reflection jvm.float-box] + [jvm.double-reflection jvm.double-box] + [jvm.char-reflection jvm.char-box]) (dictionary.from-list text.hash))) (def: (array-type-info allow-primitives? arrayT) @@ -518,10 +518,10 @@ (check-jvm outputT) #.None - (/////analysis.throw non-object objectT)) + (/////analysis.throw ..non-object objectT)) _ - (/////analysis.throw non-object objectT))) + (/////analysis.throw ..non-object objectT))) (def: (check-object objectT) (-> .Type (Operation Text)) @@ -1032,17 +1032,18 @@ can-cast? (: (Operation Bit) (case [from-name to-name] (^template [<primitive> <object>] - (^or (^ [(static <primitive>) <object>]) - (^ [<object> (static <primitive>)])) + (^or (^ [(static <primitive>) (static <object>)]) + (^ [(static <object>) (static <primitive>)]) + (^ [(static <primitive>) (static <primitive>)])) (wrap #1)) - ([jvm.boolean-reflection "java.lang.Boolean"] - [jvm.byte-reflection "java.lang.Byte"] - [jvm.short-reflection "java.lang.Short"] - [jvm.int-reflection "java.lang.Integer"] - [jvm.long-reflection "java.lang.Long"] - [jvm.float-reflection "java.lang.Float"] - [jvm.double-reflection "java.lang.Double"] - [jvm.char-reflection "java.lang.Character"]) + ([jvm.boolean-reflection jvm.boolean-box] + [jvm.byte-reflection jvm.byte-box] + [jvm.short-reflection jvm.short-box] + [jvm.int-reflection jvm.int-box] + [jvm.long-reflection jvm.long-box] + [jvm.float-reflection jvm.float-box] + [jvm.double-reflection jvm.double-box] + [jvm.char-reflection jvm.char-box]) _ (do @ @@ -1188,7 +1189,7 @@ (dictionary.from-list text.hash)))) _ - (/////analysis.throw non-object objectT))) + (/////analysis.throw ..non-object objectT))) fieldT (java-type-to-lux-type mapping fieldJT)] (wrap [fieldT (Modifier::isFinal modifiers)])) (/////analysis.throw not-a-virtual-field [class-name field-name])))) |