almost all tests passing!
[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 = Class::MOP::Class->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     return $class_name;
1119 }
1120
1121 sub _remove_inlined_code {
1122     my $self = shift;
1123
1124     $self->remove_method( $_->name ) for $self->_inlined_methods;
1125
1126     delete $self->{__immutable}{inlined_methods};
1127 }
1128
1129 sub _inlined_methods { @{ $_[0]{__immutable}{inlined_methods} || [] } }
1130
1131 sub _add_inlined_method {
1132     my ( $self, $method ) = @_;
1133
1134     push @{ $self->{__immutable}{inlined_methods} ||= [] }, $method;
1135 }
1136
1137 sub _initialize_immutable {
1138     my ( $self, %args ) = @_;
1139
1140     $self->{__immutable}{options} = \%args;
1141     $self->_install_inlined_code(%args);
1142 }
1143
1144 sub _install_inlined_code {
1145     my ( $self, %args ) = @_;
1146
1147     # FIXME
1148     $self->_inline_accessors(%args)   if $args{inline_accessors};
1149     $self->_inline_constructor(%args) if $args{inline_constructor};
1150     $self->_inline_destructor(%args)  if $args{inline_destructor};
1151 }
1152
1153 sub _rebless_as_mutable {
1154     my $self = shift;
1155
1156     bless $self, $self->get_mutable_metaclass_name;
1157
1158     return $self;
1159 }
1160
1161 sub _inline_accessors {
1162     my $self = shift;
1163
1164     foreach my $attr_name ( $self->get_attribute_list ) {
1165         $self->get_attribute($attr_name)->install_accessors(1);
1166     }
1167 }
1168
1169 sub _inline_constructor {
1170     my ( $self, %args ) = @_;
1171
1172     my $name = $args{constructor_name};
1173
1174     if ( $self->has_method($name) && !$args{replace_constructor} ) {
1175         my $class = $self->name;
1176         warn "Not inlining a constructor for $class since it defines"
1177             . " its own constructor.\n"
1178             . "If you are certain you don't need to inline your"
1179             . " constructor, specify inline_constructor => 0 in your"
1180             . " call to $class->meta->make_immutable\n";
1181         return;
1182     }
1183
1184     my $constructor_class = $args{constructor_class};
1185
1186     Class::MOP::load_class($constructor_class);
1187
1188     my $constructor = $constructor_class->new(
1189         options      => \%args,
1190         metaclass    => $self,
1191         is_inline    => 1,
1192         package_name => $self->name,
1193         name         => $name,
1194     );
1195
1196     if ( $args{replace_constructor} or $constructor->can_be_inlined ) {
1197         $self->add_method( $name => $constructor );
1198         $self->_add_inlined_method($constructor);
1199     }
1200 }
1201
1202 sub _inline_destructor {
1203     my ( $self, %args ) = @_;
1204
1205     ( exists $args{destructor_class} && defined $args{destructor_class} )
1206         || confess "The 'inline_destructor' option is present, but "
1207         . "no destructor class was specified";
1208
1209     if ( $self->has_method('DESTROY') && ! $args{replace_destructor} ) {
1210         my $class = $self->name;
1211         warn "Not inlining a destructor for $class since it defines"
1212             . " its own destructor.\n";
1213         return;
1214     }
1215
1216     my $destructor_class = $args{destructor_class};
1217
1218     Class::MOP::load_class($destructor_class);
1219
1220     return unless $destructor_class->is_needed($self);
1221
1222     my $destructor = $destructor_class->new(
1223         options      => \%args,
1224         metaclass    => $self,
1225         package_name => $self->name,
1226         name         => 'DESTROY'
1227     );
1228
1229     if ( $args{replace_destructor} or $destructor->can_be_inlined ) {
1230         $self->add_method( 'DESTROY' => $destructor );
1231         $self->_add_inlined_method($destructor);
1232     }
1233 }
1234
1235 1;
1236
1237 __END__
1238
1239 =pod
1240
1241 =head1 NAME
1242
1243 Class::MOP::Class - Class Meta Object
1244
1245 =head1 SYNOPSIS
1246
1247   # assuming that class Foo
1248   # has been defined, you can
1249
1250   # use this for introspection ...
1251
1252   # add a method to Foo ...
1253   Foo->meta->add_method( 'bar' => sub {...} )
1254
1255   # get a list of all the classes searched
1256   # the method dispatcher in the correct order
1257   Foo->meta->class_precedence_list()
1258
1259   # remove a method from Foo
1260   Foo->meta->remove_method('bar');
1261
1262   # or use this to actually create classes ...
1263
1264   Class::MOP::Class->create(
1265       'Bar' => (
1266           version      => '0.01',
1267           superclasses => ['Foo'],
1268           attributes   => [
1269               Class::MOP::Attribute->new('$bar'),
1270               Class::MOP::Attribute->new('$baz'),
1271           ],
1272           methods => {
1273               calculate_bar => sub {...},
1274               construct_baz => sub {...}
1275           }
1276       )
1277   );
1278
1279 =head1 DESCRIPTION
1280
1281 The Class Protocol is the largest and most complex part of the
1282 Class::MOP meta-object protocol. It controls the introspection and
1283 manipulation of Perl 5 classes, and it can create them as well. The
1284 best way to understand what this module can do, is to read the
1285 documentation for each of its methods.
1286
1287 =head1 INHERITANCE
1288
1289 C<Class::MOP::Class> is a subclass of L<Class::MOP::Module>.
1290
1291 =head1 METHODS
1292
1293 =head2 Class construction
1294
1295 These methods all create new C<Class::MOP::Class> objects. These
1296 objects can represent existing classes, or they can be used to create
1297 new classes from scratch.
1298
1299 The metaclass object for a given class is a singleton. If you attempt
1300 to create a metaclass for the same class twice, you will just get the
1301 existing object.
1302
1303 =over 4
1304
1305 =item B<< Class::MOP::Class->create($package_name, %options) >>
1306
1307 This method creates a new C<Class::MOP::Class> object with the given
1308 package name. It accepts a number of options.
1309
1310 =over 8
1311
1312 =item * version
1313
1314 An optional version number for the newly created package.
1315
1316 =item * authority
1317
1318 An optional authority for the newly created package.
1319
1320 =item * superclasses
1321
1322 An optional array reference of superclass names.
1323
1324 =item * methods
1325
1326 An optional hash reference of methods for the class. The keys of the
1327 hash reference are method names, and values are subroutine references.
1328
1329 =item * attributes
1330
1331 An optional array reference of attributes.
1332
1333 An attribute can be passed as an existing L<Class::MOP::Attribute>
1334 object, I<or> or as a hash reference of options which will be passed
1335 to the attribute metaclass's constructor.
1336
1337 =back
1338
1339 =item B<< Class::MOP::Class->create_anon_class(%options) >>
1340
1341 This method works just like C<< Class::MOP::Class->create >> but it
1342 creates an "anonymous" class. In fact, the class does have a name, but
1343 that name is a unique name generated internally by this module.
1344
1345 It accepts the same C<superclasses>, C<methods>, and C<attributes>
1346 parameters that C<create> accepts.
1347
1348 Anonymous classes are destroyed once the metaclass they are attached
1349 to goes out of scope, and will be removed from Perl's internal symbol
1350 table.
1351
1352 All instances of an anonymous class keep a special reference to the
1353 metaclass object, which prevents the metaclass from going out of scope
1354 while any instances exist.
1355
1356 This only works if the instance if based on a hash reference, however.
1357
1358 =item B<< Class::MOP::Class->initialize($package_name, %options) >>
1359
1360 This method will initialize a C<Class::MOP::Class> object for the
1361 named package. Unlike C<create>, this method I<will not> create a new
1362 class.
1363
1364 The purpose of this method is to retrieve a C<Class::MOP::Class>
1365 object for introspecting an existing class.
1366
1367 If an existing C<Class::MOP::Class> object exists for the named
1368 package, it will be returned, and any options provided will be
1369 ignored!
1370
1371 If the object does not yet exist, it will be created.
1372
1373 The valid options that can be passed to this method are
1374 C<attribute_metaclass>, C<method_metaclass>,
1375 C<wrapped_method_metaclass>, and C<instance_metaclass>. These are all
1376 optional, and default to the appropriate class in the C<Class::MOP>
1377 distribution.
1378
1379 =back
1380
1381 =head2 Object instance construction and cloning
1382
1383 These methods are all related to creating and/or cloning object
1384 instances.
1385
1386 =over 4
1387
1388 =item B<< $metaclass->clone_object($instance, %params) >>
1389
1390 This method clones an existing object instance. Any parameters you
1391 provide are will override existing attribute values in the object.
1392
1393 This is a convenience method for cloning an object instance, then
1394 blessing it into the appropriate package.
1395
1396 You could implement a clone method in your class, using this method:
1397
1398   sub clone {
1399       my ($self, %params) = @_;
1400       $self->meta->clone_object($self, %params);
1401   }
1402
1403 =item B<< $metaclass->rebless_instance($instance, %params) >>
1404
1405 This method changes the class of C<$instance> to the metaclass's class.
1406
1407 You can only rebless an instance into a subclass of its current
1408 class. If you pass any additional parameters, these will be treated
1409 like constructor parameters and used to initialize the object's
1410 attributes. Any existing attributes that are already set will be
1411 overwritten.
1412
1413 Before reblessing the instance, this method will call
1414 C<rebless_instance_away> on the instance's current metaclass. This method
1415 will be passed the instance, the new metaclass, and any parameters
1416 specified to C<rebless_instance>. By default, C<rebless_instance_away>
1417 does nothing; it is merely a hook.
1418
1419 =item B<< $metaclass->new_object(%params) >>
1420
1421 This method is used to create a new object of the metaclass's
1422 class. Any parameters you provide are used to initialize the
1423 instance's attributes. A special C<__INSTANCE__> key can be passed to
1424 provide an already generated instance, rather than having Class::MOP
1425 generate it for you. This is mostly useful for using Class::MOP with
1426 foreign classes, which generally generate instances using their own
1427 constructor.
1428
1429 =item B<< $metaclass->instance_metaclass >>
1430
1431 Returns the class name of the instance metaclass, see
1432 L<Class::MOP::Instance> for more information on the instance
1433 metaclass.
1434
1435 =item B<< $metaclass->get_meta_instance >>
1436
1437 Returns an instance of the C<instance_metaclass> to be used in the
1438 construction of a new instance of the class.
1439
1440 =back
1441
1442 =head2 Informational predicates
1443
1444 These are a few predicate methods for asking information about the
1445 class itself.
1446
1447 =over 4
1448
1449 =item B<< $metaclass->is_anon_class >>
1450
1451 This returns true if the class was created by calling C<<
1452 Class::MOP::Class->create_anon_class >>.
1453
1454 =item B<< $metaclass->is_mutable >>
1455
1456 This returns true if the class is still mutable.
1457
1458 =item B<< $metaclass->is_immutable >>
1459
1460 This returns true if the class has been made immutable.
1461
1462 =item B<< $metaclass->is_pristine >>
1463
1464 A class is I<not> pristine if it has non-inherited attributes or if it
1465 has any generated methods.
1466
1467 =back
1468
1469 =head2 Inheritance Relationships
1470
1471 =over 4
1472
1473 =item B<< $metaclass->superclasses(@superclasses) >>
1474
1475 This is a read-write accessor which represents the superclass
1476 relationships of the metaclass's class.
1477
1478 This is basically sugar around getting and setting C<@ISA>.
1479
1480 =item B<< $metaclass->class_precedence_list >>
1481
1482 This returns a list of all of the class's ancestor classes. The
1483 classes are returned in method dispatch order.
1484
1485 =item B<< $metaclass->linearized_isa >>
1486
1487 This returns a list based on C<class_precedence_list> but with all
1488 duplicates removed.
1489
1490 =item B<< $metaclass->subclasses >>
1491
1492 This returns a list of all subclasses for this class, even indirect
1493 subclasses.
1494
1495 =item B<< $metaclass->direct_subclasses >>
1496
1497 This returns a list of immediate subclasses for this class, which does not
1498 include indirect subclasses.
1499
1500 =back
1501
1502 =head2 Method introspection and creation
1503
1504 These methods allow you to introspect a class's methods, as well as
1505 add, remove, or change methods.
1506
1507 Determining what is truly a method in a Perl 5 class requires some
1508 heuristics (aka guessing).
1509
1510 Methods defined outside the package with a fully qualified name (C<sub
1511 Package::name { ... }>) will be included. Similarly, methods named
1512 with a fully qualified name using L<Sub::Name> are also included.
1513
1514 However, we attempt to ignore imported functions.
1515
1516 Ultimately, we are using heuristics to determine what truly is a
1517 method in a class, and these heuristics may get the wrong answer in
1518 some edge cases. However, for most "normal" cases the heuristics work
1519 correctly.
1520
1521 =over 4
1522
1523 =item B<< $metaclass->get_method($method_name) >>
1524
1525 This will return a L<Class::MOP::Method> for the specified
1526 C<$method_name>. If the class does not have the specified method, it
1527 returns C<undef>
1528
1529 =item B<< $metaclass->has_method($method_name) >>
1530
1531 Returns a boolean indicating whether or not the class defines the
1532 named method. It does not include methods inherited from parent
1533 classes.
1534
1535 =item B<< $metaclass->get_method_map >>
1536
1537 Returns a hash reference representing the methods defined in this
1538 class. The keys are method names and the values are
1539 L<Class::MOP::Method> objects.
1540
1541 =item B<< $metaclass->get_method_list >>
1542
1543 This will return a list of method I<names> for all methods defined in
1544 this class.
1545
1546 =item B<< $metaclass->get_all_methods >>
1547
1548 This will traverse the inheritance hierarchy and return a list of all
1549 the L<Class::MOP::Method> objects for this class and its parents.
1550
1551 =item B<< $metaclass->find_method_by_name($method_name) >>
1552
1553 This will return a L<Class::MOP::Method> for the specified
1554 C<$method_name>. If the class does not have the specified method, it
1555 returns C<undef>
1556
1557 Unlike C<get_method>, this method I<will> look for the named method in
1558 superclasses.
1559
1560 =item B<< $metaclass->get_all_method_names >>
1561
1562 This will return a list of method I<names> for all of this class's
1563 methods, including inherited methods.
1564
1565 =item B<< $metaclass->find_all_methods_by_name($method_name) >>
1566
1567 This method looks for the named method in the class and all of its
1568 parents. It returns every matching method it finds in the inheritance
1569 tree, so it returns a list of methods.
1570
1571 Each method is returned as a hash reference with three keys. The keys
1572 are C<name>, C<class>, and C<code>. The C<code> key has a
1573 L<Class::MOP::Method> object as its value.
1574
1575 The list of methods is distinct.
1576
1577 =item B<< $metaclass->find_next_method_by_name($method_name) >>
1578
1579 This method returns the first method in any superclass matching the
1580 given name. It is effectively the method that C<SUPER::$method_name>
1581 would dispatch to.
1582
1583 =item B<< $metaclass->add_method($method_name, $method) >>
1584
1585 This method takes a method name and a subroutine reference, and adds
1586 the method to the class.
1587
1588 The subroutine reference can be a L<Class::MOP::Method>, and you are
1589 strongly encouraged to pass a meta method object instead of a code
1590 reference. If you do so, that object gets stored as part of the
1591 class's method map directly. If not, the meta information will have to
1592 be recreated later, and may be incorrect.
1593
1594 If you provide a method object, this method will clone that object if
1595 the object's package name does not match the class name. This lets us
1596 track the original source of any methods added from other classes
1597 (notably Moose roles).
1598
1599 =item B<< $metaclass->remove_method($method_name) >>
1600
1601 Remove the named method from the class. This method returns the
1602 L<Class::MOP::Method> object for the method.
1603
1604 =item B<< $metaclass->method_metaclass >>
1605
1606 Returns the class name of the method metaclass, see
1607 L<Class::MOP::Method> for more information on the method metaclass.
1608
1609 =item B<< $metaclass->wrapped_method_metaclass >>
1610
1611 Returns the class name of the wrapped method metaclass, see
1612 L<Class::MOP::Method::Wrapped> for more information on the wrapped
1613 method metaclass.
1614
1615 =back
1616
1617 =head2 Attribute introspection and creation
1618
1619 Because Perl 5 does not have a core concept of attributes in classes,
1620 we can only return information about attributes which have been added
1621 via this class's methods. We cannot discover information about
1622 attributes which are defined in terms of "regular" Perl 5 methods.
1623
1624 =over 4
1625
1626 =item B<< $metaclass->get_attribute($attribute_name) >>
1627
1628 This will return a L<Class::MOP::Attribute> for the specified
1629 C<$attribute_name>. If the class does not have the specified
1630 attribute, it returns C<undef>.
1631
1632 NOTE that get_attribute does not search superclasses, for that you
1633 need to use C<find_attribute_by_name>.
1634
1635 =item B<< $metaclass->has_attribute($attribute_name) >>
1636
1637 Returns a boolean indicating whether or not the class defines the
1638 named attribute. It does not include attributes inherited from parent
1639 classes.
1640
1641 =item B<< $metaclass->get_attribute_map >>
1642
1643 Returns a hash reference representing the attributes defined in this
1644 class. The keys are attribute names and the values are
1645 L<Class::MOP::Attribute> objects.
1646
1647 =item B<< $metaclass->get_attribute_list >>
1648
1649 This will return a list of attributes I<names> for all attributes
1650 defined in this class.
1651
1652 =item B<< $metaclass->get_all_attributes >>
1653
1654 This will traverse the inheritance hierarchy and return a list of all
1655 the L<Class::MOP::Attribute> objects for this class and its parents.
1656
1657 =item B<< $metaclass->find_attribute_by_name($attribute_name) >>
1658
1659 This will return a L<Class::MOP::Attribute> for the specified
1660 C<$attribute_name>. If the class does not have the specified
1661 attribute, it returns C<undef>
1662
1663 Unlike C<get_attribute>, this attribute I<will> look for the named
1664 attribute in superclasses.
1665
1666 =item B<< $metaclass->add_attribute(...) >>
1667
1668 This method accepts either an existing L<Class::MOP::Attribute>
1669 object, or parameters suitable for passing to that class's C<new>
1670 method.
1671
1672 The attribute provided will be added to the class.
1673
1674 Any accessor methods defined by the attribute will be added to the
1675 class when the attribute is added.
1676
1677 If an attribute of the same name already exists, the old attribute
1678 will be removed first.
1679
1680 =item B<< $metaclass->remove_attribute($attribute_name) >>
1681
1682 This will remove the named attribute from the class, and
1683 L<Class::MOP::Attribute> object.
1684
1685 Removing an attribute also removes any accessor methods defined by the
1686 attribute.
1687
1688 However, note that removing an attribute will only affect I<future>
1689 object instances created for this class, not existing instances.
1690
1691 =item B<< $metaclass->attribute_metaclass >>
1692
1693 Returns the class name of the attribute metaclass for this class. By
1694 default, this is L<Class::MOP::Attribute>.  for more information on
1695
1696 =back
1697
1698 =head2 Class Immutability
1699
1700 Making a class immutable "freezes" the class definition. You can no
1701 longer call methods which alter the class, such as adding or removing
1702 methods or attributes.
1703
1704 Making a class immutable lets us optimize the class by inlining some
1705 methods, and also allows us to optimize some methods on the metaclass
1706 object itself.
1707
1708 After immutabilization, the metaclass object will cache most
1709 informational methods such as C<get_method_map> and
1710 C<get_all_attributes>. Methods which would alter the class, such as
1711 C<add_attribute>, C<add_method>, and so on will throw an error on an
1712 immutable metaclass object.
1713
1714 The immutabilization system in L<Moose> takes much greater advantage
1715 of the inlining features than Class::MOP itself does.
1716
1717 =over 4
1718
1719 =item B<< $metaclass->make_immutable(%options) >>
1720
1721 This method will create an immutable transformer and uses it to make
1722 the class and its metaclass object immutable.
1723
1724 This method accepts the following options:
1725
1726 =over 8
1727
1728 =item * inline_accessors
1729
1730 =item * inline_constructor
1731
1732 =item * inline_destructor
1733
1734 These are all booleans indicating whether the specified method(s)
1735 should be inlined.
1736
1737 By default, accessors and the constructor are inlined, but not the
1738 destructor.
1739
1740 =item * immutable_trait
1741
1742 The name of a class which will be used as a parent class for the
1743 metaclass object being made immutable. This "trait" implements the
1744 post-immutability functionality of the metaclass (but not the
1745 transformation itself).
1746
1747 This defaults to L<Class::MOP::Class::Immutable::Trait>.
1748
1749 =item * constructor_name
1750
1751 This is the constructor method name. This defaults to "new".
1752
1753 =item * constructor_class
1754
1755 The name of the method metaclass for constructors. It will be used to
1756 generate the inlined constructor. This defaults to
1757 "Class::MOP::Method::Constructor".
1758
1759 =item * replace_constructor
1760
1761 This is a boolean indicating whether an existing constructor should be
1762 replaced when inlining a constructor. This defaults to false.
1763
1764 =item * destructor_class
1765
1766 The name of the method metaclass for destructors. It will be used to
1767 generate the inlined destructor. This defaults to
1768 "Class::MOP::Method::Denstructor".
1769
1770 =item * replace_destructor
1771
1772 This is a boolean indicating whether an existing destructor should be
1773 replaced when inlining a destructor. This defaults to false.
1774
1775 =back
1776
1777 =item B<< $metaclass->make_mutable >>
1778
1779 Calling this method reverse the immutabilization transformation.
1780
1781 =back
1782
1783 =head2 Method Modifiers
1784
1785 Method modifiers are hooks which allow a method to be wrapped with
1786 I<before>, I<after> and I<around> method modifiers. Every time a
1787 method is called, it's modifiers are also called.
1788
1789 A class can modify its own methods, as well as methods defined in
1790 parent classes.
1791
1792 =head3 How method modifiers work?
1793
1794 Method modifiers work by wrapping the original method and then
1795 replacing it in the class's symbol table. The wrappers will handle
1796 calling all the modifiers in the appropriate order and preserving the
1797 calling context for the original method.
1798
1799 The return values of C<before> and C<after> modifiers are
1800 ignored. This is because their purpose is B<not> to filter the input
1801 and output of the primary method (this is done with an I<around>
1802 modifier).
1803
1804 This may seem like an odd restriction to some, but doing this allows
1805 for simple code to be added at the beginning or end of a method call
1806 without altering the function of the wrapped method or placing any
1807 extra responsibility on the code of the modifier.
1808
1809 Of course if you have more complex needs, you can use the C<around>
1810 modifier which allows you to change both the parameters passed to the
1811 wrapped method, as well as its return value.
1812
1813 Before and around modifiers are called in last-defined-first-called
1814 order, while after modifiers are called in first-defined-first-called
1815 order. So the call tree might looks something like this:
1816
1817   before 2
1818    before 1
1819     around 2
1820      around 1
1821       primary
1822      around 1
1823     around 2
1824    after 1
1825   after 2
1826
1827 =head3 What is the performance impact?
1828
1829 Of course there is a performance cost associated with method
1830 modifiers, but we have made every effort to make that cost directly
1831 proportional to the number of modifier features you utilize.
1832
1833 The wrapping method does it's best to B<only> do as much work as it
1834 absolutely needs to. In order to do this we have moved some of the
1835 performance costs to set-up time, where they are easier to amortize.
1836
1837 All this said, our benchmarks have indicated the following:
1838
1839   simple wrapper with no modifiers             100% slower
1840   simple wrapper with simple before modifier   400% slower
1841   simple wrapper with simple after modifier    450% slower
1842   simple wrapper with simple around modifier   500-550% slower
1843   simple wrapper with all 3 modifiers          1100% slower
1844
1845 These numbers may seem daunting, but you must remember, every feature
1846 comes with some cost. To put things in perspective, just doing a
1847 simple C<AUTOLOAD> which does nothing but extract the name of the
1848 method called and return it costs about 400% over a normal method
1849 call.
1850
1851 =over 4
1852
1853 =item B<< $metaclass->add_before_method_modifier($method_name, $code) >>
1854
1855 This wraps the specified method with the supplied subroutine
1856 reference. The modifier will be called as a method itself, and will
1857 receive the same arguments as are passed to the method.
1858
1859 When the modifier exits, the wrapped method will be called.
1860
1861 The return value of the modifier will be ignored.
1862
1863 =item B<< $metaclass->add_after_method_modifier($method_name, $code) >>
1864
1865 This wraps the specified method with the supplied subroutine
1866 reference. The modifier will be called as a method itself, and will
1867 receive the same arguments as are passed to the method.
1868
1869 When the wrapped methods exits, the modifier will be called.
1870
1871 The return value of the modifier will be ignored.
1872
1873 =item B<< $metaclass->add_around_method_modifier($method_name, $code) >>
1874
1875 This wraps the specified method with the supplied subroutine
1876 reference.
1877
1878 The first argument passed to the modifier will be a subroutine
1879 reference to the wrapped method. The second argument is the object,
1880 and after that come any arguments passed when the method is called.
1881
1882 The around modifier can choose to call the original method, as well as
1883 what arguments to pass if it does so.
1884
1885 The return value of the modifier is what will be seen by the caller.
1886
1887 =back
1888
1889 =head2 Introspection
1890
1891 =over 4
1892
1893 =item B<< Class::MOP::Class->meta >>
1894
1895 This will return a L<Class::MOP::Class> instance for this class.
1896
1897 It should also be noted that L<Class::MOP> will actually bootstrap
1898 this module by installing a number of attribute meta-objects into its
1899 metaclass.
1900
1901 =back
1902
1903 =head1 AUTHORS
1904
1905 Stevan Little E<lt>stevan@iinteractive.comE<gt>
1906
1907 =head1 COPYRIGHT AND LICENSE
1908
1909 Copyright 2006-2009 by Infinity Interactive, Inc.
1910
1911 L<http://www.iinteractive.com>
1912
1913 This library is free software; you can redistribute it and/or modify
1914 it under the same terms as Perl itself.
1915
1916 =cut