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