X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=lib%2FMoose%2FMeta%2FTypeConstraint%2FClass.pm;h=433daa5b638961b55f4623f7de7da750c9b1fede;hb=d7d8f2eed4661bacfe2b2b4544ddb40db84a6c1a;hp=0fc4ec918ad159c1a8667550067a337d54790492;hpb=eaa35e6e0f9132abf6ed0cec60515dd7259ce704;p=gitmo%2FMoose.git diff --git a/lib/Moose/Meta/TypeConstraint/Class.pm b/lib/Moose/Meta/TypeConstraint/Class.pm index 0fc4ec9..433daa5 100644 --- a/lib/Moose/Meta/TypeConstraint/Class.pm +++ b/lib/Moose/Meta/TypeConstraint/Class.pm @@ -7,7 +7,8 @@ use metaclass; use Scalar::Util 'blessed'; use Moose::Util::TypeConstraints (); -our $VERSION = '0.50'; +our $VERSION = '0.72'; +$VERSION = eval $VERSION; our $AUTHORITY = 'cpan:STEVAN'; use base 'Moose::Meta::TypeConstraint'; @@ -20,7 +21,7 @@ sub new { my ( $class, %args ) = @_; $args{parent} = Moose::Util::TypeConstraints::find_type_constraint('Object'); - my $self = $class->meta->new_object(%args); + my $self = $class->_new(\%args); $self->_create_hand_optimized_type_constraint; $self->compile_type_constraint(); @@ -60,6 +61,7 @@ sub equals { my $other = Moose::Util::TypeConstraints::find_type_constraint($type_or_name); + return unless defined $other; return unless $other->isa(__PACKAGE__); return $self->class eq $other->class; @@ -82,6 +84,8 @@ sub is_subtype_of { } my $type = Moose::Util::TypeConstraints::find_type_constraint($type_or_name_or_class); + + return unless defined $type; if ( $type->isa(__PACKAGE__) ) { # if $type_or_name_or_class isn't a class, it might be the TC name of another ::Class type @@ -93,6 +97,15 @@ sub is_subtype_of { } } +# This is a bit counter-intuitive, but a child type of a Class type +# constraint is not itself a Class type constraint (it has no class +# attribute). This whole create_child_type thing needs some changing +# though, probably making MMC->new a factory or something. +sub create_child_type { + my ($self, @args) = @_; + return Moose::Meta::TypeConstraint->new(@args, parent => $self); +} + 1; __END__ @@ -103,29 +116,56 @@ __END__ Moose::Meta::TypeConstraint::Class - Class/TypeConstraint parallel hierarchy +=head1 DESCRIPTION + +This class represents type constraints for a class. + +=head1 INHERITANCE + +C is a subclass of +L. + =head1 METHODS =over 4 -=item B +=item B<< Moose::Meta::TypeConstraint::Class->new(%options) >> + +This creates a new class type constraint based on the given +C<%options>. + +It takes the same options as its parent, with two exceptions. First, +it requires an additional option, C, which is name of the +constraint's class. Second, it automatically sets the parent to the +C type. + +The constructor also overrides the hand optimized type constraint with +one it creates internally. + +=item B<< $constraint->class >> -=item B +Returns the class name associated with the constraint. -=item B +=item B<< $constraint->parents >> -=item B +Returns all the type's parent types, corresponding to its parent +classes. -=item B +=item B<< $constraint->is_a_subtype_of($type_name_or_object) >> -=item B +If the given type is also a class type, then this checks that the +type's class is a subclass of the other type's class. -=item B +Otherwise it falls back to the implement in +L. -=item B +=item B<< $constraint->create_child_type(%options) >> -Return all the parent types, corresponding to the parent classes. +This returns a new L object with the type +as its parent. -=item B +Note that it does I return a +C object! =back @@ -141,7 +181,7 @@ Yuval Kogman Enothingmuch@cpan.orgE =head1 COPYRIGHT AND LICENSE -Copyright 2006-2008 by Infinity Interactive, Inc. +Copyright 2006-2009 by Infinity Interactive, Inc. L