X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=lib%2FMoose%2FMeta%2FClass.pm;h=3dd0bb4fdc3fd12d691e9367585d571a21ecc05b;hb=9c10b5ad9c24b7d09982daa5e07cf009222049cf;hp=cf577c43f902afda2280d02803f5d3f8d5aa1aa4;hpb=52c7c33051150fe0851c98369b6c4cb25a1779c1;p=gitmo%2FMoose.git diff --git a/lib/Moose/Meta/Class.pm b/lib/Moose/Meta/Class.pm index cf577c4..3dd0bb4 100644 --- a/lib/Moose/Meta/Class.pm +++ b/lib/Moose/Meta/Class.pm @@ -9,7 +9,7 @@ use Class::MOP; use Carp 'confess'; use Scalar::Util 'weaken', 'blessed', 'reftype'; -our $VERSION = '0.13'; +our $VERSION = '0.20'; our $AUTHORITY = 'cpan:STEVAN'; use Moose::Meta::Method::Overriden; @@ -25,11 +25,11 @@ sub initialize { my $class = shift; my $pkg = shift; $class->SUPER::initialize($pkg, - 'attribute_metaclass' => 'Moose::Meta::Attribute', + 'attribute_metaclass' => 'Moose::Meta::Attribute', 'method_metaclass' => 'Moose::Meta::Method', - 'instance_metaclass' => 'Moose::Meta::Instance', + 'instance_metaclass' => 'Moose::Meta::Instance', @_); -} +} sub add_role { my ($self, $role) = @_; @@ -49,7 +49,7 @@ sub does_role { (defined $role_name) || confess "You must supply a role name to look for"; foreach my $class ($self->class_precedence_list) { - next unless $class->can('meta'); + next unless $class->can('meta'); foreach my $role (@{$class->meta->roles}) { return 1 if $role->does_role($role_name); } @@ -61,14 +61,14 @@ sub excludes_role { my ($self, $role_name) = @_; (defined $role_name) || confess "You must supply a role name to look for"; - foreach my $class ($self->class_precedence_list) { - next unless $class->can('meta'); + foreach my $class ($self->class_precedence_list) { + next unless $class->can('meta'); # NOTE: # in the pretty rare instance when a Moose metaclass - # is itself extended with a role, this check needs to + # is itself extended with a role, this check needs to # be done since some items in the class_precedence_list - # might in fact be Class::MOP based still. - next unless $class->meta->can('roles'); + # might in fact be Class::MOP based still. + next unless $class->meta->can('roles'); foreach my $role (@{$class->meta->roles}) { return 1 if $role->excludes_role($role_name); } @@ -80,14 +80,13 @@ sub new_object { my ($class, %params) = @_; my $self = $class->SUPER::new_object(%params); foreach my $attr ($class->compute_all_applicable_attributes()) { - # FIXME: - # this does not accept undefined - # values, nor does it accept false - # values to be passed into the init-arg - next unless $params{$attr->init_arg} && $attr->can('has_trigger') && $attr->has_trigger; - $attr->trigger->($self, $params{$attr->init_arg}, $attr); + if ( defined( my $init_arg = $attr->init_arg ) ) { + if ( exists($params{$init_arg}) && $attr->can('has_trigger') && $attr->has_trigger ) { + $attr->trigger->($self, $params{$init_arg}, $attr); + } + } } - return $self; + return $self; } sub construct_instance { @@ -96,47 +95,61 @@ sub construct_instance { # FIXME: # the code below is almost certainly incorrect # but this is foreign inheritence, so we might - # have to kludge it in the end. + # have to kludge it in the end. my $instance = $params{'__INSTANCE__'} || $meta_instance->create_instance(); - foreach my $attr ($class->compute_all_applicable_attributes()) { + foreach my $attr ($class->compute_all_applicable_attributes()) { $attr->initialize_instance_slot($meta_instance, $instance, \%params) } return $instance; } - # FIXME: # This is ugly -sub get_method_map { +sub get_method_map { my $self = shift; - my $map = $self->{'%!methods'}; - + + if (defined $self->{'$!_package_cache_flag'} && + $self->{'$!_package_cache_flag'} == Class::MOP::check_package_cache_flag($self->meta->name)) { + return $self->{'%!methods'}; + } + + my $map = $self->{'%!methods'}; + my $class_name = $self->name; my $method_metaclass = $self->method_metaclass; - + foreach my $symbol ($self->list_all_package_symbols('CODE')) { - + my $code = $self->get_package_symbol('&' . $symbol); - - next if exists $map->{$symbol} && - defined $map->{$symbol} && - $map->{$symbol}->body == $code; - - my $gv = B::svref_2object($code)->GV; - - my $pkg = $gv->STASH->NAME; - if ($pkg->can('meta') && $pkg->meta && $pkg->meta->isa('Moose::Meta::Role')) { + + next if exists $map->{$symbol} && + defined $map->{$symbol} && + $map->{$symbol}->body == $code; + + my ($pkg, $name) = Class::MOP::get_code_info($code); + + if ($pkg->can('meta') + # NOTE: + # we don't know what ->meta we are calling + # here, so we need to be careful cause it + # just might blow up at us, or just complain + # loudly (in the case of Curses.pm) so we + # just be a little overly cautious here. + # - SL + && eval { no warnings; blessed($pkg->meta) } + && $pkg->meta->isa('Moose::Meta::Role')) { #my $role = $pkg->meta->name; #next unless $self->does_role($role); } else { - next if ($gv->STASH->NAME || '') ne $class_name && - ($gv->NAME || '') ne '__ANON__'; + next if ($pkg || '') ne $class_name && + ($name || '') ne '__ANON__'; + } - + $map->{$symbol} = $method_metaclass->wrap($code); } - + return $map; } @@ -144,18 +157,11 @@ sub get_method_map { sub add_attribute { my $self = shift; - my $name = shift; - if (scalar @_ == 1 && ref($_[0]) eq 'HASH') { - # NOTE: - # if it is a HASH ref, we de-ref it. - # this will usually mean that it is - # coming from a role - $self->SUPER::add_attribute($name => %{$_[0]}); - } - else { - # otherwise we just pass the args - $self->SUPER::add_attribute($name => @_); - } + $self->SUPER::add_attribute( + (blessed $_[0] && $_[0]->isa('Class::MOP::Attribute') + ? $_[0] + : $self->_process_attribute(@_)) + ); } sub add_override_method_modifier { @@ -166,49 +172,51 @@ sub add_override_method_modifier { $_super_package ||= $self->name; my $super = $self->find_next_method_by_name($name); (defined $super) - || confess "You cannot override '$name' because it has no super method"; + || confess "You cannot override '$name' because it has no super method"; $self->add_method($name => Moose::Meta::Method::Overriden->wrap(sub { my @args = @_; no warnings 'redefine'; if ($Moose::SUPER_SLOT{$_super_package}) { - local *{$Moose::SUPER_SLOT{$_super_package}} - = sub { $super->(@args) }; - return $method->(@args); + local *{$Moose::SUPER_SLOT{$_super_package}} = sub { $super->body->(@args) }; + return $method->(@args); } else { - confess "Trying to call override modifier'd method without super()"; + confess "Trying to call override modifier'd method without super()"; } })); } sub add_augment_method_modifier { - my ($self, $name, $method) = @_; + my ($self, $name, $method) = @_; (!$self->has_method($name)) - || confess "Cannot add an augment method if a local method is already present"; + || confess "Cannot add an augment method if a local method is already present"; my $super = $self->find_next_method_by_name($name); (defined $super) - || confess "You cannot augment '$name' because it has no super method"; - my $_super_package = $super->package_name; - # BUT!,... if this is an overriden method .... + || confess "You cannot augment '$name' because it has no super method"; + my $_super_package = $super->package_name; + # BUT!,... if this is an overriden method .... if ($super->isa('Moose::Meta::Method::Overriden')) { - # we need to be sure that we actually - # find the next method, which is not + # we need to be sure that we actually + # find the next method, which is not # an 'override' method, the reason is - # that an 'override' method will not + # that an 'override' method will not # be the one calling inner() - my $real_super = $self->_find_next_method_by_name_which_is_not_overridden($name); + my $real_super = $self->_find_next_method_by_name_which_is_not_overridden($name); $_super_package = $real_super->package_name; - } + } $self->add_method($name => sub { my @args = @_; no warnings 'redefine'; if ($Moose::INNER_SLOT{$_super_package}) { - local *{$Moose::INNER_SLOT{$_super_package}} - = sub { $method->(@args) }; - return $super->(@args); - } else { - return $super->(@args); + local *{$Moose::INNER_SLOT{$_super_package}} = sub { + local *{$Moose::INNER_SLOT{$_super_package}} = sub {}; + $method->(@args); + }; + return $super->body->(@args); + } + else { + return $super->body->(@args); } - }); + }); } ## Private Utility methods ... @@ -216,7 +224,7 @@ sub add_augment_method_modifier { sub _find_next_method_by_name_which_is_not_overridden { my ($self, $name) = @_; foreach my $method ($self->find_all_methods_by_name($name)) { - return $method->{code} + return $method->{code} if blessed($method->{code}) && !$method->{code}->isa('Moose::Meta::Method::Overriden'); } return undef; @@ -227,15 +235,15 @@ sub _fix_metaclass_incompatability { foreach my $super (@superclasses) { # don't bother if it does not have a meta. next unless $super->can('meta'); - # get the name, make sure we take + # get the name, make sure we take # immutable classes into account - my $super_meta_name = ($super->meta->is_immutable + my $super_meta_name = ($super->meta->is_immutable ? $super->meta->get_mutable_metaclass_name : blessed($super->meta)); - # if it's meta is a vanilla Moose, - # then we can safely ignore it. + # if it's meta is a vanilla Moose, + # then we can safely ignore it. next if $super_meta_name eq 'Moose::Meta::Class'; - # but if we have anything else, + # but if we have anything else, # we need to check it out ... unless (# see if of our metaclass is incompatible ($self->isa($super_meta_name) && @@ -246,66 +254,96 @@ sub _fix_metaclass_incompatability { # re-initialize the meta ... my $super_meta = $super->meta; # NOTE: - # We might want to consider actually - # transfering any attributes from the - # original meta into this one, but in + # We might want to consider actually + # transfering any attributes from the + # original meta into this one, but in # general you should not have any there - # at this point anyway, so it's very + # at this point anyway, so it's very # much an obscure edge case anyway $self = $super_meta->reinitialize($self->name => ( - 'attribute_metaclass' => $super_meta->attribute_metaclass, + 'attribute_metaclass' => $super_meta->attribute_metaclass, 'method_metaclass' => $super_meta->method_metaclass, 'instance_metaclass' => $super_meta->instance_metaclass, )); } } - return $self; + return $self; } -sub _apply_all_roles { - my ($self, @roles) = @_; - ($_->can('meta') && $_->meta->isa('Moose::Meta::Role')) - || confess "You can only consume roles, $_ is not a Moose role" - foreach @roles; - if (scalar @roles == 1) { - $roles[0]->meta->apply($self); - } - else { - # FIXME - # we should make a Moose::Meta::Role::Composite - # which is a smaller version of Moose::Meta::Role - # which does not use any package stuff - Moose::Meta::Role->combine( - map { $_->meta } @roles - )->apply($self); - } +# NOTE: +# this was crap anyway, see +# Moose::Util::apply_all_roles +# instead +sub _apply_all_roles { + die 'DEPRECATED: use Moose::Util::apply_all_roles($meta, @roles) instead' } +my %ANON_CLASSES; + sub _process_attribute { - my ($self, $name, %options) = @_; + my $self = shift; + my $name = shift; + my %options = ((scalar @_ == 1 && ref($_[0]) eq 'HASH') ? %{$_[0]} : @_); + if ($name =~ /^\+(.*)/) { - my $new_attr = $self->_process_inherited_attribute($1, %options); - $self->add_attribute($new_attr); + return $self->_process_inherited_attribute($1, %options); } else { + my $attr_metaclass_name; if ($options{metaclass}) { my $metaclass_name = $options{metaclass}; eval { my $possible_full_name = 'Moose::Meta::Attribute::Custom::' . $metaclass_name; - Class::MOP::load_class($possible_full_name); - $metaclass_name = $possible_full_name->can('register_implementation') + Class::MOP::load_class($possible_full_name); + $metaclass_name = $possible_full_name->can('register_implementation') ? $possible_full_name->register_implementation : $possible_full_name; }; if ($@) { Class::MOP::load_class($metaclass_name); } - $self->add_attribute($metaclass_name->new($name, %options)); + $attr_metaclass_name = $metaclass_name; } else { - $self->add_attribute($name, %options); + $attr_metaclass_name = $self->attribute_metaclass; + } + + if ($options{traits}) { + + my $anon_role_key = join "|" => @{$options{traits}}; + + my $class; + if (exists $ANON_CLASSES{$anon_role_key} && defined $ANON_CLASSES{$anon_role_key}) { + $class = $ANON_CLASSES{$anon_role_key}; + } + else { + $class = Moose::Meta::Class->create_anon_class( + superclasses => [ $attr_metaclass_name ] + ); + $ANON_CLASSES{$anon_role_key} = $class; + + my @traits; + foreach my $trait (@{$options{traits}}) { + eval { + my $possible_full_name = 'Moose::Meta::Attribute::Custom::Trait::' . $trait; + Class::MOP::load_class($possible_full_name); + push @traits => $possible_full_name->can('register_implementation') + ? $possible_full_name->register_implementation + : $possible_full_name; + }; + if ($@) { + push @traits => $trait; + } + } + + Moose::Util::apply_all_roles($class, @traits); + } + + $attr_metaclass_name = $class->name; } - } + + return $attr_metaclass_name->new($name, %options); + } } sub _process_inherited_attribute { @@ -313,18 +351,14 @@ sub _process_inherited_attribute { my $inherited_attr = $self->find_attribute_by_name($attr_name); (defined $inherited_attr) || confess "Could not find an attribute by the name of '$attr_name' to inherit from"; - my $new_attr; if ($inherited_attr->isa('Moose::Meta::Attribute')) { - $new_attr = $inherited_attr->clone_and_inherit_options(%options); + return $inherited_attr->clone_and_inherit_options(%options); } else { # NOTE: # kind of a kludge to handle Class::MOP::Attributes - $new_attr = Moose::Meta::Attribute::clone_and_inherit_options( - $inherited_attr, %options - ); - } - return $new_attr; + return $inherited_attr->Moose::Meta::Attribute::clone_and_inherit_options(%options); + } } ## ------------------------------------------------- @@ -332,51 +366,47 @@ sub _process_inherited_attribute { use Moose::Meta::Method::Constructor; use Moose::Meta::Method::Destructor; -{ - # NOTE: - # the immutable version of a - # particular metaclass is - # really class-level data so - # we don't want to regenerate - # it any more than we need to - my $IMMUTABLE_METACLASS; - sub make_immutable { - my $self = shift; - - $IMMUTABLE_METACLASS ||= Class::MOP::Immutable->new($self, { - read_only => [qw/superclasses/], - cannot_call => [qw/ - add_method - alias_method - remove_method - add_attribute - remove_attribute - add_package_symbol - remove_package_symbol - add_role - /], - memoize => { - class_precedence_list => 'ARRAY', - compute_all_applicable_attributes => 'ARRAY', - get_meta_instance => 'SCALAR', - get_method_map => 'SCALAR', - # maybe .... - calculate_all_roles => 'ARRAY', - } - }); - - $IMMUTABLE_METACLASS->make_metaclass_immutable( - $self, - constructor_class => 'Moose::Meta::Method::Constructor', - destructor_class => 'Moose::Meta::Method::Destructor', - inline_destructor => 1, - # NOTE: - # no need to do this, - # Moose always does it - inline_accessors => 0, - @_, - ) - } +# This could be done by using SUPER and altering ->options +# I am keeping it this way to make it more explicit. +sub create_immutable_transformer { + my $self = shift; + my $class = Class::MOP::Immutable->new($self, { + read_only => [qw/superclasses/], + cannot_call => [qw/ + add_method + alias_method + remove_method + add_attribute + remove_attribute + add_package_symbol + remove_package_symbol + add_role + /], + memoize => { + class_precedence_list => 'ARRAY', + compute_all_applicable_attributes => 'ARRAY', + get_meta_instance => 'SCALAR', + get_method_map => 'SCALAR', + # maybe .... + calculate_all_roles => 'ARRAY', + } + }); + return $class; +} + +sub make_immutable { + my $self = shift; + $self->SUPER::make_immutable + ( + constructor_class => 'Moose::Meta::Method::Constructor', + destructor_class => 'Moose::Meta::Method::Destructor', + inline_destructor => 1, + # NOTE: + # no need to do this, + # Moose always does it + inline_accessors => 0, + @_, + ); } 1; @@ -391,12 +421,12 @@ Moose::Meta::Class - The Moose metaclass =head1 DESCRIPTION -This is a subclass of L with Moose specific +This is a subclass of L with Moose specific extensions. -For the most part, the only time you will ever encounter an -instance of this class is if you are doing some serious deep -introspection. To really understand this class, you need to refer +For the most part, the only time you will ever encounter an +instance of this class is if you are doing some serious deep +introspection. To really understand this class, you need to refer to the L documentation. =head1 METHODS @@ -407,57 +437,64 @@ to the L documentation. =item B +Override original to add default options for inlining destructor +and altering the Constructor metaclass. + +=item B + +Override original to lock C and memoize C + =item B We override this method to support the C attribute option. =item B -This provides some Moose specific extensions to this method, you -almost never call this method directly unless you really know what -you are doing. +This provides some Moose specific extensions to this method, you +almost never call this method directly unless you really know what +you are doing. This method makes sure to handle the moose weak-ref, type-constraint -and type coercion features. +and type coercion features. =item B -This accommodates Moose::Meta::Role::Method instances, which are -aliased, instead of added, but still need to be counted as valid +This accommodates Moose::Meta::Role::Method instances, which are +aliased, instead of added, but still need to be counted as valid methods. =item B -This will create an C method modifier for you, and install +This will create an C method modifier for you, and install it in the package. =item B -This will create an C method modifier for you, and install +This will create an C method modifier for you, and install it in the package. =item B =item B -This will return an array of C instances which are +This will return an array of C instances which are attached to this class. =item B -This takes an instance of C in C<$role>, and adds it +This takes an instance of C in C<$role>, and adds it to the list of associated roles. =item B -This will test if this class C a given C<$role_name>. It will -not only check it's local roles, but ask them as well in order to +This will test if this class C a given C<$role_name>. It will +not only check it's local roles, but ask them as well in order to cascade down the role hierarchy. =item B -This will test if this class C a given C<$role_name>. It will -not only check it's local roles, but ask them as well in order to +This will test if this class C a given C<$role_name>. It will +not only check it's local roles, but ask them as well in order to cascade down the role hierarchy. =item B @@ -469,7 +506,7 @@ support for taking the C<$params> as a HASH ref. =head1 BUGS -All complex software has bugs lurking in it, and this module is no +All complex software has bugs lurking in it, and this module is no exception. If you find a bug please either email me, or add the bug to cpan-RT. @@ -479,12 +516,12 @@ Stevan Little Estevan@iinteractive.comE =head1 COPYRIGHT AND LICENSE -Copyright 2006, 2007 by Infinity Interactive, Inc. +Copyright 2006-2008 by Infinity Interactive, Inc. L This library is free software; you can redistribute it and/or modify -it under the same terms as Perl itself. +it under the same terms as Perl itself. =cut