Commit | Line | Data |
8b978dd5 |
1 | |
2 | package Class::MOP::Class; |
3 | |
4 | use strict; |
5 | use warnings; |
6 | |
c23184fc |
7 | use Class::MOP::Immutable; |
ba38bf08 |
8 | use Class::MOP::Instance; |
9 | use Class::MOP::Method::Wrapped; |
10 | |
8b978dd5 |
11 | use Carp 'confess'; |
7f63694d |
12 | use Scalar::Util 'blessed', 'reftype', 'weaken'; |
8b978dd5 |
13 | use Sub::Name 'subname'; |
8b978dd5 |
14 | |
2a2b8458 |
15 | our $VERSION = '0.27'; |
f0480c45 |
16 | our $AUTHORITY = 'cpan:STEVAN'; |
8b978dd5 |
17 | |
2243a22b |
18 | use base 'Class::MOP::Module'; |
19 | |
0ac992ee |
20 | # Self-introspection |
2eb717d5 |
21 | |
aa448b16 |
22 | sub meta { Class::MOP::Class->initialize(blessed($_[0]) || $_[0]) } |
2eb717d5 |
23 | |
8b978dd5 |
24 | # Creation |
0ac992ee |
25 | |
be7677c7 |
26 | sub initialize { |
27 | my $class = shift; |
28 | my $package_name = shift; |
29 | (defined $package_name && $package_name && !blessed($package_name)) |
0ac992ee |
30 | || confess "You must pass a package name and it cannot be blessed"; |
3af3cbbd |
31 | if (defined(my $meta = Class::MOP::get_metaclass_by_name($package_name))) { |
32 | return $meta; |
33 | } |
c23184fc |
34 | $class->construct_class_instance('package' => $package_name, @_); |
be7677c7 |
35 | } |
36 | |
37 | sub reinitialize { |
38 | my $class = shift; |
39 | my $package_name = shift; |
40 | (defined $package_name && $package_name && !blessed($package_name)) |
0ac992ee |
41 | || confess "You must pass a package name and it cannot be blessed"; |
be7677c7 |
42 | Class::MOP::remove_metaclass_by_name($package_name); |
c23184fc |
43 | $class->construct_class_instance('package' => $package_name, @_); |
0ac992ee |
44 | } |
45 | |
46 | # NOTE: (meta-circularity) |
47 | # this is a special form of &construct_instance |
be7677c7 |
48 | # (see below), which is used to construct class |
0ac992ee |
49 | # meta-object instances for any Class::MOP::* |
50 | # class. All other classes will use the more |
be7677c7 |
51 | # normal &construct_instance. |
52 | sub construct_class_instance { |
53 | my $class = shift; |
54 | my %options = @_; |
c23184fc |
55 | my $package_name = $options{'package'}; |
be7677c7 |
56 | (defined $package_name && $package_name) |
0ac992ee |
57 | || confess "You must pass a package name"; |
be7677c7 |
58 | # NOTE: |
0ac992ee |
59 | # return the metaclass if we have it cached, |
60 | # and it is still defined (it has not been |
61 | # reaped by DESTROY yet, which can happen |
be7677c7 |
62 | # annoyingly enough during global destruction) |
3af3cbbd |
63 | |
64 | if (defined(my $meta = Class::MOP::get_metaclass_by_name($package_name))) { |
65 | return $meta; |
66 | } |
be7677c7 |
67 | |
68 | # NOTE: |
0ac992ee |
69 | # we need to deal with the possibility |
70 | # of class immutability here, and then |
be7677c7 |
71 | # get the name of the class appropriately |
72 | $class = (blessed($class) |
73 | ? ($class->is_immutable |
74 | ? $class->get_mutable_metaclass_name() |
75 | : blessed($class)) |
76 | : $class); |
77 | |
be7677c7 |
78 | # now create the metaclass |
79 | my $meta; |
9c6877f4 |
80 | if ($class eq 'Class::MOP::Class') { |
0ac992ee |
81 | no strict 'refs'; |
82 | $meta = bless { |
be7677c7 |
83 | # inherited from Class::MOP::Package |
0ac992ee |
84 | '$!package' => $package_name, |
85 | |
c4260b45 |
86 | # NOTE: |
0ac992ee |
87 | # since the following attributes will |
88 | # actually be loaded from the symbol |
c4260b45 |
89 | # table, and actually bypass the instance |
90 | # entirely, we can just leave these things |
91 | # listed here for reference, because they |
0ac992ee |
92 | # should not actually have a value associated |
c4260b45 |
93 | # with the slot. |
0ac992ee |
94 | '%!namespace' => \undef, |
be7677c7 |
95 | # inherited from Class::MOP::Module |
c23184fc |
96 | '$!version' => \undef, |
97 | '$!authority' => \undef, |
c4260b45 |
98 | # defined in Class::MOP::Class |
c23184fc |
99 | '@!superclasses' => \undef, |
0ac992ee |
100 | |
c23184fc |
101 | '%!methods' => {}, |
0ac992ee |
102 | '%!attributes' => {}, |
c23184fc |
103 | '$!attribute_metaclass' => $options{'attribute_metaclass'} || 'Class::MOP::Attribute', |
104 | '$!method_metaclass' => $options{'method_metaclass'} || 'Class::MOP::Method', |
105 | '$!instance_metaclass' => $options{'instance_metaclass'} || 'Class::MOP::Instance', |
e0e4674a |
106 | |
107 | ## uber-private variables |
108 | # NOTE: |
109 | # this starts out as undef so that |
110 | # we can tell the first time the |
111 | # methods are fetched |
112 | # - SL |
113 | '$!_package_cache_flag' => undef, |
be7677c7 |
114 | } => $class; |
115 | } |
116 | else { |
117 | # NOTE: |
118 | # it is safe to use meta here because |
0ac992ee |
119 | # class will always be a subclass of |
be7677c7 |
120 | # Class::MOP::Class, which defines meta |
121 | $meta = $class->meta->construct_instance(%options) |
727919c5 |
122 | } |
0ac992ee |
123 | |
be7677c7 |
124 | # and check the metaclass compatibility |
715adbb7 |
125 | $meta->check_metaclass_compatability(); |
0ac992ee |
126 | |
be7677c7 |
127 | Class::MOP::store_metaclass_by_name($package_name, $meta); |
0ac992ee |
128 | |
be7677c7 |
129 | # NOTE: |
130 | # we need to weaken any anon classes |
131 | # so that they can call DESTROY properly |
b9d9fc0b |
132 | Class::MOP::weaken_metaclass($package_name) if $meta->is_anon_class; |
0ac992ee |
133 | |
134 | $meta; |
135 | } |
136 | |
715adbb7 |
137 | sub reset_package_cache_flag { (shift)->{'$!_package_cache_flag'} = undef } |
138 | sub update_package_cache_flag { |
b1f5f41d |
139 | my $self = shift; |
e0e4674a |
140 | # NOTE: |
141 | # we can manually update the cache number |
142 | # since we are actually adding the method |
143 | # to our cache as well. This avoids us |
144 | # having to regenerate the method_map. |
145 | # - SL |
b1f5f41d |
146 | $self->{'$!_package_cache_flag'} = Class::MOP::check_package_cache_flag($self->name); |
e0e4674a |
147 | } |
148 | |
be7677c7 |
149 | sub check_metaclass_compatability { |
150 | my $self = shift; |
151 | |
152 | # this is always okay ... |
0ac992ee |
153 | return if blessed($self) eq 'Class::MOP::Class' && |
be7677c7 |
154 | $self->instance_metaclass eq 'Class::MOP::Instance'; |
155 | |
b7bdffc3 |
156 | my @class_list = $self->linearized_isa; |
be7677c7 |
157 | shift @class_list; # shift off $self->name |
373a16ae |
158 | |
0ac992ee |
159 | foreach my $class_name (@class_list) { |
be7677c7 |
160 | my $meta = Class::MOP::get_metaclass_by_name($class_name) || next; |
0ac992ee |
161 | |
373a16ae |
162 | # NOTE: |
0ac992ee |
163 | # we need to deal with the possibility |
164 | # of class immutability here, and then |
165 | # get the name of the class appropriately |
be7677c7 |
166 | my $meta_type = ($meta->is_immutable |
167 | ? $meta->get_mutable_metaclass_name() |
0ac992ee |
168 | : blessed($meta)); |
169 | |
be7677c7 |
170 | ($self->isa($meta_type)) |
0ac992ee |
171 | || confess $self->name . "->meta => (" . (blessed($self)) . ")" . |
172 | " is not compatible with the " . |
be7677c7 |
173 | $class_name . "->meta => (" . ($meta_type) . ")"; |
77e5fce4 |
174 | # NOTE: |
be7677c7 |
175 | # we also need to check that instance metaclasses |
176 | # are compatabile in the same the class. |
177 | ($self->instance_metaclass->isa($meta->instance_metaclass)) |
0ac992ee |
178 | || confess $self->name . "->meta => (" . ($self->instance_metaclass) . ")" . |
179 | " is not compatible with the " . |
180 | $class_name . "->meta => (" . ($meta->instance_metaclass) . ")"; |
181 | } |
182 | } |
8b978dd5 |
183 | |
6d5355c3 |
184 | ## ANON classes |
185 | |
186 | { |
187 | # NOTE: |
0ac992ee |
188 | # this should be sufficient, if you have a |
189 | # use case where it is not, write a test and |
6d5355c3 |
190 | # I will change it. |
191 | my $ANON_CLASS_SERIAL = 0; |
0ac992ee |
192 | |
b9d9fc0b |
193 | # NOTE: |
194 | # we need a sufficiently annoying prefix |
0ac992ee |
195 | # this should suffice for now, this is |
196 | # used in a couple of places below, so |
b9d9fc0b |
197 | # need to put it up here for now. |
0ac992ee |
198 | my $ANON_CLASS_PREFIX = 'Class::MOP::Class::__ANON__::SERIAL::'; |
b9d9fc0b |
199 | |
200 | sub is_anon_class { |
201 | my $self = shift; |
a651e249 |
202 | no warnings 'uninitialized'; |
0ac992ee |
203 | $self->name =~ /^$ANON_CLASS_PREFIX/ ? 1 : 0; |
b9d9fc0b |
204 | } |
6d5355c3 |
205 | |
206 | sub create_anon_class { |
0ac992ee |
207 | my ($class, %options) = @_; |
6d5355c3 |
208 | my $package_name = $ANON_CLASS_PREFIX . ++$ANON_CLASS_SERIAL; |
88dd563c |
209 | return $class->create($package_name, %options); |
0ac992ee |
210 | } |
6d5355c3 |
211 | |
b9d9fc0b |
212 | # NOTE: |
0ac992ee |
213 | # this will only get called for |
214 | # anon-classes, all other calls |
215 | # are assumed to occur during |
b9d9fc0b |
216 | # global destruction and so don't |
217 | # really need to be handled explicitly |
218 | sub DESTROY { |
219 | my $self = shift; |
0ac992ee |
220 | no warnings 'uninitialized'; |
b9d9fc0b |
221 | return unless $self->name =~ /^$ANON_CLASS_PREFIX/; |
222 | my ($serial_id) = ($self->name =~ /^$ANON_CLASS_PREFIX(\d+)/); |
0ac992ee |
223 | no strict 'refs'; |
b9d9fc0b |
224 | foreach my $key (keys %{$ANON_CLASS_PREFIX . $serial_id}) { |
225 | delete ${$ANON_CLASS_PREFIX . $serial_id}{$key}; |
226 | } |
0ac992ee |
227 | delete ${'main::' . $ANON_CLASS_PREFIX}{$serial_id . '::'}; |
6d5355c3 |
228 | } |
b9d9fc0b |
229 | |
6d5355c3 |
230 | } |
231 | |
232 | # creating classes with MOP ... |
233 | |
8b978dd5 |
234 | sub create { |
88dd563c |
235 | my $class = shift; |
236 | my $package_name = shift; |
0ac992ee |
237 | |
bfe4d0fc |
238 | (defined $package_name && $package_name) |
8b978dd5 |
239 | || confess "You must pass a package name"; |
88dd563c |
240 | |
241 | (scalar @_ % 2 == 0) |
0ac992ee |
242 | || confess "You much pass all parameters as name => value pairs " . |
88dd563c |
243 | "(I found an uneven number of params in \@_)"; |
244 | |
245 | my (%options) = @_; |
0ac992ee |
246 | |
8b978dd5 |
247 | my $code = "package $package_name;"; |
0ac992ee |
248 | $code .= "\$$package_name\:\:VERSION = '" . $options{version} . "';" |
88dd563c |
249 | if exists $options{version}; |
0ac992ee |
250 | $code .= "\$$package_name\:\:AUTHORITY = '" . $options{authority} . "';" |
251 | if exists $options{authority}; |
252 | |
8b978dd5 |
253 | eval $code; |
0ac992ee |
254 | confess "creation of $package_name failed : $@" if $@; |
255 | |
bfe4d0fc |
256 | my $meta = $class->initialize($package_name); |
0ac992ee |
257 | |
258 | $meta->add_method('meta' => sub { |
df7b4119 |
259 | $class->initialize(blessed($_[0]) || $_[0]); |
aa448b16 |
260 | }); |
0ac992ee |
261 | |
8b978dd5 |
262 | $meta->superclasses(@{$options{superclasses}}) |
263 | if exists $options{superclasses}; |
2eb717d5 |
264 | # NOTE: |
0ac992ee |
265 | # process attributes first, so that they can |
2eb717d5 |
266 | # install accessors, but locally defined methods |
267 | # can then overwrite them. It is maybe a little odd, but |
268 | # I think this should be the order of things. |
269 | if (exists $options{attributes}) { |
cbd9f942 |
270 | foreach my $attr (@{$options{attributes}}) { |
271 | $meta->add_attribute($attr); |
2eb717d5 |
272 | } |
0ac992ee |
273 | } |
bfe4d0fc |
274 | if (exists $options{methods}) { |
275 | foreach my $method_name (keys %{$options{methods}}) { |
276 | $meta->add_method($method_name, $options{methods}->{$method_name}); |
277 | } |
0ac992ee |
278 | } |
8b978dd5 |
279 | return $meta; |
280 | } |
281 | |
7b31baf4 |
282 | ## Attribute readers |
283 | |
284 | # NOTE: |
0ac992ee |
285 | # all these attribute readers will be bootstrapped |
7b31baf4 |
286 | # away in the Class::MOP bootstrap section |
287 | |
c23184fc |
288 | sub get_attribute_map { $_[0]->{'%!attributes'} } |
289 | sub attribute_metaclass { $_[0]->{'$!attribute_metaclass'} } |
290 | sub method_metaclass { $_[0]->{'$!method_metaclass'} } |
291 | sub instance_metaclass { $_[0]->{'$!instance_metaclass'} } |
7b31baf4 |
292 | |
0f71bc80 |
293 | # FIXME: |
294 | # this is a prime canidate for conversion to XS |
0ac992ee |
295 | sub get_method_map { |
c4260b45 |
296 | my $self = shift; |
e0e4674a |
297 | |
298 | if (defined $self->{'$!_package_cache_flag'} && |
b1f5f41d |
299 | $self->{'$!_package_cache_flag'} == Class::MOP::check_package_cache_flag($self->name)) { |
e0e4674a |
300 | return $self->{'%!methods'}; |
301 | } |
302 | |
0ac992ee |
303 | my $map = $self->{'%!methods'}; |
304 | |
0f71bc80 |
305 | my $class_name = $self->name; |
306 | my $method_metaclass = $self->method_metaclass; |
0ac992ee |
307 | |
92330ee2 |
308 | foreach my $symbol ($self->list_all_package_symbols('CODE')) { |
91e0eb4a |
309 | my $code = $self->get_package_symbol('&' . $symbol); |
0ac992ee |
310 | |
311 | next if exists $map->{$symbol} && |
312 | defined $map->{$symbol} && |
313 | $map->{$symbol}->body == $code; |
314 | |
e0e4674a |
315 | my ($pkg, $name) = Class::MOP::get_code_info($code); |
316 | next if ($pkg || '') ne $class_name && |
317 | ($name || '') ne '__ANON__'; |
0ac992ee |
318 | |
0f71bc80 |
319 | $map->{$symbol} = $method_metaclass->wrap($code); |
7855ddba |
320 | } |
0ac992ee |
321 | |
7855ddba |
322 | return $map; |
c4260b45 |
323 | } |
324 | |
c9e77dbb |
325 | # Instance Construction & Cloning |
326 | |
5f3c057a |
327 | sub new_object { |
328 | my $class = shift; |
651955fb |
329 | # NOTE: |
0ac992ee |
330 | # we need to protect the integrity of the |
651955fb |
331 | # Class::MOP::Class singletons here, so we |
332 | # delegate this to &construct_class_instance |
333 | # which will deal with the singletons |
334 | return $class->construct_class_instance(@_) |
335 | if $class->name->isa('Class::MOP::Class'); |
24869f62 |
336 | return $class->construct_instance(@_); |
5f3c057a |
337 | } |
e16da3e6 |
338 | |
339 | sub construct_instance { |
cbd9f942 |
340 | my ($class, %params) = @_; |
0e76a376 |
341 | my $meta_instance = $class->get_meta_instance(); |
342 | my $instance = $meta_instance->create_instance(); |
c9e77dbb |
343 | foreach my $attr ($class->compute_all_applicable_attributes()) { |
f892c0f0 |
344 | $attr->initialize_instance_slot($meta_instance, $instance, \%params); |
cbd9f942 |
345 | } |
0ac992ee |
346 | # NOTE: |
d4ba1677 |
347 | # this will only work for a HASH instance type |
348 | if ($class->is_anon_class) { |
349 | (reftype($instance) eq 'HASH') |
350 | || confess "Currently only HASH based instances are supported with instance of anon-classes"; |
351 | # NOTE: |
352 | # At some point we should make this official |
0ac992ee |
353 | # as a reserved slot name, but right now I am |
d4ba1677 |
354 | # going to keep it here. |
355 | # my $RESERVED_MOP_SLOT = '__MOP__'; |
356 | $instance->{'__MOP__'} = $class; |
357 | } |
2d711cc8 |
358 | return $instance; |
359 | } |
360 | |
361 | sub get_meta_instance { |
362 | my $class = shift; |
052c2a1a |
363 | return $class->instance_metaclass->new( |
0ac992ee |
364 | $class, |
052c2a1a |
365 | $class->compute_all_applicable_attributes() |
366 | ); |
e16da3e6 |
367 | } |
368 | |
5f3c057a |
369 | sub clone_object { |
370 | my $class = shift; |
0ac992ee |
371 | my $instance = shift; |
651955fb |
372 | (blessed($instance) && $instance->isa($class->name)) |
373 | || confess "You must pass an instance ($instance) of the metaclass (" . $class->name . ")"; |
374 | # NOTE: |
0ac992ee |
375 | # we need to protect the integrity of the |
376 | # Class::MOP::Class singletons here, they |
a740253a |
377 | # should not be cloned. |
0ac992ee |
378 | return $instance if $instance->isa('Class::MOP::Class'); |
f7259199 |
379 | $class->clone_instance($instance, @_); |
5f3c057a |
380 | } |
381 | |
c9e77dbb |
382 | sub clone_instance { |
651955fb |
383 | my ($class, $instance, %params) = @_; |
384 | (blessed($instance)) |
c9e77dbb |
385 | || confess "You can only clone instances, \$self is not a blessed instance"; |
f7259199 |
386 | my $meta_instance = $class->get_meta_instance(); |
0ac992ee |
387 | my $clone = $meta_instance->clone_instance($instance); |
c23184fc |
388 | foreach my $attr ($class->compute_all_applicable_attributes()) { |
795a0c8b |
389 | if (exists $params{$attr->init_arg}) { |
0ac992ee |
390 | $meta_instance->set_slot_value($clone, $attr->name, $params{$attr->init_arg}); |
c23184fc |
391 | } |
0ac992ee |
392 | } |
393 | return $clone; |
c9e77dbb |
394 | } |
395 | |
3d9e4646 |
396 | sub rebless_instance { |
3cd40f5e |
397 | my ($self, $instance) = @_; |
2a2b8458 |
398 | |
399 | my $old_metaclass; |
400 | if ($instance->can('meta')) { |
401 | ($instance->meta->isa('Class::MOP::Class')) |
402 | || confess 'Cannot rebless instance if ->meta is not an instance of Class::MOP::Class'; |
403 | $old_metaclass = $instance->meta; |
404 | } |
405 | else { |
406 | $old_metaclass = $self->initialize(blessed($instance)); |
407 | } |
408 | |
1a720916 |
409 | my $meta_instance = $self->get_meta_instance(); |
3d9e4646 |
410 | |
3cd40f5e |
411 | $self->name->isa($old_metaclass->name) |
de0d4f93 |
412 | || confess "You may rebless only into a subclass of (". $old_metaclass->name ."), of which (". $self->name .") isn't."; |
9b71b643 |
413 | |
1a720916 |
414 | # rebless! |
3cd40f5e |
415 | $meta_instance->rebless_instance_structure($instance, $self); |
1a720916 |
416 | |
417 | # check and upgrade all attributes |
a93136d1 |
418 | my %params = map { $_->name => $meta_instance->get_slot_value($instance, $_->name) } |
1a720916 |
419 | grep { $meta_instance->is_slot_initialized($instance, $_->name) } |
3cd40f5e |
420 | $self->compute_all_applicable_attributes; |
1a720916 |
421 | |
3cd40f5e |
422 | foreach my $attr ($self->compute_all_applicable_attributes) { |
1a720916 |
423 | $attr->initialize_instance_slot($meta_instance, $instance, \%params); |
424 | } |
3d9e4646 |
425 | } |
426 | |
8b978dd5 |
427 | # Inheritance |
428 | |
429 | sub superclasses { |
430 | my $self = shift; |
8b978dd5 |
431 | if (@_) { |
432 | my @supers = @_; |
9d6dce77 |
433 | @{$self->get_package_symbol('@ISA')} = @supers; |
d82060fe |
434 | # NOTE: |
0ac992ee |
435 | # we need to check the metaclass |
84086365 |
436 | # compatibility here so that we can |
0ac992ee |
437 | # be sure that the superclass is |
438 | # not potentially creating an issues |
d82060fe |
439 | # we don't know about |
440 | $self->check_metaclass_compatability(); |
8b978dd5 |
441 | } |
9d6dce77 |
442 | @{$self->get_package_symbol('@ISA')}; |
8b978dd5 |
443 | } |
444 | |
7160cad4 |
445 | sub subclasses { |
446 | my $self = shift; |
447 | |
448 | my $super_class = $self->name; |
449 | my @derived_classes; |
450 | |
451 | my $find_derived_classes; |
452 | $find_derived_classes = sub { |
453 | my ($outer_class) = @_; |
454 | |
455 | my $symbol_table_hashref = do { no strict 'refs'; \%{"${outer_class}::"} }; |
456 | |
c1d5345a |
457 | SYMBOL: |
7160cad4 |
458 | for my $symbol ( keys %$symbol_table_hashref ) { |
459 | next SYMBOL if $symbol !~ /\A (\w+):: \z/x; |
460 | my $inner_class = $1; |
461 | |
462 | next SYMBOL if $inner_class eq 'SUPER'; # skip '*::SUPER' |
463 | |
464 | my $class = |
465 | $outer_class |
466 | ? "${outer_class}::$inner_class" |
467 | : $inner_class; |
468 | |
469 | if ( $class->isa($super_class) and $class ne $super_class ) { |
470 | push @derived_classes, $class; |
471 | } |
472 | |
473 | next SYMBOL if $class eq 'main'; # skip 'main::*' |
474 | |
475 | $find_derived_classes->($class); |
476 | } |
477 | }; |
478 | |
479 | my $root_class = q{}; |
480 | $find_derived_classes->($root_class); |
481 | |
482 | undef $find_derived_classes; |
483 | |
484 | @derived_classes = sort { $a->isa($b) ? 1 : $b->isa($a) ? -1 : 0 } @derived_classes; |
485 | |
486 | return @derived_classes; |
487 | } |
488 | |
489 | |
b7bdffc3 |
490 | sub linearized_isa { |
c1d5345a |
491 | if (Class::MOP::IS_RUNNING_ON_5_10()) { |
492 | return @{ mro::get_linear_isa( (shift)->name ) }; |
493 | } |
494 | else { |
495 | my %seen; |
496 | return grep { !($seen{$_}++) } (shift)->class_precedence_list; |
497 | } |
b7bdffc3 |
498 | } |
499 | |
8b978dd5 |
500 | sub class_precedence_list { |
501 | my $self = shift; |
c1d5345a |
502 | |
503 | unless (Class::MOP::IS_RUNNING_ON_5_10()) { |
504 | # NOTE: |
505 | # We need to check for circular inheritance here |
506 | # if we are are not on 5.10, cause 5.8 detects it |
507 | # late. This will do nothing if all is well, and |
508 | # blow up otherwise. Yes, it's an ugly hack, better |
509 | # suggestions are welcome. |
510 | # - SL |
511 | ($self->name || return)->isa('This is a test for circular inheritance') |
512 | } |
0ac992ee |
513 | |
8b978dd5 |
514 | ( |
0ac992ee |
515 | $self->name, |
516 | map { |
f7259199 |
517 | $self->initialize($_)->class_precedence_list() |
8b978dd5 |
518 | } $self->superclasses() |
0ac992ee |
519 | ); |
8b978dd5 |
520 | } |
521 | |
0882828e |
522 | ## Methods |
523 | |
524 | sub add_method { |
525 | my ($self, $method_name, $method) = @_; |
526 | (defined $method_name && $method_name) |
527 | || confess "You must define a method name"; |
0ac992ee |
528 | |
7855ddba |
529 | my $body; |
7855ddba |
530 | if (blessed($method)) { |
0ac992ee |
531 | $body = $method->body; |
7855ddba |
532 | } |
0ac992ee |
533 | else { |
7855ddba |
534 | $body = $method; |
7855ddba |
535 | ('CODE' eq (reftype($body) || '')) |
0ac992ee |
536 | || confess "Your code block must be a CODE reference"; |
537 | $method = $self->method_metaclass->wrap($body); |
7855ddba |
538 | } |
0f71bc80 |
539 | $self->get_method_map->{$method_name} = $method; |
0ac992ee |
540 | |
541 | my $full_method_name = ($self->name . '::' . $method_name); |
7855ddba |
542 | $self->add_package_symbol("&${method_name}" => subname $full_method_name => $body); |
715adbb7 |
543 | $self->update_package_cache_flag; |
0882828e |
544 | } |
545 | |
a4258ffd |
546 | { |
2d711cc8 |
547 | my $fetch_and_prepare_method = sub { |
548 | my ($self, $method_name) = @_; |
549 | # fetch it locally |
550 | my $method = $self->get_method($method_name); |
551 | # if we dont have local ... |
552 | unless ($method) { |
195f5bf8 |
553 | # try to find the next method |
554 | $method = $self->find_next_method_by_name($method_name); |
555 | # die if it does not exist |
556 | (defined $method) |
804f7d24 |
557 | || confess "The method '$method_name' is not found in the inheritance hierarchy for class " . $self->name; |
0ac992ee |
558 | # and now make sure to wrap it |
195f5bf8 |
559 | # even if it is already wrapped |
560 | # because we need a new sub ref |
2d711cc8 |
561 | $method = Class::MOP::Method::Wrapped->wrap($method); |
195f5bf8 |
562 | } |
563 | else { |
0ac992ee |
564 | # now make sure we wrap it properly |
195f5bf8 |
565 | $method = Class::MOP::Method::Wrapped->wrap($method) |
0ac992ee |
566 | unless $method->isa('Class::MOP::Method::Wrapped'); |
567 | } |
568 | $self->add_method($method_name => $method); |
2d711cc8 |
569 | return $method; |
570 | }; |
571 | |
572 | sub add_before_method_modifier { |
573 | my ($self, $method_name, $method_modifier) = @_; |
574 | (defined $method_name && $method_name) |
0ac992ee |
575 | || confess "You must pass in a method name"; |
2d711cc8 |
576 | my $method = $fetch_and_prepare_method->($self, $method_name); |
577 | $method->add_before_modifier(subname ':before' => $method_modifier); |
578 | } |
579 | |
580 | sub add_after_method_modifier { |
581 | my ($self, $method_name, $method_modifier) = @_; |
582 | (defined $method_name && $method_name) |
0ac992ee |
583 | || confess "You must pass in a method name"; |
2d711cc8 |
584 | my $method = $fetch_and_prepare_method->($self, $method_name); |
585 | $method->add_after_modifier(subname ':after' => $method_modifier); |
586 | } |
0ac992ee |
587 | |
2d711cc8 |
588 | sub add_around_method_modifier { |
589 | my ($self, $method_name, $method_modifier) = @_; |
590 | (defined $method_name && $method_name) |
591 | || confess "You must pass in a method name"; |
592 | my $method = $fetch_and_prepare_method->($self, $method_name); |
593 | $method->add_around_modifier(subname ':around' => $method_modifier); |
0ac992ee |
594 | } |
a4258ffd |
595 | |
0ac992ee |
596 | # NOTE: |
8c936afc |
597 | # the methods above used to be named like this: |
598 | # ${pkg}::${method}:(before|after|around) |
599 | # but this proved problematic when using one modifier |
600 | # to wrap multiple methods (something which is likely |
601 | # to happen pretty regularly IMO). So instead of naming |
0ac992ee |
602 | # it like this, I have chosen to just name them purely |
8c936afc |
603 | # with their modifier names, like so: |
604 | # :(before|after|around) |
0ac992ee |
605 | # The fact is that in a stack trace, it will be fairly |
8c936afc |
606 | # evident from the context what method they are attached |
607 | # to, and so don't need the fully qualified name. |
ee5e71d4 |
608 | } |
609 | |
663f8198 |
610 | sub alias_method { |
611 | my ($self, $method_name, $method) = @_; |
612 | (defined $method_name && $method_name) |
613 | || confess "You must define a method name"; |
de19f115 |
614 | |
0f71bc80 |
615 | my $body = (blessed($method) ? $method->body : $method); |
616 | ('CODE' eq (reftype($body) || '')) |
0ac992ee |
617 | || confess "Your code block must be a CODE reference"; |
618 | |
7855ddba |
619 | $self->add_package_symbol("&${method_name}" => $body); |
715adbb7 |
620 | $self->update_package_cache_flag; |
16e960bd |
621 | } |
622 | |
de19f115 |
623 | sub has_method { |
624 | my ($self, $method_name) = @_; |
625 | (defined $method_name && $method_name) |
0ac992ee |
626 | || confess "You must define a method name"; |
627 | |
628 | return 0 unless exists $self->get_method_map->{$method_name}; |
de19f115 |
629 | return 1; |
0882828e |
630 | } |
631 | |
632 | sub get_method { |
c9b8b7f9 |
633 | my ($self, $method_name) = @_; |
0882828e |
634 | (defined $method_name && $method_name) |
635 | || confess "You must define a method name"; |
0ac992ee |
636 | |
0f71bc80 |
637 | # NOTE: |
638 | # I don't really need this here, because |
0ac992ee |
639 | # if the method_map is missing a key it |
0f71bc80 |
640 | # will just return undef for me now |
641 | # return unless $self->has_method($method_name); |
0ac992ee |
642 | |
7855ddba |
643 | return $self->get_method_map->{$method_name}; |
c9b8b7f9 |
644 | } |
645 | |
646 | sub remove_method { |
647 | my ($self, $method_name) = @_; |
648 | (defined $method_name && $method_name) |
649 | || confess "You must define a method name"; |
0ac992ee |
650 | |
e0e4674a |
651 | my $removed_method = delete $self->get_method_map->{$method_name}; |
652 | |
653 | $self->remove_package_symbol("&${method_name}"); |
654 | |
715adbb7 |
655 | $self->update_package_cache_flag; |
0ac992ee |
656 | |
c9b8b7f9 |
657 | return $removed_method; |
658 | } |
659 | |
660 | sub get_method_list { |
661 | my $self = shift; |
0f71bc80 |
662 | keys %{$self->get_method_map}; |
7855ddba |
663 | } |
664 | |
665 | sub find_method_by_name { |
666 | my ($self, $method_name) = @_; |
b9575695 |
667 | (defined $method_name && $method_name) |
0ac992ee |
668 | || confess "You must define a method name to find"; |
b7bdffc3 |
669 | foreach my $class ($self->linearized_isa) { |
b9575695 |
670 | # fetch the meta-class ... |
671 | my $meta = $self->initialize($class); |
0ac992ee |
672 | return $meta->get_method($method_name) |
b9575695 |
673 | if $meta->has_method($method_name); |
674 | } |
675 | return; |
a5eca695 |
676 | } |
677 | |
678 | sub compute_all_applicable_methods { |
679 | my $self = shift; |
b7bdffc3 |
680 | my (@methods, %seen_method); |
681 | foreach my $class ($self->linearized_isa) { |
a5eca695 |
682 | # fetch the meta-class ... |
683 | my $meta = $self->initialize($class); |
0ac992ee |
684 | foreach my $method_name ($meta->get_method_list()) { |
a5eca695 |
685 | next if exists $seen_method{$method_name}; |
686 | $seen_method{$method_name}++; |
687 | push @methods => { |
0ac992ee |
688 | name => $method_name, |
a5eca695 |
689 | class => $class, |
690 | code => $meta->get_method($method_name) |
691 | }; |
692 | } |
693 | } |
694 | return @methods; |
695 | } |
696 | |
a5eca695 |
697 | sub find_all_methods_by_name { |
698 | my ($self, $method_name) = @_; |
699 | (defined $method_name && $method_name) |
0ac992ee |
700 | || confess "You must define a method name to find"; |
a5eca695 |
701 | my @methods; |
b7bdffc3 |
702 | foreach my $class ($self->linearized_isa) { |
a5eca695 |
703 | # fetch the meta-class ... |
96ceced8 |
704 | my $meta = $self->initialize($class); |
a5eca695 |
705 | push @methods => { |
0ac992ee |
706 | name => $method_name, |
a5eca695 |
707 | class => $class, |
708 | code => $meta->get_method($method_name) |
709 | } if $meta->has_method($method_name); |
710 | } |
711 | return @methods; |
8b978dd5 |
712 | } |
713 | |
96ceced8 |
714 | sub find_next_method_by_name { |
715 | my ($self, $method_name) = @_; |
716 | (defined $method_name && $method_name) |
0ac992ee |
717 | || confess "You must define a method name to find"; |
b7bdffc3 |
718 | my @cpl = $self->linearized_isa; |
2d711cc8 |
719 | shift @cpl; # discard ourselves |
96ceced8 |
720 | foreach my $class (@cpl) { |
96ceced8 |
721 | # fetch the meta-class ... |
722 | my $meta = $self->initialize($class); |
0ac992ee |
723 | return $meta->get_method($method_name) |
2d711cc8 |
724 | if $meta->has_method($method_name); |
96ceced8 |
725 | } |
2d711cc8 |
726 | return; |
96ceced8 |
727 | } |
728 | |
552e3d24 |
729 | ## Attributes |
730 | |
e16da3e6 |
731 | sub add_attribute { |
2e41896e |
732 | my $self = shift; |
733 | # either we have an attribute object already |
734 | # or we need to create one from the args provided |
735 | my $attribute = blessed($_[0]) ? $_[0] : $self->attribute_metaclass->new(@_); |
736 | # make sure it is derived from the correct type though |
737 | ($attribute->isa('Class::MOP::Attribute')) |
0ac992ee |
738 | || confess "Your attribute must be an instance of Class::MOP::Attribute (or a subclass)"; |
b1897d4d |
739 | |
740 | # first we attach our new attribute |
0ac992ee |
741 | # because it might need certain information |
b1897d4d |
742 | # about the class which it is attached to |
9ec169fe |
743 | $attribute->attach_to_class($self); |
0ac992ee |
744 | |
745 | # then we remove attributes of a conflicting |
746 | # name here so that we can properly detach |
747 | # the old attr object, and remove any |
b1897d4d |
748 | # accessors it would have generated |
749 | $self->remove_attribute($attribute->name) |
750 | if $self->has_attribute($attribute->name); |
0ac992ee |
751 | |
b1897d4d |
752 | # then onto installing the new accessors |
2d711cc8 |
753 | $attribute->install_accessors(); |
291073fc |
754 | $self->get_attribute_map->{$attribute->name} = $attribute; |
e16da3e6 |
755 | } |
756 | |
757 | sub has_attribute { |
758 | my ($self, $attribute_name) = @_; |
759 | (defined $attribute_name && $attribute_name) |
760 | || confess "You must define an attribute name"; |
0ac992ee |
761 | exists $self->get_attribute_map->{$attribute_name} ? 1 : 0; |
762 | } |
e16da3e6 |
763 | |
764 | sub get_attribute { |
765 | my ($self, $attribute_name) = @_; |
766 | (defined $attribute_name && $attribute_name) |
767 | || confess "You must define an attribute name"; |
0ac992ee |
768 | return $self->get_attribute_map->{$attribute_name} |
b1897d4d |
769 | # NOTE: |
770 | # this will return undef anyway, so no need ... |
0ac992ee |
771 | # if $self->has_attribute($attribute_name); |
772 | #return; |
773 | } |
e16da3e6 |
774 | |
775 | sub remove_attribute { |
776 | my ($self, $attribute_name) = @_; |
777 | (defined $attribute_name && $attribute_name) |
778 | || confess "You must define an attribute name"; |
0ac992ee |
779 | my $removed_attribute = $self->get_attribute_map->{$attribute_name}; |
22286063 |
780 | return unless defined $removed_attribute; |
0ac992ee |
781 | delete $self->get_attribute_map->{$attribute_name}; |
782 | $removed_attribute->remove_accessors(); |
2d711cc8 |
783 | $removed_attribute->detach_from_class(); |
e16da3e6 |
784 | return $removed_attribute; |
0ac992ee |
785 | } |
e16da3e6 |
786 | |
787 | sub get_attribute_list { |
788 | my $self = shift; |
f7259199 |
789 | keys %{$self->get_attribute_map}; |
0ac992ee |
790 | } |
e16da3e6 |
791 | |
792 | sub compute_all_applicable_attributes { |
793 | my $self = shift; |
b7bdffc3 |
794 | my (@attrs, %seen_attr); |
795 | foreach my $class ($self->linearized_isa) { |
e16da3e6 |
796 | # fetch the meta-class ... |
f7259199 |
797 | my $meta = $self->initialize($class); |
0ac992ee |
798 | foreach my $attr_name ($meta->get_attribute_list()) { |
e16da3e6 |
799 | next if exists $seen_attr{$attr_name}; |
800 | $seen_attr{$attr_name}++; |
c9e77dbb |
801 | push @attrs => $meta->get_attribute($attr_name); |
e16da3e6 |
802 | } |
803 | } |
0ac992ee |
804 | return @attrs; |
e16da3e6 |
805 | } |
2eb717d5 |
806 | |
058c1cf5 |
807 | sub find_attribute_by_name { |
808 | my ($self, $attr_name) = @_; |
b7bdffc3 |
809 | foreach my $class ($self->linearized_isa) { |
058c1cf5 |
810 | # fetch the meta-class ... |
811 | my $meta = $self->initialize($class); |
812 | return $meta->get_attribute($attr_name) |
813 | if $meta->has_attribute($attr_name); |
814 | } |
815 | return; |
816 | } |
817 | |
857f87a7 |
818 | ## Class closing |
819 | |
820 | sub is_mutable { 1 } |
821 | sub is_immutable { 0 } |
822 | |
b817e248 |
823 | # NOTE: |
824 | # Why I changed this (groditi) |
825 | # - One Metaclass may have many Classes through many Metaclass instances |
826 | # - One Metaclass should only have one Immutable Transformer instance |
827 | # - Each Class may have different Immutabilizing options |
828 | # - Therefore each Metaclass instance may have different Immutabilizing options |
829 | # - We need to store one Immutable Transformer instance per Metaclass |
830 | # - We need to store one set of Immutable Transformer options per Class |
831 | # - Upon make_mutable we may delete the Immutabilizing options |
832 | # - We could clean the immutable Transformer instance when there is no more |
833 | # immutable Classes of that type, but we can also keep it in case |
834 | # another class with this same Metaclass becomes immutable. It is a case |
835 | # of trading of storing an instance to avoid unnecessary instantiations of |
836 | # Immutable Transformers. You may view this as a memory leak, however |
837 | # Because we have few Metaclasses, in practice it seems acceptable |
838 | # - To allow Immutable Transformers instances to be cleaned up we could weaken |
839 | # the reference stored in $IMMUTABLE_TRANSFORMERS{$class} and ||= should DWIM |
04dd7510 |
840 | |
c23184fc |
841 | { |
d9586da2 |
842 | my %IMMUTABLE_TRANSFORMERS; |
0ac992ee |
843 | my %IMMUTABLE_OPTIONS; |
c23184fc |
844 | sub make_immutable { |
0ac992ee |
845 | my $self = shift; |
04dd7510 |
846 | my %options = @_; |
d9586da2 |
847 | my $class = blessed $self || $self; |
848 | |
849 | $IMMUTABLE_TRANSFORMERS{$class} ||= $self->create_immutable_transformer; |
850 | my $transformer = $IMMUTABLE_TRANSFORMERS{$class}; |
851 | |
229910b5 |
852 | $transformer->make_metaclass_immutable($self, \%options); |
7f63694d |
853 | $IMMUTABLE_OPTIONS{$self->name} = |
d9586da2 |
854 | { %options, IMMUTABLE_TRANSFORMER => $transformer }; |
04dd7510 |
855 | |
856 | if( exists $options{debug} && $options{debug} ){ |
d9586da2 |
857 | print STDERR "# of Metaclass options: ", keys %IMMUTABLE_OPTIONS; |
858 | print STDERR "# of Immutable transformers: ", keys %IMMUTABLE_TRANSFORMERS; |
04dd7510 |
859 | } |
c23184fc |
860 | } |
0ac992ee |
861 | |
862 | sub make_mutable{ |
863 | my $self = shift; |
864 | return if $self->is_mutable; |
7f63694d |
865 | my $options = delete $IMMUTABLE_OPTIONS{$self->name}; |
1d68af04 |
866 | confess "unable to find immutabilizing options" unless ref $options; |
d9586da2 |
867 | my $transformer = delete $options->{IMMUTABLE_TRANSFORMER}; |
229910b5 |
868 | $transformer->make_metaclass_mutable($self, $options); |
0ac992ee |
869 | } |
d9586da2 |
870 | } |
0ac992ee |
871 | |
d9586da2 |
872 | sub create_immutable_transformer { |
873 | my $self = shift; |
874 | my $class = Class::MOP::Immutable->new($self, { |
875 | read_only => [qw/superclasses/], |
876 | cannot_call => [qw/ |
877 | add_method |
878 | alias_method |
879 | remove_method |
880 | add_attribute |
881 | remove_attribute |
882 | add_package_symbol |
883 | remove_package_symbol |
884 | /], |
885 | memoize => { |
886 | class_precedence_list => 'ARRAY', |
b7bdffc3 |
887 | linearized_isa => 'ARRAY', |
d9586da2 |
888 | compute_all_applicable_attributes => 'ARRAY', |
889 | get_meta_instance => 'SCALAR', |
890 | get_method_map => 'SCALAR', |
891 | } |
892 | }); |
893 | return $class; |
857f87a7 |
894 | } |
895 | |
8b978dd5 |
896 | 1; |
897 | |
898 | __END__ |
899 | |
900 | =pod |
901 | |
0ac992ee |
902 | =head1 NAME |
8b978dd5 |
903 | |
904 | Class::MOP::Class - Class Meta Object |
905 | |
906 | =head1 SYNOPSIS |
907 | |
0ac992ee |
908 | # assuming that class Foo |
8c936afc |
909 | # has been defined, you can |
0ac992ee |
910 | |
fe122940 |
911 | # use this for introspection ... |
0ac992ee |
912 | |
fe122940 |
913 | # add a method to Foo ... |
914 | Foo->meta->add_method('bar' => sub { ... }) |
0ac992ee |
915 | |
916 | # get a list of all the classes searched |
917 | # the method dispatcher in the correct order |
fe122940 |
918 | Foo->meta->class_precedence_list() |
0ac992ee |
919 | |
fe122940 |
920 | # remove a method from Foo |
921 | Foo->meta->remove_method('bar'); |
0ac992ee |
922 | |
fe122940 |
923 | # or use this to actually create classes ... |
0ac992ee |
924 | |
88dd563c |
925 | Class::MOP::Class->create('Bar' => ( |
926 | version => '0.01', |
fe122940 |
927 | superclasses => [ 'Foo' ], |
928 | attributes => [ |
929 | Class::MOP:::Attribute->new('$bar'), |
0ac992ee |
930 | Class::MOP:::Attribute->new('$baz'), |
fe122940 |
931 | ], |
932 | methods => { |
933 | calculate_bar => sub { ... }, |
0ac992ee |
934 | construct_baz => sub { ... } |
fe122940 |
935 | } |
936 | )); |
937 | |
8b978dd5 |
938 | =head1 DESCRIPTION |
939 | |
0ac992ee |
940 | This is the largest and currently most complex part of the Perl 5 |
941 | meta-object protocol. It controls the introspection and |
942 | manipulation of Perl 5 classes (and it can create them too). The |
943 | best way to understand what this module can do, is to read the |
fe122940 |
944 | documentation for each of it's methods. |
945 | |
552e3d24 |
946 | =head1 METHODS |
947 | |
2eb717d5 |
948 | =head2 Self Introspection |
949 | |
950 | =over 4 |
951 | |
952 | =item B<meta> |
953 | |
0ac992ee |
954 | This will return a B<Class::MOP::Class> instance which is related |
955 | to this class. Thereby allowing B<Class::MOP::Class> to actually |
fe122940 |
956 | introspect itself. |
957 | |
0ac992ee |
958 | As with B<Class::MOP::Attribute>, B<Class::MOP> will actually |
959 | bootstrap this module by installing a number of attribute meta-objects |
960 | into it's metaclass. This will allow this class to reap all the benifits |
961 | of the MOP when subclassing it. |
2eb717d5 |
962 | |
963 | =back |
964 | |
552e3d24 |
965 | =head2 Class construction |
966 | |
0ac992ee |
967 | These methods will handle creating B<Class::MOP::Class> objects, |
968 | which can be used to both create new classes, and analyze |
969 | pre-existing classes. |
552e3d24 |
970 | |
0ac992ee |
971 | This module will internally store references to all the instances |
972 | you create with these methods, so that they do not need to be |
552e3d24 |
973 | created any more than nessecary. Basically, they are singletons. |
974 | |
975 | =over 4 |
976 | |
0ac992ee |
977 | =item B<create ($package_name, |
978 | version =E<gt> ?$version, |
979 | authority =E<gt> ?$authority, |
980 | superclasses =E<gt> ?@superclasses, |
981 | methods =E<gt> ?%methods, |
a2e85e6c |
982 | attributes =E<gt> ?%attributes)> |
552e3d24 |
983 | |
0ac992ee |
984 | This returns a B<Class::MOP::Class> object, bringing the specified |
985 | C<$package_name> into existence and adding any of the C<$version>, |
986 | C<$authority>, C<@superclasses>, C<%methods> and C<%attributes> to |
88dd563c |
987 | it. |
552e3d24 |
988 | |
0ac992ee |
989 | =item B<create_anon_class (superclasses =E<gt> ?@superclasses, |
990 | methods =E<gt> ?%methods, |
587aca23 |
991 | attributes =E<gt> ?%attributes)> |
992 | |
0ac992ee |
993 | This will create an anonymous class, it works much like C<create> but |
994 | it does not need a C<$package_name>. Instead it will create a suitably |
587aca23 |
995 | unique package name for you to stash things into. |
996 | |
0ac992ee |
997 | On very important distinction is that anon classes are destroyed once |
998 | the metaclass they are attached to goes out of scope. In the DESTROY |
999 | method, the created package will be removed from the symbol table. |
823a5d31 |
1000 | |
d4ba1677 |
1001 | It is also worth noting that any instances created with an anon-class |
0ac992ee |
1002 | will keep a special reference to the anon-meta which will prevent the |
1003 | anon-class from going out of scope until all instances of it have also |
1004 | been destroyed. This however only works for HASH based instance types, |
1005 | as we use a special reserved slot (C<__MOP__>) to store this. |
d4ba1677 |
1006 | |
66b3dded |
1007 | =item B<initialize ($package_name, %options)> |
552e3d24 |
1008 | |
0ac992ee |
1009 | This initializes and returns returns a B<Class::MOP::Class> object |
a2e85e6c |
1010 | for a given a C<$package_name>. |
1011 | |
66b3dded |
1012 | =item B<reinitialize ($package_name, %options)> |
1013 | |
1014 | This removes the old metaclass, and creates a new one in it's place. |
0ac992ee |
1015 | Do B<not> use this unless you really know what you are doing, it could |
1016 | very easily make a very large mess of your program. |
66b3dded |
1017 | |
651955fb |
1018 | =item B<construct_class_instance (%options)> |
a2e85e6c |
1019 | |
0ac992ee |
1020 | This will construct an instance of B<Class::MOP::Class>, it is |
1021 | here so that we can actually "tie the knot" for B<Class::MOP::Class> |
1022 | to use C<construct_instance> once all the bootstrapping is done. This |
a2e85e6c |
1023 | method is used internally by C<initialize> and should never be called |
1024 | from outside of that method really. |
552e3d24 |
1025 | |
550d56db |
1026 | =item B<check_metaclass_compatability> |
1027 | |
0ac992ee |
1028 | This method is called as the very last thing in the |
1029 | C<construct_class_instance> method. This will check that the |
1030 | metaclass you are creating is compatible with the metaclasses of all |
1031 | your ancestors. For more inforamtion about metaclass compatibility |
550d56db |
1032 | see the C<About Metaclass compatibility> section in L<Class::MOP>. |
1033 | |
715adbb7 |
1034 | =item B<update_package_cache_flag> |
e0e4674a |
1035 | |
1036 | This will reset the package cache flag for this particular metaclass |
1037 | it is basically the value of the C<Class::MOP::get_package_cache_flag> |
1038 | function. This is very rarely needed from outside of C<Class::MOP::Class> |
1039 | but in some cases you might want to use it, so it is here. |
1040 | |
715adbb7 |
1041 | =item B<reset_package_cache_flag> |
1042 | |
1043 | Clear this flag, used in Moose. |
1044 | |
552e3d24 |
1045 | =back |
1046 | |
c9e77dbb |
1047 | =head2 Object instance construction and cloning |
a2e85e6c |
1048 | |
0ac992ee |
1049 | These methods are B<entirely optional>, it is up to you whether you want |
c9e77dbb |
1050 | to use them or not. |
552e3d24 |
1051 | |
1052 | =over 4 |
1053 | |
2bab2be6 |
1054 | =item B<instance_metaclass> |
1055 | |
2d711cc8 |
1056 | =item B<get_meta_instance> |
1057 | |
5f3c057a |
1058 | =item B<new_object (%params)> |
1059 | |
0ac992ee |
1060 | This is a convience method for creating a new object of the class, and |
1061 | blessing it into the appropriate package as well. Ideally your class |
5f3c057a |
1062 | would call a C<new> this method like so: |
1063 | |
0ac992ee |
1064 | sub MyClass::new { |
5f3c057a |
1065 | my ($class, %param) = @_; |
1066 | $class->meta->new_object(%params); |
1067 | } |
1068 | |
0ac992ee |
1069 | Of course the ideal place for this would actually be in C<UNIVERSAL::> |
5f3c057a |
1070 | but that is considered bad style, so we do not do that. |
1071 | |
cbd9f942 |
1072 | =item B<construct_instance (%params)> |
552e3d24 |
1073 | |
0ac992ee |
1074 | This method is used to construct an instace structure suitable for |
1075 | C<bless>-ing into your package of choice. It works in conjunction |
c9e77dbb |
1076 | with the Attribute protocol to collect all applicable attributes. |
1077 | |
0ac992ee |
1078 | This will construct and instance using a HASH ref as storage |
1079 | (currently only HASH references are supported). This will collect all |
1080 | the applicable attributes and layout out the fields in the HASH ref, |
1081 | it will then initialize them using either use the corresponding key |
1082 | in C<%params> or any default value or initializer found in the |
a2e85e6c |
1083 | attribute meta-object. |
727919c5 |
1084 | |
5f3c057a |
1085 | =item B<clone_object ($instance, %params)> |
1086 | |
0ac992ee |
1087 | This is a convience method for cloning an object instance, then |
1088 | blessing it into the appropriate package. This method will call |
1089 | C<clone_instance>, which performs a shallow copy of the object, |
1090 | see that methods documentation for more details. Ideally your |
19d4b5b8 |
1091 | class would call a C<clone> this method like so: |
5f3c057a |
1092 | |
1093 | sub MyClass::clone { |
1094 | my ($self, %param) = @_; |
1095 | $self->meta->clone_object($self, %params); |
1096 | } |
1097 | |
0ac992ee |
1098 | Of course the ideal place for this would actually be in C<UNIVERSAL::> |
5f3c057a |
1099 | but that is considered bad style, so we do not do that. |
1100 | |
c9e77dbb |
1101 | =item B<clone_instance($instance, %params)> |
1102 | |
0ac992ee |
1103 | This method is a compliment of C<construct_instance> (which means if |
1104 | you override C<construct_instance>, you need to override this one too), |
19d4b5b8 |
1105 | and clones the instance shallowly. |
a27ae83f |
1106 | |
0ac992ee |
1107 | The cloned structure returned is (like with C<construct_instance>) an |
1108 | unC<bless>ed HASH reference, it is your responsibility to then bless |
a27ae83f |
1109 | this cloned structure into the right class (which C<clone_object> will |
1110 | do for you). |
c9e77dbb |
1111 | |
0ac992ee |
1112 | As of 0.11, this method will clone the C<$instance> structure shallowly, |
1113 | as opposed to the deep cloning implemented in prior versions. After much |
1114 | thought, research and discussion, I have decided that anything but basic |
1115 | shallow cloning is outside the scope of the meta-object protocol. I |
1116 | think Yuval "nothingmuch" Kogman put it best when he said that cloning |
19d4b5b8 |
1117 | is too I<context-specific> to be part of the MOP. |
1118 | |
69663c57 |
1119 | =item B<rebless_instance($instance)> |
1120 | |
1121 | This will change the class of C<$instance> to the class of the invoking |
1122 | C<Class::MOP::Class>. You may only rebless the instance to a subclass of |
1123 | itself. This limitation may be relaxed in the future. |
1124 | |
1125 | This can be useful in a number of situations, such as when you are writing |
1126 | a program that doesn't know everything at object construction time. |
1127 | |
552e3d24 |
1128 | =back |
1129 | |
0ac992ee |
1130 | =head2 Informational |
552e3d24 |
1131 | |
b9d9fc0b |
1132 | These are a few predicate methods for asking information about the class. |
552e3d24 |
1133 | |
b9d9fc0b |
1134 | =over 4 |
552e3d24 |
1135 | |
b9d9fc0b |
1136 | =item B<is_anon_class> |
552e3d24 |
1137 | |
96e38ba6 |
1138 | This returns true if the class is a C<Class::MOP::Class> created anon class. |
1139 | |
b9d9fc0b |
1140 | =item B<is_mutable> |
552e3d24 |
1141 | |
96e38ba6 |
1142 | This returns true if the class is still mutable. |
1143 | |
b9d9fc0b |
1144 | =item B<is_immutable> |
552e3d24 |
1145 | |
96e38ba6 |
1146 | This returns true if the class has been made immutable. |
1147 | |
552e3d24 |
1148 | =back |
1149 | |
1150 | =head2 Inheritance Relationships |
1151 | |
1152 | =over 4 |
1153 | |
1154 | =item B<superclasses (?@superclasses)> |
1155 | |
0ac992ee |
1156 | This is a read-write attribute which represents the superclass |
a2e85e6c |
1157 | relationships of the class the B<Class::MOP::Class> instance is |
1158 | associated with. Basically, it can get and set the C<@ISA> for you. |
552e3d24 |
1159 | |
343203ee |
1160 | B<NOTE:> |
0ac992ee |
1161 | Perl will occasionally perform some C<@ISA> and method caching, if |
1162 | you decide to change your superclass relationship at runtime (which |
1163 | is quite insane and very much not recommened), then you should be |
1164 | aware of this and the fact that this module does not make any |
343203ee |
1165 | attempt to address this issue. |
1166 | |
552e3d24 |
1167 | =item B<class_precedence_list> |
1168 | |
0ac992ee |
1169 | This computes the a list of all the class's ancestors in the same order |
1170 | in which method dispatch will be done. This is similair to |
a2e85e6c |
1171 | what B<Class::ISA::super_path> does, but we don't remove duplicate names. |
552e3d24 |
1172 | |
b7bdffc3 |
1173 | =item B<linearized_isa> |
1174 | |
1175 | This returns a list based on C<class_precedence_list> but with all |
1176 | duplicates removed. |
1177 | |
6c9f390e |
1178 | =item B<subclasses> |
1179 | |
1180 | This returns a list of subclasses for this class. |
1181 | |
552e3d24 |
1182 | =back |
1183 | |
1184 | =head2 Methods |
1185 | |
1186 | =over 4 |
1187 | |
c4260b45 |
1188 | =item B<get_method_map> |
1189 | |
2e41896e |
1190 | =item B<method_metaclass> |
1191 | |
552e3d24 |
1192 | =item B<add_method ($method_name, $method)> |
1193 | |
0ac992ee |
1194 | This will take a C<$method_name> and CODE reference to that |
1195 | C<$method> and install it into the class's package. |
552e3d24 |
1196 | |
0ac992ee |
1197 | B<NOTE>: |
1198 | This does absolutely nothing special to C<$method> |
1199 | other than use B<Sub::Name> to make sure it is tagged with the |
1200 | correct name, and therefore show up correctly in stack traces and |
552e3d24 |
1201 | such. |
1202 | |
663f8198 |
1203 | =item B<alias_method ($method_name, $method)> |
1204 | |
0ac992ee |
1205 | This will take a C<$method_name> and CODE reference to that |
1206 | C<$method> and alias the method into the class's package. |
663f8198 |
1207 | |
0ac992ee |
1208 | B<NOTE>: |
1209 | Unlike C<add_method>, this will B<not> try to name the |
1210 | C<$method> using B<Sub::Name>, it only aliases the method in |
1211 | the class's package. |
663f8198 |
1212 | |
552e3d24 |
1213 | =item B<has_method ($method_name)> |
1214 | |
0ac992ee |
1215 | This just provides a simple way to check if the class implements |
1216 | a specific C<$method_name>. It will I<not> however, attempt to check |
a2e85e6c |
1217 | if the class inherits the method (use C<UNIVERSAL::can> for that). |
552e3d24 |
1218 | |
0ac992ee |
1219 | This will correctly handle functions defined outside of the package |
552e3d24 |
1220 | that use a fully qualified name (C<sub Package::name { ... }>). |
1221 | |
0ac992ee |
1222 | This will correctly handle functions renamed with B<Sub::Name> and |
1223 | installed using the symbol tables. However, if you are naming the |
1224 | subroutine outside of the package scope, you must use the fully |
1225 | qualified name, including the package name, for C<has_method> to |
1226 | correctly identify it. |
552e3d24 |
1227 | |
0ac992ee |
1228 | This will attempt to correctly ignore functions imported from other |
1229 | packages using B<Exporter>. It breaks down if the function imported |
1230 | is an C<__ANON__> sub (such as with C<use constant>), which very well |
1231 | may be a valid method being applied to the class. |
552e3d24 |
1232 | |
0ac992ee |
1233 | In short, this method cannot always be trusted to determine if the |
1234 | C<$method_name> is actually a method. However, it will DWIM about |
a2e85e6c |
1235 | 90% of the time, so it's a small trade off I think. |
552e3d24 |
1236 | |
1237 | =item B<get_method ($method_name)> |
1238 | |
0ac992ee |
1239 | This will return a Class::MOP::Method instance related to the specified |
86482605 |
1240 | C<$method_name>, or return undef if that method does not exist. |
1241 | |
0ac992ee |
1242 | The Class::MOP::Method is codifiable, so you can use it like a normal |
86482605 |
1243 | CODE reference, see L<Class::MOP::Method> for more information. |
552e3d24 |
1244 | |
16e960bd |
1245 | =item B<find_method_by_name ($method_name> |
1246 | |
1247 | This will return a CODE reference of the specified C<$method_name>, |
1248 | or return undef if that method does not exist. |
1249 | |
1250 | Unlike C<get_method> this will also look in the superclasses. |
1251 | |
552e3d24 |
1252 | =item B<remove_method ($method_name)> |
1253 | |
0ac992ee |
1254 | This will attempt to remove a given C<$method_name> from the class. |
1255 | It will return the CODE reference that it has removed, and will |
552e3d24 |
1256 | attempt to use B<Sub::Name> to clear the methods associated name. |
1257 | |
1258 | =item B<get_method_list> |
1259 | |
0ac992ee |
1260 | This will return a list of method names for all I<locally> defined |
1261 | methods. It does B<not> provide a list of all applicable methods, |
1262 | including any inherited ones. If you want a list of all applicable |
552e3d24 |
1263 | methods, use the C<compute_all_applicable_methods> method. |
1264 | |
1265 | =item B<compute_all_applicable_methods> |
1266 | |
0ac992ee |
1267 | This will return a list of all the methods names this class will |
1268 | respond to, taking into account inheritance. The list will be a list of |
1269 | HASH references, each one containing the following information; method |
1270 | name, the name of the class in which the method lives and a CODE |
552e3d24 |
1271 | reference for the actual method. |
1272 | |
1273 | =item B<find_all_methods_by_name ($method_name)> |
1274 | |
0ac992ee |
1275 | This will traverse the inheritence hierarchy and locate all methods |
1276 | with a given C<$method_name>. Similar to |
1277 | C<compute_all_applicable_methods> it returns a list of HASH references |
1278 | with the following information; method name (which will always be the |
1279 | same as C<$method_name>), the name of the class in which the method |
552e3d24 |
1280 | lives and a CODE reference for the actual method. |
1281 | |
0ac992ee |
1282 | The list of methods produced is a distinct list, meaning there are no |
1283 | duplicates in it. This is especially useful for things like object |
1284 | initialization and destruction where you only want the method called |
552e3d24 |
1285 | once, and in the correct order. |
1286 | |
96ceced8 |
1287 | =item B<find_next_method_by_name ($method_name)> |
1288 | |
0ac992ee |
1289 | This will return the first method to match a given C<$method_name> in |
1290 | the superclasses, this is basically equivalent to calling |
96ceced8 |
1291 | C<SUPER::$method_name>, but it can be dispatched at runtime. |
1292 | |
552e3d24 |
1293 | =back |
1294 | |
a4258ffd |
1295 | =head2 Method Modifiers |
1296 | |
0ac992ee |
1297 | Method modifiers are a concept borrowed from CLOS, in which a method |
1298 | can be wrapped with I<before>, I<after> and I<around> method modifiers |
1299 | that will be called everytime the method is called. |
96ceced8 |
1300 | |
1301 | =head3 How method modifiers work? |
1302 | |
0ac992ee |
1303 | Method modifiers work by wrapping the original method and then replacing |
1304 | it in the classes symbol table. The wrappers will handle calling all the |
1305 | modifiers in the appropariate orders and preserving the calling context |
1306 | for the original method. |
1307 | |
1308 | Each method modifier serves a particular purpose, which may not be |
1309 | obvious to users of other method wrapping modules. To start with, the |
1310 | return values of I<before> and I<after> modifiers are ignored. This is |
1311 | because thier purpose is B<not> to filter the input and output of the |
1312 | primary method (this is done with an I<around> modifier). This may seem |
1313 | like an odd restriction to some, but doing this allows for simple code |
1314 | to be added at the begining or end of a method call without jeapordizing |
1315 | the normal functioning of the primary method or placing any extra |
1316 | responsibility on the code of the modifier. Of course if you have more |
1317 | complex needs, then use the I<around> modifier, which uses a variation |
1318 | of continutation passing style to allow for a high degree of flexibility. |
1319 | |
1320 | Before and around modifiers are called in last-defined-first-called order, |
1321 | while after modifiers are called in first-defined-first-called order. So |
96ceced8 |
1322 | the call tree might looks something like this: |
0ac992ee |
1323 | |
96ceced8 |
1324 | before 2 |
1325 | before 1 |
1326 | around 2 |
1327 | around 1 |
1328 | primary |
1329 | after 1 |
1330 | after 2 |
1331 | |
0ac992ee |
1332 | To see examples of using method modifiers, see the following examples |
1333 | included in the distribution; F<InstanceCountingClass>, F<Perl6Attribute>, |
1334 | F<AttributesWithHistory> and F<C3MethodDispatchOrder>. There is also a |
96ceced8 |
1335 | classic CLOS usage example in the test F<017_add_method_modifier.t>. |
1336 | |
1337 | =head3 What is the performance impact? |
1338 | |
0ac992ee |
1339 | Of course there is a performance cost associated with method modifiers, |
1340 | but we have made every effort to make that cost be directly proportional |
96ceced8 |
1341 | to the amount of modifier features you utilize. |
1342 | |
0ac992ee |
1343 | The wrapping method does it's best to B<only> do as much work as it |
1344 | absolutely needs to. In order to do this we have moved some of the |
96ceced8 |
1345 | performance costs to set-up time, where they are easier to amortize. |
1346 | |
1347 | All this said, my benchmarks have indicated the following: |
1348 | |
1349 | simple wrapper with no modifiers 100% slower |
1350 | simple wrapper with simple before modifier 400% slower |
1351 | simple wrapper with simple after modifier 450% slower |
1352 | simple wrapper with simple around modifier 500-550% slower |
1353 | simple wrapper with all 3 modifiers 1100% slower |
1354 | |
0ac992ee |
1355 | These numbers may seem daunting, but you must remember, every feature |
1356 | comes with some cost. To put things in perspective, just doing a simple |
96ceced8 |
1357 | C<AUTOLOAD> which does nothing but extract the name of the method called |
0ac992ee |
1358 | and return it costs about 400% over a normal method call. |
96ceced8 |
1359 | |
a4258ffd |
1360 | =over 4 |
1361 | |
1362 | =item B<add_before_method_modifier ($method_name, $code)> |
1363 | |
0ac992ee |
1364 | This will wrap the method at C<$method_name> and the supplied C<$code> |
1365 | will be passed the C<@_> arguments, and called before the original |
1366 | method is called. As specified above, the return value of the I<before> |
1367 | method modifiers is ignored, and it's ability to modify C<@_> is |
1368 | fairly limited. If you need to do either of these things, use an |
96ceced8 |
1369 | C<around> method modifier. |
1370 | |
a4258ffd |
1371 | =item B<add_after_method_modifier ($method_name, $code)> |
1372 | |
0ac992ee |
1373 | This will wrap the method at C<$method_name> so that the original |
1374 | method will be called, it's return values stashed, and then the |
96ceced8 |
1375 | supplied C<$code> will be passed the C<@_> arguments, and called. |
0ac992ee |
1376 | As specified above, the return value of the I<after> method |
1377 | modifiers is ignored, and it cannot modify the return values of |
1378 | the original method. If you need to do either of these things, use an |
96ceced8 |
1379 | C<around> method modifier. |
1380 | |
a4258ffd |
1381 | =item B<add_around_method_modifier ($method_name, $code)> |
1382 | |
0ac992ee |
1383 | This will wrap the method at C<$method_name> so that C<$code> |
1384 | will be called and passed the original method as an extra argument |
1385 | at the begining of the C<@_> argument list. This is a variation of |
1386 | continuation passing style, where the function prepended to C<@_> |
1387 | can be considered a continuation. It is up to C<$code> if it calls |
1388 | the original method or not, there is no restriction on what the |
96ceced8 |
1389 | C<$code> can or cannot do. |
1390 | |
a4258ffd |
1391 | =back |
1392 | |
552e3d24 |
1393 | =head2 Attributes |
1394 | |
0ac992ee |
1395 | It should be noted that since there is no one consistent way to define |
1396 | the attributes of a class in Perl 5. These methods can only work with |
1397 | the information given, and can not easily discover information on |
a2e85e6c |
1398 | their own. See L<Class::MOP::Attribute> for more details. |
552e3d24 |
1399 | |
1400 | =over 4 |
1401 | |
2e41896e |
1402 | =item B<attribute_metaclass> |
1403 | |
7b31baf4 |
1404 | =item B<get_attribute_map> |
1405 | |
8203616d |
1406 | =item B<add_attribute ($attribute_meta_object | $attribute_name, %attribute_spec)> |
552e3d24 |
1407 | |
8203616d |
1408 | This stores the C<$attribute_meta_object> (or creates one from the |
0ac992ee |
1409 | C<$attribute_name> and C<%attribute_spec>) in the B<Class::MOP::Class> |
1410 | instance associated with the given class. Unlike methods, attributes |
1411 | within the MOP are stored as meta-information only. They will be used |
8203616d |
1412 | later to construct instances from (see C<construct_instance> above). |
0ac992ee |
1413 | More details about the attribute meta-objects can be found in the |
a2e85e6c |
1414 | L<Class::MOP::Attribute> or the L<Class::MOP/The Attribute protocol> |
1415 | section. |
1416 | |
0ac992ee |
1417 | It should be noted that any accessor, reader/writer or predicate |
1418 | methods which the C<$attribute_meta_object> has will be installed |
a2e85e6c |
1419 | into the class at this time. |
552e3d24 |
1420 | |
86482605 |
1421 | B<NOTE> |
0ac992ee |
1422 | If an attribute already exists for C<$attribute_name>, the old one |
1423 | will be removed (as well as removing all it's accessors), and then |
86482605 |
1424 | the new one added. |
1425 | |
552e3d24 |
1426 | =item B<has_attribute ($attribute_name)> |
1427 | |
0ac992ee |
1428 | Checks to see if this class has an attribute by the name of |
552e3d24 |
1429 | C<$attribute_name> and returns a boolean. |
1430 | |
1431 | =item B<get_attribute ($attribute_name)> |
1432 | |
0ac992ee |
1433 | Returns the attribute meta-object associated with C<$attribute_name>, |
1434 | if none is found, it will return undef. |
552e3d24 |
1435 | |
1436 | =item B<remove_attribute ($attribute_name)> |
1437 | |
0ac992ee |
1438 | This will remove the attribute meta-object stored at |
1439 | C<$attribute_name>, then return the removed attribute meta-object. |
552e3d24 |
1440 | |
0ac992ee |
1441 | B<NOTE:> |
1442 | Removing an attribute will only affect future instances of |
1443 | the class, it will not make any attempt to remove the attribute from |
552e3d24 |
1444 | any existing instances of the class. |
1445 | |
0ac992ee |
1446 | It should be noted that any accessor, reader/writer or predicate |
1447 | methods which the attribute meta-object stored at C<$attribute_name> |
1448 | has will be removed from the class at this time. This B<will> make |
1449 | these attributes somewhat inaccessable in previously created |
1450 | instances. But if you are crazy enough to do this at runtime, then |
a2e85e6c |
1451 | you are crazy enough to deal with something like this :). |
1452 | |
552e3d24 |
1453 | =item B<get_attribute_list> |
1454 | |
0ac992ee |
1455 | This returns a list of attribute names which are defined in the local |
1456 | class. If you want a list of all applicable attributes for a class, |
552e3d24 |
1457 | use the C<compute_all_applicable_attributes> method. |
1458 | |
1459 | =item B<compute_all_applicable_attributes> |
1460 | |
0ac992ee |
1461 | This will traverse the inheritance heirachy and return a list of all |
1462 | the applicable attributes for this class. It does not construct a |
1463 | HASH reference like C<compute_all_applicable_methods> because all |
1464 | that same information is discoverable through the attribute |
c9e77dbb |
1465 | meta-object itself. |
552e3d24 |
1466 | |
058c1cf5 |
1467 | =item B<find_attribute_by_name ($attr_name)> |
1468 | |
0ac992ee |
1469 | This method will traverse the inheritance heirachy and find the |
1470 | first attribute whose name matches C<$attr_name>, then return it. |
058c1cf5 |
1471 | It will return undef if nothing is found. |
1472 | |
552e3d24 |
1473 | =back |
1474 | |
96e38ba6 |
1475 | =head2 Class Immutability |
857f87a7 |
1476 | |
1477 | =over 4 |
1478 | |
96e38ba6 |
1479 | =item B<make_immutable (%options)> |
1480 | |
0ac992ee |
1481 | This method will invoke a tranforamtion upon the class which will |
1482 | make it immutable. Details of this transformation can be found in |
96e38ba6 |
1483 | the L<Class::MOP::Immutable> documentation. |
857f87a7 |
1484 | |
0ac992ee |
1485 | =item B<make_mutable> |
1486 | |
1487 | This method will reverse tranforamtion upon the class which |
1488 | made it immutable. |
1489 | |
b817e248 |
1490 | =item B<create_immutable_transformer> |
1491 | |
1492 | Create a transformer suitable for making this class immutable |
1493 | |
857f87a7 |
1494 | =back |
1495 | |
1a09d9cc |
1496 | =head1 AUTHORS |
8b978dd5 |
1497 | |
a2e85e6c |
1498 | Stevan Little E<lt>stevan@iinteractive.comE<gt> |
8b978dd5 |
1499 | |
1500 | =head1 COPYRIGHT AND LICENSE |
1501 | |
69e3ab0a |
1502 | Copyright 2006-2008 by Infinity Interactive, Inc. |
8b978dd5 |
1503 | |
1504 | L<http://www.iinteractive.com> |
1505 | |
1506 | This library is free software; you can redistribute it and/or modify |
0ac992ee |
1507 | it under the same terms as Perl itself. |
8b978dd5 |
1508 | |
798baea5 |
1509 | =cut |