aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/target/jvm/reflection.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/library/lux/target/jvm/reflection.lux34
1 files changed, 17 insertions, 17 deletions
diff --git a/stdlib/source/library/lux/target/jvm/reflection.lux b/stdlib/source/library/lux/target/jvm/reflection.lux
index 6827f2be9..bdb8249f2 100644
--- a/stdlib/source/library/lux/target/jvm/reflection.lux
+++ b/stdlib/source/library/lux/target/jvm/reflection.lux
@@ -111,12 +111,12 @@
(getConstructors [] [(java/lang/reflect/Constructor java/lang/Object)])
(getDeclaredMethods [] [java/lang/reflect/Method])])
-(exception: #export (unknown_class {class External})
+(exception: .public (unknown_class {class External})
(exception.report
["Class" (%.text class)]))
(template [<name>]
- [(exception: #export (<name> {jvm_type java/lang/reflect/Type})
+ [(exception: .public (<name> {jvm_type java/lang/reflect/Type})
(exception.report
["Type" (java/lang/reflect/Type::getTypeName jvm_type)]
["Class" (|> jvm_type java/lang/Object::getClass java/lang/Object::toString)]))]
@@ -125,7 +125,7 @@
[cannot_convert_to_a_lux_type]
)
-(def: #export (load class_loader name)
+(def: .public (load class_loader name)
(-> java/lang/ClassLoader External (Try (java/lang/Class java/lang/Object)))
(case (java/lang/Class::forName name false class_loader)
(#try.Success class)
@@ -134,7 +134,7 @@
(#try.Failure _)
(exception.except ..unknown_class name)))
-(def: #export (sub? class_loader super sub)
+(def: .public (sub? class_loader super sub)
(-> java/lang/ClassLoader External External (Try Bit))
(do try.monad
[super (..load class_loader super)
@@ -187,7 +187,7 @@
## else
(exception.except ..cannot_convert_to_a_lux_type reflection)))
-(def: #export (parameter reflection)
+(def: .public (parameter reflection)
(-> java/lang/reflect/Type (Try (/.Type Parameter)))
(<| (case (ffi.check java/lang/reflect/TypeVariable reflection)
(#.Some reflection)
@@ -217,12 +217,12 @@
_)
(..class' parameter reflection)))
-(def: #export class
+(def: .public class
(-> java/lang/reflect/Type
(Try (/.Type Class)))
(..class' ..parameter))
-(def: #export (type reflection)
+(def: .public (type reflection)
(-> java/lang/reflect/Type (Try (/.Type Value)))
(<| (case (ffi.check java/lang/Class reflection)
(#.Some reflection)
@@ -256,7 +256,7 @@
## else
(..parameter reflection)))
-(def: #export (return reflection)
+(def: .public (return reflection)
(-> java/lang/reflect/Type (Try (/.Type Return)))
(with_expansions [<else> (as_is (..type reflection))]
(case (ffi.check java/lang/Class reflection)
@@ -272,13 +272,13 @@
#.None
<else>)))
-(exception: #export (cannot_correspond {class (java/lang/Class java/lang/Object)}
+(exception: .public (cannot_correspond {class (java/lang/Class java/lang/Object)}
{type Type})
(exception.report
["Class" (java/lang/Object::toString class)]
["Type" (%.type type)]))
-(exception: #export (type_parameter_mismatch {expected Nat}
+(exception: .public (type_parameter_mismatch {expected Nat}
{actual Nat}
{class (java/lang/Class java/lang/Object)}
{type Type})
@@ -288,11 +288,11 @@
["Class" (java/lang/Object::toString class)]
["Type" (%.type type)]))
-(exception: #export (non_jvm_type {type Type})
+(exception: .public (non_jvm_type {type Type})
(exception.report
["Type" (%.type type)]))
-(def: #export (correspond class type)
+(def: .public (correspond class type)
(-> (java/lang/Class java/lang/Object) Type (Try Mapping))
(case type
(#.Primitive name params)
@@ -326,7 +326,7 @@
_
(exception.except ..non_jvm_type [type])))
-(exception: #export (mistaken_field_owner {field java/lang/reflect/Field}
+(exception: .public (mistaken_field_owner {field java/lang/reflect/Field}
{owner (java/lang/Class java/lang/Object)}
{target (java/lang/Class java/lang/Object)})
(exception.report
@@ -335,7 +335,7 @@
["Target" (java/lang/Object::toString target)]))
(template [<name>]
- [(exception: #export (<name> {field Text}
+ [(exception: .public (<name> {field Text}
{class (java/lang/Class java/lang/Object)})
(exception.report
["Field" (%.text field)]
@@ -346,7 +346,7 @@
[not_a_virtual_field]
)
-(def: #export (field field target)
+(def: .public (field field target)
(-> Text (java/lang/Class java/lang/Object) (Try java/lang/reflect/Field))
(case (java/lang/Class::getDeclaredField field target)
(#try.Success field)
@@ -358,7 +358,7 @@
(#try.Failure _)
(exception.except ..unknown_field [field target])))
-(def: #export deprecated?
+(def: .public deprecated?
(-> (array.Array java/lang/annotation/Annotation) Bit)
(|>> array.list
(list.all (|>> (ffi.check java/lang/Deprecated)))
@@ -366,7 +366,7 @@
not))
(template [<name> <exception> <then?> <else?>]
- [(def: #export (<name> field class)
+ [(def: .public (<name> field class)
(-> Text (java/lang/Class java/lang/Object) (Try [Bit Bit (/.Type Value)]))
(do {! try.monad}
[fieldJ (..field field class)