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