X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=lib%2FMouse%2FUtil%2FTypeConstraints.pm;h=a020eb4d2a2db604150364d4326a4f08e49cb34f;hb=ddbad0b10fa3363bcf8328192a47da772a1f8a9d;hp=be539b07b6dc6a95fa3b79858e8c423e1e1dc3ee;hpb=b06ce1f502945c13a52c503f1a651fe92c91c773;p=gitmo%2FMouse.git diff --git a/lib/Mouse/Util/TypeConstraints.pm b/lib/Mouse/Util/TypeConstraints.pm index be539b0..a020eb4 100644 --- a/lib/Mouse/Util/TypeConstraints.pm +++ b/lib/Mouse/Util/TypeConstraints.pm @@ -18,9 +18,9 @@ Mouse::Exporter->setup_import_methods( my %TYPE; -sub as ($) { (as => $_[0]) } -sub where (&) { (where => $_[0]) } -sub message (&) { (message => $_[0]) } +sub as ($) { (as => $_[0]) } +sub where (&) { (where => $_[0]) } +sub message (&) { (message => $_[0]) } sub optimize_as (&) { (optimize_as => $_[0]) } sub from { @_ } @@ -74,6 +74,14 @@ BEGIN { sub list_all_type_constraints { keys %TYPE } } +# is-a predicates +BEGIN{ + _generate_class_type_for('Mouse::Meta::TypeConstraint' => '_is_a_type_constraint'); + _generate_class_type_for('Mouse::Meta::Class' => '_is_a_metaclass'); + _generate_class_type_for('Mouse::Meta::Role' => '_is_a_metarole'); +} + + sub _create_type{ my $mode = shift; @@ -151,29 +159,21 @@ sub coerce { } sub class_type { - my($name, $conf) = @_; - if ($conf && $conf->{class}) { - # No, you're using this wrong - warn "class_type() should be class_type(ClassName). Perhaps you're looking for subtype $name => as '$conf->{class}'?"; - _create_type 'type', $name => ( - as => $conf->{class}, - - type => 'Class', - ); - } - else { - _create_type 'type', $name => ( - optimized_as => sub { blessed($_[0]) && $_[0]->isa($name) }, + my($name, $options) = @_; + my $class = $options->{class} || $name; + return _create_type 'subtype', $name => ( + as => 'Object', + optimized_as => _generate_class_type_for($class), - type => 'Class', - ); - } + type => 'Class', + ); } sub role_type { - my($name, $conf) = @_; - my $role = ($conf && $conf->{role}) ? $conf->{role} : $name; - _create_type 'type', $name => ( + my($name, $options) = @_; + my $role = $options->{role} || $name; + return _create_type 'subtype', $name => ( + as => 'Object', optimized_as => sub { blessed($_[0]) && does_role($_[0], $role) }, type => 'Role', @@ -214,33 +214,15 @@ sub _find_or_create_regular_type{ return $TYPE{$spec} if exists $TYPE{$spec}; - my $meta = Mouse::Util::get_metaclass_by_name($spec); + my $meta = Mouse::Util::get_metaclass_by_name($spec) + or return undef; - if(!$meta){ - return; - } - - my $check; - my $type; - if($meta->isa('Mouse::Meta::Role')){ - $check = sub{ - return blessed($_[0]) && $_[0]->does($spec); - }; - $type = 'Role'; + if(_is_a_metarole($meta)){ + return role_type($spec); } else{ - $check = sub{ - return blessed($_[0]) && $_[0]->isa($spec); - }; - $type = 'Class'; + return class_type($spec); } - - return $TYPE{$spec} = Mouse::Meta::TypeConstraint->new( - name => $spec, - optimized => $check, - - type => $type, - ); } $TYPE{ArrayRef}{constraint_generator} = sub { @@ -384,7 +366,7 @@ sub _parse_type{ sub find_type_constraint { my($spec) = @_; - return $spec if blessed($spec) && $spec->isa('Mouse::Meta::TypeConstraint'); + return $spec if _is_a_type_constraint($spec); $spec =~ s/\s+//g; return $TYPE{$spec}; @@ -392,7 +374,7 @@ sub find_type_constraint { sub find_or_parse_type_constraint { my($spec) = @_; - return $spec if blessed($spec) && $spec->isa('Mouse::Meta::TypeConstraint'); + return $spec if _is_a_type_constraint($spec); $spec =~ s/\s+//g; return $TYPE{$spec} || do{ @@ -402,10 +384,12 @@ sub find_or_parse_type_constraint { } sub find_or_create_does_type_constraint{ + # XXX: Moose does not register a new role_type, but Mouse does. return find_or_parse_type_constraint(@_) || role_type(@_); } sub find_or_create_isa_type_constraint { + # XXX: Moose does not register a new class_type, but Mouse does. return find_or_parse_type_constraint(@_) || class_type(@_); }