X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=lib%2FMouse%2FMeta%2FAttribute.pm;h=97cd5c0462e5544a82dbd2ae14806a6e3e7c179d;hb=bcd39bf45ef69561e5ee81b50f4d5760cf19b554;hp=1b214469fe0e33604664e06f38bcfdf209889b5a;hpb=45f2e6a79a018ba03e0103272ab2830ee2efa783;p=gitmo%2FMouse.git diff --git a/lib/Mouse/Meta/Attribute.pm b/lib/Mouse/Meta/Attribute.pm index 1b21446..97cd5c0 100644 --- a/lib/Mouse/Meta/Attribute.pm +++ b/lib/Mouse/Meta/Attribute.pm @@ -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 @@ -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 { Mouse::Util::blessed($_) && Mouse::Util::blessed($_) eq $type_constraints[0] }; + $args{type_constraint} = $type_constraints[0]; + } else { + my @code_list = map { + my $type = $_; + $optimized_constraints->{$type} || + sub { Mouse::Util::blessed($_) && Mouse::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($self->associated_class->name)->{$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 {