X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=lib%2FMouse%2FMeta%2FClass.pm;h=f813660e5199d6c9f31ffa3daea40894980674a3;hb=1f6046f098167a6bc7699ad8d844d1b72c49f634;hp=b973e42c1bc86f276c32182e99884ac539f27f0a;hpb=f3bb863f6a6ef09220bbf51bc4cea3874d862776;p=gitmo%2FMouse.git diff --git a/lib/Mouse/Meta/Class.pm b/lib/Mouse/Meta/Class.pm index b973e42..f813660 100644 --- a/lib/Mouse/Meta/Class.pm +++ b/lib/Mouse/Meta/Class.pm @@ -1,34 +1,37 @@ package Mouse::Meta::Class; -use strict; -use warnings; +use Mouse::Util qw/:meta get_linear_isa not_supported/; # enables strict and warnings use Scalar::Util qw/blessed weaken/; -use Mouse::Util qw/get_linear_isa not_supported/; - -use Mouse::Meta::Method::Constructor; -use Mouse::Meta::Method::Destructor; use Mouse::Meta::Module; our @ISA = qw(Mouse::Meta::Module); -sub method_metaclass(){ 'Mouse::Meta::Method' } # required for get_method() +our @CARP_NOT = qw(Mouse); # trust Mouse + +sub attribute_metaclass; +sub method_metaclass; + +sub constructor_class; +sub destructor_class; + sub _construct_meta { my($class, %args) = @_; - $args{attributes} ||= {}; - $args{methods} ||= {}; - $args{roles} ||= []; + $args{attributes} = {}; + $args{methods} = {}; + $args{roles} = []; $args{superclasses} = do { no strict 'refs'; \@{ $args{package} . '::ISA' }; }; - #return Mouse::Meta::Class->initialize($class)->new_object(%args) - # if $class ne __PACKAGE__; - - return bless \%args, ref($class) || $class; + my $self = bless \%args, ref($class) || $class; + if(ref($self) ne __PACKAGE__){ + $self->meta->_initialize_object($self, \%args); + } + return $self; } sub create_anon_class{ @@ -36,27 +39,108 @@ sub create_anon_class{ return $self->create(undef, @_); } -sub is_anon_class{ - return exists $_[0]->{anon_serial_id}; -} +sub is_anon_class; -sub roles { $_[0]->{roles} } +sub roles; + +sub calculate_all_roles { + my $self = shift; + my %seen; + return grep { !$seen{ $_->name }++ } + map { $_->calculate_all_roles } @{ $self->roles }; +} sub superclasses { my $self = shift; if (@_) { - Mouse::load_class($_) for @_; + foreach my $super(@_){ + Mouse::Util::load_class($super); + my $meta = Mouse::Util::get_metaclass_by_name($super); + + next if not defined $meta; + + if(Mouse::Util::is_a_metarole($meta)){ + $self->throw_error("You cannot inherit from a Mouse Role ($super)"); + } + + next if $self->isa(ref $meta); # _superclass_meta_is_compatible + + $self->_reconcile_with_superclass_meta($meta); + } @{ $self->{superclasses} } = @_; } return @{ $self->{superclasses} }; } +my @MetaClassTypes = ( + 'attribute', # Mouse::Meta::Attribute + 'method', # Mouse::Meta::Method + 'constructor', # Mouse::Meta::Method::Constructor + 'destructor', # Mouse::Meta::Method::Destructor +); + +sub _reconcile_with_superclass_meta { + my($self, $other) = @_; + + # find incompatible traits + my %metaroles; + foreach my $metaclass_type(@MetaClassTypes){ + my $accessor = $self->can($metaclass_type . '_metaclass') + || $self->can($metaclass_type . '_class'); + + my $other_c = $other->$accessor(); + my $self_c = $self->$accessor(); + + if(!$self_c->isa($other_c)){ + $metaroles{$metaclass_type} + = [ $self_c->meta->_collect_roles($other_c->meta) ]; + } + } + + $metaroles{class} = [$self->meta->_collect_roles($other->meta)]; + + #use Data::Dumper; print Data::Dumper->new([\%metaroles], ['*metaroles'])->Indent(1)->Dump; + + require Mouse::Util::MetaRole; + $_[0] = Mouse::Util::MetaRole::apply_metaroles( + for => $self, + class_metaroles => \%metaroles, + ); + return; +} + +sub _collect_roles { + my ($self, $other) = @_; + + # find common ancestor + my @self_lin_isa = $self->linearized_isa; + my @other_lin_isa = $other->linearized_isa; + + my(@self_anon_supers, @other_anon_supers); + push @self_anon_supers, shift @self_lin_isa while $self_lin_isa[0]->meta->is_anon_class; + push @other_anon_supers, shift @other_lin_isa while $other_lin_isa[0]->meta->is_anon_class; + + my $common_ancestor = $self_lin_isa[0] eq $other_lin_isa[0] && $self_lin_isa[0]; + + if(!$common_ancestor){ + $self->throw_error(sprintf '%s cannot have %s as a super class because of their metaclass incompatibility', + $self->name, $other->name); + } + + my %seen; + return sort grep { !$seen{$_}++ } ## no critic + (map{ $_->name } map{ $_->meta->calculate_all_roles } @self_anon_supers), + (map{ $_->name } map{ $_->meta->calculate_all_roles } @other_anon_supers), + ; +} + sub find_method_by_name{ my($self, $method_name) = @_; defined($method_name) or $self->throw_error('You must define a method name to find'); + foreach my $class( $self->linearized_isa ){ my $method = $self->initialize($class)->get_method($method_name); return $method if defined $method; @@ -77,6 +161,16 @@ sub get_all_method_names { $self->linearized_isa; } +sub find_attribute_by_name{ + my($self, $name) = @_; + my $attr; + foreach my $class($self->linearized_isa){ + my $meta = Mouse::Util::get_metaclass_by_name($class) or next; + $attr = $meta->get_attribute($name) and last; + } + return $attr; +} + sub add_attribute { my $self = shift; @@ -100,23 +194,16 @@ sub add_attribute { or $self->throw_error('You must provide a name for the attribute'); if ($name =~ s/^\+//) { # inherited attributes - my $inherited_attr; - - foreach my $class($self->linearized_isa){ - my $meta = Mouse::Meta::Module::get_metaclass_by_name($class) or next; - $inherited_attr = $meta->get_attribute($name) and last; - } - - defined($inherited_attr) + my $inherited_attr = $self->find_attribute_by_name($name) or $self->throw_error("Could not find an attribute by the name of '$name' to inherit from in ".$self->name); - $attr = $inherited_attr->clone_and_inherit_options($name, \%args); + $attr = $inherited_attr->clone_and_inherit_options(%args); } else{ - my($attribute_class, @traits) = Mouse::Meta::Attribute->interpolate_class($name, \%args); + my($attribute_class, @traits) = $self->attribute_metaclass->interpolate_class(\%args); $args{traits} = \@traits if @traits; - $attr = $attribute_class->new($name, \%args); + $attr = $attribute_class->new($name, %args); } } @@ -126,150 +213,75 @@ sub add_attribute { $attr->install_accessors(); if(!$attr->{associated_methods} && ($attr->{is} || '') ne 'bare'){ - Carp::cluck(qq{Attribute (}.$attr->name.qq{) of class }.$self->name.qq{ has no associated methods (did you mean to provide an "is" argument?)}); + Carp::carp(qq{Attribute ($name) of class }.$self->name + .qq{ has no associated methods (did you mean to provide an "is" argument?)}); } return $attr; } -sub compute_all_applicable_attributes { shift->get_all_attributes(@_) } -sub get_all_attributes { - my $self = shift; - my (@attr, %seen); - - for my $class ($self->linearized_isa) { - my $meta = $self->_metaclass_cache($class) - or next; - - for my $name (keys %{ $meta->get_attribute_map }) { - next if $seen{$name}++; - push @attr, $meta->get_attribute($name); - } - } - - return @attr; -} - -sub linearized_isa { @{ get_linear_isa($_[0]->name) } } - -sub new_object { - my $self = shift; - my %args = (@_ == 1 ? %{$_[0]} : @_); - - my $instance = bless {}, $self->name; +sub compute_all_applicable_attributes { # DEPRECATED + Carp::cluck('compute_all_applicable_attributes() has been deprecated. Use get_all_attributes() instead'); - $self->_initialize_instance($instance, \%args); - return $instance; + return shift->get_all_attributes(@_) } -sub _initialize_instance{ - my($self, $instance, $args) = @_; - - my @triggers_queue; +sub linearized_isa; - foreach my $attribute ($self->get_all_attributes) { - my $from = $attribute->init_arg; - my $key = $attribute->name; +sub new_object; - if (defined($from) && exists($args->{$from})) { - $args->{$from} = $attribute->coerce_constraint($args->{$from}) - if $attribute->should_coerce; - - $attribute->verify_against_type_constraint($args->{$from}); +sub clone_object { + my $class = shift; + my $object = shift; + my $args = $object->Mouse::Object::BUILDARGS(@_); - $instance->{$key} = $args->{$from}; + (blessed($object) && $object->isa($class->name)) + || $class->throw_error("You must pass an instance of the metaclass (" . $class->name . "), not ($object)"); - weaken($instance->{$key}) - if ref($instance->{$key}) && $attribute->is_weak_ref; + my $cloned = bless { %$object }, ref $object; + $class->_initialize_object($cloned, $args); - if ($attribute->has_trigger) { - push @triggers_queue, [ $attribute->trigger, $args->{$from} ]; - } - } - else { - if ($attribute->has_default || $attribute->has_builder) { - unless ($attribute->is_lazy) { - my $default = $attribute->default; - my $builder = $attribute->builder; - my $value = $attribute->has_builder - ? $instance->$builder - : ref($default) eq 'CODE' - ? $default->($instance) - : $default; - - $value = $attribute->coerce_constraint($value) - if $attribute->should_coerce; - $attribute->verify_against_type_constraint($value); - - $instance->{$key} = $value; - - weaken($instance->{$key}) - if ref($instance->{$key}) && $attribute->is_weak_ref; - } - } - else { - if ($attribute->is_required) { - $self->throw_error("Attribute (".$attribute->name.") is required"); - } - } - } - } + return $cloned; +} - foreach my $trigger_and_value(@triggers_queue){ - my($trigger, $value) = @{$trigger_and_value}; - $trigger->($instance, $value); - } +sub clone_instance { # DEPRECATED + my ($class, $instance, %params) = @_; - if($self->is_anon_class){ - $instance->{__METACLASS__} = $self; - } + Carp::cluck('clone_instance() has been deprecated. Use clone_object() instead'); - return $instance; + return $class->clone_object($instance, %params); } -sub clone_object { - my $class = shift; - my $instance = shift; - my %params = (@_ == 1) ? %{$_[0]} : @_; - (blessed($instance) && $instance->isa($class->name)) - || $class->throw_error("You must pass an instance of the metaclass (" . $class->name . "), not ($instance)"); +sub immutable_options { + my ( $self, @args ) = @_; - my $clone = bless { %$instance }, ref $instance; - - foreach my $attr ($class->get_all_attributes()) { - if ( defined( my $init_arg = $attr->init_arg ) ) { - if (exists $params{$init_arg}) { - $clone->{ $attr->name } = $params{$init_arg}; - } - } - } - - return $clone; + return ( + inline_constructor => 1, + inline_destructor => 1, + constructor_name => 'new', + @args, + ); } -sub clone_instance { - my ($class, $instance, %params) = @_; - - Carp::cluck('clone_instance has been deprecated. Use clone_object instead'); - return $class->clone_object($instance, %params); -} sub make_immutable { my $self = shift; - my %args = ( - inline_constructor => 1, - inline_destructor => 1, - @_, - ); + my %args = $self->immutable_options(@_); $self->{is_immutable}++; + $self->{strict_constructor} = $args{strict_constructor}; + if ($args{inline_constructor}) { - $self->add_method('new' => Mouse::Meta::Method::Constructor->generate_constructor_method_inline( $self )); + $self->add_method($args{constructor_name} => + Mouse::Util::load_class($self->constructor_class) + ->_generate_constructor($self, \%args)); } if ($args{inline_destructor}) { - $self->add_method('DESTROY' => Mouse::Meta::Method::Destructor->generate_destructor_method_inline( $self )); + $self->add_method(DESTROY => + Mouse::Util::load_class($self->destructor_class) + ->_generate_destructor($self, \%args)); } # Moose's make_immutable returns true allowing calling code to skip setting an explicit true value @@ -277,13 +289,18 @@ sub make_immutable { return 1; } -sub make_mutable { not_supported } +sub make_mutable { + my($self) = @_; + $self->{is_immutable} = 0; + return; +} -sub is_immutable { $_[0]->{is_immutable} } -sub is_mutable { !$_[0]->{is_immutable} } +sub is_immutable; +sub is_mutable { !$_[0]->is_immutable } sub _install_modifier_pp{ - my( $self, $into, $type, $name, $code ) = @_; + my( $self, $type, $name, $code ) = @_; + my $into = $self->name; my $original = $into->can($name) or $self->throw_error("The method '$name' is not found in the inheritance hierarchy for class $into"); @@ -348,12 +365,12 @@ sub _install_modifier_pp{ } sub _install_modifier { - my ( $self, $into, $type, $name, $code ) = @_; + my ( $self, $type, $name, $code ) = @_; # load Class::Method::Modifiers first my $no_cmm_fast = do{ local $@; - eval q{ require Class::Method::Modifiers::Fast }; + eval q{ use Class::Method::Modifiers::Fast 0.041 () }; $@; }; @@ -362,16 +379,13 @@ sub _install_modifier { $impl = \&_install_modifier_pp; } else{ - my $install_modifier = Class::Method::Modifiers::Fast->can('_install_modifier'); + my $install_modifier = Class::Method::Modifiers::Fast->can('install_modifier'); $impl = sub { - my ( $self, $into, $type, $name, $code ) = @_; - $install_modifier->( - $into, - $type, - $name, - $code - ); - $self->{methods}{$name}++; # register it to the method map + my ( $self, $type, $name, $code ) = @_; + my $into = $self->name; + $install_modifier->($into, $type, $name, $code); + + $self->add_method($name => Mouse::Util::get_code_ref($into, $name)); return; }; } @@ -382,33 +396,64 @@ sub _install_modifier { *_install_modifier = $impl; } - $self->$impl( $into, $type, $name, $code ); + $self->$impl( $type, $name, $code ); } sub add_before_method_modifier { my ( $self, $name, $code ) = @_; - $self->_install_modifier( $self->name, 'before', $name, $code ); + $self->_install_modifier( 'before', $name, $code ); } sub add_around_method_modifier { my ( $self, $name, $code ) = @_; - $self->_install_modifier( $self->name, 'around', $name, $code ); + $self->_install_modifier( 'around', $name, $code ); } sub add_after_method_modifier { my ( $self, $name, $code ) = @_; - $self->_install_modifier( $self->name, 'after', $name, $code ); + $self->_install_modifier( 'after', $name, $code ); } sub add_override_method_modifier { my ($self, $name, $code) = @_; + if($self->has_method($name)){ + $self->throw_error("Cannot add an override method if a local method is already present"); + } + my $package = $self->name; - my $body = $package->can($name) + my $super_body = $package->can($name) or $self->throw_error("You cannot override '$name' because it has no super method"); - $self->add_method($name => sub { $code->($package, $body, @_) }); + $self->add_method($name => sub { + local $Mouse::SUPER_PACKAGE = $package; + local $Mouse::SUPER_BODY = $super_body; + local @Mouse::SUPER_ARGS = @_; + + $code->(@_); + }); + return; +} + +sub add_augment_method_modifier { + my ($self, $name, $code) = @_; + if($self->has_method($name)){ + $self->throw_error("Cannot add an augment method if a local method is already present"); + } + + my $super = $self->find_method_by_name($name) + or $self->throw_error("You cannot augment '$name' because it has no super method"); + + my $super_package = $super->package_name; + my $super_body = $super->body; + + $self->add_method($name => sub{ + local $Mouse::INNER_BODY{$super_package} = $code; + local $Mouse::INNER_ARGS{$super_package} = [@_]; + $super_body->(@_); + }); + return; } sub does_role { @@ -417,9 +462,11 @@ sub does_role { (defined $role_name) || $self->throw_error("You must supply a role name to look for"); + $role_name = $role_name->name if ref $role_name; + for my $class ($self->linearized_isa) { - my $meta = Mouse::Meta::Module::class_of($class); - next unless $meta && $meta->can('roles'); + my $meta = Mouse::Util::get_metaclass_by_name($class) + or next; for my $role (@{ $meta->roles }) { @@ -431,18 +478,21 @@ sub does_role { } 1; - __END__ =head1 NAME Mouse::Meta::Class - The Mouse class metaclass +=head1 VERSION + +This document describes Mouse version 0.51 + =head1 METHODS =head2 C<< initialize(ClassName) -> Mouse::Meta::Class >> -Finds or creates a Mouse::Meta::Class instance for the given ClassName. Only +Finds or creates a C instance for the given ClassName. Only one instance should exist for a given class. =head2 C<< name -> ClassName >> @@ -453,30 +503,55 @@ Returns the name of the owner class. Gets (or sets) the list of superclasses of the owner class. -=head2 C<< add_attribute(name => spec | Mouse::Meta::Attribute) >> +=head2 C<< add_method(name => CodeRef) >> -Begins keeping track of the existing L for the owner -class. +Adds a method to the owner class. -=head2 C<< get_all_attributes -> (Mouse::Meta::Attribute) >> +=head2 C<< has_method(name) -> Bool >> -Returns the list of all L instances associated with -this class and its superclasses. +Returns whether we have a method with the given name. -=head2 C<< get_attribute_list -> { name => Mouse::Meta::Attribute } >> +=head2 C<< get_method(name) -> Mouse::Meta::Method | undef >> -This returns a list of attribute names which are defined in the local -class. If you want a list of all applicable attributes for a class, -use the C method. +Returns a L with the given name. + +Note that you can also use C<< $metaclass->name->can($name) >> for a method body. + +=head2 C<< get_method_list -> Names >> + +Returns a list of method names which are defined in the local class. +If you want a list of all applicable methods for a class, use the +C method. + +=head2 C<< get_all_methods -> (Mouse::Meta::Method) >> + +Return the list of all L instances associated with +the class and its superclasses. + +=head2 C<< add_attribute(name => spec | Mouse::Meta::Attribute) >> + +Begins keeping track of the existing L for the owner +class. =head2 C<< has_attribute(Name) -> Bool >> Returns whether we have a L with the given name. -=head2 get_attribute Name -> Mouse::Meta::Attribute | undef +=head2 C<< get_attribute Name -> Mouse::Meta::Attribute | undef >> Returns the L with the given name. +=head2 C<< get_attribute_list -> Names >> + +Returns a list of attribute names which are defined in the local +class. If you want a list of all applicable attributes for a class, +use the C method. + +=head2 C<< get_all_attributes -> (Mouse::Meta::Attribute) >> + +Returns the list of all L instances associated with +this class and its superclasses. + =head2 C<< linearized_isa -> [ClassNames] >> Returns the list of classes in method dispatch order, with duplicates removed. @@ -487,12 +562,20 @@ Creates a new instance. =head2 C<< clone_object(Instance, Parameters) -> Instance >> -Clones the given C which must be an instance governed by this +Clones the given instance which must be an instance governed by this metaclass. +=head2 C<< throw_error(Message, Parameters) >> + +Throws an error with the given message. + =head1 SEE ALSO +L + L +L + =cut