added the AUTHORITY into all classes, and support for it into Module
[gitmo/Class-MOP.git] / lib / Class / MOP / Attribute.pm
index 440c0ad..ca93efe 100644 (file)
@@ -5,17 +5,18 @@ use strict;
 use warnings;
 
 use Carp         'confess';
-use Scalar::Util 'blessed', 'reftype';
+use Scalar::Util 'blessed', 'reftype', 'weaken';
 
-our $VERSION = '0.01';
+our $VERSION   = '0.11';
+our $AUTHORITY = 'cpan:STEVAN';
 
 sub meta { 
     require Class::MOP::Class;
-    Class::MOP::Class->initialize($_[0]) 
+    Class::MOP::Class->initialize(blessed($_[0]) || $_[0]);
 }
 
 # NOTE: (meta-circularity)
-# This method will be replaces in the 
+# This method will be replaced in the 
 # boostrap section of Class::MOP, by 
 # a new version which uses the 
 # &Class::MOP::Class::construct_instance
@@ -30,9 +31,8 @@ sub new {
         
     (defined $name && $name)
         || confess "You must provide a name for the attribute";
-    (!exists $options{reader} && !exists $options{writer})
-        || confess "You cannot declare an accessor and reader and/or writer functions"
-            if exists $options{accessor};
+    $options{init_arg} = $name 
+        if not exists $options{init_arg};
             
     bless {
         name      => $name,
@@ -40,17 +40,55 @@ sub new {
         reader    => $options{reader},
         writer    => $options{writer},
         predicate => $options{predicate},
+        clearer   => $options{clearer},
         init_arg  => $options{init_arg},
-        default   => $options{default}
+        default   => $options{default},
+        # keep a weakened link to the 
+        # class we are associated with
+        associated_class => undef,
     } => $class;
 }
 
+# NOTE:
+# this is a primative (and kludgy) clone operation 
+# for now, it will be replaced in the Class::MOP
+# bootstrap with a proper one, however we know 
+# that this one will work fine for now.
+sub clone {
+    my $self    = shift;
+    my %options = @_;
+    (blessed($self))
+        || confess "Can only clone an instance";
+    return bless { %{$self}, %options } => blessed($self);
+}
+
+sub initialize_instance_slot {
+    my ($self, $meta_instance, $instance, $params) = @_;
+    my $init_arg = $self->{init_arg};
+    # try to fetch the init arg from the %params ...
+    my $val;        
+    $val = $params->{$init_arg} if exists $params->{$init_arg};
+    # if nothing was in the %params, we can use the 
+    # attribute's default value (if it has one)
+    if (!defined $val && defined $self->{default}) {
+        $val = $self->default($instance);
+    }
+    $meta_instance->set_slot_value($instance, $self->name, $val);
+}
+
+# NOTE:
+# the next bunch of methods will get bootstrapped 
+# away in the Class::MOP bootstrapping section
+
 sub name { $_[0]->{name} }
 
+sub associated_class { $_[0]->{associated_class} }
+
 sub has_accessor  { defined($_[0]->{accessor})  ? 1 : 0 }
 sub has_reader    { defined($_[0]->{reader})    ? 1 : 0 }
 sub has_writer    { defined($_[0]->{writer})    ? 1 : 0 }
 sub has_predicate { defined($_[0]->{predicate}) ? 1 : 0 }
+sub has_clearer   { defined($_[0]->{clearer})   ? 1 : 0 }
 sub has_init_arg  { defined($_[0]->{init_arg})  ? 1 : 0 }
 sub has_default   { defined($_[0]->{default})   ? 1 : 0 }
 
@@ -58,75 +96,222 @@ sub accessor  { $_[0]->{accessor}  }
 sub reader    { $_[0]->{reader}    }
 sub writer    { $_[0]->{writer}    }
 sub predicate { $_[0]->{predicate} }
+sub clearer   { $_[0]->{clearer}   }
 sub init_arg  { $_[0]->{init_arg}  }
 
+# end bootstrapped away method section.
+# (all methods below here are kept intact)
+
+sub is_default_a_coderef { 
+    (reftype($_[0]->{default}) && reftype($_[0]->{default}) eq 'CODE')
+}
+
 sub default { 
-    my $self = shift;
-    if (reftype($self->{default}) && reftype($self->{default}) eq 'CODE') {
+    my ($self, $instance) = @_;
+    if ($instance && $self->is_default_a_coderef) {
         # if the default is a CODE ref, then 
         # we pass in the instance and default
         # can return a value based on that 
         # instance. Somewhat crude, but works.
-        return $self->{default}->(shift);
+        return $self->{default}->($instance);
     }           
     $self->{default};
 }
 
-{
-    # this is just a utility routine to 
-    # handle the details of accessors
-    my $_inspect_accessor = sub {
-        my ($attr_name, $type, $accessor) = @_;
-    
-        my %ACCESSOR_TEMPLATES = (
-            'accessor' => qq{sub {
-                \$_[0]->{'$attr_name'} = \$_[1] if scalar(\@_) == 2;
-                \$_[0]->{'$attr_name'};
-            }},
-            'reader' => qq{sub {
-                \$_[0]->{'$attr_name'};
-            }},
-            'writer' => qq{sub {
-                \$_[0]->{'$attr_name'} = \$_[1];
-            }},
-            'predicate' => qq{sub {
-                defined \$_[0]->{'$attr_name'} ? 1 : 0;
-            }}
-        );    
-    
-        if (reftype($accessor) && reftype($accessor) eq 'HASH') {
-            my ($name, $method) = each %{$accessor};
-            return ($name, Class::MOP::Attribute::Accessor->wrap($method));        
-        }
-        else {
-            my $method = eval $ACCESSOR_TEMPLATES{$type};
-            confess "Could not create the $type for $attr_name CODE(\n" . $ACCESSOR_TEMPLATES{$type} . "\n) : $@" if $@;
-            return ($accessor => Class::MOP::Attribute::Accessor->wrap($method));
-        }    
+# slots
+
+sub slots { (shift)->name }
+
+# class association 
+
+sub attach_to_class {
+    my ($self, $class) = @_;
+    (blessed($class) && $class->isa('Class::MOP::Class'))
+        || confess "You must pass a Class::MOP::Class instance (or a subclass)";
+    weaken($self->{associated_class} = $class);    
+}
+
+sub detach_from_class {
+    my $self = shift;
+    $self->{associated_class} = undef;        
+}
+
+## Slot management
+
+sub set_value {
+    my ( $self, $instance, $value ) = @_;
+
+    Class::MOP::Class->initialize(Scalar::Util::blessed($instance))
+                     ->get_meta_instance
+                     ->set_slot_value( $instance, $self->name, $value );
+}
+
+sub get_value {
+    my ( $self, $instance ) = @_;
+
+    Class::MOP::Class->initialize(Scalar::Util::blessed($instance))
+                     ->get_meta_instance
+                     ->get_slot_value( $instance, $self->name );
+}
+
+## Method generation helpers
+
+sub generate_accessor_method {
+    my $attr = shift; 
+    return sub {
+        $attr->set_value( $_[0], $_[1] ) if scalar(@_) == 2;
+        $attr->get_value( $_[0] );
     };
+}
+
+sub generate_accessor_method_inline {
+    my $self          = shift; 
+    my $attr_name     = $self->name;
+    my $meta_instance = $self->associated_class->instance_metaclass;
+
+    my $code = eval 'sub {'
+        . $meta_instance->inline_set_slot_value('$_[0]', "'$attr_name'", '$_[1]')  . ' if scalar(@_) == 2; '
+        . $meta_instance->inline_get_slot_value('$_[0]', "'$attr_name'")
+    . '}';
+    confess "Could not generate inline accessor because : $@" if $@;
+
+    return $code;
+}
+
+sub generate_reader_method {
+    my $attr = shift;
+    return sub { 
+        confess "Cannot assign a value to a read-only accessor" if @_ > 1;
+        $attr->get_value( $_[0] );
+    };   
+}
+
+sub generate_reader_method_inline {
+    my $self          = shift; 
+    my $attr_name     = $self->name;
+    my $meta_instance = $self->associated_class->instance_metaclass;
+
+    my $code = eval 'sub {'
+        . 'confess "Cannot assign a value to a read-only accessor" if @_ > 1;'
+        . $meta_instance->inline_get_slot_value('$_[0]', "'$attr_name'")
+    . '}';
+    confess "Could not generate inline accessor because : $@" if $@;
+
+    return $code;
+}
+
+sub generate_writer_method {
+    my $attr = shift;
+    return sub {
+        $attr->set_value( $_[0], $_[1] );
+    };
+}
+
+sub generate_writer_method_inline {
+    my $self          = shift; 
+    my $attr_name     = $self->name;
+    my $meta_instance = $self->associated_class->instance_metaclass;
+
+    my $code = eval 'sub {'
+        . $meta_instance->inline_set_slot_value('$_[0]', "'$attr_name'", '$_[1]')
+    . '}';
+    confess "Could not generate inline accessor because : $@" if $@;
+
+    return $code;
+}
+
+sub generate_predicate_method {
+    my $self = shift;
+    my $attr_name  = $self->name;
+    return sub { 
+        defined Class::MOP::Class->initialize(Scalar::Util::blessed($_[0]))
+                                 ->get_meta_instance
+                                 ->get_slot_value($_[0], $attr_name) ? 1 : 0;
+    };
+}
+
+sub generate_clearer_method {
+    my $self = shift;
+    my $attr_name  = $self->name;
+    return sub { 
+        Class::MOP::Class->initialize(Scalar::Util::blessed($_[0]))
+                         ->get_meta_instance
+                         ->deinitialize_slot($_[0], $attr_name);
+    };
+}
+
+sub generate_predicate_method_inline {
+    my $self          = shift; 
+    my $attr_name     = $self->name;
+    my $meta_instance = $self->associated_class->instance_metaclass;
+
+    my $code = eval 'sub {'
+        . 'defined ' . $meta_instance->inline_get_slot_value('$_[0]', "'$attr_name'") . ' ? 1 : 0'
+    . '}';
+    confess "Could not generate inline predicate because : $@" if $@;
+
+    return $code;
+}
+
+sub generate_clearer_method_inline {
+    my $self          = shift; 
+    my $attr_name     = $self->name;
+    my $meta_instance = $self->associated_class->instance_metaclass;
+
+    my $code = eval 'sub {'
+        . $meta_instance->inline_deinitialize_slot('$_[0]', "'$attr_name'")
+    . '}';
+    confess "Could not generate inline clearer because : $@" if $@;
 
-    sub install_accessors {
-        my ($self, $class) = @_;
-        (blessed($class) && $class->isa('Class::MOP::Class'))
-            || confess "You must pass a Class::MOP::Class instance (or a subclass)";    
-        $class->add_method(
-            $_inspect_accessor->($self->name, 'accessor' => $self->accessor())
-        ) if $self->has_accessor();
-
-        $class->add_method(            
-            $_inspect_accessor->($self->name, 'reader' => $self->reader())
-        ) if $self->has_reader();
+    return $code;
+}
+
+sub process_accessors {
+    my ($self, $type, $accessor, $generate_as_inline_methods) = @_;
+    if (reftype($accessor)) {
+        (reftype($accessor) eq 'HASH')
+            || confess "bad accessor/reader/writer/predicate/clearer format, must be a HASH ref";
+        my ($name, $method) = %{$accessor};
+        return ($name, Class::MOP::Attribute::Accessor->wrap($method));        
+    }
+    else {
+        my $inline_me = ($generate_as_inline_methods && $self->associated_class->instance_metaclass->is_inlinable); 
+        my $generator = $self->can('generate_' . $type . '_method' . ($inline_me ? '_inline' : ''));
+        ($generator)
+            || confess "There is no method generator for the type='$type'";
+        if (my $method = $self->$generator($self->name)) {
+            return ($accessor => Class::MOP::Attribute::Accessor->wrap($method));            
+        }
+        confess "Could not create the '$type' method for " . $self->name . " because : $@";
+    }    
+}
+
+sub install_accessors {
+    my $self   = shift;
+    my $inline = shift;
+    my $class  = $self->associated_class;
     
-        $class->add_method(
-            $_inspect_accessor->($self->name, 'writer' => $self->writer())
-        ) if $self->has_writer();
+    $class->add_method(
+        $self->process_accessors('accessor' => $self->accessor(), $inline)
+    ) if $self->has_accessor();
+
+    $class->add_method(            
+        $self->process_accessors('reader' => $self->reader(), $inline)
+    ) if $self->has_reader();
+
+    $class->add_method(
+        $self->process_accessors('writer' => $self->writer(), $inline)
+    ) if $self->has_writer();
+
+    $class->add_method(
+        $self->process_accessors('predicate' => $self->predicate(), $inline)
+    ) if $self->has_predicate();
     
-        $class->add_method(
-            $_inspect_accessor->($self->name, 'predicate' => $self->predicate())
-        ) if $self->has_predicate();
-        return;
-    }
+    $class->add_method(
+        $self->process_accessors('clearer' => $self->clearer(), $inline)
+    ) if $self->has_clearer();
     
+    return;
 }
 
 {
@@ -141,13 +326,12 @@ sub default {
     };
     
     sub remove_accessors {
-        my ($self, $class) = @_;
-        (blessed($class) && $class->isa('Class::MOP::Class'))
-            || confess "You must pass a Class::MOP::Class instance (or a subclass)";    
-        $_remove_accessor->($self->accessor(),  $class) if $self->has_accessor();
-        $_remove_accessor->($self->reader(),    $class) if $self->has_reader();
-        $_remove_accessor->($self->writer(),    $class) if $self->has_writer();
-        $_remove_accessor->($self->predicate(), $class) if $self->has_predicate();
+        my $self = shift;
+        $_remove_accessor->($self->accessor(),  $self->associated_class()) if $self->has_accessor();
+        $_remove_accessor->($self->reader(),    $self->associated_class()) if $self->has_reader();
+        $_remove_accessor->($self->writer(),    $self->associated_class()) if $self->has_writer();
+        $_remove_accessor->($self->predicate(), $self->associated_class()) if $self->has_predicate();
+        $_remove_accessor->($self->clearer(),   $self->associated_class()) if $self->has_clearer();
         return;                        
     }
 
@@ -212,7 +396,7 @@ object attributes.
 =item B<new ($name, ?%options)>
 
 An attribute must (at the very least), have a C<$name>. All other 
-C<%options> are contained added as key-valeue pairs. Acceptable keys
+C<%options> are contained added as key-value pairs. Acceptable keys
 are as follows:
 
 =over 4
@@ -225,6 +409,9 @@ value of C<-foo>, then the following code will Just Work.
 
   MyClass->meta->construct_instance(-foo => "Hello There");
 
+In an init_arg is not assigned, it will automatically use the 
+value of C<$name>.
+
 =item I<default>
 
 The value of this key is the default value which 
@@ -274,12 +461,11 @@ an exercise to the reader :).
 
 =back
 
-This I<accessor>, I<reader>, I<writer> and I<predicate> keys can 
-contain either; the name of the method and an appropriate default 
-one will be generated for you, B<or> a HASH ref containing exactly one 
-key (which will be used as the name of the method) and one value, 
-which should contain a CODE reference which will be installed as 
-the method itself.
+The I<accessor>, I<reader>, I<writer>, I<predicate> and I<clearer> keys can
+contain either; the name of the method and an appropriate default one will be
+generated for you, B<or> a HASH ref containing exactly one key (which will be
+used as the name of the method) and one value, which should contain a CODE
+reference which will be installed as the method itself.
 
 =over 4
 
@@ -320,10 +506,35 @@ This is a basic test to see if the value of the attribute is not
 C<undef>. It will return true (C<1>) if the attribute's value is 
 defined, and false (C<0>) otherwise.
 
+=item I<clearer>
+
+This is the a method that will uninitialize the attr, reverting lazy values
+back to their "unfulfilled" state.
+
 =back
 
+=item B<clone (%options)>
+
+=item B<initialize_instance_slot ($instance, $params)>
+
 =back 
 
+=head2 Value management
+
+=over 4
+
+=item set_value $instance, $value
+
+Set the value without going through the accessor. Note that this may be done to
+even attributes with just read only accessors.
+
+=item get_value $instance
+
+Return the value without going through the accessor. Note that this may be done
+even to attributes with just write only accessors.
+
+=back
+
 =head2 Informational
 
 These are all basic read-only value accessors for the values 
@@ -341,19 +552,28 @@ passed into C<new>. I think they are pretty much self-explanitory.
 
 =item B<predicate>
 
+=item B<clearer>
+
 =item B<init_arg>
 
+=item B<is_default_a_coderef>
+
 =item B<default (?$instance)>
 
 As noted in the documentation for C<new> above, if the I<default> 
 value is a CODE reference, this accessor will pass a single additional
 argument C<$instance> into it and return the value.
 
+=item B<slots>
+
+Returns a list of slots required by the attribute. This is usually 
+just one, which is the name of the attribute.
+
 =back
 
 =head2 Informational predicates
 
-These are all basic predicate methodfor the values passed into C<new>.
+These are all basic predicate methods for the values passed into C<new>.
 
 =over 4
 
@@ -365,26 +585,85 @@ These are all basic predicate methodfor the values passed into C<new>.
 
 =item B<has_predicate>
 
+=item B<has_clearer>
+
 =item B<has_init_arg>
 
 =item B<has_default>
 
 =back
 
+=head2 Class association
+
+=over 4
+
+=item B<associated_class>
+
+=item B<attach_to_class ($class)>
+
+=item B<detach_from_class>
+
+=item B<slot_name>
+
+=item B<allocate_slots>
+
+=item B<deallocate_slots>
+
+=back
+
 =head2 Attribute Accessor generation
 
 =over 4
 
-=item B<install_accessors ($class)>
+=item B<install_accessors>
 
 This allows the attribute to generate and install code for it's own 
-accessor/reader/writer/predicate methods. This is called by 
+I<accessor/reader/writer/predicate> methods. This is called by 
 C<Class::MOP::Class::add_attribute>.
 
-=item B<remove_accessors ($class)>
+This method will call C<process_accessors> for each of the possible 
+method types (accessor, reader, writer & predicate).
+
+=item B<process_accessors ($type, $value)>
+
+This takes a C<$type> (accessor, reader, writer or predicate), and 
+a C<$value> (the value passed into the constructor for each of the
+different types). It will then either generate the method itself 
+(using the C<generate_*_method> methods listed below) or it will 
+use the custom method passed through the constructor. 
+
+=over 4
+
+=item B<generate_accessor_method>
+
+=item B<generate_predicate_method>
+
+=item B<generate_clearer_method>
+
+=item B<generate_reader_method>
+
+=item B<generate_writer_method>
+
+=back
+
+=over 4
+
+=item B<generate_accessor_method_inline>
+
+=item B<generate_predicate_method_inline>
+
+=item B<generate_clearer_method_inline>
+
+=item B<generate_reader_method_inline>
+
+=item B<generate_writer_method_inline>
+
+=back
+
+=item B<remove_accessors>
 
 This allows the attribute to remove the method for it's own 
-accessor/reader/writer/predicate. This is called by 
+I<accessor/reader/writer/predicate/clearer>. This is called by 
 C<Class::MOP::Class::remove_attribute>.
 
 =back
@@ -405,9 +684,11 @@ of the MOP when subclassing it.
 
 =back
 
-=head1 AUTHOR
+=head1 AUTHORS
+
+Stevan Little E<lt>stevan@iinteractive.comE<gt>
 
-Stevan Little E<gt>stevan@iinteractive.comE<lt>
+Yuval Kogman E<lt>nothingmuch@woobling.comE<gt>
 
 =head1 COPYRIGHT AND LICENSE
 
@@ -418,4 +699,6 @@ L<http://www.iinteractive.com>
 This library is free software; you can redistribute it and/or modify
 it under the same terms as Perl itself. 
 
-=cut
\ No newline at end of file
+=cut
+
+