package Class::MOP::Immutable;
+use strict;
+use warnings;
+
+use Class::MOP::Method::Constructor;
+
+use Carp 'confess';
+use Scalar::Util 'blessed';
+
+our $VERSION = '0.78';
+$VERSION = eval $VERSION;
+our $AUTHORITY = 'cpan:STEVAN';
+
+use base 'Class::MOP::Object';
+
+sub new {
+ my ($class, @args) = @_;
+
+ my ( $metaclass, $options );
+
+ if ( @args == 2 ) {
+ # compatibility args
+ ( $metaclass, $options ) = @args;
+ } else {
+ unshift @args, "metaclass" if @args % 2 == 1;
+
+ # default named args
+ my %options = @args;
+ $options = \%options;
+ $metaclass = $options{metaclass};
+ }
+
+ my $self = $class->_new(
+ 'metaclass' => $metaclass,
+ 'options' => $options,
+ 'immutable_metaclass' => undef,
+ 'inlined_constructor' => undef,
+ );
+
+ return $self;
+}
+
+sub _new {
+ my $class = shift;
+ my $options = @_ == 1 ? $_[0] : {@_};
+
+ bless $options, $class;
+}
+
+sub immutable_metaclass {
+ my $self = shift;
+
+ $self->create_immutable_metaclass unless $self->{'immutable_metaclass'};
+
+ return $self->{'immutable_metaclass'};
+}
+
+sub metaclass { (shift)->{'metaclass'} }
+sub options { (shift)->{'options'} }
+sub inlined_constructor { (shift)->{'inlined_constructor'} }
+
+sub create_immutable_metaclass {
+ my $self = shift;
+
+ # NOTE:
+ # The immutable version of the
+ # metaclass is just a anon-class
+ # which shadows the methods
+ # appropriately
+ $self->{'immutable_metaclass'} = Class::MOP::Class->create_anon_class(
+ superclasses => [ blessed($self->metaclass) ],
+ methods => $self->create_methods_for_immutable_metaclass,
+ );
+}
+
+
+my %DEFAULT_METHODS = (
+ # I don't really understand this, but removing it breaks tests (groditi)
+ meta => sub {
+ my $self = shift;
+ # if it is not blessed, then someone is asking
+ # for the meta of Class::MOP::Immutable
+ return Class::MOP::Class->initialize($self) unless blessed($self);
+ # otherwise, they are asking for the metaclass
+ # which has been made immutable, which is itself
+ # except in the cases where it is a metaclass itself
+ # that has been made immutable and for that we need
+ # to dig a bit ...
+ if ($self->isa('Class::MOP::Class')) {
+ return $self->{'___original_class'}->meta;
+ }
+ else {
+ return $self;
+ }
+ },
+ is_mutable => sub { 0 },
+ is_immutable => sub { 1 },
+ make_immutable => sub { () },
+);
+
+# NOTE:
+# this will actually convert the
+# existing metaclass to an immutable
+# version of itself
+sub make_metaclass_immutable {
+ my ($self, $metaclass, $options) = @_;
+
+ my %options = (
+ inline_accessors => 1,
+ inline_constructor => 1,
+ inline_destructor => 0,
+ constructor_name => 'new',
+ debug => 0,
+ %$options,
+ );
+
+ %$options = %options; # FIXME who the hell is relying on this?!? tests fail =(
+
+ $self->_inline_accessors( $metaclass, \%options );
+ $self->_inline_constructor( $metaclass, \%options );
+ $self->_inline_destructor( $metaclass, \%options );
+ $self->_check_memoized_methods( $metaclass, \%options );
+
+ $metaclass->{'___original_class'} = blessed($metaclass);
+ bless $metaclass => $self->immutable_metaclass->name;
+}
+
+sub _inline_accessors {
+ my ( $self, $metaclass, $options ) = @_;
+
+ return unless $options->{inline_accessors};
+
+ foreach my $attr_name ( $metaclass->get_attribute_list ) {
+ $metaclass->get_attribute($attr_name)->install_accessors(1);
+ }
+}
+
+sub _inline_constructor {
+ my ( $self, $metaclass, $options ) = @_;
+
+ return unless $options->{inline_constructor};
+
+ return
+ unless $options->{replace_constructor}
+ or !$metaclass->has_method( $options->{constructor_name} );
+
+ my $constructor_class = $options->{constructor_class}
+ || 'Class::MOP::Method::Constructor';
+
+ my $constructor = $constructor_class->new(
+ options => $options,
+ metaclass => $metaclass,
+ is_inline => 1,
+ package_name => $metaclass->name,
+ name => $options->{constructor_name},
+ );
+
+ if ( $options->{replace_constructor} or $constructor->can_be_inlined ) {
+ $metaclass->add_method( $options->{constructor_name} => $constructor );
+ $self->{inlined_constructor} = $constructor;
+ }
+}
+
+sub _inline_destructor {
+ my ( $self, $metaclass, $options ) = @_;
+
+ return unless $options->{inline_destructor};
+
+ ( exists $options->{destructor_class} )
+ || confess "The 'inline_destructor' option is present, but "
+ . "no destructor class was specified";
+
+ my $destructor_class = $options->{destructor_class};
+
+ return unless $destructor_class->is_needed($metaclass);
+
+ my $destructor = $destructor_class->new(
+ options => $options,
+ metaclass => $metaclass,
+ package_name => $metaclass->name,
+ name => 'DESTROY'
+ );
+
+ return unless $destructor->is_needed;
+
+ $metaclass->add_method( 'DESTROY' => $destructor )
+}
+
+sub _check_memoized_methods {
+ my ( $self, $metaclass, $options ) = @_;
+
+ my $memoized_methods = $self->options->{memoize};
+ foreach my $method_name ( keys %{$memoized_methods} ) {
+ my $type = $memoized_methods->{$method_name};
+
+ ( $metaclass->can($method_name) )
+ || confess "Could not find the method '$method_name' in "
+ . $metaclass->name;
+ }
+}
+
+sub create_methods_for_immutable_metaclass {
+ my $self = shift;
+
+ my %methods = %DEFAULT_METHODS;
+ my $metaclass = $self->metaclass;
+ my $meta = $metaclass->meta;
+
+ $methods{get_mutable_metaclass_name}
+ = sub { (shift)->{'___original_class'} };
+
+ $methods{immutable_transformer} = sub {$self};
+
+ return {
+ %DEFAULT_METHODS,
+ $self->_make_read_only_methods( $metaclass, $meta ),
+ $self->_make_uncallable_methods( $metaclass, $meta ),
+ $self->_make_memoized_methods( $metaclass, $meta ),
+ $self->_make_wrapped_methods( $metaclass, $meta ),
+ get_mutable_metaclass_name => sub { (shift)->{'___original_class'} },
+ immutable_transformer => sub {$self},
+ };
+}
+
+sub _make_read_only_methods {
+ my ( $self, $metaclass, $meta ) = @_;
+
+ my %methods;
+ foreach my $read_only_method ( @{ $self->options->{read_only} } ) {
+ my $method = $meta->find_method_by_name($read_only_method);
+
+ ( defined $method )
+ || confess "Could not find the method '$read_only_method' in "
+ . $metaclass->name;
+
+ $methods{$read_only_method} = sub {
+ confess "This method is read-only" if scalar @_ > 1;
+ goto &{ $method->body };
+ };
+ }
+
+ return %methods;
+}
+
+sub _make_uncallable_methods {
+ my ( $self, $metaclass, $meta ) = @_;
+
+ my %methods;
+ foreach my $cannot_call_method ( @{ $self->options->{cannot_call} } ) {
+ $methods{$cannot_call_method} = sub {
+ confess
+ "This method ($cannot_call_method) cannot be called on an immutable instance";
+ };
+ }
+
+ return %methods;
+}
+
+sub _make_memoized_methods {
+ my ( $self, $metaclass, $meta ) = @_;
+
+ my %methods;
+
+ my $memoized_methods = $self->options->{memoize};
+ foreach my $method_name ( keys %{$memoized_methods} ) {
+ my $type = $memoized_methods->{$method_name};
+ my $key = '___' . $method_name;
+ my $method = $meta->find_method_by_name($method_name);
+
+ if ( $type eq 'ARRAY' ) {
+ $methods{$method_name} = sub {
+ @{ $_[0]->{$key} } = $method->execute( $_[0] )
+ if !exists $_[0]->{$key};
+ return @{ $_[0]->{$key} };
+ };
+ }
+ elsif ( $type eq 'HASH' ) {
+ $methods{$method_name} = sub {
+ %{ $_[0]->{$key} } = $method->execute( $_[0] )
+ if !exists $_[0]->{$key};
+ return %{ $_[0]->{$key} };
+ };
+ }
+ elsif ( $type eq 'SCALAR' ) {
+ $methods{$method_name} = sub {
+ $_[0]->{$key} = $method->execute( $_[0] )
+ if !exists $_[0]->{$key};
+ return $_[0]->{$key};
+ };
+ }
+ }
+
+ return %methods;
+}
+
+sub _make_wrapped_methods {
+ my ( $self, $metaclass, $meta ) = @_;
+
+ my %methods;
+
+ my $wrapped_methods = $self->options->{wrapped};
+
+ foreach my $method_name ( keys %{$wrapped_methods} ) {
+ my $method = $meta->find_method_by_name($method_name);
+
+ ( defined $method )
+ || confess "Could not find the method '$method_name' in "
+ . $metaclass->name;
+
+ my $wrapper = $wrapped_methods->{$method_name};
+
+ $methods{$method_name} = sub { $wrapper->( $method, @_ ) };
+ }
+
+ return %methods;
+}
+
+sub make_metaclass_mutable {
+ my ($self, $immutable, $options) = @_;
+
+ my %options = %$options;
+
+ my $original_class = $immutable->get_mutable_metaclass_name;
+ delete $immutable->{'___original_class'} ;
+ bless $immutable => $original_class;
+
+ my $memoized_methods = $self->options->{memoize};
+ foreach my $method_name (keys %{$memoized_methods}) {
+ my $type = $memoized_methods->{$method_name};
+
+ ($immutable->can($method_name))
+ || confess "Could not find the method '$method_name' in " . $immutable->name;
+ if ($type eq 'SCALAR' || $type eq 'ARRAY' || $type eq 'HASH' ) {
+ delete $immutable->{'___' . $method_name};
+ }
+ }
+
+ if ($options{inline_destructor} && $immutable->has_method('DESTROY')) {
+ $immutable->remove_method('DESTROY')
+ if blessed($immutable->get_method('DESTROY')) eq $options{destructor_class};
+ }
+
+ # NOTE:
+ # 14:01 <@stevan> nah,. you shouldnt
+ # 14:01 <@stevan> they are just inlined
+ # 14:01 <@stevan> which is the default in Moose anyway
+ # 14:02 <@stevan> and adding new attributes will just DWIM
+ # 14:02 <@stevan> and you really cant change an attribute anyway
+ # if ($options{inline_accessors}) {
+ # foreach my $attr_name ($immutable->get_attribute_list) {
+ # my $attr = $immutable->get_attribute($attr_name);
+ # $attr->remove_accessors;
+ # $attr->install_accessors(0);
+ # }
+ # }
+
+ # 14:26 <@stevan> the only user of ::Method::Constructor is immutable
+ # 14:27 <@stevan> if someone uses it outside of immutable,.. they are either: mst or groditi
+ # 14:27 <@stevan> so I am not worried
+ if ($options{inline_constructor} && $immutable->has_method($options{constructor_name})) {
+ my $constructor_class = $options{constructor_class} || 'Class::MOP::Method::Constructor';
+
+ if ( blessed($immutable->get_method($options{constructor_name})) eq $constructor_class ) {
+ $immutable->remove_method( $options{constructor_name} );
+ $self->{inlined_constructor} = undef;
+ }
+ }
+}
+
1;
__END__
=pod
-Okay, so here is the basic idea.
-
-First, your metaclass must register with Class::MOP::Immutable
-at which point an anon-class is created which will be the
-immutable class which your metaclass will be blessed into.
-
-This allows immutable versions of any metaclass to be created
-on the fly if needed.
-
-NOTE:
-Remember the immutable version of the metaclass will be used to
-construct/convert mutable instances into immutable versions. So
-it itself is a metaclass.
-
- Class::MOP::Immutable->make_immutable_metaclass(
- # name of the metaclass we are
- # making immutable
- metaclass => 'Class::MOP::Class',
-
- # names of some method metaclasses
- # which will be useful in the creation
- # of the immutable versions
- constructor_class => 'Class::MOP::Method::Constructor',
- accessor_class => 'Class::MOP::Method::Accessor', # ?? maybe
-
- # options which the immutable converter
- # will accept, not exactly sure about
- # this one,.. it might have to be hard
- # coded in some way.
- available_options => [qw[
- inline_accessors
- inline_constructor
- constructor_name
- ]],
-
- # multiple lists of things which can
- # be done to the metaclass ..
-
- # make these methods die when called
- disallow => [qw[
- add_method
- alias_method
- remove_method
- add_attribute
- remove_attribute
- add_package_symbol
- remove_package_symbol
- ]],
-
- # memoize the value of these methods
- memoize => [qw[
- class_precedence_list
- compute_all_applicable_attributes
- get_meta_instance
- get_method_map
- ]],
-
- # make these methods read only
- readonly => [qw[
- superclasses
- ]],
- );
-
-Now, this will work just fine for singular metas, but
-we want this to be able to work for extensions to the
-metaclasses as well.
-
-Here is how we do that:
-
- Class::MOP::Immutable->make_immutable_metaclass(
- # the metaclass name ...
- metaclass => 'Moose::Meta::Class',
-
- # inherit the options from immutable
- # parent class (Class::MOP::Class)
- inherit => 1
-
- constructor_class => 'Moose::Method::Constructor',
- accessor_class => 'Moose::Method::Accessor', # ?? maybe
-
- disallow => [qw[
- add_roles
- ...
- ]],
-
- memoize => [qw[
- roles
- ...
- ]]
- );
-
-When you specify C<inherit => 1> you are telling
-Class::MOP::Immutable that you want to inherit your
-parents options. This means that you get all their
-and yours (perhaps some basic conflict resolution
-can be added here as well).
-
-It might make sense to also allow a more granular
-approach such as:
-
- inherit => {
- disallow => 'merge',
- memoize => 'override',
- readonly => 'ignore',
- }
-
-which would allow you to specify in more detail how
-you would like to handle each change. This might be
-more than anyone ever needs so we can probably hold
-off for now.
-
-Ultimately it will be the responsibility of the
-author to make sure their immutable options make sense.
-
-The reason I say this is that you could easily get
-carried away in the number of items you choose to
-memoize or such. This would not make a lot of sense,
-it would make more sense to memoize at the "topmost"
-level instead, rather than all the intermediate ones.
-
-It's basically gonna be a trade off.
+=head1 NAME
-=cut
+Class::MOP::Immutable - A class to transform Class::MOP::Class metaclasses
+
+=head1 SYNOPSIS
+
+ use Class::MOP::Immutable;
+
+ my $immutable_metaclass = Class::MOP::Immutable->new($metaclass, {
+ 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(@_)
+
+=head1 DESCRIPTION
+
+This is basically a module for applying a transformation on a given
+metaclass. Current features include making methods read-only,
+making methods un-callable and memoizing methods (in a type specific
+way too).
+
+This module is not for the feint of heart, it does some whacky things
+to the metaclass in order to make it immutable. If you are just curious,
+I suggest you turn back now, there is nothing to see here.
+
+=head1 METHODS
+=over 4
+
+=item B<new ($metaclass, \%options)>
+
+Given a C<$metaclass> and a set of C<%options> this module will
+prepare an immutable version of the C<$metaclass>, which can then
+be applied to the C<$metaclass> using the C<make_metaclass_immutable>
+method.
+
+=item B<options>
+
+Returns the options HASH set in C<new>.
+
+=item B<metaclass>
+
+Returns the metaclass set in C<new>.
+
+=item B<immutable_metaclass>
+
+Returns the immutable metaclass created within C<new>.
+
+=back
+
+=over 4
+
+=item B<create_immutable_metaclass>
+
+This will create the immutable version of the C<$metaclass>, but will
+not actually change the original metaclass.
+
+=item B<create_methods_for_immutable_metaclass>
+
+This will create all the methods for the immutable metaclass based
+on the C<%options> passed into C<new>.
+
+=item B<make_metaclass_immutable (%options)>
+
+This will actually change the C<$metaclass> into the immutable version.
+
+=item B<make_metaclass_mutable (%options)>
+
+This will change the C<$metaclass> into the mutable version by reversing
+the immutable process. C<%options> should be the same options that were
+given to make_metaclass_immutable.
+
+=item B<inlined_constructor>
+
+If the constructor was inlined, this returns the constructor method
+object that was created to do this.
+
+=back
+
+=head1 AUTHORS
+
+Stevan Little E<lt>stevan@iinteractive.comE<gt>
+
+=head1 COPYRIGHT AND LICENSE
+
+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.
+
+=cut