use Data::OptList;
use List::Util qw( first );
use List::MoreUtils qw( any all uniq first_index );
-use Scalar::Util 'weaken', 'blessed';
-
-our $VERSION = '1.19';
-$VERSION = eval $VERSION;
-our $AUTHORITY = 'cpan:STEVAN';
+use Scalar::Util 'blessed';
use Moose::Meta::Method::Overridden;
use Moose::Meta::Method::Augmented;
__PACKAGE__->meta->add_attribute('roles' => (
reader => 'roles',
- default => sub { [] }
+ default => sub { [] },
+ Class::MOP::_definition_context(),
));
__PACKAGE__->meta->add_attribute('role_applications' => (
reader => '_get_role_applications',
- default => sub { [] }
+ default => sub { [] },
+ Class::MOP::_definition_context(),
));
__PACKAGE__->meta->add_attribute(
Class::MOP::Attribute->new('immutable_trait' => (
accessor => "immutable_trait",
default => 'Moose::Meta::Class::Immutable::Trait',
+ Class::MOP::_definition_context(),
))
);
__PACKAGE__->meta->add_attribute('constructor_class' => (
accessor => 'constructor_class',
default => 'Moose::Meta::Method::Constructor',
+ Class::MOP::_definition_context(),
));
__PACKAGE__->meta->add_attribute('destructor_class' => (
accessor => 'destructor_class',
default => 'Moose::Meta::Method::Destructor',
+ Class::MOP::_definition_context(),
));
__PACKAGE__->meta->add_attribute('error_class' => (
accessor => 'error_class',
default => 'Moose::Error::Default',
+ Class::MOP::_definition_context(),
));
sub initialize {
my $class = shift;
- my $pkg = shift;
- return Class::MOP::get_metaclass_by_name($pkg)
- || $class->SUPER::initialize($pkg,
+ my @args = @_;
+ unshift @args, 'package' if @args % 2;
+ my %opts = @args;
+ my $package = delete $opts{package};
+ return Class::MOP::get_metaclass_by_name($package)
+ || $class->SUPER::initialize($package,
'attribute_metaclass' => 'Moose::Meta::Attribute',
'method_metaclass' => 'Moose::Meta::Method',
'instance_metaclass' => 'Moose::Meta::Instance',
- @_
+ %opts,
);
}
sub create {
- my ($class, $package_name, %options) = @_;
+ my $class = shift;
+ my @args = @_;
+
+ unshift @args, 'package' if @args % 2 == 1;
+ my %options = @args;
(ref $options{roles} eq 'ARRAY')
|| $class->throw_error("You must pass an ARRAY ref of roles", data => $options{roles})
if exists $options{roles};
- my $roles = delete $options{roles};
- my $new_meta = $class->SUPER::create($package_name, %options);
+ my $package = delete $options{package};
+ my $roles = delete $options{roles};
+
+ my $new_meta = $class->SUPER::create($package, %options);
if ($roles) {
Moose::Util::apply_all_roles( $new_meta, @$roles );
return $new_meta;
}
-my %ANON_CLASSES;
-
-sub create_anon_class {
- my ($self, %options) = @_;
-
- my $cache_ok = delete $options{cache};
+sub _meta_method_class { 'Moose::Meta::Method::Meta' }
- my $cache_key
- = _anon_cache_key( $options{superclasses}, $options{roles} );
+sub _anon_package_prefix { 'Moose::Meta::Class::__ANON__::SERIAL::' }
- if ($cache_ok && defined $ANON_CLASSES{$cache_key}) {
- return $ANON_CLASSES{$cache_key};
- }
+sub _anon_cache_key {
+ my $class = shift;
+ my %options = @_;
- $options{weaken} = !$cache_ok
- unless exists $options{weaken};
+ my $superclass_key = join('|',
+ map { $_->[0] } @{ Data::OptList::mkopt($options{superclasses} || []) }
+ );
- my $new_class = $self->SUPER::create_anon_class(%options);
+ my $roles = Data::OptList::mkopt(($options{roles} || []), {
+ moniker => 'role',
+ val_test => sub { ref($_[0]) eq 'HASH' },
+ });
+
+ my @role_keys;
+ for my $role_spec (@$roles) {
+ my ($role, $params) = @$role_spec;
+ $params = { %$params } if $params;
+
+ my $key = blessed($role) ? $role->name : $role;
+
+ if ($params && %$params) {
+ my $alias = delete $params->{'-alias'}
+ || delete $params->{'alias'}
+ || {};
+ my $excludes = delete $params->{'-excludes'}
+ || delete $params->{'excludes'}
+ || [];
+ $excludes = [$excludes] unless ref($excludes) eq 'ARRAY';
+
+ if (%$params) {
+ warn "Roles with parameters cannot be cached. Consider "
+ . "applying the parameters before calling "
+ . "create_anon_class, or using 'weaken => 0' instead";
+ return;
+ }
+
+ my $alias_key = join('%',
+ map { $_ => $alias->{$_} } sort keys %$alias
+ );
+ my $excludes_key = join('%',
+ sort @$excludes
+ );
+ $key .= '<' . join('+', 'a', $alias_key, 'e', $excludes_key) . '>';
+ }
- if ($cache_ok) {
- $ANON_CLASSES{$cache_key} = $new_class;
- weaken($ANON_CLASSES{$cache_key});
+ push @role_keys, $key;
}
- return $new_class;
-}
-
-sub _meta_method_class { 'Moose::Meta::Method::Meta' }
+ my $role_key = join('|', sort @role_keys);
-sub _anon_cache_key {
# Makes something like Super::Class|Super::Class::2=Role|Role::1
- return join '=' => (
- join( '|', @{ $_[0] || [] } ),
- join( '|', sort @{ $_[1] || [] } ),
- );
+ return join('=', $superclass_key, $role_key);
}
sub reinitialize {
my $meta = blessed $pkg ? $pkg : Class::MOP::class_of($pkg);
- my $cache_key;
-
my %existing_classes;
if ($meta) {
%existing_classes = map { $_ => $meta->$_() } qw(
destructor_class
error_class
);
-
- $cache_key = _anon_cache_key(
- [ $meta->superclasses ],
- [ map { $_->name } @{ $meta->roles } ],
- ) if $meta->is_anon_class;
}
- my $new_meta = $self->SUPER::reinitialize(
+ return $self->SUPER::reinitialize(
$pkg,
%existing_classes,
@_,
);
-
- return $new_meta unless defined $cache_key;
-
- my $new_cache_key = _anon_cache_key(
- [ $meta->superclasses ],
- [ map { $_->name } @{ $meta->roles } ],
- );
-
- delete $ANON_CLASSES{$cache_key};
- $ANON_CLASSES{$new_cache_key} = $new_meta;
- weaken($ANON_CLASSES{$new_cache_key});
-
- return $new_meta;
}
sub add_role {
sub _inline_slot_initializer {
my $self = shift;
- my ($attr, $index) = @_;
-
- my @source = ('## ' . $attr->name);
-
- push @source, $self->_inline_check_required_attr($attr);
-
- if (defined $attr->init_arg) {
- push @source,
- 'if (exists $params->{\'' . $attr->init_arg . '\'}) {',
- $self->_inline_init_attr_from_constructor($attr, $index),
- '}';
- if (my @default = $self->_inline_init_attr_from_default($attr, $index)) {
- push @source,
- 'else {',
- @default,
- '}';
- }
- }
- else {
- if (my @default = $self->_inline_init_attr_from_default($attr, $index)) {
- push @source,
- '{', # _init_attr_from_default creates variables
- @default,
- '}';
- }
- }
+ my ($attr, $idx) = @_;
- return @source;
+ return (
+ '## ' . $attr->name,
+ $self->_inline_check_required_attr($attr),
+ $self->SUPER::_inline_slot_initializer(@_),
+ );
}
sub _inline_check_required_attr {
);
}
+# XXX: these two are duplicated from cmop, because we have to pass the tc stuff
+# through to _inline_set_value - this should probably be fixed, but i'm not
+# quite sure how. -doy
sub _inline_init_attr_from_constructor {
my $self = shift;
- my ($attr, $index) = @_;
-
- return (
- 'my $val = $params->{\'' . $attr->init_arg . '\'};',
- $self->_inline_slot_assignment($attr, $index, '$val'),
- );
-}
-
-sub _inline_init_attr_from_default {
- my $self = shift;
- my ($attr, $index) = @_;
-
- my $default = $self->_inline_default_value($attr, $index);
- return unless $default;
-
- return (
- 'my $val = ' . $default . ';',
- $self->_inline_slot_assignment($attr, $index, '$val'),
+ my ($attr, $idx) = @_;
+
+ my @initial_value = $attr->_inline_set_value(
+ '$instance',
+ '$params->{\'' . $attr->init_arg . '\'}',
+ '$type_constraint_bodies[' . $idx . ']',
+ '$type_coercions[' . $idx . ']',
+ '$type_constraint_messages[' . $idx . ']',
+ 'for constructor',
);
-}
-
-sub _inline_slot_assignment {
- my $self = shift;
- my ($attr, $index, $value) = @_;
- my @source;
-
- push @source, $self->_inline_type_constraint_and_coercion(
- $attr, $index, $value,
- );
-
- if ($attr->has_initializer) {
- push @source, (
- '$attrs->[' . $index . ']->set_initial_value(',
- '$instance' . ',',
- $value . ',',
- ');'
- );
- }
- else {
- push @source, (
- $attr->_inline_instance_set('$instance', $value) . ';',
- );
- }
+ push @initial_value, (
+ '$attrs->[' . $idx . ']->set_initial_value(',
+ '$instance,',
+ $attr->_inline_instance_get('$instance'),
+ ');',
+ ) if $attr->has_initializer;
- return @source;
+ return @initial_value;
}
-sub _inline_type_constraint_and_coercion {
+sub _inline_init_attr_from_default {
my $self = shift;
- my ($attr, $index, $value) = @_;
-
- return unless $attr->can('has_type_constraint')
- && $attr->has_type_constraint;
-
- my @source;
+ my ($attr, $idx) = @_;
- if ($attr->should_coerce && $attr->type_constraint->has_coercion) {
- push @source => $self->_inline_type_coercion(
- '$type_constraints[' . $index . ']',
- $value,
- $value,
- );
- }
+ return if $attr->can('is_lazy') && $attr->is_lazy;
+ my $default = $self->_inline_default_value($attr, $idx);
+ return unless $default;
- push @source => $self->_inline_type_constraint_check(
- $attr,
- '$type_constraint_bodies[' . $index . ']',
- '$type_constraints[' . $index . ']',
- $value,
+ my @initial_value = (
+ 'my $default = ' . $default . ';',
+ $attr->_inline_set_value(
+ '$instance',
+ '$default',
+ '$type_constraint_bodies[' . $idx . ']',
+ '$type_coercions[' . $idx . ']',
+ '$type_constraint_messages[' . $idx . ']',
+ 'for constructor',
+ ),
);
- return @source;
-}
-
-sub _inline_type_coercion {
- my $self = shift;
- my ($tc_obj, $value, $return_value) = @_;
- return $return_value . ' = ' . $tc_obj . '->coerce(' . $value . ');';
-}
+ push @initial_value, (
+ '$attrs->[' . $idx . ']->set_initial_value(',
+ '$instance,',
+ $attr->_inline_instance_get('$instance'),
+ ');',
+ ) if $attr->has_initializer;
-sub _inline_type_constraint_check {
- my $self = shift;
- my ($attr, $tc_body, $tc_obj, $value) = @_;
- return (
- $self->_inline_throw_error(
- '"Attribute (' . quotemeta($attr->name) . ') '
- . 'does not pass the type constraint because: " . '
- . $tc_obj . '->get_message(' . $value . ')'
- ),
- 'unless ' . $tc_body . '->(' . $value . ');'
- );
+ return @initial_value;
}
sub _inline_extra_init {
my $self = shift;
my @trigger_calls;
- my @attrs = $self->get_all_attributes;
+ my @attrs = sort { $a->name cmp $b->name } $self->get_all_attributes;
for my $i (0 .. $#attrs) {
my $attr = $attrs[$i];
push @trigger_calls,
'if (exists $params->{\'' . $init_arg . '\'}) {',
- '$attrs->[' . $i . ']->trigger->(',
+ '$triggers->[' . $i . ']->(',
'$instance,',
$attr->_inline_instance_get('$instance') . ',',
');',
return @BUILD_calls;
}
+sub _eval_environment {
+ my $self = shift;
+
+ my @attrs = sort { $a->name cmp $b->name } $self->get_all_attributes;
+
+ my $triggers = [
+ map { $_->can('has_trigger') && $_->has_trigger ? $_->trigger : undef }
+ @attrs
+ ];
+
+ # We need to check if the attribute ->can('type_constraint')
+ # since we may be trying to immutabilize a Moose meta class,
+ # which in turn has attributes which are Class::MOP::Attribute
+ # objects, rather than Moose::Meta::Attribute. And
+ # Class::MOP::Attribute attributes have no type constraints.
+ # However we need to make sure we leave an undef value there
+ # because the inlined code is using the index of the attributes
+ # to determine where to find the type constraint
+
+ my @type_constraints = map {
+ $_->can('type_constraint') ? $_->type_constraint : undef
+ } @attrs;
+
+ my @type_constraint_bodies = map {
+ defined $_ ? $_->_compiled_type_constraint : undef;
+ } @type_constraints;
+
+ my @type_coercions = map {
+ defined $_ && $_->has_coercion
+ ? $_->coercion->_compiled_type_coercion
+ : undef
+ } @type_constraints;
+
+ my @type_constraint_messages = map {
+ defined $_
+ ? ($_->has_message ? $_->message : $_->_default_message)
+ : undef
+ } @type_constraints;
+
+ return {
+ %{ $self->SUPER::_eval_environment },
+ ((any { defined && $_->has_initializer } @attrs)
+ ? ('$attrs' => \[@attrs])
+ : ()),
+ '$triggers' => \$triggers,
+ '@type_coercions' => \@type_coercions,
+ '@type_constraint_bodies' => \@type_constraint_bodies,
+ '@type_constraint_messages' => \@type_constraint_messages,
+ ( map { defined($_) ? %{ $_->inline_environment } : () }
+ @type_constraints ),
+ # pretty sure this is only going to be closed over if you use a custom
+ # error class at this point, but we should still get rid of this
+ # at some point
+ '$meta' => \$self,
+ };
+}
+
sub superclasses {
my $self = shift;
my $supers = Data::OptList::mkopt(\@_);
}
}
+# reinitialization support
+
+sub _restore_metaobjects_from {
+ my $self = shift;
+ my ($old_meta) = @_;
+
+ $self->SUPER::_restore_metaobjects_from($old_meta);
+
+ for my $role ( @{ $old_meta->roles } ) {
+ $self->add_role($role);
+ }
+
+ for my $application ( @{ $old_meta->_get_role_applications } ) {
+ $application->class($self);
+ $self->add_role_application ($application);
+ }
+}
+
## Immutability
sub _immutable_options {
}
sub _inline_throw_error {
- my ( $self, $msg, $args ) = @_;
- "\$meta->throw_error($msg" . ($args ? ", $args" : "") . ")"; # FIXME makes deparsing *REALLY* hard
+ my ( $self, @args ) = @_;
+ $self->_inline_raise_error($self->_inline_create_error(@args));
}
sub raise_error {
die @args;
}
+sub _inline_raise_error {
+ my ( $self, $message ) = @_;
+
+ return (
+ 'die ' . $message . ';',
+ );
+}
+
sub create_error {
my ( $self, @args ) = @_;
);
}
+sub _inline_create_error {
+ my ( $self, $msg, $args ) = @_;
+ # XXX ignore $args for now, nothing currently uses it anyway
+
+ require Carp::Heavy;
+
+ my %args = (
+ metaclass => $self,
+ last_error => $@,
+ message => $msg,
+ );
+
+ my $class = ref $self ? $self->error_class : "Moose::Error::Default";
+
+ Class::MOP::load_class($class);
+
+ # don't check inheritance here - the intention is that the class needs
+ # to provide a non-inherited inlining method, because falling back to
+ # the default inlining method is most likely going to be wrong
+ # yes, this is a huge hack, but so is the entire error system, so.
+ return '$meta->create_error(' . $msg . ', ' . $args . ');'
+ unless $class->meta->has_method('_inline_new');
+
+ $class->_inline_new(
+ # XXX ignore this for now too
+ # Carp::caller_info($args{depth}),
+ %args
+ );
+}
+
1;
+# ABSTRACT: The Moose metaclass
+
__END__
=pod
-=head1 NAME
-
-Moose::Meta::Class - The Moose metaclass
-
=head1 DESCRIPTION
This class is a subclass of L<Class::MOP::Class> that provides
See L<Moose/BUGS> for details on reporting bugs.
-=head1 AUTHOR
-
-Stevan Little E<lt>stevan@iinteractive.comE<gt>
-
-=head1 COPYRIGHT AND LICENSE
-
-Copyright 2006-2010 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