X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=lib%2FMouse%2FMeta%2FAttribute.pm;h=65d6daf77999218c1ee62f1ae9446fce6579488c;hb=11d415286701d3b51e517cb6826138808967cb89;hp=66110e672417ca4cfdc249dc9fc8c61b2691a2fe;hpb=ca5a9ec19e7fb9765124fa5a27bd22a48dc171d4;p=gitmo%2FMouse.git diff --git a/lib/Mouse/Meta/Attribute.pm b/lib/Mouse/Meta/Attribute.pm index 66110e6..65d6daf 100644 --- a/lib/Mouse/Meta/Attribute.pm +++ b/lib/Mouse/Meta/Attribute.pm @@ -1,12 +1,10 @@ package Mouse::Meta::Attribute; use strict; use warnings; -require overload; use Carp 'confess'; use Scalar::Util (); use Mouse::Meta::TypeConstraint; -use Mouse::Meta::Method::Accessor; sub new { my ($class, $name, %options) = @_; @@ -56,16 +54,119 @@ sub _create_args { $_[0]->{_create_args} } -sub inlined_name { +sub _inlined_name { my $self = shift; - my $name = $self->name; - my $key = "'" . $name . "'"; - return $key; + return sprintf '"%s"', quotemeta $self->name; } -sub generate_predicate { +sub _generate_accessor{ + my ($attribute) = @_; + + my $name = $attribute->name; + my $default = $attribute->default; + my $constraint = $attribute->type_constraint; + my $builder = $attribute->builder; + my $trigger = $attribute->trigger; + my $is_weak = $attribute->is_weak_ref; + my $should_deref = $attribute->should_auto_deref; + my $should_coerce = $attribute->should_coerce; + + my $compiled_type_constraint = $constraint ? $constraint->{_compiled_type_constraint} : undef; + + my $self = '$_[0]'; + my $key = $attribute->_inlined_name; + + my $accessor = + '#line ' . __LINE__ . ' "' . __FILE__ . "\"\n" . + "sub {\n"; + if ($attribute->_is_metadata eq 'rw') { + $accessor .= + '#line ' . __LINE__ . ' "' . __FILE__ . "\"\n" . + 'if (scalar(@_) >= 2) {' . "\n"; + + my $value = '$_[1]'; + + if ($constraint) { + if ($should_coerce) { + $accessor .= + "\n". + '#line ' . __LINE__ . ' "' . __FILE__ . "\"\n" . + 'my $val = Mouse::Util::TypeConstraints->typecast_constraints("'.$attribute->associated_class->name.'", $attribute->{type_constraint}, '.$value.');'; + $value = '$val'; + } + if ($compiled_type_constraint) { + $accessor .= + "\n". + '#line ' . __LINE__ . ' "' . __FILE__ . "\"\n" . + 'unless ($compiled_type_constraint->('.$value.')) { + $attribute->verify_type_constraint_error($name, '.$value.', $attribute->{type_constraint}); + }' . "\n"; + } else { + $accessor .= + "\n". + '#line ' . __LINE__ . ' "' . __FILE__ . "\"\n" . + 'unless ($constraint->check('.$value.')) { + $attribute->verify_type_constraint_error($name, '.$value.', $attribute->{type_constraint}); + }' . "\n"; + } + } + + # if there's nothing left to do for the attribute we can return during + # this setter + $accessor .= 'return ' if !$is_weak && !$trigger && !$should_deref; + + $accessor .= $self.'->{'.$key.'} = '.$value.';' . "\n"; + + if ($is_weak) { + $accessor .= 'Scalar::Util::weaken('.$self.'->{'.$key.'}) if ref('.$self.'->{'.$key.'});' . "\n"; + } + + if ($trigger) { + $accessor .= '$trigger->('.$self.', '.$value.');' . "\n"; + } + + $accessor .= "}\n"; + } + else { + $accessor .= 'Carp::confess("Cannot assign a value to a read-only accessor") if scalar(@_) >= 2;' . "\n"; + } + + if ($attribute->is_lazy) { + $accessor .= $self.'->{'.$key.'} = '; + + $accessor .= $attribute->has_builder + ? $self.'->$builder' + : ref($default) eq 'CODE' + ? '$default->('.$self.')' + : '$default'; + $accessor .= ' if !exists '.$self.'->{'.$key.'};' . "\n"; + } + + if ($should_deref) { + if (ref($constraint) && $constraint->name =~ '^ArrayRef\b') { + $accessor .= 'if (wantarray) { + return @{ '.$self.'->{'.$key.'} || [] }; + }'; + } + else { + $accessor .= 'if (wantarray) { + return %{ '.$self.'->{'.$key.'} || {} }; + }'; + } + } + + $accessor .= 'return '.$self.'->{'.$key.'}; + }'; + + my $sub = eval $accessor; + Carp::confess($@) if $@; + return $sub; +} + + +sub _generate_predicate { my $attribute = shift; - my $key = $attribute->inlined_name; + my $key = $attribute->_inlined_name; my $predicate = 'sub { exists($_[0]->{'.$key.'}) }'; @@ -74,9 +175,9 @@ sub generate_predicate { return $sub; } -sub generate_clearer { +sub _generate_clearer { my $attribute = shift; - my $key = $attribute->inlined_name; + my $key = $attribute->_inlined_name; my $clearer = 'sub { delete($_[0]->{'.$key.'}) }'; @@ -85,7 +186,7 @@ sub generate_clearer { return $sub; } -sub generate_handles { +sub _generate_handles { my $attribute = shift; my $reader = $attribute->name; my %handles = $attribute->_canonicalize_handles($attribute->handles); @@ -137,30 +238,39 @@ sub create { $class->add_attribute($attribute); + my $associated_methods = 0; + + my $is_metadata = $attribute->_is_metadata || ''; + # install an accessor - if ($attribute->_is_metadata eq 'rw' || $attribute->_is_metadata eq 'ro') { - my $code = Mouse::Meta::Method::Accessor->generate_accessor_method_inline( - $attribute, - ); + if ($is_metadata eq 'rw' || $is_metadata eq 'ro') { + my $code = $attribute->_generate_accessor(); $class->add_method($name => $code); + $associated_methods++; } for my $method (qw/predicate clearer/) { my $predicate = "has_$method"; if ($attribute->$predicate) { - my $generator = "generate_$method"; + my $generator = "_generate_$method"; my $coderef = $attribute->$generator; $class->add_method($attribute->$method => $coderef); + $associated_methods++; } } if ($attribute->has_handles) { - my $method_map = $attribute->generate_handles; + my $method_map = $attribute->_generate_handles; for my $method_name (keys %$method_map) { $class->add_method($method_name => $method_map->{$method_name}); + $associated_methods++; } } + if($associated_methods == 0 && $is_metadata ne 'bare'){ + confess(qq{Attribute ($name) of class }.$class->name.qq{ has no associated methods (did you mean to provide an "is" argument?)}); + } + return $attribute; } @@ -209,8 +319,7 @@ sub validate_args { confess "You cannot auto-dereference anything other than a ArrayRef or HashRef on attribute ($name)" if $args->{auto_deref} - && $args->{isa} ne 'ArrayRef' - && $args->{isa} ne 'HashRef'; + && $args->{isa} !~ /^(?:ArrayRef|HashRef)(?:\[.*\])?$/; if ($args->{trigger}) { if (ref($args->{trigger}) eq 'HASH') { @@ -225,20 +334,19 @@ sub validate_args { } sub verify_against_type_constraint { - return 1 unless $_[0]->{type_constraint}; + my ($self, $value) = @_; + my $tc = $self->type_constraint; + return 1 unless $tc; - local $_ = $_[1]; - return 1 if $_[0]->{type_constraint}->check($_); + local $_ = $value; + return 1 if $tc->check($value); - my $self = shift; - $self->verify_type_constraint_error($self->name, $_, $self->{type_constraint}); + $self->verify_type_constraint_error($self->name, $value, $tc); } sub verify_type_constraint_error { my($self, $name, $value, $type) = @_; - $type = ref($type) eq 'ARRAY' ? join '|', map { $_->name } @{ $type } : $type->name; - my $display = defined($value) ? overload::StrVal($value) : 'undef'; - Carp::confess("Attribute ($name) does not pass the type constraint because: Validation failed for \'$type\' failed with value $display"); + Carp::confess("Attribute ($name) does not pass the type constraint because: " . $type->get_message($value)); } sub coerce_constraint { ## my($self, $value) = @_; @@ -350,22 +458,6 @@ installed. Some error checking is done. Informational methods. -=head2 generate_accessor -> CODE - -Creates a new code reference for the attribute's accessor. - -=head2 generate_predicate -> CODE - -Creates a new code reference for the attribute's predicate. - -=head2 generate_clearer -> CODE - -Creates a new code reference for the attribute's clearer. - -=head2 generate_handles -> { MethodName => CODE } - -Creates a new code reference for each of the attribute's handles methods. - =head2 verify_against_type_constraint Item -> 1 | ERROR Checks that the given value passes this attribute's type constraint. Returns 1