aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm/source/luxc/lang/host/jvm/def.lux
diff options
context:
space:
mode:
authorEduardo Julian2020-12-29 00:38:21 -0400
committerEduardo Julian2020-12-29 00:38:21 -0400
commit832a9361b632331e82a64c07baa560487ca8abde (patch)
tree5fec882399315def4d789ecef1746d90e761df93 /lux-jvm/source/luxc/lang/host/jvm/def.lux
parent92dca9f487c625d27f6c291784ef709b0cc13a72 (diff)
Moved "lux/data/number" to "lux/math/number".
Diffstat (limited to 'lux-jvm/source/luxc/lang/host/jvm/def.lux')
-rw-r--r--lux-jvm/source/luxc/lang/host/jvm/def.lux156
1 files changed, 78 insertions, 78 deletions
diff --git a/lux-jvm/source/luxc/lang/host/jvm/def.lux b/lux-jvm/source/luxc/lang/host/jvm/def.lux
index a9003b485..12e2fe412 100644
--- a/lux-jvm/source/luxc/lang/host/jvm/def.lux
+++ b/lux-jvm/source/luxc/lang/host/jvm/def.lux
@@ -1,6 +1,6 @@
(.module:
[lux (#- Type)
- ["." host (#+ import: do-to)]
+ ["." host (#+ import: do_to)]
[control
["." function]]
[data
@@ -24,7 +24,7 @@
(def: signature (|>> type.signature signature.signature))
(def: descriptor (|>> type.descriptor descriptor.descriptor))
-(def: class-name (|>> type.descriptor descriptor.class-name name.read))
+(def: class_name (|>> type.descriptor descriptor.class_name name.read))
(import: java/lang/Object)
(import: java/lang/String)
@@ -77,15 +77,15 @@
(visitMethod [int java/lang/String java/lang/String java/lang/String [java/lang/String]] org/objectweb/asm/MethodVisitor)
(toByteArray [] [byte])])
-(def: (string-array values)
+(def: (string_array values)
(-> (List Text) (Array Text))
(let [output (host.array java/lang/String (list.size values))]
(exec (list@map (function (_ [idx value])
- (host.array-write idx value output))
+ (host.array_write idx value output))
(list.enumeration values))
output)))
-(def: (version-flag version)
+(def: (version_flag version)
(-> //.Version Int)
(case version
#//.V1_1 (org/objectweb/asm/Opcodes::V1_1)
@@ -97,7 +97,7 @@
#//.V1_7 (org/objectweb/asm/Opcodes::V1_7)
#//.V1_8 (org/objectweb/asm/Opcodes::V1_8)))
-(def: (visibility-flag visibility)
+(def: (visibility_flag visibility)
(-> //.Visibility Int)
(case visibility
#//.Public (org/objectweb/asm/Opcodes::ACC_PUBLIC)
@@ -105,82 +105,82 @@
#//.Private (org/objectweb/asm/Opcodes::ACC_PRIVATE)
#//.Default +0))
-(def: (class-flags config)
- (-> //.Class-Config Int)
+(def: (class_flags config)
+ (-> //.Class_Config Int)
($_ i.+
(if (get@ #//.finalC config) (org/objectweb/asm/Opcodes::ACC_FINAL) +0)))
-(def: (method-flags config)
- (-> //.Method-Config Int)
+(def: (method_flags config)
+ (-> //.Method_Config Int)
($_ i.+
(if (get@ #//.staticM config) (org/objectweb/asm/Opcodes::ACC_STATIC) +0)
(if (get@ #//.finalM config) (org/objectweb/asm/Opcodes::ACC_FINAL) +0)
(if (get@ #//.synchronizedM config) (org/objectweb/asm/Opcodes::ACC_SYNCHRONIZED) +0)
(if (get@ #//.strictM config) (org/objectweb/asm/Opcodes::ACC_STRICT) +0)))
-(def: (field-flags config)
- (-> //.Field-Config Int)
+(def: (field_flags config)
+ (-> //.Field_Config Int)
($_ i.+
(if (get@ #//.staticF config) (org/objectweb/asm/Opcodes::ACC_STATIC) +0)
(if (get@ #//.finalF config) (org/objectweb/asm/Opcodes::ACC_FINAL) +0)
(if (get@ #//.transientF config) (org/objectweb/asm/Opcodes::ACC_TRANSIENT) +0)
(if (get@ #//.volatileF config) (org/objectweb/asm/Opcodes::ACC_VOLATILE) +0)))
-(def: param-signature
+(def: param_signature
(-> (Type Class) Text)
(|>> ..signature (format ":")))
-(def: (formal-param [name super interfaces])
+(def: (formal_param [name super interfaces])
(-> Constraint Text)
(format name
- (param-signature super)
+ (param_signature super)
(|> interfaces
- (list@map param-signature)
- (text.join-with ""))))
+ (list@map param_signature)
+ (text.join_with ""))))
-(def: (constraints-signature constraints super interfaces)
+(def: (constraints_signature constraints super interfaces)
(-> (List Constraint) (Type Class) (List (Type Class))
Text)
- (let [formal-params (if (list.empty? constraints)
+ (let [formal_params (if (list.empty? constraints)
""
(format "<"
(|> constraints
- (list@map formal-param)
- (text.join-with ""))
+ (list@map formal_param)
+ (text.join_with ""))
">"))]
- (format formal-params
+ (format formal_params
(..signature super)
(|> interfaces
(list@map ..signature)
- (text.join-with "")))))
+ (text.join_with "")))))
-(def: class-computes
+(def: class_computes
Int
($_ i.+
(org/objectweb/asm/ClassWriter::COMPUTE_MAXS)
## (org/objectweb/asm/ClassWriter::COMPUTE_FRAMES)
))
-(def: binary-name (|>> name.internal name.read))
+(def: binary_name (|>> name.internal name.read))
(template [<name> <flag>]
[(def: #export (<name> version visibility config name constraints super interfaces
definitions)
- (-> //.Version //.Visibility //.Class-Config Text (List Constraint) (Type Class) (List (Type Class)) //.Def
+ (-> //.Version //.Visibility //.Class_Config Text (List Constraint) (Type Class) (List (Type Class)) //.Def
(host.type [byte]))
- (let [writer (|> (do-to (org/objectweb/asm/ClassWriter::new class-computes)
- (org/objectweb/asm/ClassWriter::visit (version-flag version)
+ (let [writer (|> (do_to (org/objectweb/asm/ClassWriter::new class_computes)
+ (org/objectweb/asm/ClassWriter::visit (version_flag version)
($_ i.+
(org/objectweb/asm/Opcodes::ACC_SUPER)
<flag>
- (visibility-flag visibility)
- (class-flags config))
- (..binary-name name)
- (constraints-signature constraints super interfaces)
- (..class-name super)
+ (visibility_flag visibility)
+ (class_flags config))
+ (..binary_name name)
+ (constraints_signature constraints super interfaces)
+ (..class_name super)
(|> interfaces
- (list@map ..class-name)
- string-array)))
+ (list@map ..class_name)
+ string_array)))
definitions)
_ (org/objectweb/asm/ClassWriter::visitEnd writer)]
(org/objectweb/asm/ClassWriter::toByteArray writer)))]
@@ -195,36 +195,36 @@
(def: #export (interface version visibility config name constraints interfaces
definitions)
- (-> //.Version //.Visibility //.Class-Config Text (List Constraint) (List (Type Class)) //.Def
+ (-> //.Version //.Visibility //.Class_Config Text (List Constraint) (List (Type Class)) //.Def
(host.type [byte]))
- (let [writer (|> (do-to (org/objectweb/asm/ClassWriter::new class-computes)
- (org/objectweb/asm/ClassWriter::visit (version-flag version)
+ (let [writer (|> (do_to (org/objectweb/asm/ClassWriter::new class_computes)
+ (org/objectweb/asm/ClassWriter::visit (version_flag version)
($_ i.+
(org/objectweb/asm/Opcodes::ACC_SUPER)
(org/objectweb/asm/Opcodes::ACC_INTERFACE)
- (visibility-flag visibility)
- (class-flags config))
- (..binary-name name)
- (constraints-signature constraints $Object interfaces)
- (..class-name $Object)
+ (visibility_flag visibility)
+ (class_flags config))
+ (..binary_name name)
+ (constraints_signature constraints $Object interfaces)
+ (..class_name $Object)
(|> interfaces
- (list@map ..class-name)
- string-array)))
+ (list@map ..class_name)
+ string_array)))
definitions)
_ (org/objectweb/asm/ClassWriter::visitEnd writer)]
(org/objectweb/asm/ClassWriter::toByteArray writer)))
(def: #export (method visibility config name type then)
- (-> //.Visibility //.Method-Config Text (Type Method) //.Inst
+ (-> //.Visibility //.Method_Config Text (Type Method) //.Inst
//.Def)
(function (_ writer)
(let [=method (org/objectweb/asm/ClassWriter::visitMethod ($_ i.+
- (visibility-flag visibility)
- (method-flags config))
- (..binary-name name)
+ (visibility_flag visibility)
+ (method_flags config))
+ (..binary_name name)
(..descriptor type)
(..signature type)
- (string-array (list))
+ (string_array (list))
writer)
_ (org/objectweb/asm/MethodVisitor::visitCode =method)
_ (then =method)
@@ -232,29 +232,29 @@
_ (org/objectweb/asm/MethodVisitor::visitEnd =method)]
writer)))
-(def: #export (abstract-method visibility config name type)
- (-> //.Visibility //.Method-Config Text (Type Method)
+(def: #export (abstract_method visibility config name type)
+ (-> //.Visibility //.Method_Config Text (Type Method)
//.Def)
(function (_ writer)
(let [=method (org/objectweb/asm/ClassWriter::visitMethod ($_ i.+
- (visibility-flag visibility)
- (method-flags config)
+ (visibility_flag visibility)
+ (method_flags config)
(org/objectweb/asm/Opcodes::ACC_ABSTRACT))
- (..binary-name name)
+ (..binary_name name)
(..descriptor type)
(..signature type)
- (string-array (list))
+ (string_array (list))
writer)
_ (org/objectweb/asm/MethodVisitor::visitEnd =method)]
writer)))
(def: #export (field visibility config name type)
- (-> //.Visibility //.Field-Config Text (Type Value) //.Def)
+ (-> //.Visibility //.Field_Config Text (Type Value) //.Def)
(function (_ writer)
- (let [=field (do-to (org/objectweb/asm/ClassWriter::visitField ($_ i.+
- (visibility-flag visibility)
- (field-flags config))
- (..binary-name name)
+ (let [=field (do_to (org/objectweb/asm/ClassWriter::visitField ($_ i.+
+ (visibility_flag visibility)
+ (field_flags config))
+ (..binary_name name)
(..descriptor type)
(..signature type)
(host.null)
@@ -262,30 +262,30 @@
(org/objectweb/asm/FieldVisitor::visitEnd))]
writer)))
-(template [<name> <lux-type> <jvm-type> <prepare>]
+(template [<name> <lux_type> <jvm_type> <prepare>]
[(def: #export (<name> visibility config name value)
- (-> //.Visibility //.Field-Config Text <lux-type> //.Def)
+ (-> //.Visibility //.Field_Config Text <lux_type> //.Def)
(function (_ writer)
- (let [=field (do-to (org/objectweb/asm/ClassWriter::visitField ($_ i.+
- (visibility-flag visibility)
- (field-flags config))
- (..binary-name name)
- (..descriptor <jvm-type>)
- (..signature <jvm-type>)
+ (let [=field (do_to (org/objectweb/asm/ClassWriter::visitField ($_ i.+
+ (visibility_flag visibility)
+ (field_flags config))
+ (..binary_name name)
+ (..descriptor <jvm_type>)
+ (..signature <jvm_type>)
(<prepare> value)
writer)
(org/objectweb/asm/FieldVisitor::visitEnd))]
writer)))]
- [boolean-field Bit type.boolean function.identity]
- [byte-field Int type.byte host.long-to-byte]
- [short-field Int type.short host.long-to-short]
- [int-field Int type.int host.long-to-int]
- [long-field Int type.long function.identity]
- [float-field Frac type.float host.double-to-float]
- [double-field Frac type.double function.identity]
- [char-field Nat type.char (|>> .int host.long-to-int host.int-to-char)]
- [string-field Text (type.class "java.lang.String" (list)) function.identity]
+ [boolean_field Bit type.boolean function.identity]
+ [byte_field Int type.byte host.long_to_byte]
+ [short_field Int type.short host.long_to_short]
+ [int_field Int type.int host.long_to_int]
+ [long_field Int type.long function.identity]
+ [float_field Frac type.float host.double_to_float]
+ [double_field Frac type.double function.identity]
+ [char_field Nat type.char (|>> .int host.long_to_int host.int_to_char)]
+ [string_field Text (type.class "java.lang.String" (list)) function.identity]
)
(def: #export (fuse defs)