X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=lib%2FMooseX%2FTypes%2FTypeDecorator.pm;h=2d1098d2322fb5e329974e8d725e160904c0b5f4;hb=28696c2e1c3e499b4613645f4d6ec02026c025aa;hp=3eba05dc4c377373a198483a240b40665a5b3537;hpb=5a1fdc82b77fa6c2b8491b540d1625cbf63b596e;p=gitmo%2FMooseX-Types.git diff --git a/lib/MooseX/Types/TypeDecorator.pm b/lib/MooseX/Types/TypeDecorator.pm index 3eba05d..2d1098d 100644 --- a/lib/MooseX/Types/TypeDecorator.pm +++ b/lib/MooseX/Types/TypeDecorator.pm @@ -16,6 +16,8 @@ use overload( my $tc = $self->{__type_constraint}; return 0+$tc; }, + # workaround for perl 5.8.5 bug + '==' => sub { 0+$_[0] == 0+$_[1] }, '""' => sub { my $self = shift @_; if(blessed $self) { @@ -68,7 +70,11 @@ Old school instantiation =cut sub new { - my $class = shift @_; + my $proto = shift; + if (ref($proto)) { + return $proto->_try_delegate('new', @_); + } + my $class = $proto; if(my $arg = shift @_) { if(blessed $arg && $arg->isa('Moose::Meta::TypeConstraint')) { return bless {'__type_constraint'=>$arg}, $class; @@ -108,24 +114,20 @@ sub __type_constraint { =head2 isa -handle $self->isa since AUTOLOAD can't. +handle $self->isa since AUTOLOAD can't - this tries both the type constraint, +and for a class type, the class. =cut sub isa { - my ($self, $target) = @_; - if(defined $target) { - if(blessed $self) { - return $self->__type_constraint->isa($target); - } else { - return; - } - } else { - return; - } + my $self = shift; + return + blessed $self + ? $self->__type_constraint->isa(@_) + || $self->_try_delegate( 'isa', @_ ) + : $self->SUPER::isa(@_); } - =head2 can handle $self->can since AUTOLOAD can't. @@ -133,29 +135,11 @@ handle $self->can since AUTOLOAD can't. =cut sub can { - my ($self, $target) = @_; - if(defined $target) { - if(blessed $self) { - return $self->__type_constraint->can($target); - } else { - return; - } - } else { - return; - } -} - -=head2 meta - -have meta examine the underlying type constraints - -=cut + my $self = shift; -sub meta { - my $self = shift @_; - if(blessed $self) { - return $self->__type_constraint->meta; - } + return blessed $self + ? $self->_try_delegate( 'can', @_ ) + : $self->SUPER::can(@_); } =head2 _throw_error @@ -183,27 +167,58 @@ sub DESTROY { =head2 AUTOLOAD -Delegate to the decorator target. +Delegate to the decorator target, unless this is a class type, in which +case it will try to delegate to the type object, then if that fails try +the class. The method 'new' is special cased to only be permitted on +the class; if there is no class, or it does not provide a new method, +an exception will be thrown. =cut sub AUTOLOAD { - my ($self, @args) = @_; my ($method) = (our $AUTOLOAD =~ /([^:]+)$/); ## We delegate with this method in an attempt to support a value of ## __type_constraint which is also AUTOLOADing, in particular the class ## MooseX::Types::UndefinedType which AUTOLOADs during autovivication. - - my $return; - eval { - $return = $self->__type_constraint->$method(@args); - }; if($@) { - __PACKAGE__->_throw_error($@); - } else { - return $return; + + $self->_try_delegate($method, @args); +} + +sub _try_delegate { + my ($self, $method, @args) = @_; + my $tc = $self->__type_constraint; + my $class; + if ($tc->can('is_subtype_of')) { # Union can't + my $search_tc = $tc; + while (1) { + if ($search_tc->isa('Moose::Meta::TypeConstraint::Class')) { + $class = $search_tc->class; + last; + } + $search_tc = $search_tc->parent; + last unless $search_tc && $search_tc->is_subtype_of('Object'); + } } + + my $inv = do { + if ($method eq 'new') { + die "new called on type decorator for non-class-type ".$tc->name + unless $class; + die "new called on class type decorator ".$tc->name."\n" + ." for class ${class}\n" + ." which does not provide a new method - did you forget to load it?" + unless $class->can('new'); + $class + } elsif ($class && !$tc->can($method)) { + $class + } else { + $tc + } + }; + + $inv->$method(@args); } =head1 LICENSE