use X Protocol phrase in docs for each module
[gitmo/Class-MOP.git] / lib / Class / MOP / Class.pm
index cbd80de..abfec64 100644 (file)
@@ -9,198 +9,234 @@ use Class::MOP::Instance;
 use Class::MOP::Method::Wrapped;
 
 use Carp         'confess';
-use Scalar::Util 'blessed', 'reftype', 'weaken';
-use Sub::Name    'subname';
-use B            'svref_2object';
+use Scalar::Util 'blessed', 'weaken';
 
-our $VERSION   = '0.22';
+our $VERSION   = '0.78';
+$VERSION = eval $VERSION;
 our $AUTHORITY = 'cpan:STEVAN';
 
 use base 'Class::MOP::Module';
 
-# Self-introspection 
+# Creation
 
-sub meta { Class::MOP::Class->initialize(blessed($_[0]) || $_[0]) }
+sub initialize {
+    my $class = shift;
 
-# Creation
+    my $package_name;
     
-sub initialize {
-    my $class        = shift;
-    my $package_name = shift;
-    (defined $package_name && $package_name && !blessed($package_name))
-        || confess "You must pass a package name and it cannot be blessed";    
-    $class->construct_class_instance('package' => $package_name, @_);
+    if ( @_ % 2 ) {
+        $package_name = shift;
+    } else {
+        my %options = @_;
+        $package_name = $options{package};
+    }
+
+    (defined $package_name && $package_name && !ref($package_name))
+        || confess "You must pass a package name and it cannot be blessed";
+
+    return Class::MOP::get_metaclass_by_name($package_name)
+        || $class->construct_class_instance(package => $package_name, @_);
 }
 
-sub reinitialize {
-    my $class        = shift;
-    my $package_name = shift;
-    (defined $package_name && $package_name && !blessed($package_name))
-        || confess "You must pass a package name and it cannot be blessed";    
-    Class::MOP::remove_metaclass_by_name($package_name);
-    $class->construct_class_instance('package' => $package_name, @_);
-}       
-    
-# NOTE: (meta-circularity) 
-# this is a special form of &construct_instance 
+# NOTE: (meta-circularity)
+# this is a special form of &construct_instance
 # (see below), which is used to construct class
-# meta-object instances for any Class::MOP::* 
-# class. All other classes will use the more 
+# meta-object instances for any Class::MOP::*
+# class. All other classes will use the more
 # normal &construct_instance.
 sub construct_class_instance {
     my $class        = shift;
-    my %options      = @_;
-    my $package_name = $options{'package'};
+    my $options      = @_ == 1 ? $_[0] : {@_};
+    my $package_name = $options->{package};
     (defined $package_name && $package_name)
-        || confess "You must pass a package name";  
+        || confess "You must pass a package name";
     # NOTE:
-    # return the metaclass if we have it cached, 
-    # and it is still defined (it has not been 
-    # reaped by DESTROY yet, which can happen 
+    # return the metaclass if we have it cached,
+    # and it is still defined (it has not been
+    # reaped by DESTROY yet, which can happen
     # annoyingly enough during global destruction)
-    return Class::MOP::get_metaclass_by_name($package_name)
-        if Class::MOP::does_metaclass_exist($package_name);  
+
+    if (defined(my $meta = Class::MOP::get_metaclass_by_name($package_name))) {
+        return $meta;
+    }
 
     # NOTE:
-    # we need to deal with the possibility 
-    # of class immutability here, and then 
+    # we need to deal with the possibility
+    # of class immutability here, and then
     # get the name of the class appropriately
-    $class = (blessed($class)
+    $class = (ref($class)
                     ? ($class->is_immutable
                         ? $class->get_mutable_metaclass_name()
-                        : blessed($class))
+                        : ref($class))
                     : $class);
 
     # now create the metaclass
     my $meta;
-    if ($class =~ /^Class::MOP::Class$/) {
-        no strict 'refs';                
-        $meta = bless { 
-            # inherited from Class::MOP::Package
-            '$!package'             => $package_name, 
-            
-            # NOTE:
-            # since the following attributes will 
-            # actually be loaded from the symbol 
-            # table, and actually bypass the instance
-            # entirely, we can just leave these things
-            # listed here for reference, because they
-            # should not actually have a value associated 
-            # with the slot.
-            '%!namespace'           => \undef,                
-            # inherited from Class::MOP::Module
-            '$!version'             => \undef,
-            '$!authority'           => \undef,
-            # defined in Class::MOP::Class
-            '@!superclasses'        => \undef,
-            
-            '%!methods'             => {},
-            '%!attributes'          => {},            
-            '$!attribute_metaclass' => $options{'attribute_metaclass'} || 'Class::MOP::Attribute',
-            '$!method_metaclass'    => $options{'method_metaclass'}    || 'Class::MOP::Method',
-            '$!instance_metaclass'  => $options{'instance_metaclass'}  || 'Class::MOP::Instance',
-        } => $class;
+    if ($class eq 'Class::MOP::Class') {
+        $meta = $class->_new($options);
     }
     else {
         # NOTE:
         # it is safe to use meta here because
-        # class will always be a subclass of 
+        # class will always be a subclass of
         # Class::MOP::Class, which defines meta
-        $meta = $class->meta->construct_instance(%options)
+        $meta = $class->meta->construct_instance($options)
     }
-    
+
     # and check the metaclass compatibility
-    $meta->check_metaclass_compatability();
-    
+    $meta->check_metaclass_compatibility();  
+
     Class::MOP::store_metaclass_by_name($package_name, $meta);
-    
+
     # NOTE:
     # we need to weaken any anon classes
     # so that they can call DESTROY properly
     Class::MOP::weaken_metaclass($package_name) if $meta->is_anon_class;
-    
-    $meta;        
-} 
-    
-sub check_metaclass_compatability {
+
+    $meta;
+}
+
+sub _new {
+    my $class = shift;
+    my $options = @_ == 1 ? $_[0] : {@_};
+
+    bless {
+        # inherited from Class::MOP::Package
+        'package' => $options->{package},
+
+        # NOTE:
+        # since the following attributes will
+        # actually be loaded from the symbol
+        # table, and actually bypass the instance
+        # entirely, we can just leave these things
+        # listed here for reference, because they
+        # should not actually have a value associated
+        # with the slot.
+        'namespace' => \undef,
+
+        # inherited from Class::MOP::Module
+        'version'   => \undef,
+        'authority' => \undef,
+
+        # defined in Class::MOP::Class
+        'superclasses' => \undef,
+
+        'methods'             => {},
+        'attributes'          => {},
+        'attribute_metaclass' => $options->{'attribute_metaclass'}
+            || 'Class::MOP::Attribute',
+        'method_metaclass' => $options->{'method_metaclass'}
+            || 'Class::MOP::Method',
+        'wrapped_method_metaclass' => $options->{'wrapped_method_metaclass'}
+            || 'Class::MOP::Method::Wrapped',
+        'instance_metaclass' => $options->{'instance_metaclass'}
+            || 'Class::MOP::Instance',
+    }, $class;
+}
+
+sub reset_package_cache_flag  { (shift)->{'_package_cache_flag'} = undef } 
+sub update_package_cache_flag {
+    my $self = shift;
+    # NOTE:
+    # we can manually update the cache number 
+    # since we are actually adding the method
+    # to our cache as well. This avoids us 
+    # having to regenerate the method_map.
+    # - SL    
+    $self->{'_package_cache_flag'} = Class::MOP::check_package_cache_flag($self->name);    
+}
+
+sub check_metaclass_compatibility {
     my $self = shift;
 
     # this is always okay ...
-    return if blessed($self)            eq 'Class::MOP::Class'   && 
+    return if ref($self)                eq 'Class::MOP::Class'   &&
               $self->instance_metaclass eq 'Class::MOP::Instance';
 
-    my @class_list = $self->class_precedence_list;
+    my @class_list = $self->linearized_isa;
     shift @class_list; # shift off $self->name
 
-    foreach my $class_name (@class_list) { 
-        my $meta = Class::MOP::get_metaclass_by_name($class_name) || next;
-        
+    foreach my $superclass_name (@class_list) {
+        my $super_meta = Class::MOP::get_metaclass_by_name($superclass_name) || next;
+
         # NOTE:
-        # we need to deal with the possibility 
-        # of class immutability here, and then 
-        # get the name of the class appropriately            
-        my $meta_type = ($meta->is_immutable
-                            ? $meta->get_mutable_metaclass_name()
-                            : blessed($meta));                
-                            
-        ($self->isa($meta_type))
-            || confess $self->name . "->meta => (" . (blessed($self)) . ")" . 
-                       " is not compatible with the " . 
-                       $class_name . "->meta => (" . ($meta_type)     . ")";
+        # we need to deal with the possibility
+        # of class immutability here, and then
+        # get the name of the class appropriately
+        my $super_meta_type
+            = $super_meta->is_immutable
+            ? $super_meta->get_mutable_metaclass_name()
+            : ref($super_meta);
+
+        ($self->isa($super_meta_type))
+            || confess $self->name . "->meta => (" . (ref($self)) . ")" .
+                       " is not compatible with the " .
+                       $superclass_name . "->meta => (" . ($super_meta_type)     . ")";
         # NOTE:
         # we also need to check that instance metaclasses
-        # are compatabile in the same the class.
-        ($self->instance_metaclass->isa($meta->instance_metaclass))
-            || confess $self->name . "->meta => (" . ($self->instance_metaclass) . ")" . 
-                       " is not compatible with the " . 
-                       $class_name . "->meta => (" . ($meta->instance_metaclass) . ")";                           
-    }        
-} 
+        # are compatibile in the same the class.
+        ($self->instance_metaclass->isa($super_meta->instance_metaclass))
+            || confess $self->name . "->meta->instance_metaclass => (" . ($self->instance_metaclass) . ")" .
+                       " is not compatible with the " .
+                       $superclass_name . "->meta->instance_metaclass => (" . ($super_meta->instance_metaclass) . ")";
+    }
+}
 
 ## ANON classes
 
 {
     # NOTE:
-    # this should be sufficient, if you have a 
-    # use case where it is not, write a test and 
+    # this should be sufficient, if you have a
+    # use case where it is not, write a test and
     # I will change it.
     my $ANON_CLASS_SERIAL = 0;
-    
+
     # NOTE:
     # we need a sufficiently annoying prefix
-    # this should suffice for now, this is 
-    # used in a couple of places below, so 
+    # this should suffice for now, this is
+    # used in a couple of places below, so
     # need to put it up here for now.
-    my $ANON_CLASS_PREFIX = 'Class::MOP::Class::__ANON__::SERIAL::';    
+    my $ANON_CLASS_PREFIX = 'Class::MOP::Class::__ANON__::SERIAL::';
 
     sub is_anon_class {
         my $self = shift;
         no warnings 'uninitialized';
-        $self->name =~ /^$ANON_CLASS_PREFIX/ ? 1 : 0;        
+        $self->name =~ /^$ANON_CLASS_PREFIX/;
     }
 
     sub create_anon_class {
-        my ($class, %options) = @_;   
+        my ($class, %options) = @_;
         my $package_name = $ANON_CLASS_PREFIX . ++$ANON_CLASS_SERIAL;
         return $class->create($package_name, %options);
-    } 
+    }
 
     # NOTE:
-    # this will only get called for 
-    # anon-classes, all other calls 
-    # are assumed to occur during 
+    # this will only get called for
+    # anon-classes, all other calls
+    # are assumed to occur during
     # global destruction and so don't
     # really need to be handled explicitly
     sub DESTROY {
         my $self = shift;
-        no warnings 'uninitialized';        
+
+        return if Class::MOP::in_global_destruction(); # it'll happen soon anyway and this just makes things more complicated
+
+        no warnings 'uninitialized';
         return unless $self->name =~ /^$ANON_CLASS_PREFIX/;
+        # Moose does a weird thing where it replaces the metaclass for
+        # class when fixing metaclass incompatibility. In that case,
+        # we don't want to clean out the namespace now. We can detect
+        # that because Moose will explicitly update the singleton
+        # cache in Class::MOP.
+        my $current_meta = Class::MOP::get_metaclass_by_name($self->name);
+        return if $current_meta ne $self;
+
         my ($serial_id) = ($self->name =~ /^$ANON_CLASS_PREFIX(\d+)/);
-        no strict 'refs';     
+        no strict 'refs';
         foreach my $key (keys %{$ANON_CLASS_PREFIX . $serial_id}) {
             delete ${$ANON_CLASS_PREFIX . $serial_id}{$key};
         }
-        delete ${'main::' . $ANON_CLASS_PREFIX}{$serial_id . '::'};        
+        delete ${'main::' . $ANON_CLASS_PREFIX}{$serial_id . '::'};
     }
 
 }
@@ -208,37 +244,47 @@ sub check_metaclass_compatability {
 # creating classes with MOP ...
 
 sub create {
-    my $class        = shift;
-    my $package_name = shift;
-    
-    (defined $package_name && $package_name)
-        || confess "You must pass a package name";
+    my ( $class, @args ) = @_;
 
-    (scalar @_ % 2 == 0)
-        || confess "You much pass all parameters as name => value pairs " . 
-                   "(I found an uneven number of params in \@_)";
+    unshift @args, 'package' if @args % 2 == 1;
 
-    my (%options) = @_;
-    
-    my $code = "package $package_name;";
-    $code .= "\$$package_name\:\:VERSION = '" . $options{version} . "';" 
-        if exists $options{version};
-    $code .= "\$$package_name\:\:AUTHORITY = '" . $options{authority} . "';" 
-        if exists $options{authority};  
-              
-    eval $code;
-    confess "creation of $package_name failed : $@" if $@;    
-    
-    my $meta = $class->initialize($package_name);
-    
-    $meta->add_method('meta' => sub { 
-        $class->initialize(blessed($_[0]) || $_[0]);
+    my (%options) = @args;
+    my $package_name = $options{package};
+
+    (ref $options{superclasses} eq 'ARRAY')
+        || confess "You must pass an ARRAY ref of superclasses"
+            if exists $options{superclasses};
+            
+    (ref $options{attributes} eq 'ARRAY')
+        || confess "You must pass an ARRAY ref of attributes"
+            if exists $options{attributes};      
+            
+    (ref $options{methods} eq 'HASH')
+        || confess "You must pass a HASH ref of methods"
+            if exists $options{methods};                  
+
+    $class->SUPER::create(%options);
+
+    my (%initialize_options) = @args;
+    delete @initialize_options{qw(
+        package
+        superclasses
+        attributes
+        methods
+        version
+        authority
+    )};
+    my $meta = $class->initialize( $package_name => %initialize_options );
+
+    # FIXME totally lame
+    $meta->add_method('meta' => sub {
+        $class->initialize(ref($_[0]) || $_[0]);
     });
-    
+
     $meta->superclasses(@{$options{superclasses}})
         if exists $options{superclasses};
     # NOTE:
-    # process attributes first, so that they can 
+    # process attributes first, so that they can
     # install accessors, but locally defined methods
     # can then overwrite them. It is maybe a little odd, but
     # I think this should be the order of things.
@@ -246,58 +292,34 @@ sub create {
         foreach my $attr (@{$options{attributes}}) {
             $meta->add_attribute($attr);
         }
-    }        
+    }
     if (exists $options{methods}) {
         foreach my $method_name (keys %{$options{methods}}) {
             $meta->add_method($method_name, $options{methods}->{$method_name});
         }
-    }  
+    }
     return $meta;
 }
 
 ## Attribute readers
 
 # NOTE:
-# all these attribute readers will be bootstrapped 
+# all these attribute readers will be bootstrapped
 # away in the Class::MOP bootstrap section
 
-sub get_attribute_map   { $_[0]->{'%!attributes'}          }
-sub attribute_metaclass { $_[0]->{'$!attribute_metaclass'} }
-sub method_metaclass    { $_[0]->{'$!method_metaclass'}    }
-sub instance_metaclass  { $_[0]->{'$!instance_metaclass'}  }
-
-# FIXME:
-# this is a prime canidate for conversion to XS
-sub get_method_map {    
-    my $self = shift;
-    my $map  = $self->{'%!methods'}; 
-    
-    my $class_name       = $self->name;
-    my $method_metaclass = $self->method_metaclass;
-    
-    foreach my $symbol ($self->list_all_package_symbols('CODE')) {
-        my $code = $self->get_package_symbol('&' . $symbol);
-        
-        next if exists  $map->{$symbol} && 
-                defined $map->{$symbol} && 
-                        $map->{$symbol}->body == $code;        
-        
-        my $gv = svref_2object($code)->GV;
-        next if ($gv->STASH->NAME || '') ne $class_name &&
-                ($gv->NAME        || '') ne '__ANON__';        
-        
-        $map->{$symbol} = $method_metaclass->wrap($code);
-    }
-    
-    return $map;
-}
+sub get_attribute_map        { $_[0]->{'attributes'}                  }
+sub attribute_metaclass      { $_[0]->{'attribute_metaclass'}         }
+sub method_metaclass         { $_[0]->{'method_metaclass'}            }
+sub wrapped_method_metaclass { $_[0]->{'wrapped_method_metaclass'}    }
+sub instance_metaclass       { $_[0]->{'instance_metaclass'}          }
 
 # Instance Construction & Cloning
 
 sub new_object {
     my $class = shift;
+
     # NOTE:
-    # we need to protect the integrity of the 
+    # we need to protect the integrity of the
     # Class::MOP::Class singletons here, so we
     # delegate this to &construct_class_instance
     # which will deal with the singletons
@@ -307,111 +329,288 @@ sub new_object {
 }
 
 sub construct_instance {
-    my ($class, %params) = @_;
+    my $class = shift;
+    my $params = @_ == 1 ? $_[0] : {@_};
     my $meta_instance = $class->get_meta_instance();
     my $instance = $meta_instance->create_instance();
     foreach my $attr ($class->compute_all_applicable_attributes()) {
-        $attr->initialize_instance_slot($meta_instance, $instance, \%params);
+        $attr->initialize_instance_slot($meta_instance, $instance, $params);
+    }
+    # NOTE:
+    # this will only work for a HASH instance type
+    if ($class->is_anon_class) {
+        (Scalar::Util::reftype($instance) eq 'HASH')
+            || confess "Currently only HASH based instances are supported with instance of anon-classes";
+        # NOTE:
+        # At some point we should make this official
+        # as a reserved slot name, but right now I am
+        # going to keep it here.
+        # my $RESERVED_MOP_SLOT = '__MOP__';
+        $instance->{'__MOP__'} = $class;
     }
     return $instance;
 }
 
+
 sub get_meta_instance {
-    my $class = shift;
-    return $class->instance_metaclass->new(
-        $class, 
-        $class->compute_all_applicable_attributes()
+    my $self = shift;
+    $self->{'_meta_instance'} ||= $self->create_meta_instance();
+}
+
+sub create_meta_instance {
+    my $self = shift;
+    
+    my $instance = $self->instance_metaclass->new(
+        associated_metaclass => $self,
+        attributes => [ $self->compute_all_applicable_attributes() ],
     );
+
+    $self->add_meta_instance_dependencies()
+        if $instance->is_dependent_on_superclasses();
+
+    return $instance;
 }
 
 sub clone_object {
     my $class    = shift;
-    my $instance = shift; 
+    my $instance = shift;
     (blessed($instance) && $instance->isa($class->name))
-        || confess "You must pass an instance ($instance) of the metaclass (" . $class->name . ")";
+        || confess "You must pass an instance of the metaclass (" . (ref $class ? $class->name : $class) . "), not ($instance)";
+
     # NOTE:
-    # we need to protect the integrity of the 
-    # Class::MOP::Class singletons here, they 
+    # we need to protect the integrity of the
+    # Class::MOP::Class singletons here, they
     # should not be cloned.
-    return $instance if $instance->isa('Class::MOP::Class');   
+    return $instance if $instance->isa('Class::MOP::Class');
     $class->clone_instance($instance, @_);
 }
 
 sub clone_instance {
     my ($class, $instance, %params) = @_;
     (blessed($instance))
-        || confess "You can only clone instances, \$self is not a blessed instance";
+        || confess "You can only clone instances, ($instance) is not a blessed instance";
     my $meta_instance = $class->get_meta_instance();
-    my $clone = $meta_instance->clone_instance($instance);     
+    my $clone = $meta_instance->clone_instance($instance);
     foreach my $attr ($class->compute_all_applicable_attributes()) {
-        if ($params{$attr->init_arg}) {
-            $meta_instance->set_slot_value($clone, $attr->name, $params{$attr->init_arg});                    
+        if ( defined( my $init_arg = $attr->init_arg ) ) {
+            if (exists $params{$init_arg}) {
+                $attr->set_value($clone, $params{$init_arg});
+            }
         }
-    }       
-    return $clone;    
+    }
+    return $clone;
+}
+
+sub rebless_instance {
+    my ($self, $instance, %params) = @_;
+
+    my $old_metaclass;
+    if ($instance->can('meta')) {
+        ($instance->meta->isa('Class::MOP::Class'))
+            || confess 'Cannot rebless instance if ->meta is not an instance of Class::MOP::Class';
+        $old_metaclass = $instance->meta;
+    }
+    else {
+        $old_metaclass = $self->initialize(ref($instance));
+    }
+
+    my $meta_instance = $self->get_meta_instance();
+
+    $self->name->isa($old_metaclass->name)
+        || confess "You may rebless only into a subclass of (". $old_metaclass->name ."), of which (". $self->name .") isn't.";
+
+    # rebless!
+    # we use $_[1] here because of t/306_rebless_overload.t regressions on 5.8.8
+    $meta_instance->rebless_instance_structure($_[1], $self);
+
+    foreach my $attr ( $self->compute_all_applicable_attributes ) {
+        if ( $attr->has_value($instance) ) {
+            if ( defined( my $init_arg = $attr->init_arg ) ) {
+                $params{$init_arg} = $attr->get_value($instance)
+                    unless exists $params{$init_arg};
+            } 
+            else {
+                $attr->set_value($instance, $attr->get_value($instance));
+            }
+        }
+    }
+
+    foreach my $attr ($self->compute_all_applicable_attributes) {
+        $attr->initialize_instance_slot($meta_instance, $instance, \%params);
+    }
+    
+    $instance;
 }
 
 # Inheritance
 
 sub superclasses {
-    my $self = shift;
+    my $self     = shift;
+    my $var_spec = { sigil => '@', type => 'ARRAY', name => 'ISA' };
     if (@_) {
         my @supers = @_;
-        @{$self->get_package_symbol('@ISA')} = @supers;
+        @{$self->get_package_symbol($var_spec)} = @supers;
+
+        # NOTE:
+        # on 5.8 and below, we need to call
+        # a method to get Perl to detect
+        # a cycle in the class hierarchy
+        my $class = $self->name;
+        $class->isa($class);
+
         # NOTE:
-        # we need to check the metaclass 
-        # compatability here so that we can 
-        # be sure that the superclass is 
-        # not potentially creating an issues 
+        # we need to check the metaclass
+        # compatibility here so that we can
+        # be sure that the superclass is
+        # not potentially creating an issues
         # we don't know about
-        $self->check_metaclass_compatability();
+
+        $self->check_metaclass_compatibility();
+        $self->update_meta_instance_dependencies();
     }
-    @{$self->get_package_symbol('@ISA')};
+    @{$self->get_package_symbol($var_spec)};
+}
+
+sub subclasses {
+    my $self = shift;
+
+    my $super_class = $self->name;
+
+    if ( Class::MOP::HAVE_ISAREV() ) {
+        return @{ $super_class->mro::get_isarev() };
+    } else {
+        my @derived_classes;
+
+        my $find_derived_classes;
+        $find_derived_classes = sub {
+            my ($outer_class) = @_;
+
+            my $symbol_table_hashref = do { no strict 'refs'; \%{"${outer_class}::"} };
+
+            SYMBOL:
+            for my $symbol ( keys %$symbol_table_hashref ) {
+                next SYMBOL if $symbol !~ /\A (\w+):: \z/x;
+                my $inner_class = $1;
+
+                next SYMBOL if $inner_class eq 'SUPER';    # skip '*::SUPER'
+
+                my $class =
+                $outer_class
+                ? "${outer_class}::$inner_class"
+                : $inner_class;
+
+                if ( $class->isa($super_class) and $class ne $super_class ) {
+                    push @derived_classes, $class;
+                }
+
+                next SYMBOL if $class eq 'main';           # skip 'main::*'
+
+                $find_derived_classes->($class);
+            }
+        };
+
+        my $root_class = q{};
+        $find_derived_classes->($root_class);
+
+        undef $find_derived_classes;
+
+        @derived_classes = sort { $a->isa($b) ? 1 : $b->isa($a) ? -1 : 0 } @derived_classes;
+
+        return @derived_classes;
+    }
+}
+
+
+sub linearized_isa {
+    return @{ mro::get_linear_isa( (shift)->name ) };
 }
 
 sub class_precedence_list {
     my $self = shift;
-    # NOTE:
-    # We need to check for ciruclar inheirtance here.
-    # This will do nothing if all is well, and blow
-    # up otherwise. Yes, it's an ugly hack, better 
-    # suggestions are welcome.
-    { ($self->name || return)->isa('This is a test for circular inheritance') }
-    # ... and now back to our regularly scheduled program
-    (
-        $self->name, 
-        map { 
-            $self->initialize($_)->class_precedence_list()
-        } $self->superclasses()
-    );   
+    my $name = $self->name;
+
+    unless (Class::MOP::IS_RUNNING_ON_5_10()) { 
+        # NOTE:
+        # We need to check for circular inheritance here
+        # if we are are not on 5.10, cause 5.8 detects it 
+        # late. This will do nothing if all is well, and 
+        # blow up otherwise. Yes, it's an ugly hack, better
+        # suggestions are welcome.        
+        # - SL
+        ($name || return)->isa('This is a test for circular inheritance') 
+    }
+
+    # if our mro is c3, we can 
+    # just grab the linear_isa
+    if (mro::get_mro($name) eq 'c3') {
+        return @{ mro::get_linear_isa($name) }
+    }
+    else {
+        # NOTE:
+        # we can't grab the linear_isa for dfs
+        # since it has all the duplicates 
+        # already removed.
+        return (
+            $name,
+            map {
+                $self->initialize($_)->class_precedence_list()
+            } $self->superclasses()
+        );
+    }
 }
 
 ## Methods
 
+sub wrap_method_body {
+    my ( $self, %args ) = @_;
+
+    ('CODE' eq ref $args{body})
+        || confess "Your code block must be a CODE reference";
+
+    $self->method_metaclass->wrap(
+        package_name => $self->name,
+        %args,
+    );
+}
+
 sub add_method {
     my ($self, $method_name, $method) = @_;
     (defined $method_name && $method_name)
         || confess "You must define a method name";
-    
+
     my $body;
     if (blessed($method)) {
-        $body = $method->body;           
+        $body = $method->body;
+        if ($method->package_name ne $self->name) {
+            $method = $method->clone(
+                package_name => $self->name,
+                name         => $method_name            
+            ) if $method->can('clone');
+        }
     }
-    else {        
+    else {
         $body = $method;
-        ('CODE' eq (reftype($body) || ''))
-            || confess "Your code block must be a CODE reference";        
-        $method = $self->method_metaclass->wrap($body);        
+        $method = $self->wrap_method_body( body => $body, name => $method_name );
     }
-    $self->get_method_map->{$method_name} = $method;
+
+    $method->attach_to_class($self);
+
+    # This used to call get_method_map, which meant we would build all
+    # the method objects for the class just because we added one
+    # method. This is hackier, but quicker too.
+    $self->{methods}{$method_name} = $method;
     
-    my $full_method_name = ($self->name . '::' . $method_name);        
-    $self->add_package_symbol("&${method_name}" => subname $full_method_name => $body);
+    my $full_method_name = ($self->name . '::' . $method_name);    
+    $self->add_package_symbol(
+        { sigil => '&', type => 'CODE', name => $method_name }, 
+        Class::MOP::subname($full_method_name => $body)
+    );
 }
 
 {
     my $fetch_and_prepare_method = sub {
         my ($self, $method_name) = @_;
+        my $wrapped_metaclass = $self->wrapped_method_metaclass;
         # fetch it locally
         my $method = $self->get_method($method_name);
         # if we dont have local ...
@@ -420,106 +619,102 @@ sub add_method {
             $method = $self->find_next_method_by_name($method_name);
             # die if it does not exist
             (defined $method)
-                || confess "The method '$method_name' is not found in the inherience hierarchy for class " . $self->name;
-            # and now make sure to wrap it 
+                || confess "The method '$method_name' was not found in the inheritance hierarchy for " . $self->name;
+            # and now make sure to wrap it
             # even if it is already wrapped
             # because we need a new sub ref
-            $method = Class::MOP::Method::Wrapped->wrap($method);
+            $method = $wrapped_metaclass->wrap($method);
         }
         else {
-            # now make sure we wrap it properly 
-            $method = Class::MOP::Method::Wrapped->wrap($method)
-                unless $method->isa('Class::MOP::Method::Wrapped');  
-        }    
-        $self->add_method($method_name => $method);        
+            # now make sure we wrap it properly
+            $method = $wrapped_metaclass->wrap($method)
+                unless $method->isa($wrapped_metaclass);
+        }
+        $self->add_method($method_name => $method);
         return $method;
     };
 
     sub add_before_method_modifier {
         my ($self, $method_name, $method_modifier) = @_;
         (defined $method_name && $method_name)
-            || confess "You must pass in a method name";    
+            || confess "You must pass in a method name";
         my $method = $fetch_and_prepare_method->($self, $method_name);
-        $method->add_before_modifier(subname ':before' => $method_modifier);
+        $method->add_before_modifier(
+            Class::MOP::subname(':before' => $method_modifier)
+        );
     }
 
     sub add_after_method_modifier {
         my ($self, $method_name, $method_modifier) = @_;
         (defined $method_name && $method_name)
-            || confess "You must pass in a method name";    
+            || confess "You must pass in a method name";
         my $method = $fetch_and_prepare_method->($self, $method_name);
-        $method->add_after_modifier(subname ':after' => $method_modifier);
+        $method->add_after_modifier(
+            Class::MOP::subname(':after' => $method_modifier)
+        );
     }
-    
+
     sub add_around_method_modifier {
         my ($self, $method_name, $method_modifier) = @_;
         (defined $method_name && $method_name)
             || confess "You must pass in a method name";
         my $method = $fetch_and_prepare_method->($self, $method_name);
-        $method->add_around_modifier(subname ':around' => $method_modifier);
-    }   
+        $method->add_around_modifier(
+            Class::MOP::subname(':around' => $method_modifier)
+        );
+    }
 
-    # NOTE: 
+    # NOTE:
     # the methods above used to be named like this:
     #    ${pkg}::${method}:(before|after|around)
     # but this proved problematic when using one modifier
     # to wrap multiple methods (something which is likely
     # to happen pretty regularly IMO). So instead of naming
-    # it like this, I have chosen to just name them purely 
+    # it like this, I have chosen to just name them purely
     # with their modifier names, like so:
     #    :(before|after|around)
-    # The fact is that in a stack trace, it will be fairly 
+    # The fact is that in a stack trace, it will be fairly
     # evident from the context what method they are attached
     # to, and so don't need the fully qualified name.
 }
 
 sub alias_method {
-    my ($self, $method_name, $method) = @_;
-    (defined $method_name && $method_name)
-        || confess "You must define a method name";
+    my $self = shift;
 
-    my $body = (blessed($method) ? $method->body : $method);
-    ('CODE' eq (reftype($body) || ''))
-        || confess "Your code block must be a CODE reference";        
-        
-    $self->add_package_symbol("&${method_name}" => $body);
+    $self->add_method(@_);
 }
 
 sub has_method {
     my ($self, $method_name) = @_;
     (defined $method_name && $method_name)
-        || confess "You must define a method name";    
-    
-    return 0 unless exists $self->get_method_map->{$method_name};    
-    return 1;
+        || confess "You must define a method name";
+
+    exists $self->{methods}{$method_name} || exists $self->get_method_map->{$method_name};
 }
 
 sub get_method {
     my ($self, $method_name) = @_;
     (defined $method_name && $method_name)
         || confess "You must define a method name";
-     
-    # NOTE:
-    # I don't really need this here, because
-    # if the method_map is missing a key it 
-    # will just return undef for me now
-    # return unless $self->has_method($method_name);
-    return $self->get_method_map->{$method_name};
+
+    return $self->{methods}{$method_name} || $self->get_method_map->{$method_name};
 }
 
 sub remove_method {
     my ($self, $method_name) = @_;
     (defined $method_name && $method_name)
         || confess "You must define a method name";
+
+    my $removed_method = delete $self->get_method_map->{$method_name};
     
-    my $removed_method = $self->get_method($method_name);    
-    
-    do { 
-        $self->remove_package_symbol("&${method_name}");
-        delete $self->get_method_map->{$method_name};
-    } if defined $removed_method;
-        
+    $self->remove_package_symbol(
+        { sigil => '&', type => 'CODE', name => $method_name }
+    );
+
+    $removed_method->detach_from_class if $removed_method;
+
+    $self->update_package_cache_flag; # still valid, since we just removed the method from the map
+
     return $removed_method;
 }
 
@@ -531,67 +726,49 @@ sub get_method_list {
 sub find_method_by_name {
     my ($self, $method_name) = @_;
     (defined $method_name && $method_name)
-        || confess "You must define a method name to find"; 
-    # keep a record of what we have seen
-    # here, this will handle all the 
-    # inheritence issues because we are 
-    # using the &class_precedence_list
-    my %seen_class;
-    my @cpl = $self->class_precedence_list();
-    foreach my $class (@cpl) {
-        next if $seen_class{$class};
-        $seen_class{$class}++;
+        || confess "You must define a method name to find";
+    foreach my $class ($self->linearized_isa) {
         # fetch the meta-class ...
         my $meta = $self->initialize($class);
-        return $meta->get_method($method_name) 
+        return $meta->get_method($method_name)
             if $meta->has_method($method_name);
     }
     return;
 }
 
+sub get_all_methods {
+    my $self = shift;
+    my %methods = map { %{ $self->initialize($_)->get_method_map } } reverse $self->linearized_isa;
+    return values %methods;
+}
+
+# compatibility
 sub compute_all_applicable_methods {
+    return map {
+        {
+            name  => $_->name,
+            class => $_->package_name,
+            code  => $_, # sigh, overloading
+        },
+    } shift->get_all_methods(@_);
+}
+
+sub get_all_method_names {
     my $self = shift;
-    my @methods;
-    # keep a record of what we have seen
-    # here, this will handle all the 
-    # inheritence issues because we are 
-    # using the &class_precedence_list
-    my (%seen_class, %seen_method);
-    foreach my $class ($self->class_precedence_list()) {
-        next if $seen_class{$class};
-        $seen_class{$class}++;
-        # fetch the meta-class ...
-        my $meta = $self->initialize($class);
-        foreach my $method_name ($meta->get_method_list()) { 
-            next if exists $seen_method{$method_name};
-            $seen_method{$method_name}++;
-            push @methods => {
-                name  => $method_name, 
-                class => $class,
-                code  => $meta->get_method($method_name)
-            };
-        }
-    }
-    return @methods;
+    my %uniq;
+    grep { $uniq{$_}++ == 0 } map { $_->name } $self->get_all_methods;
 }
 
 sub find_all_methods_by_name {
     my ($self, $method_name) = @_;
     (defined $method_name && $method_name)
-        || confess "You must define a method name to find";    
+        || confess "You must define a method name to find";
     my @methods;
-    # keep a record of what we have seen
-    # here, this will handle all the 
-    # inheritence issues because we are 
-    # using the &class_precedence_list
-    my %seen_class;
-    foreach my $class ($self->class_precedence_list()) {
-        next if $seen_class{$class};
-        $seen_class{$class}++;
+    foreach my $class ($self->linearized_isa) {
         # fetch the meta-class ...
         my $meta = $self->initialize($class);
         push @methods => {
-            name  => $method_name, 
+            name  => $method_name,
             class => $class,
             code  => $meta->get_method($method_name)
         } if $meta->has_method($method_name);
@@ -602,20 +779,13 @@ sub find_all_methods_by_name {
 sub find_next_method_by_name {
     my ($self, $method_name) = @_;
     (defined $method_name && $method_name)
-        || confess "You must define a method name to find"; 
-    # keep a record of what we have seen
-    # here, this will handle all the 
-    # inheritence issues because we are 
-    # using the &class_precedence_list
-    my %seen_class;
-    my @cpl = $self->class_precedence_list();
+        || confess "You must define a method name to find";
+    my @cpl = $self->linearized_isa;
     shift @cpl; # discard ourselves
     foreach my $class (@cpl) {
-        next if $seen_class{$class};
-        $seen_class{$class}++;
         # fetch the meta-class ...
         my $meta = $self->initialize($class);
-        return $meta->get_method($method_name) 
+        return $meta->get_method($method_name)
             if $meta->has_method($method_name);
     }
     return;
@@ -630,92 +800,146 @@ sub add_attribute {
     my $attribute = blessed($_[0]) ? $_[0] : $self->attribute_metaclass->new(@_);
     # make sure it is derived from the correct type though
     ($attribute->isa('Class::MOP::Attribute'))
-        || confess "Your attribute must be an instance of Class::MOP::Attribute (or a subclass)";    
+        || confess "Your attribute must be an instance of Class::MOP::Attribute (or a subclass)";
 
     # first we attach our new attribute
-    # because it might need certain information 
+    # because it might need certain information
     # about the class which it is attached to
     $attribute->attach_to_class($self);
-    
-    # then we remove attributes of a conflicting 
-    # name here so that we can properly detach 
-    # the old attr object, and remove any 
+
+    # then we remove attributes of a conflicting
+    # name here so that we can properly detach
+    # the old attr object, and remove any
     # accessors it would have generated
-    $self->remove_attribute($attribute->name)
-        if $self->has_attribute($attribute->name);
-        
+    if ( $self->has_attribute($attribute->name) ) {
+        $self->remove_attribute($attribute->name);
+    } else {
+        $self->invalidate_meta_instances();
+    }
+
     # then onto installing the new accessors
-    $attribute->install_accessors();
     $self->get_attribute_map->{$attribute->name} = $attribute;
+
+    # invalidate package flag here
+    my $e = do { local $@; eval { $attribute->install_accessors() }; $@ };
+    if ( $e ) {
+        $self->remove_attribute($attribute->name);
+        die $e;
+    }
+
+    return $attribute;
+}
+
+sub update_meta_instance_dependencies {
+    my $self = shift;
+
+    if ( $self->{meta_instance_dependencies} ) {
+        return $self->add_meta_instance_dependencies;
+    }
+}
+
+sub add_meta_instance_dependencies {
+    my $self = shift;
+
+    $self->remove_meta_instance_dependencies;
+
+    my @attrs = $self->compute_all_applicable_attributes();
+
+    my %seen;
+    my @classes = grep { not $seen{$_->name}++ } map { $_->associated_class } @attrs;
+
+    foreach my $class ( @classes ) { 
+        $class->add_dependent_meta_instance($self);
+    }
+
+    $self->{meta_instance_dependencies} = \@classes;
+}
+
+sub remove_meta_instance_dependencies {
+    my $self = shift;
+
+    if ( my $classes = delete $self->{meta_instance_dependencies} ) {
+        foreach my $class ( @$classes ) {
+            $class->remove_dependent_meta_instance($self);
+        }
+
+        return $classes;
+    }
+
+    return;
+
+}
+
+sub add_dependent_meta_instance {
+    my ( $self, $metaclass ) = @_;
+    push @{ $self->{dependent_meta_instances} }, $metaclass;
+}
+
+sub remove_dependent_meta_instance {
+    my ( $self, $metaclass ) = @_;
+    my $name = $metaclass->name;
+    @$_ = grep { $_->name ne $name } @$_ for $self->{dependent_meta_instances};
+}
+
+sub invalidate_meta_instances {
+    my $self = shift;
+    $_->invalidate_meta_instance() for $self, @{ $self->{dependent_meta_instances} };
+}
+
+sub invalidate_meta_instance {
+    my $self = shift;
+    undef $self->{_meta_instance};
 }
 
 sub has_attribute {
     my ($self, $attribute_name) = @_;
     (defined $attribute_name && $attribute_name)
         || confess "You must define an attribute name";
-    exists $self->get_attribute_map->{$attribute_name} ? 1 : 0;    
-} 
+    exists $self->get_attribute_map->{$attribute_name};
+}
 
 sub get_attribute {
     my ($self, $attribute_name) = @_;
     (defined $attribute_name && $attribute_name)
         || confess "You must define an attribute name";
-    return $self->get_attribute_map->{$attribute_name} 
+    return $self->get_attribute_map->{$attribute_name}
     # NOTE:
     # this will return undef anyway, so no need ...
-    #    if $self->has_attribute($attribute_name);   
-    #return; 
-} 
+    #    if $self->has_attribute($attribute_name);
+    #return;
+}
 
 sub remove_attribute {
     my ($self, $attribute_name) = @_;
     (defined $attribute_name && $attribute_name)
         || confess "You must define an attribute name";
-    my $removed_attribute = $self->get_attribute_map->{$attribute_name};    
+    my $removed_attribute = $self->get_attribute_map->{$attribute_name};
     return unless defined $removed_attribute;
-    delete $self->get_attribute_map->{$attribute_name};        
-    $removed_attribute->remove_accessors(); 
+    delete $self->get_attribute_map->{$attribute_name};
+    $self->invalidate_meta_instances();
+    $removed_attribute->remove_accessors();
     $removed_attribute->detach_from_class();
     return $removed_attribute;
-} 
+}
 
 sub get_attribute_list {
     my $self = shift;
     keys %{$self->get_attribute_map};
-} 
+}
+
+sub get_all_attributes {
+    shift->compute_all_applicable_attributes(@_);
+}
 
 sub compute_all_applicable_attributes {
     my $self = shift;
-    my @attrs;
-    # keep a record of what we have seen
-    # here, this will handle all the 
-    # inheritence issues because we are 
-    # using the &class_precedence_list
-    my (%seen_class, %seen_attr);
-    foreach my $class ($self->class_precedence_list()) {
-        next if $seen_class{$class};
-        $seen_class{$class}++;
-        # fetch the meta-class ...
-        my $meta = $self->initialize($class);
-        foreach my $attr_name ($meta->get_attribute_list()) { 
-            next if exists $seen_attr{$attr_name};
-            $seen_attr{$attr_name}++;
-            push @attrs => $meta->get_attribute($attr_name);
-        }
-    }
-    return @attrs;    
+    my %attrs = map { %{ $self->initialize($_)->get_attribute_map } } reverse $self->linearized_isa;
+    return values %attrs;
 }
 
 sub find_attribute_by_name {
     my ($self, $attr_name) = @_;
-    # keep a record of what we have seen
-    # here, this will handle all the 
-    # inheritence issues because we are 
-    # using the &class_precedence_list
-    my %seen_class;
-    foreach my $class ($self->class_precedence_list()) {
-        next if $seen_class{$class};
-        $seen_class{$class}++;
+    foreach my $class ($self->linearized_isa) {
         # fetch the meta-class ...
         my $meta = $self->initialize($class);
         return $meta->get_attribute($attr_name)
@@ -724,598 +948,692 @@ sub find_attribute_by_name {
     return;
 }
 
+# check if we can reinitialize
+sub is_pristine {
+    my $self = shift;
+
+    # if any local attr is defined
+    return if $self->get_attribute_list;
+
+    # or any non-declared methods
+    if ( my @methods = values %{ $self->get_method_map } ) {
+        my $metaclass = $self->method_metaclass;
+        foreach my $method ( @methods ) {
+            return if $method->isa("Class::MOP::Method::Generated");
+            # FIXME do we need to enforce this too? return unless $method->isa($metaclass);
+        }
+    }
+
+    return 1;
+}
+
 ## Class closing
 
 sub is_mutable   { 1 }
 sub is_immutable { 0 }
 
+sub immutable_transformer { $_[0]->{immutable_transformer} }
+sub _set_immutable_transformer { $_[0]->{immutable_transformer} = $_[1] }
+
 {
-    # NOTE:
-    # the immutable version of a 
-    # particular metaclass is 
-    # really class-level data so 
-    # we don't want to regenerate 
-    # it any more than we need to
-    my $IMMUTABLE_METACLASS;
-    sub make_immutable {
-        my ($self) = @_;
-        
-        $IMMUTABLE_METACLASS ||= Class::MOP::Immutable->new($self, {
-            read_only   => [qw/superclasses/],
-            cannot_call => [qw/
+    my %Default_Immutable_Options = (
+        read_only   => [qw/superclasses/],
+        cannot_call => [
+            qw/
                 add_method
                 alias_method
                 remove_method
                 add_attribute
                 remove_attribute
-                add_package_symbol
-                remove_package_symbol            
-            /],
-            memoize     => {
-                class_precedence_list             => 'ARRAY',
-                compute_all_applicable_attributes => 'ARRAY',            
-                get_meta_instance                 => 'SCALAR',     
-                get_method_map                    => 'SCALAR',     
-            }
-        });   
-        
-        $IMMUTABLE_METACLASS->make_metaclass_immutable(@_)     
+                remove_package_symbol
+                /
+        ],
+        memoize => {
+            class_precedence_list => 'ARRAY',
+            # FIXME perl 5.10 memoizes this on its own, no need?
+            linearized_isa                    => 'ARRAY',
+            get_all_methods                   => 'ARRAY',
+            get_all_method_names              => 'ARRAY',
+            compute_all_applicable_attributes => 'ARRAY',
+            get_meta_instance                 => 'SCALAR',
+            get_method_map                    => 'SCALAR',
+        },
+
+        # NOTE:
+        # this is ugly, but so are typeglobs,
+        # so whattayahgonnadoboutit
+        # - SL
+        wrapped => {
+            add_package_symbol => sub {
+                my $original = shift;
+                confess "Cannot add package symbols to an immutable metaclass"
+                    unless ( caller(2) )[3] eq
+                    'Class::MOP::Package::get_package_symbol';
+
+                # This is a workaround for a bug in 5.8.1 which thinks that
+                # goto $original->body
+                # is trying to go to a label
+                my $body = $original->body;
+                goto $body;
+            },
+        },
+    );
+
+    sub make_immutable {
+        my $self = shift;
+
+        return if $self->is_immutable;
+
+        my $transformer = $self->immutable_transformer
+            || Class::MOP::Immutable->new(
+            $self,
+            %Default_Immutable_Options,
+            @_
+            );
+
+        $self->_set_immutable_transformer($transformer);
+
+        $transformer->make_metaclass_immutable;
     }
 }
 
+sub make_mutable {
+    my $self = shift;
+
+    return if $self->is_mutable;
+
+    $self->immutable_transformer->make_metaclass_mutable;
+}
+
 1;
 
 __END__
 
 =pod
 
-=head1 NAME 
+=head1 NAME
 
 Class::MOP::Class - Class Meta Object
 
 =head1 SYNOPSIS
 
-  # assuming that class Foo 
+  # assuming that class Foo
   # has been defined, you can
-  
+
   # use this for introspection ...
-  
+
   # add a method to Foo ...
-  Foo->meta->add_method('bar' => sub { ... })
-  
-  # get a list of all the classes searched 
-  # the method dispatcher in the correct order 
-  Foo->meta->class_precedence_list()
-  
-  # remove a method from Foo
-  Foo->meta->remove_method('bar');
-  
-  # or use this to actually create classes ...
-  
-  Class::MOP::Class->create('Bar' => (
-      version      => '0.01',
-      superclasses => [ 'Foo' ],
-      attributes => [
-          Class::MOP:::Attribute->new('$bar'),
-          Class::MOP:::Attribute->new('$baz'),          
-      ],
-      methods => {
-          calculate_bar => sub { ... },
-          construct_baz => sub { ... }          
-      }
-  ));
+  Foo->meta->add_method( 'bar' => sub {...} )
 
-=head1 DESCRIPTION
+      # get a list of all the classes searched
+      # the method dispatcher in the correct order
+      Foo->meta->class_precedence_list()
 
-This is the largest and currently most complex part of the Perl 5 
-meta-object protocol. It controls the introspection and 
-manipulation of Perl 5 classes (and it can create them too). The 
-best way to understand what this module can do, is to read the 
-documentation for each of it's methods.
+      # remove a method from Foo
+      Foo->meta->remove_method('bar');
 
-=head1 METHODS
+  # or use this to actually create classes ...
 
-=head2 Self Introspection
+  Class::MOP::Class->create(
+      'Bar' => (
+          version      => '0.01',
+          superclasses => ['Foo'],
+          attributes   => [
+              Class::MOP:: : Attribute->new('$bar'),
+              Class::MOP:: : Attribute->new('$baz'),
+          ],
+          methods => {
+              calculate_bar => sub {...},
+              construct_baz => sub {...}
+          }
+      )
+  );
 
-=over 4
+=head1 DESCRIPTION
 
-=item B<meta>
+The Class Protocol is the largest and most complex part of the
+Class::MOP meta-object protocol. It controls the introspection and
+manipulation of Perl 5 classes, and it can create them as well. The
+best way to understand what this module can do, is to read the
+documentation for each of its methods.
 
-This will return a B<Class::MOP::Class> instance which is related 
-to this class. Thereby allowing B<Class::MOP::Class> to actually 
-introspect itself.
+=head1 INHERITANCE
 
-As with B<Class::MOP::Attribute>, B<Class::MOP> will actually 
-bootstrap this module by installing a number of attribute meta-objects 
-into it's metaclass. This will allow this class to reap all the benifits 
-of the MOP when subclassing it. 
+C<Class::MOP::Class> is a subclass of L<Class::MOP::Module>.
 
-=back
+=head1 METHODS
 
 =head2 Class construction
 
-These methods will handle creating B<Class::MOP::Class> objects, 
-which can be used to both create new classes, and analyze 
-pre-existing classes. 
+These methods all create new C<Class::MOP::Class> objects. These
+objects can represent existing classes, or they can be used to create
+new classes from scratch.
 
-This module will internally store references to all the instances 
-you create with these methods, so that they do not need to be 
-created any more than nessecary. Basically, they are singletons.
+The metaclass object for a given class is a singleton. If you attempt
+to create a metaclass for the same class twice, you will just get the
+existing object.
 
 =over 4
 
-=item B<create ($package_name, 
-                version      =E<gt> ?$version,                 
-                authority    =E<gt> ?$authority,                                 
-                superclasses =E<gt> ?@superclasses, 
-                methods      =E<gt> ?%methods, 
-                attributes   =E<gt> ?%attributes)>
+=item B<< Class::MOP::Class->create($package_name, %options) >>
 
-This returns a B<Class::MOP::Class> object, bringing the specified 
-C<$package_name> into existence and adding any of the C<$version>, 
-C<$authority>, C<@superclasses>, C<%methods> and C<%attributes> to 
-it.
+This method creates a new C<Class::MOP::Class> object with the given
+package name. It accepts a number of options.
 
-=item B<create_anon_class (superclasses =E<gt> ?@superclasses, 
-                           methods      =E<gt> ?%methods, 
-                           attributes   =E<gt> ?%attributes)>
+=over 8
 
-This will create an anonymous class, it works much like C<create> but 
-it does not need a C<$package_name>. Instead it will create a suitably 
-unique package name for you to stash things into.
+=item * version
 
-On very important distinction is that anon classes are destroyed once 
-the metaclass they are attached to goes out of scope. In the DESTROY 
-method, the created package will be removed from the symbol table. 
+An optional version number for the newly created package.
 
-=item B<initialize ($package_name, %options)>
+=item * authority
 
-This initializes and returns returns a B<Class::MOP::Class> object 
-for a given a C<$package_name>.
+An optional authority for the newly created package.
 
-=item B<reinitialize ($package_name, %options)>
+=item * superclasses
 
-This removes the old metaclass, and creates a new one in it's place.
-Do B<not> use this unless you really know what you are doing, it could 
-very easily make a very large mess of your program. 
+An optional array reference of superclass names.
 
-=item B<construct_class_instance (%options)>
+=item * methods
 
-This will construct an instance of B<Class::MOP::Class>, it is 
-here so that we can actually "tie the knot" for B<Class::MOP::Class> 
-to use C<construct_instance> once all the bootstrapping is done. This 
-method is used internally by C<initialize> and should never be called
-from outside of that method really.
+An optional hash reference of methods for the class. The keys of the
+hash reference are method names, and values are subroutine references.
 
-=item B<check_metaclass_compatability>
+=item * attributes
 
-This method is called as the very last thing in the 
-C<construct_class_instance> method. This will check that the 
-metaclass you are creating is compatible with the metaclasses of all 
-your ancestors. For more inforamtion about metaclass compatibility 
-see the C<About Metaclass compatibility> section in L<Class::MOP>.
+An optional array reference of attributes.
+
+An attribute can be passed as an existing L<Class::MOP::Attribute>
+object, I<or> or as a hash reference of options which will be passed
+to the attribute metaclass's constructor.
 
 =back
 
-=head2 Object instance construction and cloning
+=item B<< Class::MOP::Class->create_anon_class(%options) >>
 
-These methods are B<entirely optional>, it is up to you whether you want 
-to use them or not.
+This method works just like C<< Class::MOP::Class->create >> but it
+creates an "anonymous" class. In fact, the class does have a name, but
+that name is a unique name generated internally by this module.
 
-=over 4
+It accepts the same C<superclasses>, C<methods>, and C<attributes>
+parameters that C<create> accepts.
 
-=item B<instance_metaclass>
+Anonymous classes are destroyed once the metaclass they are attached
+to goes out of scope, and will be removed from Perl's internal symbol
+table.
 
-=item B<get_meta_instance>
+All instances of an anonymous class keep a special reference to the
+metaclass object, which prevents the metaclass from going out of scope
+while any instances exist.
 
-=item B<new_object (%params)>
+This only works if the instance if based on a hash reference, however.
 
-This is a convience method for creating a new object of the class, and 
-blessing it into the appropriate package as well. Ideally your class 
-would call a C<new> this method like so:
+=item B<< Class::MOP::Class->initialize($package_name, %options) >>
 
-  sub MyClass::new { 
-      my ($class, %param) = @_;
-      $class->meta->new_object(%params);
-  }
+This method will initialize a C<Class::MOP::Class> object for the
+named package. Unlike C<create>, this method I<will not> create a new
+class.
+
+The purpose of this method is to retrieve a C<Class::MOP::Class>
+object for introspecting an existing class.
+
+If an existing C<Class::MOP::Class> object exists for the named
+package, it will be returned, and any options provided will be
+ignored!
+
+If the object does not yet exist, it will be created.
+
+The valid options that can be passed to this method are
+C<attribute_metaclass>, C<method_metaclass>,
+C<wrapped_method_metaclass>, and C<instance_metaclass>. These are all
+optional, and default to the appropriate class in the C<Class::MOP>
+distribution.
 
-Of course the ideal place for this would actually be in C<UNIVERSAL::> 
-but that is considered bad style, so we do not do that.
+=back
+
+=head2 Object instance construction and cloning
 
-=item B<construct_instance (%params)>
+These methods are all related to creating and/or cloning object
+instances.
 
-This method is used to construct an instace structure suitable for 
-C<bless>-ing into your package of choice. It works in conjunction 
-with the Attribute protocol to collect all applicable attributes.
+=over 4
+
+=item B<< $metaclass->clone_object($instance, %params) >>
 
-This will construct and instance using a HASH ref as storage 
-(currently only HASH references are supported). This will collect all 
-the applicable attributes and layout out the fields in the HASH ref, 
-it will then initialize them using either use the corresponding key 
-in C<%params> or any default value or initializer found in the 
-attribute meta-object.
+This method clones an existing object instance. Any parameters you
+provide are will override existing attribute values in the object.
 
-=item B<clone_object ($instance, %params)>
+This is a convenience method for cloning an object instance, then
+blessing it into the appropriate package.
 
-This is a convience method for cloning an object instance, then  
-blessing it into the appropriate package. This method will call 
-C<clone_instance>, which performs a shallow copy of the object, 
-see that methods documentation for more details. Ideally your 
-class would call a C<clone> this method like so:
+You could implement a clone method in your class, using this method:
 
-  sub MyClass::clone {
-      my ($self, %param) = @_;
+  sub clone {
+      my ($self, %params) = @_;
       $self->meta->clone_object($self, %params);
   }
 
-Of course the ideal place for this would actually be in C<UNIVERSAL::> 
-but that is considered bad style, so we do not do that.
+=item B<< $metaclass->rebless_instance($instance, %params) >>
+
+This method changes the class of C<$instance> to the metaclass's class.
 
-=item B<clone_instance($instance, %params)>
+You can only rebless an instance into a subclass of its current
+class. If you pass any additional parameters, these will be treated
+like constructor parameters and used to initialize the object's
+attributes. Any existing attributes that are already set will be
+overwritten.
 
-This method is a compliment of C<construct_instance> (which means if 
-you override C<construct_instance>, you need to override this one too), 
-and clones the instance shallowly.
+=item B<< $metaclass->new_object(%params) >>
 
-The cloned structure returned is (like with C<construct_instance>) an 
-unC<bless>ed HASH reference, it is your responsibility to then bless 
-this cloned structure into the right class (which C<clone_object> will
-do for you).
+This method is used to create a new object of the metaclass's
+class. Any parameters you provide are used to initialize the
+instance's attributes.
 
-As of 0.11, this method will clone the C<$instance> structure shallowly, 
-as opposed to the deep cloning implemented in prior versions. After much 
-thought, research and discussion, I have decided that anything but basic 
-shallow cloning is outside the scope of the meta-object protocol. I 
-think Yuval "nothingmuch" Kogman put it best when he said that cloning 
-is too I<context-specific> to be part of the MOP.
+=item B<< $metaclass->instance_metaclass >>
+
+Returns the class name of the instance metaclass, see
+L<Class::MOP::Instance> for more information on the instance
+metaclasses.
+
+=item B<< $metaclass->get_meta_instance >>
+
+Returns an instance of the C<instance_metaclass> to be used in the
+construction of a new instance of the class.
 
 =back
 
-=head2 Informational 
+=head2 Informational predicates
 
-These are a few predicate methods for asking information about the class.
+These are a few predicate methods for asking information about the
+class itself.
 
 =over 4
 
-=item B<is_anon_class>
+=item B<< $metaclass->is_anon_class >>
 
-This returns true if the class is a C<Class::MOP::Class> created anon class.
+This returns true if the class was created by calling C<<
+Class::MOP::Class->create_anon_class >>.
 
-=item B<is_mutable>
+=item B<< $metaclass->is_mutable >>
 
 This returns true if the class is still mutable.
 
-=item B<is_immutable>
+=item B<< $metaclass->is_immutable >>
 
 This returns true if the class has been made immutable.
 
+=item B<< $metaclass->is_pristine >>
+
+A class is I<not> pristine if it has non-inherited attributes or if it
+has any generated methods.
+
 =back
 
 =head2 Inheritance Relationships
 
 =over 4
 
-=item B<superclasses (?@superclasses)>
+=item B<< $metaclass->superclasses(@superclasses) >>
+
+This is a read-write accessor which represents the superclass
+relationships of the metaclass's class.
 
-This is a read-write attribute which represents the superclass 
-relationships of the class the B<Class::MOP::Class> instance is
-associated with. Basically, it can get and set the C<@ISA> for you.
+This is basically sugar around getting and setting C<@ISA>.
 
-B<NOTE:>
-Perl will occasionally perform some C<@ISA> and method caching, if 
-you decide to change your superclass relationship at runtime (which 
-is quite insane and very much not recommened), then you should be 
-aware of this and the fact that this module does not make any 
-attempt to address this issue.
+=item B<< $metaclass->class_precedence_list >>
 
-=item B<class_precedence_list>
+This returns a list of all of the class's ancestor classes. The
+classes are returned in method dispatch order.
 
-This computes the a list of all the class's ancestors in the same order 
-in which method dispatch will be done. This is similair to 
-what B<Class::ISA::super_path> does, but we don't remove duplicate names.
+=item B<< $metaclass->linearized_isa >>
+
+This returns a list based on C<class_precedence_list> but with all
+duplicates removed.
+
+=item B<< $metaclass->subclasses >>
+
+This returns a list of subclasses for this class.
 
 =back
 
-=head2 Methods
+=head2 Method introspection and creation
 
-=over 4
+These methods allow you to introspect a class's methods, as well as
+add, remove, or change methods.
+
+Determining what is truly a method in a Perl 5 class requires some
+heuristics (aka guessing).
 
-=item B<get_method_map>
+Methods defined outside the package with a fully qualified name (C<sub
+Package::name { ... }>) will be included. Similarly, methods named
+with a fully qualified name using L<Sub::Name> are also included.
 
-=item B<method_metaclass>
+However, we attempt to ignore imported functions.
 
-=item B<add_method ($method_name, $method)>
+Ultimately, we are using heuristics to determine what truly is a
+method in a class, and these heuristics may get the wrong answer in
+some edge cases. However, for most "normal" cases the heuristics work
+correctly.
 
-This will take a C<$method_name> and CODE reference to that 
-C<$method> and install it into the class's package. 
+=over 4
 
-B<NOTE>: 
-This does absolutely nothing special to C<$method> 
-other than use B<Sub::Name> to make sure it is tagged with the 
-correct name, and therefore show up correctly in stack traces and 
-such.
+=item B<< $metaclass->get_method($method_name) >>
 
-=item B<alias_method ($method_name, $method)>
+This will return a L<Class::MOP::Method> for the specified
+C<$method_name>. If the class does not have the specified method, it
+returns C<undef>
 
-This will take a C<$method_name> and CODE reference to that 
-C<$method> and alias the method into the class's package. 
+=item B<< $metaclass->has_method($method_name) >>
 
-B<NOTE>: 
-Unlike C<add_method>, this will B<not> try to name the 
-C<$method> using B<Sub::Name>, it only aliases the method in 
-the class's package. 
+Returns a boolean indicating whether or not the class defines the
+named method. It does not include methods inherited from parent
+classes.
 
-=item B<has_method ($method_name)>
+=item B<< $metaclass->get_method_map >>
 
-This just provides a simple way to check if the class implements 
-a specific C<$method_name>. It will I<not> however, attempt to check 
-if the class inherits the method (use C<UNIVERSAL::can> for that).
+Returns a hash reference representing the methods defined in this
+class. The keys are method names and the values are
+L<Class::MOP::Method> objects.
 
-This will correctly handle functions defined outside of the package 
-that use a fully qualified name (C<sub Package::name { ... }>).
+=item B<< $metaclass->get_method_list >>
 
-This will correctly handle functions renamed with B<Sub::Name> and 
-installed using the symbol tables. However, if you are naming the 
-subroutine outside of the package scope, you must use the fully 
-qualified name, including the package name, for C<has_method> to 
-correctly identify it. 
+This will return a list of method I<names> for all methods defined in
+this class.
 
-This will attempt to correctly ignore functions imported from other 
-packages using B<Exporter>. It breaks down if the function imported 
-is an C<__ANON__> sub (such as with C<use constant>), which very well 
-may be a valid method being applied to the class. 
+=item B<< $metaclass->get_all_methods >>
 
-In short, this method cannot always be trusted to determine if the 
-C<$method_name> is actually a method. However, it will DWIM about 
-90% of the time, so it's a small trade off I think.
+This will traverse the inheritance hierarchy and return a list of all
+the L<Class::MOP::Method> objects for this class and its parents.
 
-=item B<get_method ($method_name)>
+=item B<< $metaclass->find_method_by_name($method_name) >>
 
-This will return a Class::MOP::Method instance related to the specified 
-C<$method_name>, or return undef if that method does not exist.
+This will return a L<Class::MOP::Method> for the specified
+C<$method_name>. If the class does not have the specified method, it
+returns C<undef>
 
-The Class::MOP::Method is codifiable, so you can use it like a normal 
-CODE reference, see L<Class::MOP::Method> for more information.
+Unlike C<get_method>, this method I<will> look for the named method in
+superclasses.
 
-=item B<find_method_by_name ($method_name>
+=item B<< $metaclass->get_all_method_names >>
 
-This will return a CODE reference of the specified C<$method_name>,
-or return undef if that method does not exist.
+This will return a list of method I<names> for all of this class's
+methods, including inherited methods.
 
-Unlike C<get_method> this will also look in the superclasses.
+=item B<< $metaclass->find_all_methods_by_name($method_name) >>
 
-=item B<remove_method ($method_name)>
+This method looks for the named method in the class and all of its
+parents. It returns every matching method it finds in the inheritance
+tree, so it returns a list of methods.
 
-This will attempt to remove a given C<$method_name> from the class. 
-It will return the CODE reference that it has removed, and will 
-attempt to use B<Sub::Name> to clear the methods associated name.
+Each method is returned as a hash reference with three keys. The keys
+are C<name>, C<class>, and C<code>. The C<code> key has a
+L<Class::MOP::Method> object as its value.
 
-=item B<get_method_list>
+The list of methods is distinct.
 
-This will return a list of method names for all I<locally> defined 
-methods. It does B<not> provide a list of all applicable methods, 
-including any inherited ones. If you want a list of all applicable 
-methods, use the C<compute_all_applicable_methods> method.
+=item B<< $metaclass->find_next_method_by_name($method_name) >>
 
-=item B<compute_all_applicable_methods>
+This method returns the first method in any superclass matching the
+given name. It is effectively the method that C<SUPER::$method_name>
+would dispatch to.
 
-This will return a list of all the methods names this class will 
-respond to, taking into account inheritance. The list will be a list of 
-HASH references, each one containing the following information; method 
-name, the name of the class in which the method lives and a CODE 
-reference for the actual method.
+=item B<< $metaclass->add_method($method_name, $method) >>
 
-=item B<find_all_methods_by_name ($method_name)>
+This method takes a method name and a subroutine reference, and adds
+the method to the class.
 
-This will traverse the inheritence hierarchy and locate all methods 
-with a given C<$method_name>. Similar to 
-C<compute_all_applicable_methods> it returns a list of HASH references 
-with the following information; method name (which will always be the 
-same as C<$method_name>), the name of the class in which the method 
-lives and a CODE reference for the actual method.
+The subroutine reference can be a L<Class::MOP::Method>, and you are
+strongly encouraged to pass a meta method object instead of a code
+reference. If you do so, that object gets stored as part of the
+class's method map directly. If not, the meta information will have to
+be recreated later, and may be incorrect.
 
-The list of methods produced is a distinct list, meaning there are no 
-duplicates in it. This is especially useful for things like object 
-initialization and destruction where you only want the method called 
-once, and in the correct order.
+If you provide a method object, this method will clone that object if
+the object's package name does not match the class name. This lets us
+track the original source of any methods added from other classes
+(notably Moose roles).
 
-=item B<find_next_method_by_name ($method_name)>
+=item B<< $metaclass->remove_method($method_name) >>
 
-This will return the first method to match a given C<$method_name> in 
-the superclasses, this is basically equivalent to calling 
-C<SUPER::$method_name>, but it can be dispatched at runtime.
+Remove the named method from the class. This method returns the
+L<Class::MOP::Method> object for the method.
 
 =back
 
-=head2 Method Modifiers
+=head2 Attribute introspection and creation
 
-Method modifiers are a concept borrowed from CLOS, in which a method 
-can be wrapped with I<before>, I<after> and I<around> method modifiers 
-that will be called everytime the method is called. 
+Because Perl 5 does not have a core concept of attributes in classes,
+we can only return information about attributes which have been added
+via this class's methods. We cannot discover information about
+attributes which are defined in terms of "regular" Perl 5 methods.
 
-=head3 How method modifiers work?
+=over 4
 
-Method modifiers work by wrapping the original method and then replacing 
-it in the classes symbol table. The wrappers will handle calling all the 
-modifiers in the appropariate orders and preserving the calling context 
-for the original method. 
-
-Each method modifier serves a particular purpose, which may not be 
-obvious to users of other method wrapping modules. To start with, the 
-return values of I<before> and I<after> modifiers are ignored. This is 
-because thier purpose is B<not> to filter the input and output of the 
-primary method (this is done with an I<around> modifier). This may seem 
-like an odd restriction to some, but doing this allows for simple code 
-to be added at the begining or end of a method call without jeapordizing 
-the normal functioning of the primary method or placing any extra 
-responsibility on the code of the modifier. Of course if you have more 
-complex needs, then use the I<around> modifier, which uses a variation 
-of continutation passing style to allow for a high degree of flexibility. 
-
-Before and around modifiers are called in last-defined-first-called order, 
-while after modifiers are called in first-defined-first-called order. So 
-the call tree might looks something like this:
-  
-  before 2
-   before 1
-    around 2
-     around 1
-      primary
-     after 1
-    after 2
+=item B<< $metaclass->get_attribute($attribute_name) >>
 
-To see examples of using method modifiers, see the following examples 
-included in the distribution; F<InstanceCountingClass>, F<Perl6Attribute>, 
-F<AttributesWithHistory> and F<C3MethodDispatchOrder>. There is also a 
-classic CLOS usage example in the test F<017_add_method_modifier.t>.
+This will return a L<Class::MOP::Attribute> for the specified
+C<$attribute_name>. If the class does not have the specified
+attribute, it returns C<undef>
 
-=head3 What is the performance impact?
+=item B<< $metaclass->has_attribute($attribute_name) >>
 
-Of course there is a performance cost associated with method modifiers, 
-but we have made every effort to make that cost be directly proportional 
-to the amount of modifier features you utilize.
+Returns a boolean indicating whether or not the class defines the
+named attribute. It does not include attributes inherited from parent
+classes.
 
-The wrapping method does it's best to B<only> do as much work as it 
-absolutely needs to. In order to do this we have moved some of the 
-performance costs to set-up time, where they are easier to amortize.
+=item B<< $metaclass->get_attribute_map >>
 
-All this said, my benchmarks have indicated the following:
+Returns a hash reference representing the attributes defined in this
+class. The keys are attribute names and the values are
+L<Class::MOP::Attribute> objects.
 
-  simple wrapper with no modifiers             100% slower
-  simple wrapper with simple before modifier   400% slower
-  simple wrapper with simple after modifier    450% slower
-  simple wrapper with simple around modifier   500-550% slower
-  simple wrapper with all 3 modifiers          1100% slower
+=item B<< $metaclass->get_attribute_list >>
 
-These numbers may seem daunting, but you must remember, every feature 
-comes with some cost. To put things in perspective, just doing a simple 
-C<AUTOLOAD> which does nothing but extract the name of the method called
-and return it costs about 400% over a normal method call. 
+This will return a list of attributes I<names> for all attributes
+defined in this class.
 
-=over 4
+=item B<< $metaclass->get_all_attributes >>
+
+This will traverse the inheritance hierarchy and return a list of all
+the L<Class::MOP::Attribute> objects for this class and its parents.
+
+This method can also be called as C<compute_all_applicable_attributes>.
+
+=item B<< $metaclass->find_attribute_by_name($attribute_name) >>
+
+This will return a L<Class::MOP::Attribute> for the specified
+C<$attribute_name>. If the class does not have the specified
+attribute, it returns C<undef>
+
+Unlike C<get_attribute>, this attribute I<will> look for the named
+attribute in superclasses.
+
+=item B<< $metaclass->add_attribute(...) >>
+
+This method accepts either an existing L<Class::MOP::Attribute>
+object, or parameters suitable for passing to that class's C<new>
+method.
 
-=item B<add_before_method_modifier ($method_name, $code)>
+The attribute provided will be added to the class.
 
-This will wrap the method at C<$method_name> and the supplied C<$code> 
-will be passed the C<@_> arguments, and called before the original 
-method is called. As specified above, the return value of the I<before> 
-method modifiers is ignored, and it's ability to modify C<@_> is 
-fairly limited. If you need to do either of these things, use an 
-C<around> method modifier.
+Any accessor methods defined by the attribute will be added to the
+class when the attribute is added.
 
-=item B<add_after_method_modifier ($method_name, $code)>
+If an attribute of the same name already exists, the old attribute
+will be removed first.
 
-This will wrap the method at C<$method_name> so that the original 
-method will be called, it's return values stashed, and then the 
-supplied C<$code> will be passed the C<@_> arguments, and called.
-As specified above, the return value of the I<after> method 
-modifiers is ignored, and it cannot modify the return values of 
-the original method. If you need to do either of these things, use an 
-C<around> method modifier.
+=item B<< $metaclass->remove_attribute($attribute_name) >>
 
-=item B<add_around_method_modifier ($method_name, $code)>
+This will remove the named attribute from the class, and
+L<Class::MOP::Attribute> object.
 
-This will wrap the method at C<$method_name> so that C<$code> 
-will be called and passed the original method as an extra argument 
-at the begining of the C<@_> argument list. This is a variation of 
-continuation passing style, where the function prepended to C<@_> 
-can be considered a continuation. It is up to C<$code> if it calls 
-the original method or not, there is no restriction on what the 
-C<$code> can or cannot do.
+Removing an attribute also removes any accessor methods defined by the
+attribute.
+
+However, note that removing an attribute will only affect I<future>
+object instances created for this class, not existing instances.
+
+=item B<< $metaclass->attribute_metaclass >>
+
+Returns the class name of the attribute metaclass for this class. By
+default, this is L<Class::MOP::Attribute>.  for more information on
 
 =back
 
-=head2 Attributes
+=head2 Class Immutability
+
+Making a class immutable "freezes" the class definition. You can no
+longer call methods which alter the class, such as adding or removing
+methods or attributes.
+
+Making a class immutable lets us optimize the class by inlining some
+methods, and also allows us to optimize some methods on the metaclass
+object itself.
 
-It should be noted that since there is no one consistent way to define 
-the attributes of a class in Perl 5. These methods can only work with 
-the information given, and can not easily discover information on 
-their own. See L<Class::MOP::Attribute> for more details.
+The immutabilization system in L<Moose> takes much greater advantage
+of the inlining features than Class::MOP itself does.
 
 =over 4
 
-=item B<attribute_metaclass>
+=item B<< $metaclass->make_immutable(%options) >>
+
+This method will create an immutable transformer and uses it to make
+the class and its metaclass object immutable.
+
+Details of how immutabilization works are in L<Class::MOP::Immutable>
+documentation.
+
+=item B<< $metaclass->make_mutable >>
+
+Calling this method reverse the immutabilization transformation.
+
+=item B<< $metaclass->immutable_transformer >>
+
+If the class has been made immutable previously, this returns the
+L<Class::MOP::Immutable> object that was created to do the
+transformation.
+
+If the class was never made immutable, this method will die.
+
+=back
+
+=head2 Method Modifiers
+
+Method modifiers are hooks which allow a method to be wrapped with
+I<before>, I<after> and I<around> method modifiers. Every time a
+method is called, it's modifiers are also called.
+
+A class can modify its own methods, as well as methods defined in
+parent classes.
+
+=head3 How method modifiers work?
+
+Method modifiers work by wrapping the original method and then
+replacing it in the class's symbol table. The wrappers will handle
+calling all the modifiers in the appropriate order and preserving the
+calling context for the original method.
+
+The return values of C<before> and C<after> modifiers are
+ignored. This is because their purpose is B<not> to filter the input
+and output of the primary method (this is done with an I<around>
+modifier).
 
-=item B<get_attribute_map>
+This may seem like an odd restriction to some, but doing this allows
+for simple code to be added at the beginning or end of a method call
+without altering the function of the wrapped method or placing any
+extra responsibility on the code of the modifier.
 
-=item B<add_attribute ($attribute_meta_object | $attribute_name, %attribute_spec)>
+Of course if you have more complex needs, you can use the C<around>
+modifier which allows you to change both the parameters passed to the
+wrapped method, as well as its return value.
 
-This stores the C<$attribute_meta_object> (or creates one from the
-C<$attribute_name> and C<%attribute_spec>) in the B<Class::MOP::Class> 
-instance associated with the given class. Unlike methods, attributes 
-within the MOP are stored as meta-information only. They will be used 
-later to construct instances from (see C<construct_instance> above).
-More details about the attribute meta-objects can be found in the 
-L<Class::MOP::Attribute> or the L<Class::MOP/The Attribute protocol>
-section.
+Before and around modifiers are called in last-defined-first-called
+order, while after modifiers are called in first-defined-first-called
+order. So the call tree might looks something like this:
 
-It should be noted that any accessor, reader/writer or predicate 
-methods which the C<$attribute_meta_object> has will be installed 
-into the class at this time.
+  before 2
+   before 1
+    around 2
+     around 1
+      primary
+     around 1
+    around 2
+   after 1
+  after 2
 
-B<NOTE>
-If an attribute already exists for C<$attribute_name>, the old one 
-will be removed (as well as removing all it's accessors), and then 
-the new one added.
+=head3 What is the performance impact?
 
-=item B<has_attribute ($attribute_name)>
+Of course there is a performance cost associated with method
+modifiers, but we have made every effort to make that cost directly
+proportional to the number of modifier features you utilize.
 
-Checks to see if this class has an attribute by the name of 
-C<$attribute_name> and returns a boolean.
+The wrapping method does it's best to B<only> do as much work as it
+absolutely needs to. In order to do this we have moved some of the
+performance costs to set-up time, where they are easier to amortize.
 
-=item B<get_attribute ($attribute_name)>
+All this said, our benchmarks have indicated the following:
 
-Returns the attribute meta-object associated with C<$attribute_name>, 
-if none is found, it will return undef. 
+  simple wrapper with no modifiers             100% slower
+  simple wrapper with simple before modifier   400% slower
+  simple wrapper with simple after modifier    450% slower
+  simple wrapper with simple around modifier   500-550% slower
+  simple wrapper with all 3 modifiers          1100% slower
+
+These numbers may seem daunting, but you must remember, every feature
+comes with some cost. To put things in perspective, just doing a
+simple C<AUTOLOAD> which does nothing but extract the name of the
+method called and return it costs about 400% over a normal method
+call.
+
+=over 4
+
+=item B<< $metaclass->add_before_method_modifier($method_name, $code) >>
 
-=item B<remove_attribute ($attribute_name)>
+This wraps the specified method with the supplied subroutine
+reference. The modifier will be called as a method itself, and will
+receive the same arguments as are passed to the method.
 
-This will remove the attribute meta-object stored at 
-C<$attribute_name>, then return the removed attribute meta-object. 
+When the modifier exits, the wrapped method will be called.
 
-B<NOTE:> 
-Removing an attribute will only affect future instances of 
-the class, it will not make any attempt to remove the attribute from 
-any existing instances of the class.
+The return value of the modifier will be ignored.
 
-It should be noted that any accessor, reader/writer or predicate 
-methods which the attribute meta-object stored at C<$attribute_name> 
-has will be removed from the class at this time. This B<will> make 
-these attributes somewhat inaccessable in previously created 
-instances. But if you are crazy enough to do this at runtime, then 
-you are crazy enough to deal with something like this :).
+=item B<< $metaclass->add_after_method_modifier($method_name, $code) >>
 
-=item B<get_attribute_list>
+This wraps the specified method with the supplied subroutine
+reference. The modifier will be called as a method itself, and will
+receive the same arguments as are passed to the method.
 
-This returns a list of attribute names which are defined in the local 
-class. If you want a list of all applicable attributes for a class, 
-use the C<compute_all_applicable_attributes> method.
+When the wrapped methods exits, the modifier will be called.
 
-=item B<compute_all_applicable_attributes>
+The return value of the modifier will be ignored.
 
-This will traverse the inheritance heirachy and return a list of all 
-the applicable attributes for this class. It does not construct a 
-HASH reference like C<compute_all_applicable_methods> because all 
-that same information is discoverable through the attribute 
-meta-object itself.
+=item B<< $metaclass->add_around_method_modifier($method_name, $code) >>
 
-=item B<find_attribute_by_name ($attr_name)>
+This wraps the specified method with the supplied subroutine
+reference.
 
-This method will traverse the inheritance heirachy and find the 
-first attribute whose name matches C<$attr_name>, then return it. 
-It will return undef if nothing is found.
+The first argument passed to the modifier will be a subroutine
+reference to the wrapped method. The second argument is the object,
+and after that come any arguments passed when the method is called.
+
+The around modifier can choose to call the original method, as well as
+what arguments to pass if it does so.
+
+The return value of the modifier is what will be seen by the caller.
 
 =back
 
-=head2 Class Immutability
+=head2 Introspection
 
 =over 4
 
-=item B<make_immutable (%options)>
+=item B<< Class::MOP::Class->meta >>
 
-This method will invoke a tranforamtion upon the class which will 
-make it immutable. Details of this transformation can be found in 
-the L<Class::MOP::Immutable> documentation.
+This will return a L<Class::MOP::Class> instance for this class.
+
+It should also be noted that L<Class::MOP> will actually bootstrap
+this module by installing a number of attribute meta-objects into its
+metaclass.
 
 =back
 
@@ -1323,15 +1641,13 @@ the L<Class::MOP::Immutable> documentation.
 
 Stevan Little E<lt>stevan@iinteractive.comE<gt>
 
-Yuval Kogman E<lt>nothingmuch@woobling.comE<gt>
-
 =head1 COPYRIGHT AND LICENSE
 
-Copyright 2006, 2007 by Infinity Interactive, Inc.
+Copyright 2006-2009 by Infinity Interactive, Inc.
 
 L<http://www.iinteractive.com>
 
 This library is free software; you can redistribute it and/or modify
-it under the same terms as Perl itself. 
+it under the same terms as Perl itself.
 
 =cut