aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/host/jvm.old.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/lux/host/jvm.old.lux')
-rw-r--r--stdlib/source/test/lux/host/jvm.old.lux89
1 files changed, 89 insertions, 0 deletions
diff --git a/stdlib/source/test/lux/host/jvm.old.lux b/stdlib/source/test/lux/host/jvm.old.lux
new file mode 100644
index 000000000..47c6f35d9
--- /dev/null
+++ b/stdlib/source/test/lux/host/jvm.old.lux
@@ -0,0 +1,89 @@
+(.module:
+ [lux #*
+ [abstract/monad (#+ do)]
+ [control
+ ["." io (#+ IO)]
+ [concurrency
+ ["." atom]]
+ [security
+ ["!" capability]]]
+ [data
+ ["." error (#+ Error)]
+ ["." text
+ format]
+ [format
+ ["." binary]]
+ [collection
+ ["." dictionary]
+ ["." row]]]
+ [world
+ ["." file (#+ File)]
+ [binary (#+ Binary)]]
+ [math
+ ["r" random]]
+ ["_" test (#+ Test)]]
+ {1
+ ["." / #_
+ ["#." loader (#+ Library)]
+ ["#." version]
+ ["#." name]
+ ["#." descriptor]
+ ["#." field]
+ ["#." class]
+ [modifier
+ ["#.M" inner]]]})
+
+(def: (write-class! name bytecode)
+ (-> Text Binary (IO Text))
+ (let [file-path (format name ".class")]
+ (do io.monad
+ [outcome (do (error.with @)
+ [file (: (IO (Error (File IO)))
+ (file.get-file io.monad file.system file-path))]
+ (!.use (:: file over-write) bytecode))]
+ (wrap (case outcome
+ (#error.Success definition)
+ (format "Wrote: " (%t file-path))
+
+ (#error.Failure error)
+ error)))))
+
+(def: class
+ Test
+ (do r.monad
+ [_ (wrap [])
+ #let [package "my.package"
+ name "MyClass"
+ full-name (format package "." name)
+ input (/class.class /version.v6_0 /class.public
+ (/name.internal "java.lang.Object")
+ (/name.internal full-name)
+ (list (/name.internal "java.io.Serializable")
+ (/name.internal "java.lang.Runnable"))
+ (list (/field.field /field.public "foo" /descriptor.long (row.row))
+ (/field.field /field.public "bar" /descriptor.double (row.row)))
+ (row.row)
+ (row.row))
+ bytecode (binary.write /class.format input)
+ loader (/loader.memory (/loader.new-library []))]]
+ ($_ _.and
+ (_.test "Can read a generated class."
+ (case (binary.read /class.format bytecode)
+ (#error.Success output)
+ (:: /class.equivalence = input output)
+
+ (#error.Failure error)
+ false))
+ (_.test "Can generate a class."
+ (case (/loader.define full-name bytecode loader)
+ (#error.Success definition)
+ true
+
+ (#error.Failure error)
+ false))
+ )))
+
+(def: #export test
+ Test
+ (<| (_.context "Class")
+ ..class))