Changeset 7036

Timestamp:

09/18/05 18:13:08 (3 years ago)

Author:

stevan

Message:

Perl6::MetaModel? 2.0 -
* sketched out role(Role) in psyche
* Role now calls resolve() on it's won in MiniMetaMode?_w_Roles
* added test to show that the model can host inside-out objects
* other misc. minor tweaks

Location:

perl5/Perl6-MetaModel2.0

Files:

• docs/MiniMetaModel_w_Role.pl (modified) (1 diff)
• lib/Perl6/MetaModel.pm (modified) (2 diffs)
• lib/chaos.pl (modified) (3 diffs)
• lib/gnosis.pl (modified) (1 diff)
• lib/pneuma.pl (modified) (1 diff)
• lib/psyche.pl (modified) (1 diff)
• t/31_inside_out_objects.t (added)

perl5/Perl6-MetaModel2.0/docs/MiniMetaModel_w_Role.pl

@@ -194 +194 @@
 # Bootstrap -> Role does Role
 ::opaque_instance_attrs($Role)->{'@:roles'} = [ $Role ];
-$_resolve->($Role);
+$Role->resolve(); # Role can resolve itself now :)
 
 # Class gets a special case Does

perl5/Perl6-MetaModel2.0/lib/Perl6/MetaModel.pm

@@ -17 +17 @@
     my $pkg = caller;
     *{"${pkg}::class"} = \&class;
-    *{"${pkg}::role"}  = \&role;    
+    *{"${pkg}::role"}  = \&role;   
+    
+    *{"${pkg}::__"}  = \&__;        
 }
 
@@ -29 +31 @@
     ::opaque_instance_attrs($::SELF)->{$attr} = shift if @_;
     ::opaque_instance_attrs($::SELF)->{$attr};    
+}
+
+sub __ {
+    my $attr = shift;
+    $::CLASS->STORE($attr => shift) if @_;
+    $::CLASS->FETCH($attr);  
 }
 

perl5/Perl6-MetaModel2.0/lib/chaos.pl

@@ -71 +71 @@
     $::CALLER::CLASS = undef;
 
+    ## WALKMETH and WALKCLASS
     # these are actually two functions
     # which are detailed in A12 and are
@@ -117 +118 @@
     
     # DEPRECATED
+    # Class attribute are just package level variables now
     # sub ::make_class_attribute ($) {
     #     my ($name) = @_;
@@ -124 +126 @@
     # }     
     
+    # this just initializes the instance attribute container type, in
+    # perl 6 this should be done automatically
     sub ::instantiate_attribute_container ($) {
         my ($attr) = @_;

perl5/Perl6-MetaModel2.0/lib/gnosis.pl

@@ -30 +30 @@
 
 ## create the body of 'add_method' here,.. 
-my $_add_method = sub {
-    my ($self, $label, $method) = @_;
-    (defined $label && $label)
-        || confess "You must supply a valid method label";
-    (blessed($method))
-        || confess "A method must be a blessed Perl6::Method object";
+{
+    my $_add_method = sub {
+        my ($self, $label, $method) = @_;
+        (defined $label && $label)
+            || confess "You must supply a valid method label";
+        (blessed($method))
+            || confess "A method must be a blessed Perl6::Method object";
     
-    ::bind_method_to_class($method, $self);
+        ::bind_method_to_class($method, $self);
         
-    if (blessed($method) eq 'Perl6::Method'   ||
-        blessed($method) eq 'Perl6::Submethod') {
-        ::opaque_instance_attrs($self)->{'%:methods'}->{$label} = $method;
-    }
-    elsif (blessed($method) eq 'Perl6::ClassMethod') {
-        ::opaque_instance_attrs($self)->{'%:class_methods'}->{$label} = $method;                
-    }
-    elsif (blessed($method) eq 'Perl6::PrivateMethod') {
-        ::opaque_instance_attrs($self)->{'%:private_methods'}->{$label} = $method;                
-    }            
-    else {
-        confess "I do not recognize the method type ($method)";
-    }
-};
+        if (blessed($method) eq 'Perl6::Method'   ||
+            blessed($method) eq 'Perl6::Submethod') {
+            ::opaque_instance_attrs($self)->{'%:methods'}->{$label} = $method;
+        }
+        elsif (blessed($method) eq 'Perl6::ClassMethod') {
+            ::opaque_instance_attrs($self)->{'%:class_methods'}->{$label} = $method;                
+        }
+        elsif (blessed($method) eq 'Perl6::PrivateMethod') {
+            ::opaque_instance_attrs($self)->{'%:private_methods'}->{$label} = $method;                
+        }            
+        else {
+            confess "I do not recognize the method type ($method)";
+        }
+    };
 
-# and use it to add itself to the $::Class
-$_add_method->($::Class, 'add_method', ::make_method($_add_method));
-
+    # and use it to add itself to the $::Class
+    $_add_method->($::Class, 'add_method', ::make_method($_add_method));
+}
 # ... now we have all we need to construct our $::Class 
 

perl5/Perl6-MetaModel2.0/lib/pneuma.pl

@@ -8 +8 @@
 # This is pneuma, this creates ::Object, ::Package and ::Module
 
+# From Answers.com:
 # According to the Gnostics, the Demiurge was able to endow man 
 # only with psyche (sensuous soul) — the pneuma (rational soul) 
 # having been added by God.
+
+## (see psyche.pl for more information)
 
 $::Object  = undef;

perl5/Perl6-MetaModel2.0/lib/psyche.pl

@@ -217 +217 @@
 }));
 
+=pod
+
+-------------------------------------------------------------------------------
+
+This is a rough sketch of that role(Role) might look like. 
+
+role Role {
+    has @:roles is rw;  # makes the roles mutator/accessor
+
+    # -----------------------------------------------      
+    # this collects a unique list of roles 
+    # gather recursively, &resolve uses it
+    # to gather all the roles to be 'resolved'
+    # -----------------------------------------------      
+    method collect_all_roles () { "<implemented>" }  
+
+    # -----------------------------------------------    
+    # NOTE:
+    # I am not sure I need to define these attrs in 
+    # the Role it can remain an implementation detail 
+    # for the methods described below.
+    # -----------------------------------------------
+    # has %:methods;
+    # has %:attributes;
+    # -----------------------------------------------    
+      
+    # -----------------------------------------------  
+    # collects all the roles, and applies them to the
+    # invocant, which usually will be a class, but it
+    # can be a role too.
+    # -----------------------------------------------    
+    method resolve () { "<implemented>" }
+
+    # -----------------------------------------------    
+    # NOTE:
+    # &resolve requires the following interface
+    # to be implemented, so it makes abstract 
+    # methods which must be implemented
+    # -----------------------------------------------
+
+    method add_method;
+    method get_method;
+    method has_method;
+    method get_method_list;        
+    
+    method add_attribute;
+    method get_attribute;
+    method has_attribute;
+    method get_attribute_list;            
+}
+
+-------------------------------------------------------------------------------
+Random Thoughts on Role state:
+-------------------------------------------------------------------------------
+
+What if Roles could provide their own BUILD submethods? This would 
+mean that BUILD methods would need to be collected in some way.
+So that BUILDALL not only ran the Class BUILD submethod, but any
+Role BUILD submethods. It is important that submethods are used
+because they will not get inherited. This provides more predictable 
+behavior to class consturction because it isolates the Role specifc
+code to the class that consumed it.
+
+-------------------------------------------------------------------------------
+
+=cut
+
 1;