diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/ffi.old.lux | 58 |
1 files changed, 29 insertions, 29 deletions
diff --git a/stdlib/source/library/lux/ffi.old.lux b/stdlib/source/library/lux/ffi.old.lux index cc5e342b1..a577a3b6d 100644 --- a/stdlib/source/library/lux/ffi.old.lux +++ b/stdlib/source/library/lux/ffi.old.lux @@ -98,15 +98,15 @@ (def member_separator "::") ... Types -(type: JVM_Code +(.type JVM_Code Text) -(type: BoundKind +(.type BoundKind (Variant {#UpperBound} {#LowerBound})) -(type: GenericType +(.type GenericType (Rec GenericType (Variant {#GenericTypeVar Text} @@ -114,89 +114,89 @@ {#GenericArray GenericType} {#GenericWildcard (Maybe [BoundKind GenericType])}))) -(type: Type_Parameter +(.type Type_Parameter [Text (List GenericType)]) -(type: Primitive_Mode +(.type Primitive_Mode (Variant {#ManualPrM} {#AutoPrM})) -(type: .public Privacy +(.type .public Privacy (Variant {#PublicP} {#PrivateP} {#ProtectedP} {#DefaultP})) -(type: .public State +(.type .public State (Variant {#VolatileS} {#FinalS} {#DefaultS})) -(type: .public Inheritance +(.type .public Inheritance (Variant {#FinalI} {#AbstractI} {#DefaultI})) -(type: Class_Kind +(.type Class_Kind (Variant {#Class} {#Interface})) -(type: Class_Declaration +(.type Class_Declaration (Record [#class_name Text #class_params (List Type_Parameter)])) -(type: StackFrame +(.type StackFrame (Primitive "java/lang/StackTraceElement")) -(type: StackTrace +(.type StackTrace (Array StackFrame)) -(type: Super_Class_Decl +(.type Super_Class_Decl (Record [#super_class_name Text #super_class_params (List GenericType)])) -(type: AnnotationParam +(.type AnnotationParam [Text Code]) -(type: Annotation +(.type Annotation (Record [#ann_name Text #ann_params (List AnnotationParam)])) -(type: Member_Declaration +(.type Member_Declaration (Record [#member_name Text #member_privacy Privacy #member_anns (List Annotation)])) -(type: FieldDecl +(.type FieldDecl (Variant {#ConstantField GenericType Code} {#VariableField State GenericType})) -(type: MethodDecl +(.type MethodDecl (Record [#method_tvars (List Type_Parameter) #method_inputs (List GenericType) #method_output GenericType #method_exs (List GenericType)])) -(type: ArgDecl +(.type ArgDecl (Record [#arg_name Text #arg_type GenericType])) -(type: ConstructorArg +(.type ConstructorArg [GenericType Code]) -(type: Method_Definition +(.type Method_Definition (Variant {#ConstructorMethod [Bit (List Type_Parameter) @@ -235,17 +235,17 @@ GenericType (List GenericType)]})) -(type: Partial_Call +(.type Partial_Call (Record [#pc_method Symbol #pc_args (List Code)])) -(type: ImportMethodKind +(.type ImportMethodKind (Variant {#StaticIMK} {#VirtualIMK})) -(type: ImportMethodCommons +(.type ImportMethodCommons (Record [#import_member_mode Primitive_Mode #import_member_alias Text @@ -256,16 +256,16 @@ #import_member_try? Bit #import_member_io? Bit])) -(type: ImportConstructorDecl +(.type ImportConstructorDecl (Record [])) -(type: ImportMethodDecl +(.type ImportMethodDecl (Record [#import_method_name Text #import_method_return GenericType])) -(type: ImportFieldDecl +(.type ImportFieldDecl (Record [#import_field_mode Primitive_Mode #import_field_name Text @@ -274,7 +274,7 @@ #import_field_setter? Bit #import_field_type GenericType])) -(type: Import_Member_Declaration +(.type Import_Member_Declaration (Variant {#EnumDecl (List Text)} {#ConstructorDecl [ImportMethodCommons ImportConstructorDecl]} @@ -1604,7 +1604,7 @@ [=args (member_def_arg_bindings type_params class member)] (member_def_interop type_params kind class =args member method_prefix import_format)))) -(type: (java/lang/Class a) +(.type (java/lang/Class a) (Primitive "java.lang.Class" [a])) (def interface? |