diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/ffi.old.lux | 78 |
1 files changed, 39 insertions, 39 deletions
diff --git a/stdlib/source/library/lux/ffi.old.lux b/stdlib/source/library/lux/ffi.old.lux index c8de0eb03..832d3907f 100644 --- a/stdlib/source/library/lux/ffi.old.lux +++ b/stdlib/source/library/lux/ffi.old.lux @@ -89,21 +89,21 @@ #ManualPrM #AutoPrM) -(type: PrivacyModifier - #PublicPM - #PrivatePM - #ProtectedPM - #DefaultPM) - -(type: StateModifier - #VolatileSM - #FinalSM - #DefaultSM) - -(type: InheritanceModifier - #FinalIM - #AbstractIM - #DefaultIM) +(type: #export Privacy + #PublicP + #PrivateP + #ProtectedP + #DefaultP) + +(type: #export State + #VolatileS + #FinalS + #DefaultS) + +(type: #export Inheritance + #FinalI + #AbstractI + #DefaultI) (type: Class_Kind #Class @@ -129,12 +129,12 @@ (type: Member_Declaration {#member_name Text - #member_privacy PrivacyModifier + #member_privacy Privacy #member_anns (List Annotation)}) (type: FieldDecl (#ConstantField GenericType Code) - (#VariableField StateModifier GenericType)) + (#VariableField State GenericType)) (type: MethodDecl {#method_tvars (List Type_Parameter) @@ -502,7 +502,7 @@ ## Parsers (def: privacy_modifier^ - (Parser PrivacyModifier) + (Parser Privacy) (let [(^open ".") <>.monad] ($_ <>.or (<code>.this! (' #public)) @@ -511,7 +511,7 @@ (wrap [])))) (def: inheritance_modifier^ - (Parser InheritanceModifier) + (Parser Inheritance) (let [(^open ".") <>.monad] ($_ <>.or (<code>.this! (' #final)) @@ -661,13 +661,13 @@ inputs (<code>.tuple (<>.some (..generic_type^ type_vars))) output (..generic_type^ type_vars) exs (..throws_decl^ type_vars)] - (wrap [[name #PublicPM anns] {#method_tvars tvars - #method_inputs inputs - #method_output output - #method_exs exs}])))) + (wrap [[name #PublicP anns] {#method_tvars tvars + #method_inputs inputs + #method_output output + #method_exs exs}])))) (def: state_modifier^ - (Parser StateModifier) + (Parser State) ($_ <>.or (<code>.this! (' #volatile)) (<code>.this! (' #final)) @@ -681,7 +681,7 @@ anns ..annotations^ type (..generic_type^ type_vars) body <code>.any] - (wrap [[name #PublicPM anns] (#ConstantField [type body])]))) + (wrap [[name #PublicP anns] (#ConstantField [type body])]))) (<code>.form (do <>.monad [pm privacy_modifier^ sm state_modifier^ @@ -765,7 +765,7 @@ annotations ..annotations^ body <code>.any] (wrap [{#member_name name - #member_privacy #PublicPM + #member_privacy #PublicP #member_anns annotations} (#OverridenMethod strict_fp? owner_class method_vars @@ -952,19 +952,19 @@ (text.join_with " ")) (def: (privacy_modifier$ pm) - (-> PrivacyModifier JVM_Code) + (-> Privacy JVM_Code) (case pm - #PublicPM "public" - #PrivatePM "private" - #ProtectedPM "protected" - #DefaultPM "default")) + #PublicP "public" + #PrivateP "private" + #ProtectedP "protected" + #DefaultP "default")) (def: (inheritance_modifier$ im) - (-> InheritanceModifier JVM_Code) + (-> Inheritance JVM_Code) (case im - #FinalIM "final" - #AbstractIM "abstract" - #DefaultIM "default")) + #FinalI "final" + #AbstractI "abstract" + #DefaultI "default")) (def: (annotation_param$ [name value]) (-> AnnotationParam JVM_Code) @@ -1023,11 +1023,11 @@ )))) (def: (state_modifier$ sm) - (-> StateModifier JVM_Code) + (-> State JVM_Code) (case sm - #VolatileSM "volatile" - #FinalSM "final" - #DefaultSM "default")) + #VolatileS "volatile" + #FinalS "final" + #DefaultS "default")) (def: (field_decl$ [[name pm anns] field]) (-> [Member_Declaration FieldDecl] JVM_Code) |