2a6f01cb0539ad2e879f5e0a8e51bca5f9312ba5
[gitmo/Class-MOP.git] / lib / Class / MOP / Class.pm
1
2 package Class::MOP::Class;
3
4 use strict;
5 use warnings;
6
7 use Class::MOP::Instance;
8 use Class::MOP::Method::Wrapped;
9 use Class::MOP::Method::Accessor;
10 use Class::MOP::Method::Constructor;
11
12 use Carp         'confess';
13 use Scalar::Util 'blessed', 'weaken';
14 use Sub::Name 'subname';
15 use Devel::GlobalDestruction 'in_global_destruction';
16
17 our $VERSION   = '0.88';
18 $VERSION = eval $VERSION;
19 our $AUTHORITY = 'cpan:STEVAN';
20
21 use base 'Class::MOP::Module';
22
23 # Creation
24
25 sub initialize {
26     my $class = shift;
27
28     my $package_name;
29     
30     if ( @_ % 2 ) {
31         $package_name = shift;
32     } else {
33         my %options = @_;
34         $package_name = $options{package};
35     }
36
37     (defined $package_name && $package_name && !ref($package_name))
38         || confess "You must pass a package name and it cannot be blessed";
39
40     return Class::MOP::get_metaclass_by_name($package_name)
41         || $class->_construct_class_instance(package => $package_name, @_);
42 }
43
44 sub construct_class_instance {
45     Carp::cluck('The construct_class_instance method has been made private.'
46         . " The public version is deprecated and will be removed in a future release.\n");
47     shift->_construct_class_instance(@_);
48 }
49
50 # NOTE: (meta-circularity)
51 # this is a special form of _construct_instance
52 # (see below), which is used to construct class
53 # meta-object instances for any Class::MOP::*
54 # class. All other classes will use the more
55 # normal &construct_instance.
56 sub _construct_class_instance {
57     my $class        = shift;
58     my $options      = @_ == 1 ? $_[0] : {@_};
59     my $package_name = $options->{package};
60     (defined $package_name && $package_name)
61         || confess "You must pass a package name";
62     # NOTE:
63     # return the metaclass if we have it cached,
64     # and it is still defined (it has not been
65     # reaped by DESTROY yet, which can happen
66     # annoyingly enough during global destruction)
67
68     if (defined(my $meta = Class::MOP::get_metaclass_by_name($package_name))) {
69         return $meta;
70     }
71
72     # NOTE:
73     # we need to deal with the possibility
74     # of class immutability here, and then
75     # get the name of the class appropriately
76     $class = (ref($class)
77                     ? ($class->is_immutable
78                         ? $class->get_mutable_metaclass_name()
79                         : ref($class))
80                     : $class);
81
82     # now create the metaclass
83     my $meta;
84     if ($class eq 'Class::MOP::Class') {
85         $meta = $class->_new($options);
86     }
87     else {
88         # NOTE:
89         # it is safe to use meta here because
90         # class will always be a subclass of
91         # Class::MOP::Class, which defines meta
92         $meta = $class->meta->_construct_instance($options)
93     }
94
95     # and check the metaclass compatibility
96     $meta->_check_metaclass_compatibility();  
97
98     Class::MOP::store_metaclass_by_name($package_name, $meta);
99
100     # NOTE:
101     # we need to weaken any anon classes
102     # so that they can call DESTROY properly
103     Class::MOP::weaken_metaclass($package_name) if $meta->is_anon_class;
104
105     $meta;
106 }
107
108 sub _new {
109     my $class = shift;
110     my $options = @_ == 1 ? $_[0] : {@_};
111
112     bless {
113         # inherited from Class::MOP::Package
114         'package' => $options->{package},
115
116         # NOTE:
117         # since the following attributes will
118         # actually be loaded from the symbol
119         # table, and actually bypass the instance
120         # entirely, we can just leave these things
121         # listed here for reference, because they
122         # should not actually have a value associated
123         # with the slot.
124         'namespace' => \undef,
125
126         # inherited from Class::MOP::Module
127         'version'   => \undef,
128         'authority' => \undef,
129
130         # defined in Class::MOP::Class
131         'superclasses' => \undef,
132
133         'methods'    => {},
134         'attributes' => {},
135         'attribute_metaclass' =>
136             ( $options->{'attribute_metaclass'} || 'Class::MOP::Attribute' ),
137         'method_metaclass' =>
138             ( $options->{'method_metaclass'} || 'Class::MOP::Method' ),
139         'wrapped_method_metaclass' => (
140             $options->{'wrapped_method_metaclass'}
141                 || 'Class::MOP::Method::Wrapped'
142         ),
143         'instance_metaclass' =>
144             ( $options->{'instance_metaclass'} || 'Class::MOP::Instance' ),
145         'immutable_trait' => (
146             $options->{'immutable_trait'}
147                 || 'Class::MOP::Class::Immutable::Trait'
148         ),
149         'constructor_name' => ( $options->{constructor_name} || 'new' ),
150         'constructor_class' => (
151             $options->{constructor_class} || 'Class::MOP::Method::Constructor'
152         ),
153         'destructor_class' => $options->{destructor_class},
154     }, $class;
155 }
156
157 sub reset_package_cache_flag  { (shift)->{'_package_cache_flag'} = undef } 
158 sub update_package_cache_flag {
159     my $self = shift;
160     # NOTE:
161     # we can manually update the cache number 
162     # since we are actually adding the method
163     # to our cache as well. This avoids us 
164     # having to regenerate the method_map.
165     # - SL    
166     $self->{'_package_cache_flag'} = Class::MOP::check_package_cache_flag($self->name);    
167 }
168
169
170 sub check_metaclass_compatibility {
171     Carp::cluck('The check_metaclass_compatibility method has been made private.'
172         . " The public version is deprecated and will be removed in a future release.\n");
173     shift->_check_metaclass_compatibility(@_);
174 }
175
176 sub _check_metaclass_compatibility {
177     my $self = shift;
178
179     # this is always okay ...
180     return if ref($self)                eq 'Class::MOP::Class'   &&
181               $self->instance_metaclass eq 'Class::MOP::Instance';
182
183     return if $self->can('get_mutable_metaclass_name');
184
185     my @class_list = $self->linearized_isa;
186     shift @class_list; # shift off $self->name
187
188     foreach my $superclass_name (@class_list) {
189         my $super_meta = Class::MOP::get_metaclass_by_name($superclass_name) || next;
190
191         # NOTE:
192         # we need to deal with the possibility
193         # of class immutability here, and then
194         # get the name of the class appropriately
195         my $super_meta_type
196             = $super_meta->is_immutable
197             ? $super_meta->get_mutable_metaclass_name()
198             : ref($super_meta);
199
200         ($self->isa($super_meta_type))
201             || confess "The metaclass of " . $self->name . " ("
202                        . (ref($self)) . ")" .  " is not compatible with the " .
203                        "metaclass of its superclass, ".$superclass_name . " ("
204                        . ($super_meta_type) . ")";
205         # NOTE:
206         # we also need to check that instance metaclasses
207         # are compatibile in the same the class.
208         ($self->instance_metaclass->isa($super_meta->instance_metaclass))
209             || confess "The instance metaclass for " . $self->name . " (" . ($self->instance_metaclass) . ")" .
210                        " is not compatible with the " .
211                        "instance metaclass of its superclass, " . $superclass_name . " (" . ($super_meta->instance_metaclass) . ")";
212     }
213 }
214
215 ## ANON classes
216
217 {
218     # NOTE:
219     # this should be sufficient, if you have a
220     # use case where it is not, write a test and
221     # I will change it.
222     my $ANON_CLASS_SERIAL = 0;
223
224     # NOTE:
225     # we need a sufficiently annoying prefix
226     # this should suffice for now, this is
227     # used in a couple of places below, so
228     # need to put it up here for now.
229     my $ANON_CLASS_PREFIX = 'Class::MOP::Class::__ANON__::SERIAL::';
230
231     sub is_anon_class {
232         my $self = shift;
233         no warnings 'uninitialized';
234         $self->name =~ /^$ANON_CLASS_PREFIX/;
235     }
236
237     sub create_anon_class {
238         my ($class, %options) = @_;
239         my $package_name = $ANON_CLASS_PREFIX . ++$ANON_CLASS_SERIAL;
240         return $class->create($package_name, %options);
241     }
242
243     # NOTE:
244     # this will only get called for
245     # anon-classes, all other calls
246     # are assumed to occur during
247     # global destruction and so don't
248     # really need to be handled explicitly
249     sub DESTROY {
250         my $self = shift;
251
252         return if in_global_destruction(); # it'll happen soon anyway and this just makes things more complicated
253
254         no warnings 'uninitialized';
255         return unless $self->name =~ /^$ANON_CLASS_PREFIX/;
256         # Moose does a weird thing where it replaces the metaclass for
257         # class when fixing metaclass incompatibility. In that case,
258         # we don't want to clean out the namespace now. We can detect
259         # that because Moose will explicitly update the singleton
260         # cache in Class::MOP.
261         my $current_meta = Class::MOP::get_metaclass_by_name($self->name);
262         return if $current_meta ne $self;
263
264         my ($serial_id) = ($self->name =~ /^$ANON_CLASS_PREFIX(\d+)/);
265         no strict 'refs';
266         foreach my $key (keys %{$ANON_CLASS_PREFIX . $serial_id}) {
267             delete ${$ANON_CLASS_PREFIX . $serial_id}{$key};
268         }
269         delete ${'main::' . $ANON_CLASS_PREFIX}{$serial_id . '::'};
270     }
271
272 }
273
274 # creating classes with MOP ...
275
276 sub create {
277     my ( $class, @args ) = @_;
278
279     unshift @args, 'package' if @args % 2 == 1;
280
281     my (%options) = @args;
282     my $package_name = $options{package};
283
284     (ref $options{superclasses} eq 'ARRAY')
285         || confess "You must pass an ARRAY ref of superclasses"
286             if exists $options{superclasses};
287             
288     (ref $options{attributes} eq 'ARRAY')
289         || confess "You must pass an ARRAY ref of attributes"
290             if exists $options{attributes};      
291             
292     (ref $options{methods} eq 'HASH')
293         || confess "You must pass a HASH ref of methods"
294             if exists $options{methods};                  
295
296     my (%initialize_options) = @args;
297     delete @initialize_options{qw(
298         package
299         superclasses
300         attributes
301         methods
302         version
303         authority
304     )};
305     my $meta = $class->initialize( $package_name => %initialize_options );
306
307     $meta->_instantiate_module( $options{version}, $options{authority} );
308
309     # FIXME totally lame
310     $meta->add_method('meta' => sub {
311         $class->initialize(ref($_[0]) || $_[0]);
312     });
313
314     $meta->superclasses(@{$options{superclasses}})
315         if exists $options{superclasses};
316     # NOTE:
317     # process attributes first, so that they can
318     # install accessors, but locally defined methods
319     # can then overwrite them. It is maybe a little odd, but
320     # I think this should be the order of things.
321     if (exists $options{attributes}) {
322         foreach my $attr (@{$options{attributes}}) {
323             $meta->add_attribute($attr);
324         }
325     }
326     if (exists $options{methods}) {
327         foreach my $method_name (keys %{$options{methods}}) {
328             $meta->add_method($method_name, $options{methods}->{$method_name});
329         }
330     }
331     return $meta;
332 }
333
334 ## Attribute readers
335
336 # NOTE:
337 # all these attribute readers will be bootstrapped
338 # away in the Class::MOP bootstrap section
339
340 sub get_attribute_map        { $_[0]->{'attributes'}                  }
341 sub attribute_metaclass      { $_[0]->{'attribute_metaclass'}         }
342 sub method_metaclass         { $_[0]->{'method_metaclass'}            }
343 sub wrapped_method_metaclass { $_[0]->{'wrapped_method_metaclass'}    }
344 sub instance_metaclass       { $_[0]->{'instance_metaclass'}          }
345 sub immutable_trait          { $_[0]->{'immutable_trait'}             }
346 sub constructor_class        { $_[0]->{'constructor_class'}           }
347 sub constructor_name         { $_[0]->{'constructor_name'}            }
348 sub destructor_class         { $_[0]->{'destructor_class'}            }
349
350 # Instance Construction & Cloning
351
352 sub new_object {
353     my $class = shift;
354
355     # NOTE:
356     # we need to protect the integrity of the
357     # Class::MOP::Class singletons here, so we
358     # delegate this to &construct_class_instance
359     # which will deal with the singletons
360     return $class->_construct_class_instance(@_)
361         if $class->name->isa('Class::MOP::Class');
362     return $class->_construct_instance(@_);
363 }
364
365 sub construct_instance {
366     Carp::cluck('The construct_instance method has been made private.'
367         . " The public version is deprecated and will be removed in a future release.\n");
368     shift->_construct_instance(@_);
369 }
370
371 sub _construct_instance {
372     my $class = shift;
373     my $params = @_ == 1 ? $_[0] : {@_};
374     my $meta_instance = $class->get_meta_instance();
375     # FIXME:
376     # the code below is almost certainly incorrect
377     # but this is foreign inheritance, so we might
378     # have to kludge it in the end.
379     my $instance = $params->{__INSTANCE__} || $meta_instance->create_instance();
380     foreach my $attr ($class->get_all_attributes()) {
381         $attr->initialize_instance_slot($meta_instance, $instance, $params);
382     }
383     # NOTE:
384     # this will only work for a HASH instance type
385     if ($class->is_anon_class) {
386         (Scalar::Util::reftype($instance) eq 'HASH')
387             || confess "Currently only HASH based instances are supported with instance of anon-classes";
388         # NOTE:
389         # At some point we should make this official
390         # as a reserved slot name, but right now I am
391         # going to keep it here.
392         # my $RESERVED_MOP_SLOT = '__MOP__';
393         $instance->{'__MOP__'} = $class;
394     }
395     return $instance;
396 }
397
398
399 sub get_meta_instance {
400     my $self = shift;
401     $self->{'_meta_instance'} ||= $self->_create_meta_instance();
402 }
403
404 sub create_meta_instance {
405     Carp::cluck('The create_meta_instance method has been made private.'
406         . " The public version is deprecated and will be removed in a future release.\n");
407     shift->_create_meta_instance(@_);
408 }
409
410 sub _create_meta_instance {
411     my $self = shift;
412     
413     my $instance = $self->instance_metaclass->new(
414         associated_metaclass => $self,
415         attributes => [ $self->get_all_attributes() ],
416     );
417
418     $self->add_meta_instance_dependencies()
419         if $instance->is_dependent_on_superclasses();
420
421     return $instance;
422 }
423
424 sub clone_object {
425     my $class    = shift;
426     my $instance = shift;
427     (blessed($instance) && $instance->isa($class->name))
428         || confess "You must pass an instance of the metaclass (" . (ref $class ? $class->name : $class) . "), not ($instance)";
429
430     # NOTE:
431     # we need to protect the integrity of the
432     # Class::MOP::Class singletons here, they
433     # should not be cloned.
434     return $instance if $instance->isa('Class::MOP::Class');
435     $class->_clone_instance($instance, @_);
436 }
437
438 sub clone_instance {
439     Carp::cluck('The clone_instance method has been made private.'
440         . " The public version is deprecated and will be removed in a future release.\n");
441     shift->_clone_instance(@_);
442 }
443
444 sub _clone_instance {
445     my ($class, $instance, %params) = @_;
446     (blessed($instance))
447         || confess "You can only clone instances, ($instance) is not a blessed instance";
448     my $meta_instance = $class->get_meta_instance();
449     my $clone = $meta_instance->clone_instance($instance);
450     foreach my $attr ($class->get_all_attributes()) {
451         if ( defined( my $init_arg = $attr->init_arg ) ) {
452             if (exists $params{$init_arg}) {
453                 $attr->set_value($clone, $params{$init_arg});
454             }
455         }
456     }
457     return $clone;
458 }
459
460 sub rebless_instance {
461     my ($self, $instance, %params) = @_;
462
463     my $old_metaclass = Class::MOP::class_of($instance);
464
465     my $old_class = $old_metaclass ? $old_metaclass->name : blessed($instance);
466     $self->name->isa($old_class)
467         || confess "You may rebless only into a subclass of ($old_class), of which (". $self->name .") isn't.";
468
469     $old_metaclass->rebless_instance_away($instance, $self, %params)
470         if $old_metaclass;
471
472     my $meta_instance = $self->get_meta_instance();
473
474     # rebless!
475     # we use $_[1] here because of t/306_rebless_overload.t regressions on 5.8.8
476     $meta_instance->rebless_instance_structure($_[1], $self);
477
478     foreach my $attr ( $self->get_all_attributes ) {
479         if ( $attr->has_value($instance) ) {
480             if ( defined( my $init_arg = $attr->init_arg ) ) {
481                 $params{$init_arg} = $attr->get_value($instance)
482                     unless exists $params{$init_arg};
483             } 
484             else {
485                 $attr->set_value($instance, $attr->get_value($instance));
486             }
487         }
488     }
489
490     foreach my $attr ($self->get_all_attributes) {
491         $attr->initialize_instance_slot($meta_instance, $instance, \%params);
492     }
493     
494     $instance;
495 }
496
497 sub rebless_instance_away {
498     # this intentionally does nothing, it is just a hook
499 }
500
501 # Inheritance
502
503 sub superclasses {
504     my $self     = shift;
505     my $var_spec = { sigil => '@', type => 'ARRAY', name => 'ISA' };
506     if (@_) {
507         my @supers = @_;
508         @{$self->get_package_symbol($var_spec)} = @supers;
509
510         # NOTE:
511         # on 5.8 and below, we need to call
512         # a method to get Perl to detect
513         # a cycle in the class hierarchy
514         my $class = $self->name;
515         $class->isa($class);
516
517         # NOTE:
518         # we need to check the metaclass
519         # compatibility here so that we can
520         # be sure that the superclass is
521         # not potentially creating an issues
522         # we don't know about
523
524         $self->_check_metaclass_compatibility();
525         $self->_superclasses_updated();
526     }
527     @{$self->get_package_symbol($var_spec)};
528 }
529
530 sub _superclasses_updated {
531     my $self = shift;
532     $self->update_meta_instance_dependencies();
533 }
534
535 sub subclasses {
536     my $self = shift;
537     my $super_class = $self->name;
538
539     return @{ $super_class->mro::get_isarev() };
540 }
541
542 sub direct_subclasses {
543     my $self = shift;
544     my $super_class = $self->name;
545
546     return grep {
547         grep {
548             $_ eq $super_class
549         } Class::MOP::Class->initialize($_)->superclasses
550     } $self->subclasses;
551 }
552
553 sub linearized_isa {
554     return @{ mro::get_linear_isa( (shift)->name ) };
555 }
556
557 sub class_precedence_list {
558     my $self = shift;
559     my $name = $self->name;
560
561     unless (Class::MOP::IS_RUNNING_ON_5_10()) { 
562         # NOTE:
563         # We need to check for circular inheritance here
564         # if we are are not on 5.10, cause 5.8 detects it 
565         # late. This will do nothing if all is well, and 
566         # blow up otherwise. Yes, it's an ugly hack, better
567         # suggestions are welcome.        
568         # - SL
569         ($name || return)->isa('This is a test for circular inheritance') 
570     }
571
572     # if our mro is c3, we can 
573     # just grab the linear_isa
574     if (mro::get_mro($name) eq 'c3') {
575         return @{ mro::get_linear_isa($name) }
576     }
577     else {
578         # NOTE:
579         # we can't grab the linear_isa for dfs
580         # since it has all the duplicates 
581         # already removed.
582         return (
583             $name,
584             map {
585                 $self->initialize($_)->class_precedence_list()
586             } $self->superclasses()
587         );
588     }
589 }
590
591 ## Methods
592
593 sub wrap_method_body {
594     my ( $self, %args ) = @_;
595
596     ('CODE' eq ref $args{body})
597         || confess "Your code block must be a CODE reference";
598
599     $self->method_metaclass->wrap(
600         package_name => $self->name,
601         %args,
602     );
603 }
604
605 sub add_method {
606     my ($self, $method_name, $method) = @_;
607     (defined $method_name && $method_name)
608         || confess "You must define a method name";
609
610     my $body;
611     if (blessed($method)) {
612         $body = $method->body;
613         if ($method->package_name ne $self->name) {
614             $method = $method->clone(
615                 package_name => $self->name,
616                 name         => $method_name            
617             ) if $method->can('clone');
618         }
619     }
620     else {
621         $body = $method;
622         $method = $self->wrap_method_body( body => $body, name => $method_name );
623     }
624
625     $method->attach_to_class($self);
626
627     $self->get_method_map->{$method_name} = $method;
628
629     my ( $current_package, $current_name ) = Class::MOP::get_code_info($body);
630
631     if ( !defined $current_name || $current_name eq '__ANON__' ) {
632         my $full_method_name = ($self->name . '::' . $method_name);
633         subname($full_method_name => $body);
634     }
635
636     $self->add_package_symbol(
637         { sigil => '&', type => 'CODE', name => $method_name },
638         $body,
639     );
640 }
641
642 {
643     my $fetch_and_prepare_method = sub {
644         my ($self, $method_name) = @_;
645         my $wrapped_metaclass = $self->wrapped_method_metaclass;
646         # fetch it locally
647         my $method = $self->get_method($method_name);
648         # if we dont have local ...
649         unless ($method) {
650             # try to find the next method
651             $method = $self->find_next_method_by_name($method_name);
652             # die if it does not exist
653             (defined $method)
654                 || confess "The method '$method_name' was not found in the inheritance hierarchy for " . $self->name;
655             # and now make sure to wrap it
656             # even if it is already wrapped
657             # because we need a new sub ref
658             $method = $wrapped_metaclass->wrap($method);
659         }
660         else {
661             # now make sure we wrap it properly
662             $method = $wrapped_metaclass->wrap($method)
663                 unless $method->isa($wrapped_metaclass);
664         }
665         $self->add_method($method_name => $method);
666         return $method;
667     };
668
669     sub add_before_method_modifier {
670         my ($self, $method_name, $method_modifier) = @_;
671         (defined $method_name && $method_name)
672             || confess "You must pass in a method name";
673         my $method = $fetch_and_prepare_method->($self, $method_name);
674         $method->add_before_modifier(
675             subname(':before' => $method_modifier)
676         );
677     }
678
679     sub add_after_method_modifier {
680         my ($self, $method_name, $method_modifier) = @_;
681         (defined $method_name && $method_name)
682             || confess "You must pass in a method name";
683         my $method = $fetch_and_prepare_method->($self, $method_name);
684         $method->add_after_modifier(
685             subname(':after' => $method_modifier)
686         );
687     }
688
689     sub add_around_method_modifier {
690         my ($self, $method_name, $method_modifier) = @_;
691         (defined $method_name && $method_name)
692             || confess "You must pass in a method name";
693         my $method = $fetch_and_prepare_method->($self, $method_name);
694         $method->add_around_modifier(
695             subname(':around' => $method_modifier)
696         );
697     }
698
699     # NOTE:
700     # the methods above used to be named like this:
701     #    ${pkg}::${method}:(before|after|around)
702     # but this proved problematic when using one modifier
703     # to wrap multiple methods (something which is likely
704     # to happen pretty regularly IMO). So instead of naming
705     # it like this, I have chosen to just name them purely
706     # with their modifier names, like so:
707     #    :(before|after|around)
708     # The fact is that in a stack trace, it will be fairly
709     # evident from the context what method they are attached
710     # to, and so don't need the fully qualified name.
711 }
712
713 sub alias_method {
714     Carp::cluck("The alias_method method is deprecated. Use add_method instead.\n");
715
716     shift->add_method(@_);
717 }
718
719 sub has_method {
720     my ($self, $method_name) = @_;
721     (defined $method_name && $method_name)
722         || confess "You must define a method name";
723
724     exists $self->get_method_map->{$method_name};
725 }
726
727 sub get_method {
728     my ($self, $method_name) = @_;
729     (defined $method_name && $method_name)
730         || confess "You must define a method name";
731
732     return $self->get_method_map->{$method_name};
733 }
734
735 sub remove_method {
736     my ($self, $method_name) = @_;
737     (defined $method_name && $method_name)
738         || confess "You must define a method name";
739
740     my $removed_method = delete $self->get_method_map->{$method_name};
741     
742     $self->remove_package_symbol(
743         { sigil => '&', type => 'CODE', name => $method_name }
744     );
745
746     $removed_method->detach_from_class if $removed_method;
747
748     $self->update_package_cache_flag; # still valid, since we just removed the method from the map
749
750     return $removed_method;
751 }
752
753 sub get_method_list {
754     my $self = shift;
755     keys %{$self->get_method_map};
756 }
757
758 sub find_method_by_name {
759     my ($self, $method_name) = @_;
760     (defined $method_name && $method_name)
761         || confess "You must define a method name to find";
762     foreach my $class ($self->linearized_isa) {
763         # fetch the meta-class ...
764         my $meta = $self->initialize($class);
765         return $meta->get_method($method_name)
766             if $meta->has_method($method_name);
767     }
768     return;
769 }
770
771 sub get_all_methods {
772     my $self = shift;
773     my %methods = map { %{ $self->initialize($_)->get_method_map } } reverse $self->linearized_isa;
774     return values %methods;
775 }
776
777 sub compute_all_applicable_methods {
778     Carp::cluck('The compute_all_applicable_methods method is deprecated.'
779         . " Use get_all_methods instead.\n");
780
781     return map {
782         {
783             name  => $_->name,
784             class => $_->package_name,
785             code  => $_, # sigh, overloading
786         },
787     } shift->get_all_methods(@_);
788 }
789
790 sub get_all_method_names {
791     my $self = shift;
792     my %uniq;
793     grep { $uniq{$_}++ == 0 } map { $_->name } $self->get_all_methods;
794 }
795
796 sub find_all_methods_by_name {
797     my ($self, $method_name) = @_;
798     (defined $method_name && $method_name)
799         || confess "You must define a method name to find";
800     my @methods;
801     foreach my $class ($self->linearized_isa) {
802         # fetch the meta-class ...
803         my $meta = $self->initialize($class);
804         push @methods => {
805             name  => $method_name,
806             class => $class,
807             code  => $meta->get_method($method_name)
808         } if $meta->has_method($method_name);
809     }
810     return @methods;
811 }
812
813 sub find_next_method_by_name {
814     my ($self, $method_name) = @_;
815     (defined $method_name && $method_name)
816         || confess "You must define a method name to find";
817     my @cpl = $self->linearized_isa;
818     shift @cpl; # discard ourselves
819     foreach my $class (@cpl) {
820         # fetch the meta-class ...
821         my $meta = $self->initialize($class);
822         return $meta->get_method($method_name)
823             if $meta->has_method($method_name);
824     }
825     return;
826 }
827
828 ## Attributes
829
830 sub add_attribute {
831     my $self      = shift;
832     # either we have an attribute object already
833     # or we need to create one from the args provided
834     my $attribute = blessed($_[0]) ? $_[0] : $self->attribute_metaclass->new(@_);
835     # make sure it is derived from the correct type though
836     ($attribute->isa('Class::MOP::Attribute'))
837         || confess "Your attribute must be an instance of Class::MOP::Attribute (or a subclass)";
838
839     # first we attach our new attribute
840     # because it might need certain information
841     # about the class which it is attached to
842     $attribute->attach_to_class($self);
843
844     # then we remove attributes of a conflicting
845     # name here so that we can properly detach
846     # the old attr object, and remove any
847     # accessors it would have generated
848     if ( $self->has_attribute($attribute->name) ) {
849         $self->remove_attribute($attribute->name);
850     } else {
851         $self->invalidate_meta_instances();
852     }
853     
854     # get our count of previously inserted attributes and
855     # increment by one so this attribute knows its order
856     my $order = (scalar keys %{$self->get_attribute_map}) - 1; 
857     $attribute->_set_insertion_order($order + 1);
858
859     # then onto installing the new accessors
860     $self->get_attribute_map->{$attribute->name} = $attribute;
861
862     # invalidate package flag here
863     my $e = do {
864         local $@;
865         local $SIG{__DIE__};
866         eval { $attribute->install_accessors() };
867         $@;
868     };
869     if ( $e ) {
870         $self->remove_attribute($attribute->name);
871         die $e;
872     }
873
874     return $attribute;
875 }
876
877 sub update_meta_instance_dependencies {
878     my $self = shift;
879
880     if ( $self->{meta_instance_dependencies} ) {
881         return $self->add_meta_instance_dependencies;
882     }
883 }
884
885 sub add_meta_instance_dependencies {
886     my $self = shift;
887
888     $self->remove_meta_instance_dependencies;
889
890     my @attrs = $self->get_all_attributes();
891
892     my %seen;
893     my @classes = grep { not $seen{$_->name}++ } map { $_->associated_class } @attrs;
894
895     foreach my $class ( @classes ) { 
896         $class->add_dependent_meta_instance($self);
897     }
898
899     $self->{meta_instance_dependencies} = \@classes;
900 }
901
902 sub remove_meta_instance_dependencies {
903     my $self = shift;
904
905     if ( my $classes = delete $self->{meta_instance_dependencies} ) {
906         foreach my $class ( @$classes ) {
907             $class->remove_dependent_meta_instance($self);
908         }
909
910         return $classes;
911     }
912
913     return;
914
915 }
916
917 sub add_dependent_meta_instance {
918     my ( $self, $metaclass ) = @_;
919     push @{ $self->{dependent_meta_instances} }, $metaclass;
920 }
921
922 sub remove_dependent_meta_instance {
923     my ( $self, $metaclass ) = @_;
924     my $name = $metaclass->name;
925     @$_ = grep { $_->name ne $name } @$_ for $self->{dependent_meta_instances};
926 }
927
928 sub invalidate_meta_instances {
929     my $self = shift;
930     $_->invalidate_meta_instance() for $self, @{ $self->{dependent_meta_instances} };
931 }
932
933 sub invalidate_meta_instance {
934     my $self = shift;
935     undef $self->{_meta_instance};
936 }
937
938 sub has_attribute {
939     my ($self, $attribute_name) = @_;
940     (defined $attribute_name && $attribute_name)
941         || confess "You must define an attribute name";
942     exists $self->get_attribute_map->{$attribute_name};
943 }
944
945 sub get_attribute {
946     my ($self, $attribute_name) = @_;
947     (defined $attribute_name && $attribute_name)
948         || confess "You must define an attribute name";
949     return $self->get_attribute_map->{$attribute_name}
950     # NOTE:
951     # this will return undef anyway, so no need ...
952     #    if $self->has_attribute($attribute_name);
953     #return;
954 }
955
956 sub remove_attribute {
957     my ($self, $attribute_name) = @_;
958     (defined $attribute_name && $attribute_name)
959         || confess "You must define an attribute name";
960     my $removed_attribute = $self->get_attribute_map->{$attribute_name};
961     return unless defined $removed_attribute;
962     delete $self->get_attribute_map->{$attribute_name};
963     $self->invalidate_meta_instances();
964     $removed_attribute->remove_accessors();
965     $removed_attribute->detach_from_class();
966     return $removed_attribute;
967 }
968
969 sub get_attribute_list {
970     my $self = shift;
971     keys %{$self->get_attribute_map};
972 }
973
974 sub get_all_attributes {
975     my $self = shift;
976     my %attrs = map { %{ $self->initialize($_)->get_attribute_map } } reverse $self->linearized_isa;
977     return values %attrs;
978 }
979
980 sub compute_all_applicable_attributes {
981     Carp::cluck('The compute_all_applicable_attributes method has been deprecated.'
982         . " Use get_all_attributes instead.\n");
983
984     shift->get_all_attributes(@_);
985 }
986
987 sub find_attribute_by_name {
988     my ($self, $attr_name) = @_;
989     foreach my $class ($self->linearized_isa) {
990         # fetch the meta-class ...
991         my $meta = $self->initialize($class);
992         return $meta->get_attribute($attr_name)
993             if $meta->has_attribute($attr_name);
994     }
995     return;
996 }
997
998 # check if we can reinitialize
999 sub is_pristine {
1000     my $self = shift;
1001
1002     # if any local attr is defined
1003     return if $self->get_attribute_list;
1004
1005     # or any non-declared methods
1006     if ( my @methods = values %{ $self->get_method_map } ) {
1007         my $metaclass = $self->method_metaclass;
1008         foreach my $method ( @methods ) {
1009             return if $method->isa("Class::MOP::Method::Generated");
1010             # FIXME do we need to enforce this too? return unless $method->isa($metaclass);
1011         }
1012     }
1013
1014     return 1;
1015 }
1016
1017 ## Class closing
1018
1019 sub is_mutable   { 1 }
1020 sub is_immutable { 0 }
1021
1022 sub _immutable_options {
1023     my ( $self, @args ) = @_;
1024
1025     return (
1026         inline_accessors   => 1,
1027         inline_constructor => 1,
1028         inline_destructor  => 0,
1029         debug              => 0,
1030         immutable_trait    => $self->immutable_trait,
1031         constructor_name   => $self->constructor_name,
1032         constructor_class  => $self->constructor_class,
1033         destructor_class   => $self->destructor_class,
1034         @args,
1035     );
1036 }
1037
1038 sub make_immutable {
1039     my ( $self, @args ) = @_;
1040
1041     if ( $self->is_mutable ) {
1042         $self->_initialize_immutable( $self->_immutable_options(@args) );
1043         $self->_rebless_as_immutable(@args);
1044         return $self;
1045     }
1046     else {
1047         return;
1048     }
1049 }
1050
1051 sub make_mutable {
1052     my $self = shift;
1053
1054     if ( $self->is_immutable ) {
1055         my @args = $self->immutable_options;
1056         $self->_rebless_as_mutable();
1057         $self->_remove_inlined_code(@args);
1058         delete $self->{__immutable};
1059         return $self;
1060     }
1061     else {
1062         return;
1063     }
1064 }
1065
1066 sub _rebless_as_immutable {
1067     my ( $self, @args ) = @_;
1068
1069     $self->{__immutable}{original_class} = ref $self;
1070
1071     bless $self => $self->_immutable_metaclass(@args);
1072 }
1073
1074 sub _immutable_metaclass {
1075     my ( $self, %args ) = @_;
1076
1077     if ( my $class = $args{immutable_metaclass} ) {
1078         return $class;
1079     }
1080
1081     my $trait = $args{immutable_trait} = $self->immutable_trait
1082         || confess "no immutable trait specified for $self";
1083
1084     my $meta_attr = $self->meta->find_attribute_by_name("immutable_trait");
1085
1086     my $class_name;
1087
1088     if ( $meta_attr and $trait eq $meta_attr->default ) {
1089         # if the trait is the same as the default we try and pick a
1090         # predictable name for the immutable metaclass
1091         $class_name = 'Class::MOP::Class::Immutable::' . ref($self);
1092     }
1093     else {
1094         $class_name = join '::', 'Class::MOP::Class::Immutable::CustomTrait',
1095             $trait, 'ForMetaClass', ref($self);
1096     }
1097
1098     return $class_name
1099         if Class::MOP::is_class_loaded($class_name);
1100
1101     my $meta = (ref $self)->create(
1102         $class_name,
1103         superclasses => [ ref $self ],
1104     );
1105
1106     Class::MOP::load_class($trait);
1107     for my $meth ( Class::MOP::Class->initialize($trait)->get_all_methods ) {
1108         next if $meta->has_method( $meth->name );
1109
1110         if ( $meta->find_method_by_name( $meth->name ) ) {
1111             $meta->add_around_method_modifier( $meth->name, $meth->body );
1112         }
1113         else {
1114             $meta->add_method( $meth->name, $meth->clone );
1115         }
1116     }
1117
1118     $meta->make_immutable;
1119
1120     return $class_name;
1121 }
1122
1123 sub _remove_inlined_code {
1124     my $self = shift;
1125
1126     $self->remove_method( $_->name ) for $self->_inlined_methods;
1127
1128     delete $self->{__immutable}{inlined_methods};
1129 }
1130
1131 sub _inlined_methods { @{ $_[0]{__immutable}{inlined_methods} || [] } }
1132
1133 sub _add_inlined_method {
1134     my ( $self, $method ) = @_;
1135
1136     push @{ $self->{__immutable}{inlined_methods} ||= [] }, $method;
1137 }
1138
1139 sub _initialize_immutable {
1140     my ( $self, %args ) = @_;
1141
1142     $self->{__immutable}{options} = \%args;
1143     $self->_install_inlined_code(%args);
1144 }
1145
1146 sub _install_inlined_code {
1147     my ( $self, %args ) = @_;
1148
1149     # FIXME
1150     $self->_inline_accessors(%args)   if $args{inline_accessors};
1151     $self->_inline_constructor(%args) if $args{inline_constructor};
1152     $self->_inline_destructor(%args)  if $args{inline_destructor};
1153 }
1154
1155 sub _rebless_as_mutable {
1156     my $self = shift;
1157
1158     bless $self, $self->get_mutable_metaclass_name;
1159
1160     return $self;
1161 }
1162
1163 sub _inline_accessors {
1164     my $self = shift;
1165
1166     foreach my $attr_name ( $self->get_attribute_list ) {
1167         $self->get_attribute($attr_name)->install_accessors(1);
1168     }
1169 }
1170
1171 sub _inline_constructor {
1172     my ( $self, %args ) = @_;
1173
1174     my $name = $args{constructor_name};
1175
1176     if ( $self->has_method($name) && !$args{replace_constructor} ) {
1177         my $class = $self->name;
1178         warn "Not inlining a constructor for $class since it defines"
1179             . " its own constructor.\n"
1180             . "If you are certain you don't need to inline your"
1181             . " constructor, specify inline_constructor => 0 in your"
1182             . " call to $class->meta->make_immutable\n";
1183         return;
1184     }
1185
1186     my $constructor_class = $args{constructor_class};
1187
1188     Class::MOP::load_class($constructor_class);
1189
1190     my $constructor = $constructor_class->new(
1191         options      => \%args,
1192         metaclass    => $self,
1193         is_inline    => 1,
1194         package_name => $self->name,
1195         name         => $name,
1196     );
1197
1198     if ( $args{replace_constructor} or $constructor->can_be_inlined ) {
1199         $self->add_method( $name => $constructor );
1200         $self->_add_inlined_method($constructor);
1201     }
1202 }
1203
1204 sub _inline_destructor {
1205     my ( $self, %args ) = @_;
1206
1207     ( exists $args{destructor_class} && defined $args{destructor_class} )
1208         || confess "The 'inline_destructor' option is present, but "
1209         . "no destructor class was specified";
1210
1211     if ( $self->has_method('DESTROY') && ! $args{replace_destructor} ) {
1212         my $class = $self->name;
1213         warn "Not inlining a destructor for $class since it defines"
1214             . " its own destructor.\n";
1215         return;
1216     }
1217
1218     my $destructor_class = $args{destructor_class};
1219
1220     Class::MOP::load_class($destructor_class);
1221
1222     return unless $destructor_class->is_needed($self);
1223
1224     my $destructor = $destructor_class->new(
1225         options      => \%args,
1226         metaclass    => $self,
1227         package_name => $self->name,
1228         name         => 'DESTROY'
1229     );
1230
1231     if ( $args{replace_destructor} or $destructor->can_be_inlined ) {
1232         $self->add_method( 'DESTROY' => $destructor );
1233         $self->_add_inlined_method($destructor);
1234     }
1235 }
1236
1237 1;
1238
1239 __END__
1240
1241 =pod
1242
1243 =head1 NAME
1244
1245 Class::MOP::Class - Class Meta Object
1246
1247 =head1 SYNOPSIS
1248
1249   # assuming that class Foo
1250   # has been defined, you can
1251
1252   # use this for introspection ...
1253
1254   # add a method to Foo ...
1255   Foo->meta->add_method( 'bar' => sub {...} )
1256
1257   # get a list of all the classes searched
1258   # the method dispatcher in the correct order
1259   Foo->meta->class_precedence_list()
1260
1261   # remove a method from Foo
1262   Foo->meta->remove_method('bar');
1263
1264   # or use this to actually create classes ...
1265
1266   Class::MOP::Class->create(
1267       'Bar' => (
1268           version      => '0.01',
1269           superclasses => ['Foo'],
1270           attributes   => [
1271               Class::MOP::Attribute->new('$bar'),
1272               Class::MOP::Attribute->new('$baz'),
1273           ],
1274           methods => {
1275               calculate_bar => sub {...},
1276               construct_baz => sub {...}
1277           }
1278       )
1279   );
1280
1281 =head1 DESCRIPTION
1282
1283 The Class Protocol is the largest and most complex part of the
1284 Class::MOP meta-object protocol. It controls the introspection and
1285 manipulation of Perl 5 classes, and it can create them as well. The
1286 best way to understand what this module can do, is to read the
1287 documentation for each of its methods.
1288
1289 =head1 INHERITANCE
1290
1291 C<Class::MOP::Class> is a subclass of L<Class::MOP::Module>.
1292
1293 =head1 METHODS
1294
1295 =head2 Class construction
1296
1297 These methods all create new C<Class::MOP::Class> objects. These
1298 objects can represent existing classes, or they can be used to create
1299 new classes from scratch.
1300
1301 The metaclass object for a given class is a singleton. If you attempt
1302 to create a metaclass for the same class twice, you will just get the
1303 existing object.
1304
1305 =over 4
1306
1307 =item B<< Class::MOP::Class->create($package_name, %options) >>
1308
1309 This method creates a new C<Class::MOP::Class> object with the given
1310 package name. It accepts a number of options.
1311
1312 =over 8
1313
1314 =item * version
1315
1316 An optional version number for the newly created package.
1317
1318 =item * authority
1319
1320 An optional authority for the newly created package.
1321
1322 =item * superclasses
1323
1324 An optional array reference of superclass names.
1325
1326 =item * methods
1327
1328 An optional hash reference of methods for the class. The keys of the
1329 hash reference are method names, and values are subroutine references.
1330
1331 =item * attributes
1332
1333 An optional array reference of attributes.
1334
1335 An attribute can be passed as an existing L<Class::MOP::Attribute>
1336 object, I<or> or as a hash reference of options which will be passed
1337 to the attribute metaclass's constructor.
1338
1339 =back
1340
1341 =item B<< Class::MOP::Class->create_anon_class(%options) >>
1342
1343 This method works just like C<< Class::MOP::Class->create >> but it
1344 creates an "anonymous" class. In fact, the class does have a name, but
1345 that name is a unique name generated internally by this module.
1346
1347 It accepts the same C<superclasses>, C<methods>, and C<attributes>
1348 parameters that C<create> accepts.
1349
1350 Anonymous classes are destroyed once the metaclass they are attached
1351 to goes out of scope, and will be removed from Perl's internal symbol
1352 table.
1353
1354 All instances of an anonymous class keep a special reference to the
1355 metaclass object, which prevents the metaclass from going out of scope
1356 while any instances exist.
1357
1358 This only works if the instance if based on a hash reference, however.
1359
1360 =item B<< Class::MOP::Class->initialize($package_name, %options) >>
1361
1362 This method will initialize a C<Class::MOP::Class> object for the
1363 named package. Unlike C<create>, this method I<will not> create a new
1364 class.
1365
1366 The purpose of this method is to retrieve a C<Class::MOP::Class>
1367 object for introspecting an existing class.
1368
1369 If an existing C<Class::MOP::Class> object exists for the named
1370 package, it will be returned, and any options provided will be
1371 ignored!
1372
1373 If the object does not yet exist, it will be created.
1374
1375 The valid options that can be passed to this method are
1376 C<attribute_metaclass>, C<method_metaclass>,
1377 C<wrapped_method_metaclass>, and C<instance_metaclass>. These are all
1378 optional, and default to the appropriate class in the C<Class::MOP>
1379 distribution.
1380
1381 =back
1382
1383 =head2 Object instance construction and cloning
1384
1385 These methods are all related to creating and/or cloning object
1386 instances.
1387
1388 =over 4
1389
1390 =item B<< $metaclass->clone_object($instance, %params) >>
1391
1392 This method clones an existing object instance. Any parameters you
1393 provide are will override existing attribute values in the object.
1394
1395 This is a convenience method for cloning an object instance, then
1396 blessing it into the appropriate package.
1397
1398 You could implement a clone method in your class, using this method:
1399
1400   sub clone {
1401       my ($self, %params) = @_;
1402       $self->meta->clone_object($self, %params);
1403   }
1404
1405 =item B<< $metaclass->rebless_instance($instance, %params) >>
1406
1407 This method changes the class of C<$instance> to the metaclass's class.
1408
1409 You can only rebless an instance into a subclass of its current
1410 class. If you pass any additional parameters, these will be treated
1411 like constructor parameters and used to initialize the object's
1412 attributes. Any existing attributes that are already set will be
1413 overwritten.
1414
1415 Before reblessing the instance, this method will call
1416 C<rebless_instance_away> on the instance's current metaclass. This method
1417 will be passed the instance, the new metaclass, and any parameters
1418 specified to C<rebless_instance>. By default, C<rebless_instance_away>
1419 does nothing; it is merely a hook.
1420
1421 =item B<< $metaclass->new_object(%params) >>
1422
1423 This method is used to create a new object of the metaclass's
1424 class. Any parameters you provide are used to initialize the
1425 instance's attributes. A special C<__INSTANCE__> key can be passed to
1426 provide an already generated instance, rather than having Class::MOP
1427 generate it for you. This is mostly useful for using Class::MOP with
1428 foreign classes, which generally generate instances using their own
1429 constructor.
1430
1431 =item B<< $metaclass->instance_metaclass >>
1432
1433 Returns the class name of the instance metaclass, see
1434 L<Class::MOP::Instance> for more information on the instance
1435 metaclass.
1436
1437 =item B<< $metaclass->get_meta_instance >>
1438
1439 Returns an instance of the C<instance_metaclass> to be used in the
1440 construction of a new instance of the class.
1441
1442 =back
1443
1444 =head2 Informational predicates
1445
1446 These are a few predicate methods for asking information about the
1447 class itself.
1448
1449 =over 4
1450
1451 =item B<< $metaclass->is_anon_class >>
1452
1453 This returns true if the class was created by calling C<<
1454 Class::MOP::Class->create_anon_class >>.
1455
1456 =item B<< $metaclass->is_mutable >>
1457
1458 This returns true if the class is still mutable.
1459
1460 =item B<< $metaclass->is_immutable >>
1461
1462 This returns true if the class has been made immutable.
1463
1464 =item B<< $metaclass->is_pristine >>
1465
1466 A class is I<not> pristine if it has non-inherited attributes or if it
1467 has any generated methods.
1468
1469 =back
1470
1471 =head2 Inheritance Relationships
1472
1473 =over 4
1474
1475 =item B<< $metaclass->superclasses(@superclasses) >>
1476
1477 This is a read-write accessor which represents the superclass
1478 relationships of the metaclass's class.
1479
1480 This is basically sugar around getting and setting C<@ISA>.
1481
1482 =item B<< $metaclass->class_precedence_list >>
1483
1484 This returns a list of all of the class's ancestor classes. The
1485 classes are returned in method dispatch order.
1486
1487 =item B<< $metaclass->linearized_isa >>
1488
1489 This returns a list based on C<class_precedence_list> but with all
1490 duplicates removed.
1491
1492 =item B<< $metaclass->subclasses >>
1493
1494 This returns a list of all subclasses for this class, even indirect
1495 subclasses.
1496
1497 =item B<< $metaclass->direct_subclasses >>
1498
1499 This returns a list of immediate subclasses for this class, which does not
1500 include indirect subclasses.
1501
1502 =back
1503
1504 =head2 Method introspection and creation
1505
1506 These methods allow you to introspect a class's methods, as well as
1507 add, remove, or change methods.
1508
1509 Determining what is truly a method in a Perl 5 class requires some
1510 heuristics (aka guessing).
1511
1512 Methods defined outside the package with a fully qualified name (C<sub
1513 Package::name { ... }>) will be included. Similarly, methods named
1514 with a fully qualified name using L<Sub::Name> are also included.
1515
1516 However, we attempt to ignore imported functions.
1517
1518 Ultimately, we are using heuristics to determine what truly is a
1519 method in a class, and these heuristics may get the wrong answer in
1520 some edge cases. However, for most "normal" cases the heuristics work
1521 correctly.
1522
1523 =over 4
1524
1525 =item B<< $metaclass->get_method($method_name) >>
1526
1527 This will return a L<Class::MOP::Method> for the specified
1528 C<$method_name>. If the class does not have the specified method, it
1529 returns C<undef>
1530
1531 =item B<< $metaclass->has_method($method_name) >>
1532
1533 Returns a boolean indicating whether or not the class defines the
1534 named method. It does not include methods inherited from parent
1535 classes.
1536
1537 =item B<< $metaclass->get_method_map >>
1538
1539 Returns a hash reference representing the methods defined in this
1540 class. The keys are method names and the values are
1541 L<Class::MOP::Method> objects.
1542
1543 =item B<< $metaclass->get_method_list >>
1544
1545 This will return a list of method I<names> for all methods defined in
1546 this class.
1547
1548 =item B<< $metaclass->get_all_methods >>
1549
1550 This will traverse the inheritance hierarchy and return a list of all
1551 the L<Class::MOP::Method> objects for this class and its parents.
1552
1553 =item B<< $metaclass->find_method_by_name($method_name) >>
1554
1555 This will return a L<Class::MOP::Method> for the specified
1556 C<$method_name>. If the class does not have the specified method, it
1557 returns C<undef>
1558
1559 Unlike C<get_method>, this method I<will> look for the named method in
1560 superclasses.
1561
1562 =item B<< $metaclass->get_all_method_names >>
1563
1564 This will return a list of method I<names> for all of this class's
1565 methods, including inherited methods.
1566
1567 =item B<< $metaclass->find_all_methods_by_name($method_name) >>
1568
1569 This method looks for the named method in the class and all of its
1570 parents. It returns every matching method it finds in the inheritance
1571 tree, so it returns a list of methods.
1572
1573 Each method is returned as a hash reference with three keys. The keys
1574 are C<name>, C<class>, and C<code>. The C<code> key has a
1575 L<Class::MOP::Method> object as its value.
1576
1577 The list of methods is distinct.
1578
1579 =item B<< $metaclass->find_next_method_by_name($method_name) >>
1580
1581 This method returns the first method in any superclass matching the
1582 given name. It is effectively the method that C<SUPER::$method_name>
1583 would dispatch to.
1584
1585 =item B<< $metaclass->add_method($method_name, $method) >>
1586
1587 This method takes a method name and a subroutine reference, and adds
1588 the method to the class.
1589
1590 The subroutine reference can be a L<Class::MOP::Method>, and you are
1591 strongly encouraged to pass a meta method object instead of a code
1592 reference. If you do so, that object gets stored as part of the
1593 class's method map directly. If not, the meta information will have to
1594 be recreated later, and may be incorrect.
1595
1596 If you provide a method object, this method will clone that object if
1597 the object's package name does not match the class name. This lets us
1598 track the original source of any methods added from other classes
1599 (notably Moose roles).
1600
1601 =item B<< $metaclass->remove_method($method_name) >>
1602
1603 Remove the named method from the class. This method returns the
1604 L<Class::MOP::Method> object for the method.
1605
1606 =item B<< $metaclass->method_metaclass >>
1607
1608 Returns the class name of the method metaclass, see
1609 L<Class::MOP::Method> for more information on the method metaclass.
1610
1611 =item B<< $metaclass->wrapped_method_metaclass >>
1612
1613 Returns the class name of the wrapped method metaclass, see
1614 L<Class::MOP::Method::Wrapped> for more information on the wrapped
1615 method metaclass.
1616
1617 =back
1618
1619 =head2 Attribute introspection and creation
1620
1621 Because Perl 5 does not have a core concept of attributes in classes,
1622 we can only return information about attributes which have been added
1623 via this class's methods. We cannot discover information about
1624 attributes which are defined in terms of "regular" Perl 5 methods.
1625
1626 =over 4
1627
1628 =item B<< $metaclass->get_attribute($attribute_name) >>
1629
1630 This will return a L<Class::MOP::Attribute> for the specified
1631 C<$attribute_name>. If the class does not have the specified
1632 attribute, it returns C<undef>.
1633
1634 NOTE that get_attribute does not search superclasses, for that you
1635 need to use C<find_attribute_by_name>.
1636
1637 =item B<< $metaclass->has_attribute($attribute_name) >>
1638
1639 Returns a boolean indicating whether or not the class defines the
1640 named attribute. It does not include attributes inherited from parent
1641 classes.
1642
1643 =item B<< $metaclass->get_attribute_map >>
1644
1645 Returns a hash reference representing the attributes defined in this
1646 class. The keys are attribute names and the values are
1647 L<Class::MOP::Attribute> objects.
1648
1649 =item B<< $metaclass->get_attribute_list >>
1650
1651 This will return a list of attributes I<names> for all attributes
1652 defined in this class.
1653
1654 =item B<< $metaclass->get_all_attributes >>
1655
1656 This will traverse the inheritance hierarchy and return a list of all
1657 the L<Class::MOP::Attribute> objects for this class and its parents.
1658
1659 =item B<< $metaclass->find_attribute_by_name($attribute_name) >>
1660
1661 This will return a L<Class::MOP::Attribute> for the specified
1662 C<$attribute_name>. If the class does not have the specified
1663 attribute, it returns C<undef>
1664
1665 Unlike C<get_attribute>, this attribute I<will> look for the named
1666 attribute in superclasses.
1667
1668 =item B<< $metaclass->add_attribute(...) >>
1669
1670 This method accepts either an existing L<Class::MOP::Attribute>
1671 object, or parameters suitable for passing to that class's C<new>
1672 method.
1673
1674 The attribute provided will be added to the class.
1675
1676 Any accessor methods defined by the attribute will be added to the
1677 class when the attribute is added.
1678
1679 If an attribute of the same name already exists, the old attribute
1680 will be removed first.
1681
1682 =item B<< $metaclass->remove_attribute($attribute_name) >>
1683
1684 This will remove the named attribute from the class, and
1685 L<Class::MOP::Attribute> object.
1686
1687 Removing an attribute also removes any accessor methods defined by the
1688 attribute.
1689
1690 However, note that removing an attribute will only affect I<future>
1691 object instances created for this class, not existing instances.
1692
1693 =item B<< $metaclass->attribute_metaclass >>
1694
1695 Returns the class name of the attribute metaclass for this class. By
1696 default, this is L<Class::MOP::Attribute>.  for more information on
1697
1698 =back
1699
1700 =head2 Class Immutability
1701
1702 Making a class immutable "freezes" the class definition. You can no
1703 longer call methods which alter the class, such as adding or removing
1704 methods or attributes.
1705
1706 Making a class immutable lets us optimize the class by inlining some
1707 methods, and also allows us to optimize some methods on the metaclass
1708 object itself.
1709
1710 After immutabilization, the metaclass object will cache most
1711 informational methods such as C<get_method_map> and
1712 C<get_all_attributes>. Methods which would alter the class, such as
1713 C<add_attribute>, C<add_method>, and so on will throw an error on an
1714 immutable metaclass object.
1715
1716 The immutabilization system in L<Moose> takes much greater advantage
1717 of the inlining features than Class::MOP itself does.
1718
1719 =over 4
1720
1721 =item B<< $metaclass->make_immutable(%options) >>
1722
1723 This method will create an immutable transformer and uses it to make
1724 the class and its metaclass object immutable.
1725
1726 This method accepts the following options:
1727
1728 =over 8
1729
1730 =item * inline_accessors
1731
1732 =item * inline_constructor
1733
1734 =item * inline_destructor
1735
1736 These are all booleans indicating whether the specified method(s)
1737 should be inlined.
1738
1739 By default, accessors and the constructor are inlined, but not the
1740 destructor.
1741
1742 =item * immutable_trait
1743
1744 The name of a class which will be used as a parent class for the
1745 metaclass object being made immutable. This "trait" implements the
1746 post-immutability functionality of the metaclass (but not the
1747 transformation itself).
1748
1749 This defaults to L<Class::MOP::Class::Immutable::Trait>.
1750
1751 =item * constructor_name
1752
1753 This is the constructor method name. This defaults to "new".
1754
1755 =item * constructor_class
1756
1757 The name of the method metaclass for constructors. It will be used to
1758 generate the inlined constructor. This defaults to
1759 "Class::MOP::Method::Constructor".
1760
1761 =item * replace_constructor
1762
1763 This is a boolean indicating whether an existing constructor should be
1764 replaced when inlining a constructor. This defaults to false.
1765
1766 =item * destructor_class
1767
1768 The name of the method metaclass for destructors. It will be used to
1769 generate the inlined destructor. This defaults to
1770 "Class::MOP::Method::Denstructor".
1771
1772 =item * replace_destructor
1773
1774 This is a boolean indicating whether an existing destructor should be
1775 replaced when inlining a destructor. This defaults to false.
1776
1777 =back
1778
1779 =item B<< $metaclass->make_mutable >>
1780
1781 Calling this method reverse the immutabilization transformation.
1782
1783 =back
1784
1785 =head2 Method Modifiers
1786
1787 Method modifiers are hooks which allow a method to be wrapped with
1788 I<before>, I<after> and I<around> method modifiers. Every time a
1789 method is called, it's modifiers are also called.
1790
1791 A class can modify its own methods, as well as methods defined in
1792 parent classes.
1793
1794 =head3 How method modifiers work?
1795
1796 Method modifiers work by wrapping the original method and then
1797 replacing it in the class's symbol table. The wrappers will handle
1798 calling all the modifiers in the appropriate order and preserving the
1799 calling context for the original method.
1800
1801 The return values of C<before> and C<after> modifiers are
1802 ignored. This is because their purpose is B<not> to filter the input
1803 and output of the primary method (this is done with an I<around>
1804 modifier).
1805
1806 This may seem like an odd restriction to some, but doing this allows
1807 for simple code to be added at the beginning or end of a method call
1808 without altering the function of the wrapped method or placing any
1809 extra responsibility on the code of the modifier.
1810
1811 Of course if you have more complex needs, you can use the C<around>
1812 modifier which allows you to change both the parameters passed to the
1813 wrapped method, as well as its return value.
1814
1815 Before and around modifiers are called in last-defined-first-called
1816 order, while after modifiers are called in first-defined-first-called
1817 order. So the call tree might looks something like this:
1818
1819   before 2
1820    before 1
1821     around 2
1822      around 1
1823       primary
1824      around 1
1825     around 2
1826    after 1
1827   after 2
1828
1829 =head3 What is the performance impact?
1830
1831 Of course there is a performance cost associated with method
1832 modifiers, but we have made every effort to make that cost directly
1833 proportional to the number of modifier features you utilize.
1834
1835 The wrapping method does it's best to B<only> do as much work as it
1836 absolutely needs to. In order to do this we have moved some of the
1837 performance costs to set-up time, where they are easier to amortize.
1838
1839 All this said, our benchmarks have indicated the following:
1840
1841   simple wrapper with no modifiers             100% slower
1842   simple wrapper with simple before modifier   400% slower
1843   simple wrapper with simple after modifier    450% slower
1844   simple wrapper with simple around modifier   500-550% slower
1845   simple wrapper with all 3 modifiers          1100% slower
1846
1847 These numbers may seem daunting, but you must remember, every feature
1848 comes with some cost. To put things in perspective, just doing a
1849 simple C<AUTOLOAD> which does nothing but extract the name of the
1850 method called and return it costs about 400% over a normal method
1851 call.
1852
1853 =over 4
1854
1855 =item B<< $metaclass->add_before_method_modifier($method_name, $code) >>
1856
1857 This wraps the specified method with the supplied subroutine
1858 reference. The modifier will be called as a method itself, and will
1859 receive the same arguments as are passed to the method.
1860
1861 When the modifier exits, the wrapped method will be called.
1862
1863 The return value of the modifier will be ignored.
1864
1865 =item B<< $metaclass->add_after_method_modifier($method_name, $code) >>
1866
1867 This wraps the specified method with the supplied subroutine
1868 reference. The modifier will be called as a method itself, and will
1869 receive the same arguments as are passed to the method.
1870
1871 When the wrapped methods exits, the modifier will be called.
1872
1873 The return value of the modifier will be ignored.
1874
1875 =item B<< $metaclass->add_around_method_modifier($method_name, $code) >>
1876
1877 This wraps the specified method with the supplied subroutine
1878 reference.
1879
1880 The first argument passed to the modifier will be a subroutine
1881 reference to the wrapped method. The second argument is the object,
1882 and after that come any arguments passed when the method is called.
1883
1884 The around modifier can choose to call the original method, as well as
1885 what arguments to pass if it does so.
1886
1887 The return value of the modifier is what will be seen by the caller.
1888
1889 =back
1890
1891 =head2 Introspection
1892
1893 =over 4
1894
1895 =item B<< Class::MOP::Class->meta >>
1896
1897 This will return a L<Class::MOP::Class> instance for this class.
1898
1899 It should also be noted that L<Class::MOP> will actually bootstrap
1900 this module by installing a number of attribute meta-objects into its
1901 metaclass.
1902
1903 =back
1904
1905 =head1 AUTHORS
1906
1907 Stevan Little E<lt>stevan@iinteractive.comE<gt>
1908
1909 =head1 COPYRIGHT AND LICENSE
1910
1911 Copyright 2006-2009 by Infinity Interactive, Inc.
1912
1913 L<http://www.iinteractive.com>
1914
1915 This library is free software; you can redistribute it and/or modify
1916 it under the same terms as Perl itself.
1917
1918 =cut