diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/documentation/lux/ffi.jvm.lux | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/stdlib/source/documentation/lux/ffi.jvm.lux b/stdlib/source/documentation/lux/ffi.jvm.lux index 510636c0f..2ce78b3a2 100644 --- a/stdlib/source/documentation/lux/ffi.jvm.lux +++ b/stdlib/source/documentation/lux/ffi.jvm.lux @@ -1,6 +1,6 @@ (.using [library - [lux {"-" int char type as} + [lux {"-" int char type is as} ["$" documentation {"+" documentation:}] [data ["[0]" text {"+" \n} @@ -154,10 +154,10 @@ [(= "foo" (!!! (??? "foo")))]) -(documentation: /.check +(documentation: /.as (format "Checks whether an object is an instance of a particular class." \n "Caveat emptor: Cannot check for polymorphism, so avoid using parameterized classes.") - [(case (check String "YOLO") + [(case (as String "YOLO") {.#Some value_as_string} {.#None})]) @@ -248,9 +248,9 @@ [(is Type (type java/lang/String))]) -(documentation: /.as +(documentation: /.is "" - [(as java/lang/Object + [(is java/lang/Object (is java/lang/String ???))]) @@ -312,7 +312,7 @@ ..null? ..??? ..!!! - ..check + ..as ..synchronized ..do_to ..import: @@ -322,13 +322,12 @@ ..write! ..class_for ..type - ..as + ..is ($.default /.Privacy) ($.default /.State) ($.default /.Inheritance) ($.default /.class_names_cannot_contain_periods) ($.default /.class_name_cannot_be_a_type_variable) - ($.default /.unexpected_type_variable) ($.default /.cannot_convert_to_jvm_type) ($.default /.cannot_cast_to_non_object)] [])) |