aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/ffi.jvm.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/lux/ffi.jvm.lux')
-rw-r--r--stdlib/source/test/lux/ffi.jvm.lux282
1 files changed, 141 insertions, 141 deletions
diff --git a/stdlib/source/test/lux/ffi.jvm.lux b/stdlib/source/test/lux/ffi.jvm.lux
index 6f8490ef9..9b842641e 100644
--- a/stdlib/source/test/lux/ffi.jvm.lux
+++ b/stdlib/source/test/lux/ffi.jvm.lux
@@ -94,10 +94,10 @@
(# ! each (|>> /.as_float)))]
(`` (all _.and
(~~ (template [<sample> <=> <to> <from>]
- [(_.cover [<to> <from>]
- (or (|> <sample> <to> <from> (<=> <sample>))
- (let [capped (|> <sample> <to> <from>)]
- (|> capped <to> <from> (<=> capped)))))]
+ [(_.coverage [<to> <from>]
+ (or (|> <sample> <to> <from> (<=> <sample>))
+ (let [capped (|> <sample> <to> <from>)]
+ (|> capped <to> <from> (<=> capped)))))]
[long long#= /.long_to_byte /.byte_to_long]
[long long#= /.long_to_short /.short_to_long]
@@ -124,24 +124,24 @@
idx (|> random.nat (# ! each (n.% size)))
value (# ! each (|>> /.as_long) random.int)]
(all _.and
- (_.cover [/.array /.length]
- (|> size
- (/.array java/lang/Long)
- /.length
- (n.= size)))
- (_.cover [/.write! /.read!]
- (|> (/.array java/lang/Long size)
- (/.write! idx value)
- (/.read! idx)
- /.of_long
- (i.= (/.of_long value))))
- (_.cover [/.cannot_convert_to_jvm_type]
- (let [array (as (Array Nothing)
- (array.empty 1))]
- (|> array
- /.length
- ..macro_error
- (text.contains? (the exception.#label /.cannot_convert_to_jvm_type))))))))
+ (_.coverage [/.array /.length]
+ (|> size
+ (/.array java/lang/Long)
+ /.length
+ (n.= size)))
+ (_.coverage [/.write! /.read!]
+ (|> (/.array java/lang/Long size)
+ (/.write! idx value)
+ (/.read! idx)
+ /.of_long
+ (i.= (/.of_long value))))
+ (_.coverage [/.cannot_convert_to_jvm_type]
+ (let [array (as (Array Nothing)
+ (array.empty 1))]
+ (|> array
+ /.length
+ ..macro_error
+ (text.contains? (the exception.#label /.cannot_convert_to_jvm_type))))))))
(def: for_miscellaneous
Test
@@ -165,52 +165,52 @@
bit/0 random.bit]
(all _.and
- (_.cover [/.as]
- (and (case (/.as java/lang/String sample) {.#Some _} true {.#None} false)
- (case (/.as java/lang/Long sample) {.#Some _} false {.#None} true)
- (case (/.as java/lang/Object sample) {.#Some _} true {.#None} false)
- (case (/.as java/lang/Object (/.null)) {.#Some _} false {.#None} true)))
- (_.cover [/.synchronized]
- (/.synchronized sample #1))
- (_.cover [/.class_for]
- (text#= "java.lang.Class" (/.of_string (java/lang/Class::getName (/.class_for java/lang/Class)))))
- (_.cover [/.null /.null?]
- (and (/.null? (/.null))
- (not (/.null? sample))))
- (_.cover [/.???]
- (and (|> (/.??? (/.null))
- (is (Maybe java/lang/Object))
- (pipe.case
- {.#None} #1
- {.#Some _} #0))
- (|> (/.??? sample)
- (is (Maybe java/lang/Object))
- (pipe.case
- {.#Some _} #1
- {.#None} #0))))
- (_.cover [/.!!!]
- (and (|> (/.??? (/.null))
- /.!!!
- /.null?)
- (|> (/.??? sample)
- /.!!!
- /.null?
- not)))
+ (_.coverage [/.as]
+ (and (case (/.as java/lang/String sample) {.#Some _} true {.#None} false)
+ (case (/.as java/lang/Long sample) {.#Some _} false {.#None} true)
+ (case (/.as java/lang/Object sample) {.#Some _} true {.#None} false)
+ (case (/.as java/lang/Object (/.null)) {.#Some _} false {.#None} true)))
+ (_.coverage [/.synchronized]
+ (/.synchronized sample #1))
+ (_.coverage [/.class_for]
+ (text#= "java.lang.Class" (/.of_string (java/lang/Class::getName (/.class_for java/lang/Class)))))
+ (_.coverage [/.null /.null?]
+ (and (/.null? (/.null))
+ (not (/.null? sample))))
+ (_.coverage [/.???]
+ (and (|> (/.??? (/.null))
+ (is (Maybe java/lang/Object))
+ (pipe.case
+ {.#None} #1
+ {.#Some _} #0))
+ (|> (/.??? sample)
+ (is (Maybe java/lang/Object))
+ (pipe.case
+ {.#Some _} #1
+ {.#None} #0))))
+ (_.coverage [/.!!!]
+ (and (|> (/.??? (/.null))
+ /.!!!
+ /.null?)
+ (|> (/.??? sample)
+ /.!!!
+ /.null?
+ not)))
(~~ (template [<object> <primitive> <jvm#value> <jvm#=>
<lux#value> <as> <of> <lux#=>]
- [(_.cover [<object> <primitive>]
- (|> <jvm#value>
- (is <object>)
- "jvm object cast"
- (is <primitive>)
- "jvm object cast"
- (is <object>)
- (<jvm#=> <jvm#value>)))
- (_.cover [<as> <of>]
- (|> <lux#value>
- <as>
- <of>
- (<lux#=> <lux#value>)))]
+ [(_.coverage [<object> <primitive>]
+ (|> <jvm#value>
+ (is <object>)
+ "jvm object cast"
+ (is <primitive>)
+ "jvm object cast"
+ (is <object>)
+ (<jvm#=> <jvm#value>)))
+ (_.coverage [<as> <of>]
+ (|> <lux#value>
+ <as>
+ <of>
+ (<lux#=> <lux#value>)))]
[/.Boolean /.boolean boolean boolean#=
bit/0 /.as_boolean /.of_boolean bit#=]
@@ -229,36 +229,36 @@
[/.Character /.char character character#=
(/.of_char character) /.as_char /.of_char i#=]
))
- (_.cover [/.as_string /.of_string]
- (let [it (/.of_string string)]
- (|> it
- /.as_string
- /.of_string
- (text#= it))))
- (_.cover [/.cannot_cast_to_non_object]
- (text.contains? (the exception.#label /.cannot_cast_to_non_object)
- (macro_error (/.is boolean (is /.Boolean boolean)))))
- (_.cover [/.is]
- (|> string
- (/.is java/lang/Object)
- (same? (as java/lang/Object string))))
- (_.cover [/.type]
- (and (and (type#= /.Boolean (/.type java/lang/Boolean))
- (type#= /.Boolean (/.type boolean)))
- (and (type#= /.Byte (/.type java/lang/Byte))
- (type#= /.Byte (/.type byte)))
- (and (type#= /.Short (/.type java/lang/Short))
- (type#= /.Short (/.type short)))
- (and (type#= /.Integer (/.type java/lang/Integer))
- (type#= /.Integer (/.type int)))
- (and (type#= /.Long (/.type java/lang/Long))
- (type#= /.Long (/.type long)))
- (and (type#= /.Float (/.type java/lang/Float))
- (type#= /.Float (/.type float)))
- (and (type#= /.Double (/.type java/lang/Double))
- (type#= /.Double (/.type double)))
- (and (type#= /.Character (/.type java/lang/Character))
- (type#= /.Character (/.type char)))))
+ (_.coverage [/.as_string /.of_string]
+ (let [it (/.of_string string)]
+ (|> it
+ /.as_string
+ /.of_string
+ (text#= it))))
+ (_.coverage [/.cannot_cast_to_non_object]
+ (text.contains? (the exception.#label /.cannot_cast_to_non_object)
+ (macro_error (/.is boolean (is /.Boolean boolean)))))
+ (_.coverage [/.is]
+ (|> string
+ (/.is java/lang/Object)
+ (same? (as java/lang/Object string))))
+ (_.coverage [/.type]
+ (and (and (type#= /.Boolean (/.type java/lang/Boolean))
+ (type#= /.Boolean (/.type boolean)))
+ (and (type#= /.Byte (/.type java/lang/Byte))
+ (type#= /.Byte (/.type byte)))
+ (and (type#= /.Short (/.type java/lang/Short))
+ (type#= /.Short (/.type short)))
+ (and (type#= /.Integer (/.type java/lang/Integer))
+ (type#= /.Integer (/.type int)))
+ (and (type#= /.Long (/.type java/lang/Long))
+ (type#= /.Long (/.type long)))
+ (and (type#= /.Float (/.type java/lang/Float))
+ (type#= /.Float (/.type float)))
+ (and (type#= /.Double (/.type java/lang/Double))
+ (type#= /.Double (/.type double)))
+ (and (type#= /.Character (/.type java/lang/Character))
+ (type#= /.Character (/.type char)))))
))))
(/.interface: test/TestInterface0
@@ -368,12 +368,12 @@
(/.of_long actual_right)))))]
(i.= expected
(/.of_long (test/TestInterface4::actual4 left right object/4))))]]
- (_.cover [/.interface: /.object]
- (and example/0!
- example/1!
- example/2!
- example/3!
- example/4!))))
+ (_.coverage [/.interface: /.object]
+ (and example/0!
+ example/1!
+ example/2!
+ example/3!
+ example/4!))))
(/.class: "final" test/TestClass0 [test/TestInterface0]
... Fields
@@ -601,17 +601,17 @@
/.as_long
(same? dummy/2))]]
(all _.and
- (_.cover [/.class: /.import:]
- (and example/0!
- example/1!
- example/2!
- example/3!
- example/4!
- example/5!
- example/7!
- example_8!))
- (_.cover [/.do_to]
- example/9!)
+ (_.coverage [/.class: /.import:]
+ (and example/0!
+ example/1!
+ example/2!
+ example/3!
+ example/4!
+ example/5!
+ example/7!
+ example_8!))
+ (_.coverage [/.do_to]
+ example/9!)
)))
(syntax: (expands? [expression <code>.any])
@@ -636,34 +636,34 @@
var/1 (random.lower_case 2)
var/2 (random.lower_case 3)]
(all _.and
- (_.cover [/.class_names_cannot_contain_periods]
- (with_expansions [<class> (template.symbol ["java.lang.Float"])]
- (not (expands? (/.import: <class>)))))
- (_.cover [/.class_name_cannot_be_a_type_variable]
- (and (not (expands? (/.import: (java/lang/Double a)
- "[1]::[0]"
- (invalid [] (a java/lang/String)))))
- (not (expands? (/.import: java/lang/Double
- "[1]::[0]"
- ([a] invalid [] (a java/lang/String)))))))
- (_.cover [/.unknown_type_variable]
- (let [type_variable ((debug.private /.type_variable) (list (jvm.var var/0) (jvm.var var/1)))]
- (and (|> (list (code.local var/0))
- (<code>.result type_variable)
- (try#each (|>> (jvm#= (jvm.var var/0))))
- (try.else false))
- (|> (list (code.local var/1))
- (<code>.result type_variable)
- (try#each (|>> (jvm#= (jvm.var var/1))))
- (try.else false))
- (|> (list (code.local var/2))
- (<code>.result type_variable)
- (pipe.case
- {try.#Failure error}
- (exception.match? /.unknown_type_variable error)
-
- _
- false)))))
+ (_.coverage [/.class_names_cannot_contain_periods]
+ (with_expansions [<class> (template.symbol ["java.lang.Float"])]
+ (not (expands? (/.import: <class>)))))
+ (_.coverage [/.class_name_cannot_be_a_type_variable]
+ (and (not (expands? (/.import: (java/lang/Double a)
+ "[1]::[0]"
+ (invalid [] (a java/lang/String)))))
+ (not (expands? (/.import: java/lang/Double
+ "[1]::[0]"
+ ([a] invalid [] (a java/lang/String)))))))
+ (_.coverage [/.unknown_type_variable]
+ (let [type_variable ((debug.private /.type_variable) (list (jvm.var var/0) (jvm.var var/1)))]
+ (and (|> (list (code.local var/0))
+ (<code>.result type_variable)
+ (try#each (|>> (jvm#= (jvm.var var/0))))
+ (try.else false))
+ (|> (list (code.local var/1))
+ (<code>.result type_variable)
+ (try#each (|>> (jvm#= (jvm.var var/1))))
+ (try.else false))
+ (|> (list (code.local var/2))
+ (<code>.result type_variable)
+ (pipe.case
+ {try.#Failure error}
+ (exception.match? /.unknown_type_variable error)
+
+ _
+ false)))))
)))
(def: .public test
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-03 03:08:00 +0000