1 package Moo::HandleMoose;
11 sub import { return if $SETUP_DONE; inject_all(); $SETUP_DONE = 1; }
15 inject_fake_metaclass_for($_)
16 for grep $_ ne 'Moo::Object', do { no warnings 'once'; keys %Moo::MAKERS };
17 inject_fake_metaclass_for($_) for keys %Moo::Role::INFO;
18 require Moose::Meta::Method::Constructor;
19 @Moo::HandleMoose::FakeConstructor::ISA = 'Moose::Meta::Method::Constructor';
22 sub maybe_reinject_fake_metaclass_for {
25 if (delete $DID_INJECT{$name}) {
26 unless ($Moo::Role::INFO{$name}) {
27 Moo->_constructor_maker_for($name)->install_delayed;
29 inject_fake_metaclass_for($name);
33 sub inject_fake_metaclass_for {
36 require Moo::HandleMoose::FakeMetaClass;
37 Class::MOP::store_metaclass_by_name(
38 $name, bless({ name => $name }, 'Moo::HandleMoose::FakeMetaClass')
40 require Moose::Util::TypeConstraints;
41 if ($Moo::Role::INFO{$name}) {
42 Moose::Util::TypeConstraints::find_or_create_does_type_constraint($name);
44 Moose::Util::TypeConstraints::find_or_create_isa_type_constraint($name);
49 package Moo::HandleMoose::FakeConstructor;
51 sub _uninlined_body { \&Moose::Object::new }
55 sub inject_real_metaclass_for {
58 return Class::MOP::get_metaclass_by_name($name) if $DID_INJECT{$name};
59 require Moose; require Moo; require Moo::Role; require Scalar::Util;
60 Class::MOP::remove_metaclass_by_name($name);
61 my ($am_role, $meta, $attr_specs, $attr_order) = do {
62 if (my $info = $Moo::Role::INFO{$name}) {
63 my @attr_info = @{$info->{attributes}||[]};
64 (1, Moose::Meta::Role->initialize($name),
66 [ @attr_info[grep !($_ % 2), 0..$#attr_info] ]
68 } elsif ( my $cmaker = Moo->_constructor_maker_for($name) ) {
69 my $specs = $cmaker->all_attribute_specs;
70 (0, Moose::Meta::Class->initialize($name), $specs,
71 [ sort { $specs->{$a}{index} <=> $specs->{$b}{index} } keys %$specs ]
74 # This codepath is used if $name does not exist in $Moo::MAKERS
75 (0, Moose::Meta::Class->initialize($name), {}, [] )
79 for my $spec (values %$attr_specs) {
80 if (my $inflators = delete $spec->{moosify}) {
81 $_->($spec) for @$inflators;
85 my %methods = %{Role::Tiny->_concrete_methods_of($name)};
87 # if stuff gets added afterwards, _maybe_reset_handlemoose should
88 # trigger the recreation of the metaclass but we need to ensure the
89 # Role::Tiny cache is cleared so we don't confuse Moo itself.
90 if (my $info = $Role::Tiny::INFO{$name}) {
91 delete $info->{methods};
94 # needed to ensure the method body is stable and get things named
95 Sub::Defer::undefer_sub($_) for grep defined, values %methods;
98 # This local is completely not required for roles but harmless
99 local @{_getstash($name)}{keys %methods};
101 foreach my $name (@$attr_order) {
102 $seen_name{$name} = 1;
103 my %spec = %{$attr_specs->{$name}};
105 map { $_->name => $_->init_arg||$_->name }
107 (grep { $_->has_init_arg }
108 $meta->attribute_metaclass->meta->get_all_attributes),
109 grep { exists($_->{init_arg}) ? defined($_->init_arg) : 1 }
111 my $meta = Moose::Util::resolve_metatrait_alias('Attribute', $_)
113 map $meta->get_attribute($_), $meta->get_attribute_list
114 } @{$spec{traits}||[]}
117 # have to hard code this because Moose's role meta-model is lacking
118 $spec_map{traits} ||= 'traits';
120 $spec{is} = 'ro' if $spec{is} eq 'lazy' or $spec{is} eq 'rwp';
121 my $coerce = $spec{coerce};
122 if (my $isa = $spec{isa}) {
123 my $tc = $spec{isa} = do {
124 if (my $mapped = $TYPE_MAP{$isa}) {
125 my $type = $mapped->();
126 Scalar::Util::blessed($type) && $type->isa("Moose::Meta::TypeConstraint")
127 or die "error inflating attribute '$name' for package '$_[0]': \$TYPE_MAP{$isa} did not return a valid type constraint'";
128 $coerce ? $type->create_child_type(name => $type->name) : $type;
130 Moose::Meta::TypeConstraint->new(
131 constraint => sub { eval { &$isa; 1 } }
136 $tc->coercion(Moose::Meta::TypeCoercion->new)
137 ->_compiled_type_coercion($coerce);
141 my $attr = perlstring($name);
142 my $tc = Moose::Meta::TypeConstraint->new(
143 constraint => sub { die "This is not going to work" },
145 'my $r = $_[42]{'.$attr.'}; $_[42]{'.$attr.'} = 1; $r'
148 $tc->coercion(Moose::Meta::TypeCoercion->new)
149 ->_compiled_type_coercion($coerce);
154 map { $spec_map{$_} => $spec{$_} }
155 grep { exists $spec_map{$_} }
157 push @attrs, $meta->add_attribute($name => %spec);
159 foreach my $mouse (do { our %MOUSE; @{$MOUSE{$name}||[]} }) {
160 foreach my $attr ($mouse->get_all_attributes) {
163 associated_class associated_methods __METACLASS__
166 my $name = delete $spec{name};
167 next if $seen_name{$name}++;
168 push @attrs, $meta->add_attribute($name => %spec);
172 for my $meth_name (keys %methods) {
173 my $meth_code = $methods{$meth_name};
174 $meta->add_method($meth_name, $meth_code) if $meth_code;
178 my $info = $Moo::Role::INFO{$name};
179 $meta->add_required_methods(@{$info->{requires}});
180 foreach my $modifier (@{$info->{modifiers}}) {
181 my ($type, @args) = @$modifier;
182 my $code = pop @args;
183 $meta->${\"add_${type}_method_modifier"}($_, $code) for @args;
186 foreach my $attr (@attrs) {
187 foreach my $method (@{$attr->associated_methods}) {
188 $method->{body} = $name->can($method->name);
192 $meta->find_method_by_name('new'),
193 'Moo::HandleMoose::FakeConstructor',
195 # a combination of Moo and Moose may bypass a Moo constructor but still
196 # use a Moo DEMOLISHALL. We need to make sure this is loaded before
197 # global destruction.
198 require Method::Generate::DemolishAll;
200 $meta->add_role(Class::MOP::class_of($_))
201 for grep !/\|/ && $_ ne $name, # reject Foo|Bar and same-role-as-self
202 do { no warnings 'once'; keys %{$Role::Tiny::APPLIED_TO{$name}} };
203 $DID_INJECT{$name} = 1;