X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=lib%2FMouse%2FMeta%2FAttribute.pm;h=2ce6ce4c32be17e67442bca6e9527a9196f67e45;hb=6c169c5063b77a791818f5db2c1da3bd9b47d3f9;hp=479c43c945ca0203c5363fe0fb73989d0fe3037a;hpb=32f938671d5d4b332348a306b7a01a5e7759d99a;p=gitmo%2FMouse.git diff --git a/lib/Mouse/Meta/Attribute.pm b/lib/Mouse/Meta/Attribute.pm index 479c43c..2ce6ce4 100644 --- a/lib/Mouse/Meta/Attribute.pm +++ b/lib/Mouse/Meta/Attribute.pm @@ -5,7 +5,7 @@ use warnings; require overload; use Carp 'confess'; -require Mouse::Util; +use Scalar::Util (); sub new { my $class = shift; @@ -47,6 +47,8 @@ sub has_type_constraint { exists $_[0]->{type_constraint} } sub has_trigger { exists $_[0]->{trigger} } sub has_builder { exists $_[0]->{builder} } +sub find_type_constraint { $_[0]->{find_type_constraint} } + sub _create_args { $_[0]->{_create_args} = $_[1] if @_ > 1; $_[0]->{_create_args} @@ -64,7 +66,6 @@ sub generate_accessor { my $name = $attribute->name; my $default = $attribute->default; - my $type = $attribute->type_constraint; my $constraint = $attribute->find_type_constraint; my $builder = $attribute->builder; my $trigger = $attribute->trigger; @@ -82,15 +83,18 @@ sub generate_accessor { my $value = '$_[1]'; if ($constraint) { + $accessor .= 'my $val = '; if ($should_coerce) { - $accessor .= $value.' = $attribute->coerce_constraint('.$value.');'; + $accessor .= 'Mouse::TypeRegistry->typecast_constraints("'.$attribute->associated_class->name.'", $attribute->{find_type_constraint}, $attribute->{type_constraint}, '.$value.');'; + } else { + $accessor .= $value.';'; } - $accessor .= 'local $_ = '.$value.';'; + $accessor .= 'local $_ = $val;'; $accessor .= ' unless ($constraint->()) { - my $display = defined($_) ? overload::StrVal($_) : "undef"; - Carp::confess("Attribute ($name) does not pass the type constraint because: Validation failed for \'$type\' failed with value $display"); - }' . "\n" + $attribute->verify_type_constraint_error($name, $_, $attribute->type_constraint); + }' . "\n"; + $value = '$val'; } # if there's nothing left to do for the attribute we can return during @@ -100,7 +104,7 @@ sub generate_accessor { $accessor .= $self.'->{'.$key.'} = '.$value.';' . "\n"; if ($is_weak) { - $accessor .= 'Mouse::Util::weaken('.$self.'->{'.$key.'}) if ref('.$self.'->{'.$key.'});' . "\n"; + $accessor .= 'Scalar::Util::weaken('.$self.'->{'.$key.'}) if ref('.$self.'->{'.$key.'});' . "\n"; } if ($trigger) { @@ -125,7 +129,8 @@ sub generate_accessor { } if ($should_deref) { - if ($attribute->type_constraint eq 'ArrayRef') { + my $type_constraint = $attribute->type_constraint; + if (!ref($type_constraint) && $type_constraint eq 'ArrayRef') { $accessor .= 'if (wantarray) { return @{ '.$self.'->{'.$key.'} || [] }; }'; @@ -179,7 +184,7 @@ sub generate_handles { my $method = 'sub { my $self = shift; - $self->$reader->$remote_method(@_) + $self->'.$reader.'->'.$remote_method.'(@_) }'; $method_map{$local_method} = eval $method; @@ -201,8 +206,33 @@ sub create { $args{should_coerce} = delete $args{coerce} if exists $args{coerce}; - $args{type_constraint} = delete $args{isa} - if exists $args{isa}; + if (exists $args{isa}) { + my $type_constraint = delete $args{isa}; + $type_constraint =~ s/\s//g; + my @type_constraints = split /\|/, $type_constraint; + + my $code; + my $optimized_constraints = Mouse::TypeRegistry->optimized_constraints; + if (@type_constraints == 1) { + $code = $optimized_constraints->{$type_constraints[0]} || + sub { Scalar::Util::blessed($_) && Scalar::Util::blessed($_) eq $type_constraints[0] }; + $args{type_constraint} = $type_constraints[0]; + } else { + my @code_list = map { + my $type = $_; + $optimized_constraints->{$type} || + sub { Scalar::Util::blessed($_) && Scalar::Util::blessed($_) eq $type } + } @type_constraints; + $code = sub { + for my $code (@code_list) { + return 1 if $code->(); + } + return 0; + }; + $args{type_constraint} = \@type_constraints; + } + $args{find_type_constraint} = $code; + } my $attribute = $self->new(%args); @@ -295,38 +325,27 @@ sub validate_args { return 1; } -sub find_type_constraint { - my $self = shift; - my $type = $self->type_constraint; - - return unless $type; - - my $checker = Mouse::TypeRegistry->optimized_constraints()->{$type}; - return $checker if $checker; - - return sub { Mouse::Util::blessed($_) && Mouse::Util::blessed($_) eq $type }; -} - sub verify_type_constraint { - my $self = shift; - local $_ = shift; + return 1 unless $_[0]->{type_constraint}; - my $type = $self->type_constraint - or return 1; - my $constraint = $self->find_type_constraint; + local $_ = $_[1]; + return 1 if $_[0]->{find_type_constraint}->($_); - return 1 if $constraint->($_); + my $self = shift; + $self->verify_type_constraint_error($self->name, $_, $self->type_constraint); +} - my $name = $self->name; +sub verify_type_constraint_error { + my($self, $name, $value, $type) = @_; + $type = ref($type) eq 'ARRAY' ? join '|', @{ $type } : $type; my $display = defined($_) ? overload::StrVal($_) : 'undef'; Carp::confess("Attribute ($name) does not pass the type constraint because: Validation failed for \'$type\' failed with value $display"); } -sub coerce_constraint { - my($self, $value) = @_; - my $type = $self->type_constraint - or return $value; - return Mouse::TypeRegistry->typecast_constraints($self->associated_class->name, $type, $value); +sub coerce_constraint { ## my($self, $value) = @_; + my $type = $_[0]->{type_constraint} + or return $_[1]; + return Mouse::TypeRegistry->typecast_constraints($_[0]->associated_class->name, $_[0]->find_type_constraint, $type, $_[1]); } sub _canonicalize_handles {