Commit | Line | Data |
306290e8 |
1 | package Mouse::Meta::Class; |
bc69ee88 |
2 | use Mouse::Util qw/:meta get_linear_isa not_supported/; # enables strict and warnings |
c3398f5b |
3 | |
cecfb973 |
4 | use Scalar::Util qw/blessed weaken/; |
6d28c5cf |
5 | |
6d28c5cf |
6 | use Mouse::Meta::Module; |
f3bb863f |
7 | our @ISA = qw(Mouse::Meta::Module); |
3a63a2e7 |
8 | |
3b48bcc8 |
9 | our @CARP_NOT = qw(Mouse); # trust Mouse |
10 | |
e058b279 |
11 | sub attribute_metaclass; |
d9659f80 |
12 | sub method_metaclass; |
3a63a2e7 |
13 | |
e058b279 |
14 | sub constructor_class; |
15 | sub destructor_class; |
380e1cd7 |
16 | |
d9659f80 |
17 | |
8e64d0fa |
18 | sub _construct_meta { |
88ed7189 |
19 | my($class, %args) = @_; |
c3398f5b |
20 | |
5132ec42 |
21 | $args{attributes} = {}; |
22 | $args{methods} = {}; |
23 | $args{roles} = []; |
8536d351 |
24 | |
c3398f5b |
25 | $args{superclasses} = do { |
26 | no strict 'refs'; |
88ed7189 |
27 | \@{ $args{package} . '::ISA' }; |
c3398f5b |
28 | }; |
29 | |
8d40c3b8 |
30 | my $self = bless \%args, ref($class) || $class; |
7eb3a8d5 |
31 | if(ref($self) ne __PACKAGE__){ |
9009aca1 |
32 | $self->meta->_initialize_object($self, \%args); |
8d40c3b8 |
33 | } |
34 | return $self; |
7a50b450 |
35 | } |
36 | |
37 | sub create_anon_class{ |
38 | my $self = shift; |
39 | return $self->create(undef, @_); |
40 | } |
41 | |
43165725 |
42 | sub is_anon_class; |
c3398f5b |
43 | |
43165725 |
44 | sub roles; |
c3398f5b |
45 | |
e7264861 |
46 | sub calculate_all_roles { |
47 | my $self = shift; |
48 | my %seen; |
49 | return grep { !$seen{ $_->name }++ } |
50 | map { $_->calculate_all_roles } @{ $self->roles }; |
51 | } |
52 | |
c3398f5b |
53 | sub superclasses { |
54 | my $self = shift; |
55 | |
56 | if (@_) { |
9d0686b2 |
57 | foreach my $super(@_){ |
58 | Mouse::Util::load_class($super); |
59 | my $meta = Mouse::Util::get_metaclass_by_name($super); |
b6369395 |
60 | |
61 | next if not defined $meta; |
62 | |
f48920c1 |
63 | if(Mouse::Util::is_a_metarole($meta)){ |
9d0686b2 |
64 | $self->throw_error("You cannot inherit from a Mouse Role ($super)"); |
65 | } |
b6369395 |
66 | |
67 | next if $self->isa(ref $meta); # _superclass_meta_is_compatible |
68 | |
b6369395 |
69 | $self->_reconcile_with_superclass_meta($meta); |
9d0686b2 |
70 | } |
c3398f5b |
71 | @{ $self->{superclasses} } = @_; |
72 | } |
73 | |
8e64d0fa |
74 | return @{ $self->{superclasses} }; |
75 | } |
c0b18afd |
76 | my @MetaClassTypes = ( |
77 | 'attribute', # Mouse::Meta::Attribute |
78 | 'method', # Mouse::Meta::Method |
79 | 'constructor', # Mouse::Meta::Method::Constructor |
80 | 'destructor', # Mouse::Meta::Method::Destructor |
81 | ); |
8e64d0fa |
82 | |
b6369395 |
83 | sub _reconcile_with_superclass_meta { |
c0b18afd |
84 | my($self, $other) = @_; |
b6369395 |
85 | |
733f404b |
86 | # find incompatible traits |
c0b18afd |
87 | my %metaroles; |
b6369395 |
88 | foreach my $metaclass_type(@MetaClassTypes){ |
c0b18afd |
89 | my $accessor = $self->can($metaclass_type . '_metaclass') |
90 | || $self->can($metaclass_type . '_class'); |
b6369395 |
91 | |
c0b18afd |
92 | my $other_c = $other->$accessor(); |
93 | my $self_c = $self->$accessor(); |
b6369395 |
94 | |
c0b18afd |
95 | if(!$self_c->isa($other_c)){ |
96 | $metaroles{$metaclass_type} |
97 | = [ $self_c->meta->_collect_roles($other_c->meta) ]; |
d9659f80 |
98 | } |
99 | } |
100 | |
c0b18afd |
101 | $metaroles{class} = [$self->meta->_collect_roles($other->meta)]; |
102 | |
103 | #use Data::Dumper; print Data::Dumper->new([\%metaroles], ['*metaroles'])->Indent(1)->Dump; |
d9659f80 |
104 | |
105 | require Mouse::Util::MetaRole; |
c0b18afd |
106 | $_[0] = Mouse::Util::MetaRole::apply_metaroles( |
107 | for => $self, |
108 | class_metaroles => \%metaroles, |
d9659f80 |
109 | ); |
b6369395 |
110 | return; |
111 | } |
112 | |
c0b18afd |
113 | sub _collect_roles { |
114 | my ($self, $other) = @_; |
115 | |
116 | # find common ancestor |
117 | my @self_lin_isa = $self->linearized_isa; |
118 | my @other_lin_isa = $other->linearized_isa; |
119 | |
120 | my(@self_anon_supers, @other_anon_supers); |
121 | push @self_anon_supers, shift @self_lin_isa while $self_lin_isa[0]->meta->is_anon_class; |
122 | push @other_anon_supers, shift @other_lin_isa while $other_lin_isa[0]->meta->is_anon_class; |
123 | |
124 | my $common_ancestor = $self_lin_isa[0] eq $other_lin_isa[0] && $self_lin_isa[0]; |
125 | |
126 | if(!$common_ancestor){ |
127 | $self->throw_error(sprintf '%s cannot have %s as a super class because of their metaclass incompatibility', |
128 | $self->name, $other->name); |
129 | } |
130 | |
131 | my %seen; |
a4b15169 |
132 | return sort grep { !$seen{$_}++ } ## no critic |
c0b18afd |
133 | (map{ $_->name } map{ $_->meta->calculate_all_roles } @self_anon_supers), |
134 | (map{ $_->name } map{ $_->meta->calculate_all_roles } @other_anon_supers), |
135 | ; |
136 | } |
137 | |
138 | |
8e64d0fa |
139 | sub find_method_by_name{ |
140 | my($self, $method_name) = @_; |
141 | defined($method_name) |
142 | or $self->throw_error('You must define a method name to find'); |
0126c27c |
143 | |
8e64d0fa |
144 | foreach my $class( $self->linearized_isa ){ |
145 | my $method = $self->initialize($class)->get_method($method_name); |
146 | return $method if defined $method; |
147 | } |
148 | return undef; |
149 | } |
150 | |
151 | sub get_all_methods { |
152 | my($self) = @_; |
612d3e1a |
153 | return map{ $self->find_method_by_name($_) } $self->get_all_method_names; |
c3398f5b |
154 | } |
155 | |
60cfc6ad |
156 | sub get_all_method_names { |
157 | my $self = shift; |
158 | my %uniq; |
159 | return grep { $uniq{$_}++ == 0 } |
3a63a2e7 |
160 | map { Mouse::Meta::Class->initialize($_)->get_method_list() } |
60cfc6ad |
161 | $self->linearized_isa; |
162 | } |
163 | |
2b908b79 |
164 | sub find_attribute_by_name{ |
165 | my($self, $name) = @_; |
166 | my $attr; |
167 | foreach my $class($self->linearized_isa){ |
168 | my $meta = Mouse::Util::get_metaclass_by_name($class) or next; |
169 | $attr = $meta->get_attribute($name) and last; |
170 | } |
171 | return $attr; |
172 | } |
173 | |
87ca293b |
174 | sub add_attribute { |
c3398f5b |
175 | my $self = shift; |
60f6eba9 |
176 | |
87ca293b |
177 | my($attr, $name); |
1b9e472d |
178 | |
87ca293b |
179 | if(blessed $_[0]){ |
180 | $attr = $_[0]; |
1b9e472d |
181 | |
87ca293b |
182 | $attr->isa('Mouse::Meta::Attribute') |
183 | || $self->throw_error("Your attribute must be an instance of Mouse::Meta::Attribute (or a subclass)"); |
1b9e472d |
184 | |
87ca293b |
185 | $name = $attr->name; |
1b9e472d |
186 | } |
187 | else{ |
87ca293b |
188 | # _process_attribute |
189 | $name = shift; |
1b9e472d |
190 | |
87ca293b |
191 | my %args = (@_ == 1) ? %{$_[0]} : @_; |
1b9e472d |
192 | |
87ca293b |
193 | defined($name) |
194 | or $self->throw_error('You must provide a name for the attribute'); |
1b9e472d |
195 | |
87ca293b |
196 | if ($name =~ s/^\+//) { # inherited attributes |
2b908b79 |
197 | my $inherited_attr = $self->find_attribute_by_name($name) |
87ca293b |
198 | or $self->throw_error("Could not find an attribute by the name of '$name' to inherit from in ".$self->name); |
199 | |
8cf51b82 |
200 | $attr = $inherited_attr->clone_and_inherit_options(%args); |
87ca293b |
201 | } |
202 | else{ |
8cf51b82 |
203 | my($attribute_class, @traits) = $self->attribute_metaclass->interpolate_class(\%args); |
87ca293b |
204 | $args{traits} = \@traits if @traits; |
205 | |
2a464664 |
206 | $attr = $attribute_class->new($name, %args); |
87ca293b |
207 | } |
208 | } |
1b9e472d |
209 | |
210 | weaken( $attr->{associated_class} = $self ); |
211 | |
df7e4729 |
212 | # install accessors first |
213 | $attr->install_accessors(); |
214 | |
215 | # then register the attribute to the metaclass |
beb51b30 |
216 | $attr->{insertion_order} = keys %{ $self->{attributes} }; |
1b9e472d |
217 | $self->{attributes}{$attr->name} = $attr; |
1b9e472d |
218 | |
3b48bcc8 |
219 | if(!$attr->{associated_methods} && ($attr->{is} || '') ne 'bare'){ |
220 | Carp::carp(qq{Attribute ($name) of class }.$self->name |
221 | .qq{ has no associated methods (did you mean to provide an "is" argument?)}); |
60f6eba9 |
222 | } |
1b9e472d |
223 | return $attr; |
c3398f5b |
224 | } |
225 | |
cccb83de |
226 | sub linearized_isa; |
8536d351 |
227 | |
ba153b33 |
228 | sub new_object; |
13b99908 |
229 | sub clone_object; |
1b9e472d |
230 | |
cfef75f0 |
231 | sub immutable_options { |
232 | my ( $self, @args ) = @_; |
233 | |
234 | return ( |
7efbc77d |
235 | inline_constructor => 1, |
e578d610 |
236 | inline_destructor => 1, |
2a464664 |
237 | constructor_name => 'new', |
cfef75f0 |
238 | @args, |
6a1d1835 |
239 | ); |
cfef75f0 |
240 | } |
241 | |
cfef75f0 |
242 | sub make_immutable { |
243 | my $self = shift; |
244 | my %args = $self->immutable_options(@_); |
6a1d1835 |
245 | |
fc1d8369 |
246 | $self->{is_immutable}++; |
c7a6403f |
247 | |
6a1d1835 |
248 | if ($args{inline_constructor}) { |
380e1cd7 |
249 | $self->add_method($args{constructor_name} => |
637d4f17 |
250 | Mouse::Util::load_class($self->constructor_class) |
251 | ->_generate_constructor($self, \%args)); |
c7a6403f |
252 | } |
253 | |
8632b6fe |
254 | if ($args{inline_destructor}) { |
380e1cd7 |
255 | $self->add_method(DESTROY => |
637d4f17 |
256 | Mouse::Util::load_class($self->destructor_class) |
257 | ->_generate_destructor($self, \%args)); |
8632b6fe |
258 | } |
2276cb14 |
259 | |
260 | # Moose's make_immutable returns true allowing calling code to skip setting an explicit true value |
261 | # at the end of a source file. |
262 | return 1; |
fc1d8369 |
263 | } |
ad958001 |
264 | |
32490a72 |
265 | sub make_mutable { |
266 | my($self) = @_; |
267 | $self->{is_immutable} = 0; |
268 | return; |
269 | } |
ad958001 |
270 | |
80efe911 |
271 | sub is_immutable; |
272 | sub is_mutable { !$_[0]->is_immutable } |
84ef660f |
273 | |
8d5287a7 |
274 | sub _install_modifier { |
8d59c723 |
275 | my( $self, $type, $name, $code ) = @_; |
276 | my $into = $self->name; |
3fbade18 |
277 | |
278 | my $original = $into->can($name) |
083e49a5 |
279 | or $self->throw_error("The method '$name' was not found in the inheritance hierarchy for $into"); |
3fbade18 |
280 | |
281 | my $modifier_table = $self->{modifiers}{$name}; |
282 | |
283 | if(!$modifier_table){ |
1b490891 |
284 | my(@before, @after, $cache); |
3fbade18 |
285 | |
286 | $cache = $original; |
287 | |
1b490891 |
288 | my $around_only = ($type eq 'around'); |
289 | |
290 | my $modified = sub { |
291 | if($around_only) { |
292 | return $cache->(@_); |
293 | } |
294 | |
3fbade18 |
295 | for my $c (@before) { $c->(@_) } |
296 | |
297 | if(wantarray){ # list context |
298 | my @rval = $cache->(@_); |
299 | |
300 | for my $c(@after){ $c->(@_) } |
301 | return @rval; |
302 | } |
303 | elsif(defined wantarray){ # scalar context |
304 | my $rval = $cache->(@_); |
305 | |
306 | for my $c(@after){ $c->(@_) } |
307 | return $rval; |
308 | } |
309 | else{ # void context |
310 | $cache->(@_); |
311 | |
312 | for my $c(@after){ $c->(@_) } |
313 | return; |
314 | } |
315 | }; |
316 | |
317 | $self->{modifiers}{$name} = $modifier_table = { |
318 | original => $original, |
319 | |
320 | before => \@before, |
321 | after => \@after, |
1b490891 |
322 | around => \my @around, |
323 | around_only => \$around_only, |
3fbade18 |
324 | |
325 | cache => \$cache, # cache for around modifiers |
326 | }; |
327 | |
328 | $self->add_method($name => $modified); |
329 | } |
330 | |
331 | if($type eq 'before'){ |
1b490891 |
332 | ${$modifier_table->{around_only}} = 0; |
3fbade18 |
333 | unshift @{$modifier_table->{before}}, $code; |
334 | } |
335 | elsif($type eq 'after'){ |
1b490891 |
336 | ${$modifier_table->{around_only}} = 0; |
3fbade18 |
337 | push @{$modifier_table->{after}}, $code; |
338 | } |
339 | else{ # around |
340 | push @{$modifier_table->{around}}, $code; |
341 | |
342 | my $next = ${ $modifier_table->{cache} }; |
343 | ${ $modifier_table->{cache} } = sub{ $code->($next, @_) }; |
344 | } |
345 | |
346 | return; |
347 | } |
348 | |
50dc6ee5 |
349 | sub add_before_method_modifier { |
4859d490 |
350 | my ( $self, $name, $code ) = @_; |
8d59c723 |
351 | $self->_install_modifier( 'before', $name, $code ); |
50dc6ee5 |
352 | } |
353 | |
354 | sub add_around_method_modifier { |
4859d490 |
355 | my ( $self, $name, $code ) = @_; |
8d59c723 |
356 | $self->_install_modifier( 'around', $name, $code ); |
50dc6ee5 |
357 | } |
358 | |
359 | sub add_after_method_modifier { |
4859d490 |
360 | my ( $self, $name, $code ) = @_; |
8d59c723 |
361 | $self->_install_modifier( 'after', $name, $code ); |
50dc6ee5 |
362 | } |
363 | |
67199842 |
364 | sub add_override_method_modifier { |
365 | my ($self, $name, $code) = @_; |
366 | |
768804c0 |
367 | if($self->has_method($name)){ |
368 | $self->throw_error("Cannot add an override method if a local method is already present"); |
85bd3f44 |
369 | } |
370 | |
6cfa1e5e |
371 | my $package = $self->name; |
67199842 |
372 | |
85bd3f44 |
373 | my $super_body = $package->can($name) |
6cfa1e5e |
374 | or $self->throw_error("You cannot override '$name' because it has no super method"); |
67199842 |
375 | |
85bd3f44 |
376 | $self->add_method($name => sub { |
377 | local $Mouse::SUPER_PACKAGE = $package; |
378 | local $Mouse::SUPER_BODY = $super_body; |
379 | local @Mouse::SUPER_ARGS = @_; |
380 | |
381 | $code->(@_); |
382 | }); |
383 | return; |
67199842 |
384 | } |
385 | |
768804c0 |
386 | sub add_augment_method_modifier { |
387 | my ($self, $name, $code) = @_; |
388 | if($self->has_method($name)){ |
389 | $self->throw_error("Cannot add an augment method if a local method is already present"); |
390 | } |
391 | |
392 | my $super = $self->find_method_by_name($name) |
393 | or $self->throw_error("You cannot augment '$name' because it has no super method"); |
394 | |
395 | my $super_package = $super->package_name; |
396 | my $super_body = $super->body; |
397 | |
398 | $self->add_method($name => sub{ |
399 | local $Mouse::INNER_BODY{$super_package} = $code; |
400 | local $Mouse::INNER_ARGS{$super_package} = [@_]; |
401 | $super_body->(@_); |
402 | }); |
403 | return; |
404 | } |
405 | |
47f36c05 |
406 | sub does_role { |
407 | my ($self, $role_name) = @_; |
ad958001 |
408 | |
47f36c05 |
409 | (defined $role_name) |
fce211ae |
410 | || $self->throw_error("You must supply a role name to look for"); |
ad958001 |
411 | |
f3e11122 |
412 | $role_name = $role_name->name if ref $role_name; |
413 | |
f7fec86c |
414 | for my $class ($self->linearized_isa) { |
95ecd6f1 |
415 | my $meta = Mouse::Util::get_metaclass_by_name($class) |
416 | or next; |
3a63a2e7 |
417 | |
418 | for my $role (@{ $meta->roles }) { |
ff687069 |
419 | |
3a63a2e7 |
420 | return 1 if $role->does_role($role_name); |
f7fec86c |
421 | } |
47f36c05 |
422 | } |
ad958001 |
423 | |
47f36c05 |
424 | return 0; |
425 | } |
426 | |
c3398f5b |
427 | 1; |
c3398f5b |
428 | __END__ |
429 | |
430 | =head1 NAME |
431 | |
1820fffe |
432 | Mouse::Meta::Class - The Mouse class metaclass |
c3398f5b |
433 | |
a25ca8d6 |
434 | =head1 VERSION |
435 | |
12f4a95a |
436 | This document describes Mouse version 0.67 |
a25ca8d6 |
437 | |
503ed648 |
438 | =head1 DESCRIPTION |
439 | |
440 | This class is a meta object protocol for Mouse classes, |
441 | which is a subset of Moose::Meta:::Class. |
442 | |
c3398f5b |
443 | =head1 METHODS |
444 | |
612d3e1a |
445 | =head2 C<< initialize(ClassName) -> Mouse::Meta::Class >> |
c3398f5b |
446 | |
31c5194b |
447 | Finds or creates a C<Mouse::Meta::Class> instance for the given ClassName. Only |
306290e8 |
448 | one instance should exist for a given class. |
c3398f5b |
449 | |
612d3e1a |
450 | =head2 C<< name -> ClassName >> |
c3398f5b |
451 | |
452 | Returns the name of the owner class. |
453 | |
612d3e1a |
454 | =head2 C<< superclasses -> ClassNames >> C<< superclass(ClassNames) >> |
c3398f5b |
455 | |
456 | Gets (or sets) the list of superclasses of the owner class. |
457 | |
31c5194b |
458 | =head2 C<< add_method(name => CodeRef) >> |
c3398f5b |
459 | |
31c5194b |
460 | Adds a method to the owner class. |
c3398f5b |
461 | |
31c5194b |
462 | =head2 C<< has_method(name) -> Bool >> |
72b88a88 |
463 | |
31c5194b |
464 | Returns whether we have a method with the given name. |
72b88a88 |
465 | |
31c5194b |
466 | =head2 C<< get_method(name) -> Mouse::Meta::Method | undef >> |
c68b4110 |
467 | |
31c5194b |
468 | Returns a L<Mouse::Meta::Method> with the given name. |
469 | |
470 | Note that you can also use C<< $metaclass->name->can($name) >> for a method body. |
471 | |
472 | =head2 C<< get_method_list -> Names >> |
473 | |
474 | Returns a list of method names which are defined in the local class. |
475 | If you want a list of all applicable methods for a class, use the |
476 | C<get_all_methods> method. |
477 | |
478 | =head2 C<< get_all_methods -> (Mouse::Meta::Method) >> |
479 | |
480 | Return the list of all L<Mouse::Meta::Method> instances associated with |
481 | the class and its superclasses. |
482 | |
483 | =head2 C<< add_attribute(name => spec | Mouse::Meta::Attribute) >> |
484 | |
485 | Begins keeping track of the existing L<Mouse::Meta::Attribute> for the owner |
486 | class. |
c68b4110 |
487 | |
612d3e1a |
488 | =head2 C<< has_attribute(Name) -> Bool >> |
66eea168 |
489 | |
490 | Returns whether we have a L<Mouse::Meta::Attribute> with the given name. |
491 | |
31c5194b |
492 | =head2 C<< get_attribute Name -> Mouse::Meta::Attribute | undef >> |
c3398f5b |
493 | |
306290e8 |
494 | Returns the L<Mouse::Meta::Attribute> with the given name. |
c3398f5b |
495 | |
31c5194b |
496 | =head2 C<< get_attribute_list -> Names >> |
497 | |
498 | Returns a list of attribute names which are defined in the local |
499 | class. If you want a list of all applicable attributes for a class, |
500 | use the C<get_all_attributes> method. |
501 | |
502 | =head2 C<< get_all_attributes -> (Mouse::Meta::Attribute) >> |
503 | |
504 | Returns the list of all L<Mouse::Meta::Attribute> instances associated with |
505 | this class and its superclasses. |
506 | |
612d3e1a |
507 | =head2 C<< linearized_isa -> [ClassNames] >> |
c3398f5b |
508 | |
509 | Returns the list of classes in method dispatch order, with duplicates removed. |
510 | |
612d3e1a |
511 | =head2 C<< new_object(Parameters) -> Instance >> |
2cea7a5f |
512 | |
612d3e1a |
513 | Creates a new instance. |
2cea7a5f |
514 | |
612d3e1a |
515 | =head2 C<< clone_object(Instance, Parameters) -> Instance >> |
f7b11a21 |
516 | |
31c5194b |
517 | Clones the given instance which must be an instance governed by this |
f7b11a21 |
518 | metaclass. |
519 | |
31c5194b |
520 | =head2 C<< throw_error(Message, Parameters) >> |
521 | |
522 | Throws an error with the given message. |
523 | |
1820fffe |
524 | =head1 SEE ALSO |
f7b11a21 |
525 | |
6b82419e |
526 | L<Mouse::Meta::Module> |
527 | |
1820fffe |
528 | L<Moose::Meta::Class> |
f7b11a21 |
529 | |
31c5194b |
530 | L<Class::MOP::Class> |
531 | |
c3398f5b |
532 | =cut |
533 | |