X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=lib%2FMoose%2FMeta%2FClass.pm;h=0416b2e6b00e620506dcb6a1082ccc885e4ee725;hb=c45384475d0d20e835d5666615ce15b17e79ff4b;hp=37c8552aa8d0be238abb33821ceca1726bc494e3;hpb=78cd1d3bb0bf969a5d60e9ba32601c22290e744a;p=gitmo%2FMoose.git diff --git a/lib/Moose/Meta/Class.pm b/lib/Moose/Meta/Class.pm index 37c8552..0416b2e 100644 --- a/lib/Moose/Meta/Class.pm +++ b/lib/Moose/Meta/Class.pm @@ -4,80 +4,391 @@ package Moose::Meta::Class; use strict; use warnings; +use Class::MOP; + use Carp 'confess'; -use Scalar::Util 'weaken'; +use Scalar::Util 'weaken', 'blessed', 'reftype'; + +our $VERSION = '0.17'; +our $AUTHORITY = 'cpan:STEVAN'; -our $VERSION = '0.04'; +use Moose::Meta::Method::Overriden; use base 'Class::MOP::Class'; +__PACKAGE__->meta->add_attribute('roles' => ( + reader => 'roles', + default => sub { [] } +)); + +sub initialize { + my $class = shift; + my $pkg = shift; + $class->SUPER::initialize($pkg, + 'attribute_metaclass' => 'Moose::Meta::Attribute', + 'method_metaclass' => 'Moose::Meta::Method', + 'instance_metaclass' => 'Moose::Meta::Instance', + @_); +} + +sub add_role { + my ($self, $role) = @_; + (blessed($role) && $role->isa('Moose::Meta::Role')) + || confess "Roles must be instances of Moose::Meta::Role"; + push @{$self->roles} => $role; +} + +sub calculate_all_roles { + my $self = shift; + my %seen; + grep { !$seen{$_->name}++ } map { $_->calculate_all_roles } @{ $self->roles }; +} + +sub does_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 $role (@{$class->meta->roles}) { + return 1 if $role->does_role($role_name); + } + } + return 0; +} + +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'); + # NOTE: + # in the pretty rare instance when a Moose metaclass + # 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'); + foreach my $role (@{$class->meta->roles}) { + return 1 if $role->excludes_role($role_name); + } + } + return 0; +} + +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); + } + return $self; +} + sub construct_instance { my ($class, %params) = @_; - my $instance = $params{'__INSTANCE__'} || {}; + my $meta_instance = $class->get_meta_instance; + # FIXME: + # the code below is almost certainly incorrect + # but this is foreign inheritence, so we might + # have to kludge it in the end. + my $instance = $params{'__INSTANCE__'} || $meta_instance->create_instance(); foreach my $attr ($class->compute_all_applicable_attributes()) { - my $init_arg = $attr->init_arg(); - # try to fetch the init arg from the %params ... - my $val; - if (exists $params{$init_arg}) { - $val = $params{$init_arg}; + $attr->initialize_instance_slot($meta_instance, $instance, \%params) + } + return $instance; +} + +# FIXME: +# This is ugly +sub get_method_map { + my $self = shift; + + 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 ($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 { - # skip it if it's lazy - next if $attr->is_lazy; - # and die if it is required - confess "Attribute (" . $attr->name . ") is required" - if $attr->is_required - } - # if nothing was in the %params, we can use the - # attribute's default value (if it has one) - if (!defined $val && $attr->has_default) { - $val = $attr->default($instance); - } - if (defined $val) { - if ($attr->has_type_constraint) { - if ($attr->should_coerce && $attr->type_constraint->has_coercion) { - $val = $attr->type_constraint->coercion->coerce($val); - } - (defined($attr->type_constraint->check($val))) - || confess "Attribute (" . $attr->name . ") does not pass the type contraint with '$val'"; - } - } - $instance->{$attr->name} = $val; - if (defined $val && $attr->is_weak_ref) { - weaken($instance->{$attr->name}); + next if ($pkg || '') ne $class_name && + ($name || '') ne '__ANON__'; + } + + $map->{$symbol} = $method_metaclass->wrap($code); + } + + return $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 => @_); } - return $instance; } sub add_override_method_modifier { my ($self, $name, $method, $_super_package) = @_; + (!$self->has_method($name)) + || confess "Cannot add an override method if a local method is already present"; # need this for roles ... $_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"; - $self->add_method($name => sub { + || confess "You cannot override '$name' because it has no super method"; + $self->add_method($name => Moose::Meta::Method::Overriden->wrap(sub { my @args = @_; - no strict 'refs'; no warnings 'redefine'; - local *{$_super_package . '::super'} = sub { $super->(@args) }; - return $method->(@args); - }); + if ($Moose::SUPER_SLOT{$_super_package}) { + local *{$Moose::SUPER_SLOT{$_super_package}} = sub { $super->(@args) }; + return $method->(@args); + } else { + 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"; 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 .... + if ($super->isa('Moose::Meta::Method::Overriden')) { + # 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 + # be the one calling inner() + 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 strict 'refs'; no warnings 'redefine'; - local *{$super->package_name . '::inner'} = sub { $method->(@args) }; - return $super->(@args); - }); + if ($Moose::INNER_SLOT{$_super_package}) { + local *{$Moose::INNER_SLOT{$_super_package}} = sub { + local *{$Moose::INNER_SLOT{$_super_package}} = sub {}; + $method->(@args); + }; + return $super->(@args); + } + else { + return $super->(@args); + } + }); +} + +## Private Utility methods ... + +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} + if blessed($method->{code}) && !$method->{code}->isa('Moose::Meta::Method::Overriden'); + } + return undef; +} + +sub _fix_metaclass_incompatability { + my ($self, @superclasses) = @_; + 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 + # immutable classes into account + 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. + next if $super_meta_name eq 'Moose::Meta::Class'; + # 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) && + # and see if our instance metaclass is incompatible + $self->instance_metaclass->isa($super->meta->instance_metaclass)) && + # ... and if we are just a vanilla Moose + $self->isa('Moose::Meta::Class')) { + # 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 + # general you should not have any there + # 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, + 'method_metaclass' => $super_meta->method_metaclass, + 'instance_metaclass' => $super_meta->instance_metaclass, + )); + } + } + 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); + } +} + +sub _process_attribute { + my ($self, $name, %options) = @_; + if ($name =~ /^\+(.*)/) { + my $new_attr = $self->_process_inherited_attribute($1, %options); + $self->add_attribute($new_attr); + } + else { + 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') + ? $possible_full_name->register_implementation + : $possible_full_name; + }; + if ($@) { + Class::MOP::load_class($metaclass_name); + } + $self->add_attribute($metaclass_name->new($name, %options)); + } + else { + $self->add_attribute($name, %options); + } + } +} + +sub _process_inherited_attribute { + my ($self, $attr_name, %options) = @_; + 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); + } + 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; +} + +## ------------------------------------------------- + +use Moose::Meta::Method::Constructor; +use Moose::Meta::Method::Destructor; + +# 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; @@ -92,36 +403,92 @@ 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 =over 4 +=item B + +=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 +methods. =item B +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 +it in the package. + +=item B + +=item B + +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 +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 +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 +cascade down the role hierarchy. + +=item B + +This method does the same thing as L, but adds +support for taking the C<$params> as a HASH ref. + =back =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. @@ -131,11 +498,12 @@ Stevan Little Estevan@iinteractive.comE =head1 COPYRIGHT AND LICENSE -Copyright 2006 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 -=cut \ No newline at end of file