← Index
Performance Profile   « block view • line view • sub view »
For t/test-parsing
  Run on Sun Nov 14 09:49:57 2010
Reported on Sun Nov 14 09:50:10 2010

File /usr/local/lib/perl/5.10.0/Moose/Meta/TypeConstraint/Class.pm
Statements Executed 86
Total Time 0.0012983 seconds
Subroutines — ordered by exclusive time
Calls P F Exclusive
Time
Inclusive
Time
Subroutine
711141µs1.39msMoose::Meta::TypeConstraint::Class::::newMoose::Meta::TypeConstraint::Class::new
71198µs199µsMoose::Meta::TypeConstraint::Class::::_create_hand_optimized_type_constraintMoose::Meta::TypeConstraint::Class::_create_hand_optimized_type_constraint
0000s0sMoose::Meta::TypeConstraint::Class::::BEGINMoose::Meta::TypeConstraint::Class::BEGIN
0000s0sMoose::Meta::TypeConstraint::Class::::__ANON__[:38]Moose::Meta::TypeConstraint::Class::__ANON__[:38]
0000s0sMoose::Meta::TypeConstraint::Class::::create_child_typeMoose::Meta::TypeConstraint::Class::create_child_type
0000s0sMoose::Meta::TypeConstraint::Class::::equalsMoose::Meta::TypeConstraint::Class::equals
0000s0sMoose::Meta::TypeConstraint::Class::::get_messageMoose::Meta::TypeConstraint::Class::get_message
0000s0sMoose::Meta::TypeConstraint::Class::::is_a_type_ofMoose::Meta::TypeConstraint::Class::is_a_type_of
0000s0sMoose::Meta::TypeConstraint::Class::::is_subtype_ofMoose::Meta::TypeConstraint::Class::is_subtype_of
0000s0sMoose::Meta::TypeConstraint::Class::::parentsMoose::Meta::TypeConstraint::Class::parents
LineStmts.Exclusive
Time
Avg.Code
1package Moose::Meta::TypeConstraint::Class;
2
3326µs9µsuse strict;
# spent 8µs making 1 call to strict::import
4334µs11µsuse warnings;
# spent 34µs making 1 call to warnings::import
5349µs16µsuse metaclass;
# spent 816µs making 1 call to metaclass::import
6
7329µs10µsuse Scalar::Util 'blessed';
# spent 47µs making 1 call to Exporter::import
8352µs17µsuse Moose::Util::TypeConstraints ();
9
101900ns900nsour $VERSION = '1.15';
11125µs25µs$VERSION = eval $VERSION;
121600ns600nsour $AUTHORITY = 'cpan:STEVAN';
13
143712µs237µsuse base 'Moose::Meta::TypeConstraint';
# spent 76µs making 1 call to base::import
15
16130µs30µs__PACKAGE__->meta->add_attribute('class' => (
# spent 620µs making 1 call to Class::MOP::Mixin::HasAttributes::add_attribute # spent 34µs making 1 call to Moose::Meta::TypeConstraint::Class::meta
17 reader => 'class',
18));
19
20
# spent 1.39ms (141µs+1.25) within Moose::Meta::TypeConstraint::Class::new which was called 7 times, avg 199µs/call: # 7 times (141µs+1.25ms) by Moose::Util::TypeConstraints::create_class_type_constraint at line 152 of /usr/local/lib/perl/5.10.0/Moose/Util/TypeConstraints.pm, avg 199µs/call
sub new {
21734µs5µs my ( $class, %args ) = @_;
22
23736µs5µs $args{parent} = Moose::Util::TypeConstraints::find_type_constraint('Object');
# spent 254µs making 7 calls to Moose::Util::TypeConstraints::find_type_constraint, avg 36µs/call
24746µs7µs my $self = $class->_new(\%args);
# spent 505µs making 7 calls to Moose::Meta::TypeConstraint::Class::_new, avg 72µs/call
25
26740µs6µs $self->_create_hand_optimized_type_constraint;
# spent 199µs making 7 calls to Moose::Meta::TypeConstraint::Class::_create_hand_optimized_type_constraint, avg 28µs/call
27741µs6µs $self->compile_type_constraint();
# spent 292µs making 7 calls to Moose::Meta::TypeConstraint::compile_type_constraint, avg 42µs/call
28
29714µs2µs return $self;
30}
31
32
# spent 199µs (98+101) within Moose::Meta::TypeConstraint::Class::_create_hand_optimized_type_constraint which was called 7 times, avg 28µs/call: # 7 times (98µs+101µs) by Moose::Meta::TypeConstraint::Class::new at line 26, avg 28µs/call
sub _create_hand_optimized_type_constraint {
3375µs686ns my $self = shift;
34737µs5µs my $class = $self->class;
# spent 43µs making 7 calls to Moose::Meta::TypeConstraint::Class::class, avg 6µs/call
35 $self->hand_optimized_type_constraint(
36 sub {
37 blessed( $_[0] ) && blessed( $_[0] ) ne 'Regexp' && $_[0]->isa($class)
38 }
39780µs11µs );
# spent 58µs making 7 calls to Moose::Meta::TypeConstraint::hand_optimized_type_constraint, avg 8µs/call
40}
41
42sub parents {
43 my $self = shift;
44 return (
45 $self->parent,
46 map {
47 # FIXME find_type_constraint might find a TC named after the class but that isn't really it
48 # I did this anyway since it's a convention that preceded TypeConstraint::Class, and it should DWIM
49 # if anybody thinks this problematic please discuss on IRC.
50 # a possible fix is to add by attr indexing to the type registry to find types of a certain property
51 # regardless of their name
52 Moose::Util::TypeConstraints::find_type_constraint($_)
53 ||
54 __PACKAGE__->new( class => $_, name => "__ANON__" )
55 } Class::MOP::class_of($self->class)->superclasses,
56 );
57}
58
59sub equals {
60 my ( $self, $type_or_name ) = @_;
61
62 my $other = Moose::Util::TypeConstraints::find_type_constraint($type_or_name);
63
64 return unless defined $other;
65 return unless $other->isa(__PACKAGE__);
66
67 return $self->class eq $other->class;
68}
69
70sub is_a_type_of {
71 my ($self, $type_or_name) = @_;
72
73 my $type = Moose::Util::TypeConstraints::find_type_constraint($type_or_name);
74
75 ($self->equals($type) || $self->is_subtype_of($type_or_name));
76}
77
78sub is_subtype_of {
79 my ($self, $type_or_name_or_class ) = @_;
80
81 my $type = Moose::Util::TypeConstraints::find_type_constraint($type_or_name_or_class);
82
83 if ( not defined $type ) {
84 if ( not ref $type_or_name_or_class ) {
85 # it might be a class
86 return 1 if $self->class->isa( $type_or_name_or_class );
87 }
88 return;
89 }
90
91 if ( $type->isa(__PACKAGE__) && $type->class ne $self->class) {
92 # if $type_or_name_or_class isn't a class, it might be the TC name of another ::Class type
93 # or it could also just be a type object in this branch
94 return $self->class->isa( $type->class );
95 } else {
96 # the only other thing we are a subtype of is Object
97 $self->SUPER::is_subtype_of($type);
98 }
99}
100
101# This is a bit counter-intuitive, but a child type of a Class type
102# constraint is not itself a Class type constraint (it has no class
103# attribute). This whole create_child_type thing needs some changing
104# though, probably making MMC->new a factory or something.
105sub create_child_type {
106 my ($self, @args) = @_;
107 return Moose::Meta::TypeConstraint->new(@args, parent => $self);
108}
109
110sub get_message {
111 my $self = shift;
112 my ($value) = @_;
113
114 if ($self->has_message) {
115 return $self->SUPER::get_message(@_);
116 }
117
118 $value = (defined $value ? overload::StrVal($value) : 'undef');
119 return "Validation failed for '" . $self->name . "' with value $value (not isa " . $self->class . ")";
120}
121
12218µs8µs1;
123
124__END__
125
126=pod
127
128=head1 NAME
129
130Moose::Meta::TypeConstraint::Class - Class/TypeConstraint parallel hierarchy
131
132=head1 DESCRIPTION
133
134This class represents type constraints for a class.
135
136=head1 INHERITANCE
137
138C<Moose::Meta::TypeConstraint::Class> is a subclass of
139L<Moose::Meta::TypeConstraint>.
140
141=head1 METHODS
142
143=over 4
144
145=item B<< Moose::Meta::TypeConstraint::Class->new(%options) >>
146
147This creates a new class type constraint based on the given
148C<%options>.
149
150It takes the same options as its parent, with two exceptions. First,
151it requires an additional option, C<class>, which is name of the
152constraint's class. Second, it automatically sets the parent to the
153C<Object> type.
154
155The constructor also overrides the hand optimized type constraint with
156one it creates internally.
157
158=item B<< $constraint->class >>
159
160Returns the class name associated with the constraint.
161
162=item B<< $constraint->parents >>
163
164Returns all the type's parent types, corresponding to its parent
165classes.
166
167=item B<< $constraint->is_subtype_of($type_name_or_object) >>
168
169If the given type is also a class type, then this checks that the
170type's class is a subclass of the other type's class.
171
172Otherwise it falls back to the implementation in
173L<Moose::Meta::TypeConstraint>.
174
175=item B<< $constraint->create_child_type(%options) >>
176
177This returns a new L<Moose::Meta::TypeConstraint> object with the type
178as its parent.
179
180Note that it does I<not> return a
181C<Moose::Meta::TypeConstraint::Class> object!
182
183=item B<< $constraint->get_message($value) >>
184
185This is the same as L<Moose::Meta::TypeConstraint/get_message> except
186that it explicitly says C<isa> was checked. This is to help users deal
187with accidentally autovivified type constraints.
188
189=back
190
191=head1 BUGS
192
193See L<Moose/BUGS> for details on reporting bugs.
194
195=head1 AUTHOR
196
197Yuval Kogman E<lt>nothingmuch@cpan.orgE<gt>
198
199=head1 COPYRIGHT AND LICENSE
200
201Copyright 2006-2010 by Infinity Interactive, Inc.
202
203L<http://www.iinteractive.com>
204
205This library is free software; you can redistribute it and/or modify
206it under the same terms as Perl itself.
207
208=cut