aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/tool/compiler/phase/extension/analysis/jvm.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/lux/tool/compiler/phase/extension/analysis/jvm.lux')
-rw-r--r--stdlib/source/lux/tool/compiler/phase/extension/analysis/jvm.lux204
1 files changed, 103 insertions, 101 deletions
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 358c666c7..01265c29a 100644
--- a/stdlib/source/lux/tool/compiler/phase/extension/analysis/jvm.lux
+++ b/stdlib/source/lux/tool/compiler/phase/extension/analysis/jvm.lux
@@ -24,7 +24,9 @@
["." check (#+ Check) ("#@." monad)]]
[target
["." jvm #_
- ["#" type (#+ Var Bound Primitive Generic Class Type Argument Return Typed)]]]]
+ ["#" type (#+ Var Bound Primitive Generic Class Type Argument Return Typed)
+ ["." box]
+ ["." reflection]]]]]
["." // #_
["#." common]
["/#" //
@@ -60,25 +62,25 @@
[(def: #export <name> .Type (#.Primitive <class> #.Nil))]
## Boxes
- [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]
+ [Boolean box.boolean]
+ [Byte box.byte]
+ [Short box.short]
+ [Integer box.int]
+ [Long box.long]
+ [Float box.float]
+ [Double box.double]
+ [Character box.char]
[String "java.lang.String"]
## Primitives
- [boolean jvm.boolean-reflection]
- [byte jvm.byte-reflection]
- [short jvm.short-reflection]
- [int jvm.int-reflection]
- [long jvm.long-reflection]
- [float jvm.float-reflection]
- [double jvm.double-reflection]
- [char jvm.char-reflection]
+ [boolean reflection.boolean]
+ [byte reflection.byte]
+ [short reflection.short]
+ [int reflection.int]
+ [long reflection.long]
+ [float reflection.float]
+ [double reflection.double]
+ [char reflection.char]
)
(type: Mapping
@@ -322,8 +324,8 @@
(///bundle.install "ushr" (//common.binary <type> Integer <type>))
)))]
- [bundle::int jvm.int-reflection ..long]
- [bundle::long jvm.long-reflection ..long]
+ [bundle::int reflection.int ..long]
+ [bundle::long reflection.long ..long]
)
(template [<name> <prefix> <type>]
@@ -340,13 +342,13 @@
(///bundle.install "<" (//common.binary <type> <type> Bit))
)))]
- [bundle::float jvm.float-reflection ..float]
- [bundle::double jvm.double-reflection ..double]
+ [bundle::float reflection.float ..float]
+ [bundle::double reflection.double ..double]
)
(def: bundle::char
Bundle
- (<| (///bundle.prefix jvm.char-reflection)
+ (<| (///bundle.prefix reflection.char)
(|> ///bundle.empty
(///bundle.install "=" (//common.binary ..char ..char Bit))
(///bundle.install "<" (//common.binary ..char ..char Bit))
@@ -354,14 +356,14 @@
(def: #export boxes
(Dictionary Text Text)
- (|> (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])
+ (|> (list [reflection.boolean box.boolean]
+ [reflection.byte box.byte]
+ [reflection.short box.short]
+ [reflection.int box.int]
+ [reflection.long box.long]
+ [reflection.float box.float]
+ [reflection.double box.double]
+ [reflection.char box.char])
(dictionary.from-list text.hash)))
(def: (array-type-info allow-primitives? arrayT)
@@ -466,14 +468,14 @@
(case objectT
(#.Primitive name #.Nil)
(case name
- (^ (static jvm.boolean-reflection)) (////@wrap jvm.boolean)
- (^ (static jvm.byte-reflection)) (////@wrap jvm.byte)
- (^ (static jvm.short-reflection)) (////@wrap jvm.short)
- (^ (static jvm.int-reflection)) (////@wrap jvm.int)
- (^ (static jvm.long-reflection)) (////@wrap jvm.long)
- (^ (static jvm.float-reflection)) (////@wrap jvm.float)
- (^ (static jvm.double-reflection)) (////@wrap jvm.double)
- (^ (static jvm.char-reflection)) (////@wrap jvm.char)
+ (^ (static reflection.boolean)) (////@wrap jvm.boolean)
+ (^ (static reflection.byte)) (////@wrap jvm.byte)
+ (^ (static reflection.short)) (////@wrap jvm.short)
+ (^ (static reflection.int)) (////@wrap jvm.int)
+ (^ (static reflection.long)) (////@wrap jvm.long)
+ (^ (static reflection.float)) (////@wrap jvm.float)
+ (^ (static reflection.double)) (////@wrap jvm.double)
+ (^ (static reflection.char)) (////@wrap jvm.char)
_ (if (text.starts-with? jvm.array-prefix name)
(////.lift (<t>.run jvm.parse-signature name))
(////@wrap (jvm.class name (list)))))
@@ -526,7 +528,7 @@
(def: (check-object objectT)
(-> .Type (Operation Text))
(do ////.monad
- [name (:: @ map jvm.reflection-class (check-jvm objectT))]
+ [name (:: @ map reflection.class (check-jvm objectT))]
(if (dictionary.contains? name ..boxes)
(/////analysis.throw ..primitives-are-not-objects [name])
(////@wrap name))))
@@ -629,47 +631,47 @@
(|> ///bundle.empty
(dictionary.merge (<| (///bundle.prefix "length")
(|> ///bundle.empty
- (///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 reflection.boolean (primitive-array-length-handler jvm.boolean))
+ (///bundle.install reflection.byte (primitive-array-length-handler jvm.byte))
+ (///bundle.install reflection.short (primitive-array-length-handler jvm.short))
+ (///bundle.install reflection.int (primitive-array-length-handler jvm.int))
+ (///bundle.install reflection.long (primitive-array-length-handler jvm.long))
+ (///bundle.install reflection.float (primitive-array-length-handler jvm.float))
+ (///bundle.install reflection.double (primitive-array-length-handler jvm.double))
+ (///bundle.install reflection.char (primitive-array-length-handler jvm.char))
(///bundle.install "object" array::length::object))))
(dictionary.merge (<| (///bundle.prefix "new")
(|> ///bundle.empty
- (///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 reflection.boolean (new-primitive-array-handler jvm.boolean))
+ (///bundle.install reflection.byte (new-primitive-array-handler jvm.byte))
+ (///bundle.install reflection.short (new-primitive-array-handler jvm.short))
+ (///bundle.install reflection.int (new-primitive-array-handler jvm.int))
+ (///bundle.install reflection.long (new-primitive-array-handler jvm.long))
+ (///bundle.install reflection.float (new-primitive-array-handler jvm.float))
+ (///bundle.install reflection.double (new-primitive-array-handler jvm.double))
+ (///bundle.install reflection.char (new-primitive-array-handler jvm.char))
(///bundle.install "object" array::new::object))))
(dictionary.merge (<| (///bundle.prefix "read")
(|> ///bundle.empty
- (///bundle.install jvm.boolean-reflection (read-primitive-array-handler ..boolean jvm.boolean))
- (///bundle.install jvm.byte-reflection (read-primitive-array-handler ..byte jvm.byte))
- (///bundle.install jvm.short-reflection (read-primitive-array-handler ..short jvm.short))
- (///bundle.install jvm.int-reflection (read-primitive-array-handler ..int jvm.int))
- (///bundle.install jvm.long-reflection (read-primitive-array-handler ..long jvm.long))
- (///bundle.install jvm.float-reflection (read-primitive-array-handler ..float jvm.float))
- (///bundle.install jvm.double-reflection (read-primitive-array-handler ..double jvm.double))
- (///bundle.install jvm.char-reflection (read-primitive-array-handler ..char jvm.char))
+ (///bundle.install reflection.boolean (read-primitive-array-handler ..boolean jvm.boolean))
+ (///bundle.install reflection.byte (read-primitive-array-handler ..byte jvm.byte))
+ (///bundle.install reflection.short (read-primitive-array-handler ..short jvm.short))
+ (///bundle.install reflection.int (read-primitive-array-handler ..int jvm.int))
+ (///bundle.install reflection.long (read-primitive-array-handler ..long jvm.long))
+ (///bundle.install reflection.float (read-primitive-array-handler ..float jvm.float))
+ (///bundle.install reflection.double (read-primitive-array-handler ..double jvm.double))
+ (///bundle.install reflection.char (read-primitive-array-handler ..char jvm.char))
(///bundle.install "object" array::read::object))))
(dictionary.merge (<| (///bundle.prefix "write")
(|> ///bundle.empty
- (///bundle.install jvm.boolean-reflection (write-primitive-array-handler ..boolean jvm.boolean))
- (///bundle.install jvm.byte-reflection (write-primitive-array-handler ..byte jvm.byte))
- (///bundle.install jvm.short-reflection (write-primitive-array-handler ..short jvm.short))
- (///bundle.install jvm.int-reflection (write-primitive-array-handler ..int jvm.int))
- (///bundle.install jvm.long-reflection (write-primitive-array-handler ..long jvm.long))
- (///bundle.install jvm.float-reflection (write-primitive-array-handler ..float jvm.float))
- (///bundle.install jvm.double-reflection (write-primitive-array-handler ..double jvm.double))
- (///bundle.install jvm.char-reflection (write-primitive-array-handler ..char jvm.char))
+ (///bundle.install reflection.boolean (write-primitive-array-handler ..boolean jvm.boolean))
+ (///bundle.install reflection.byte (write-primitive-array-handler ..byte jvm.byte))
+ (///bundle.install reflection.short (write-primitive-array-handler ..short jvm.short))
+ (///bundle.install reflection.int (write-primitive-array-handler ..int jvm.int))
+ (///bundle.install reflection.long (write-primitive-array-handler ..long jvm.long))
+ (///bundle.install reflection.float (write-primitive-array-handler ..float jvm.float))
+ (///bundle.install reflection.double (write-primitive-array-handler ..double jvm.double))
+ (///bundle.install reflection.char (write-primitive-array-handler ..char jvm.char))
(///bundle.install "object" array::write::object))))
)))
@@ -900,7 +902,7 @@
(case (array.size (java/lang/Class::getTypeParameters java-type))
0
(case class-name
- (^ (static jvm.void-reflection))
+ (^ (static reflection.void))
(////@wrap Any)
_
@@ -1009,7 +1011,7 @@
(monad.map ////.monad
(function (_ superT)
(do ////.monad
- [super-name (:: @ map jvm.reflection-class (check-jvm superT))
+ [super-name (:: @ map reflection.class (check-jvm superT))
super-class (load-class super-name)]
(wrap [[super-name superT]
(java/lang/Class::isAssignableFrom super-class to-class)])))
@@ -1025,10 +1027,10 @@
(^ (list fromC))
(do ////.monad
[toT (///.lift macro.expected-type)
- to-name (:: @ map jvm.reflection-class (check-jvm toT))
+ to-name (:: @ map reflection.class (check-jvm toT))
[fromT fromA] (typeA.with-inference
(analyse fromC))
- from-name (:: @ map jvm.reflection-class (check-jvm fromT))
+ from-name (:: @ map reflection.class (check-jvm fromT))
can-cast? (: (Operation Bit)
(case [from-name to-name]
(^template [<primitive> <object>]
@@ -1036,14 +1038,14 @@
(^ [(static <object>) (static <primitive>)])
(^ [(static <primitive>) (static <primitive>)]))
(wrap #1))
- ([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])
+ ([reflection.boolean box.boolean]
+ [reflection.byte box.byte]
+ [reflection.short box.short]
+ [reflection.int box.int]
+ [reflection.long box.long]
+ [reflection.float box.float]
+ [reflection.double box.double]
+ [reflection.char box.char])
_
(do @
@@ -1281,7 +1283,7 @@
(def: reflection-arguments
(-> (List Text) (Operation (List Text)))
(|>> (monad.map error.monad (<t>.run jvm.parse-signature))
- (:: error.monad map (list@map jvm.reflection-class))
+ (:: error.monad map (list@map reflection.class))
////.lift))
(def: (check-method class method-name method-style arg-classes method)
@@ -1629,14 +1631,14 @@
(def: primitive
(Parser Primitive)
($_ p.or
- (s.identifier! ["" jvm.boolean-reflection])
- (s.identifier! ["" jvm.byte-reflection])
- (s.identifier! ["" jvm.short-reflection])
- (s.identifier! ["" jvm.int-reflection])
- (s.identifier! ["" jvm.long-reflection])
- (s.identifier! ["" jvm.float-reflection])
- (s.identifier! ["" jvm.double-reflection])
- (s.identifier! ["" jvm.char-reflection])
+ (s.identifier! ["" reflection.boolean])
+ (s.identifier! ["" reflection.byte])
+ (s.identifier! ["" reflection.short])
+ (s.identifier! ["" reflection.int])
+ (s.identifier! ["" reflection.long])
+ (s.identifier! ["" reflection.float])
+ (s.identifier! ["" reflection.double])
+ (s.identifier! ["" reflection.char])
))
(def: type
@@ -1672,7 +1674,7 @@
(def: return
(Parser Return)
- (p.or (s.identifier! ["" jvm.void-reflection])
+ (p.or (s.identifier! ["" reflection.void])
..type))
(type: #export (Overriden-Method a)
@@ -1754,14 +1756,14 @@
(case type
(#jvm.Primitive primitive)
(case primitive
- #jvm.Boolean (/////analysis.constant ["" jvm.boolean-reflection])
- #jvm.Byte (/////analysis.constant ["" jvm.byte-reflection])
- #jvm.Short (/////analysis.constant ["" jvm.short-reflection])
- #jvm.Int (/////analysis.constant ["" jvm.int-reflection])
- #jvm.Long (/////analysis.constant ["" jvm.long-reflection])
- #jvm.Float (/////analysis.constant ["" jvm.float-reflection])
- #jvm.Double (/////analysis.constant ["" jvm.double-reflection])
- #jvm.Char (/////analysis.constant ["" jvm.char-reflection]))
+ #jvm.Boolean (/////analysis.constant ["" reflection.boolean])
+ #jvm.Byte (/////analysis.constant ["" reflection.byte])
+ #jvm.Short (/////analysis.constant ["" reflection.short])
+ #jvm.Int (/////analysis.constant ["" reflection.int])
+ #jvm.Long (/////analysis.constant ["" reflection.long])
+ #jvm.Float (/////analysis.constant ["" reflection.float])
+ #jvm.Double (/////analysis.constant ["" reflection.double])
+ #jvm.Char (/////analysis.constant ["" reflection.char]))
(#jvm.Generic generic)
(generic-analysis generic)
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 09:31:12 +0000