5 use base qw(Role::Tiny);
7 require Moo::sification;
9 BEGIN { *INFO = \%Role::Tiny::INFO }
13 sub _install_tracked {
14 my ($target, $name, $code) = @_;
15 $INFO{$target}{exports}{$name} = $code;
16 _install_coderef "${target}::${name}" => "Moo::Role::${name}" => $code;
23 if ($Moo::MAKERS{$target} and $Moo::MAKERS{$target}{is_class}) {
24 die "Cannot import Moo::Role into a Moo class";
26 $INFO{$target} ||= {};
27 # get symbol table reference
28 my $stash = do { no strict 'refs'; \%{"${target}::"} };
29 _install_tracked $target => has => sub {
30 my ($name_proto, %spec) = @_;
31 my $name_isref = ref $name_proto eq 'ARRAY';
32 foreach my $name ($name_isref ? @$name_proto : $name_proto) {
33 my $spec_ref = $name_isref ? +{%spec} : \%spec;
34 ($INFO{$target}{accessor_maker} ||= do {
35 require Method::Generate::Accessor;
36 Method::Generate::Accessor->new
37 })->generate_method($target, $name, $spec_ref);
38 push @{$INFO{$target}{attributes}||=[]}, $name, $spec_ref;
39 $me->_maybe_reset_handlemoose($target);
42 # install before/after/around subs
43 foreach my $type (qw(before after around)) {
44 _install_tracked $target => $type => sub {
45 require Class::Method::Modifiers;
46 push @{$INFO{$target}{modifiers}||=[]}, [ $type => @_ ];
47 $me->_maybe_reset_handlemoose($target);
50 _install_tracked $target => requires => sub {
51 push @{$INFO{$target}{requires}||=[]}, @_;
52 $me->_maybe_reset_handlemoose($target);
54 _install_tracked $target => with => sub {
55 $me->apply_roles_to_package($target, @_);
56 $me->_maybe_reset_handlemoose($target);
58 return if $INFO{$target}{is_role}; # already exported into this package
59 $INFO{$target}{is_role} = 1;
60 *{_getglob("${target}::meta")} = $me->can('meta');
61 # grab all *non-constant* (stash slot is not a scalarref) subs present
62 # in the symbol table and store their refaddrs (no need to forcibly
63 # inflate constant subs into real subs) - also add '' to here (this
64 # is used later) with a map to the coderefs in case of copying or re-use
65 my @not_methods = ('', map { *$_{CODE}||() } grep !ref($_), values %$stash);
66 @{$INFO{$target}{not_methods}={}}{@not_methods} = @not_methods;
68 $Role::Tiny::APPLIED_TO{$target} = { $target => undef };
70 if ($INC{'Moo/HandleMoose.pm'}) {
71 Moo::HandleMoose::inject_fake_metaclass_for($target);
75 # duplicate from Moo::Object
77 require Moo::HandleMoose::FakeMetaClass;
78 my $class = ref($_[0])||$_[0];
79 bless({ name => $class }, 'Moo::HandleMoose::FakeMetaClass');
84 _unimport_coderefs($target, $INFO{$target});
87 sub _maybe_reset_handlemoose {
88 my ($class, $target) = @_;
89 if ($INC{"Moo/HandleMoose.pm"}) {
90 Moo::HandleMoose::maybe_reinject_fake_metaclass_for($target);
94 sub _inhale_if_moose {
95 my ($self, $role) = @_;
101 and $meta = Class::MOP::class_of($role)
102 and $meta->isa('Moose::Meta::Role')
105 Mouse::Util->can('find_meta')
106 and $meta = Mouse::Util::find_meta($role)
107 and $meta->isa('Mouse::Meta::Role')
110 $INFO{$role}{methods} = {
111 map +($_ => $role->can($_)),
112 grep !$meta->get_method($_)->isa('Class::MOP::Method::Meta'),
113 $meta->get_method_list
115 $Role::Tiny::APPLIED_TO{$role} = {
116 map +($_->name => 1), $meta->calculate_all_roles
118 $INFO{$role}{requires} = [ $meta->get_required_method_list ];
119 $INFO{$role}{attributes} = [
121 my $spec = { %{$meta->get_attribute($_)} };
125 my $get_constraint = do {
126 my $pkg = $meta->isa('Mouse::Meta::Role')
127 ? 'Mouse::Util::TypeConstraints'
128 : 'Moose::Util::TypeConstraints';
130 $pkg->can('find_or_create_isa_type_constraint');
133 my $tc = $get_constraint->($spec->{isa});
134 my $check = $tc->_compiled_type_constraint;
137 &$check or die "Type constraint failed for $_[0]"
140 if ($spec->{coerce}) {
142 # Mouse has _compiled_type_coercion straight on the TC object
143 $spec->{coerce} = $tc->${\(
144 $tc->can('coercion')||sub { $_[0] }
145 )}->_compiled_type_coercion;
149 }), $meta->get_attribute_list
151 my $mods = $INFO{$role}{modifiers} = [];
152 foreach my $type (qw(before after around)) {
153 # Mouse pokes its own internals so we have to fall back to doing
154 # the same thing in the absence of the Moose API method
155 my $map = $meta->${\(
156 $meta->can("get_${type}_method_modifiers_map")
157 or sub { shift->{"${type}_method_modifiers"} }
159 foreach my $method (keys %$map) {
160 foreach my $mod (@{$map->{$method}}) {
161 push @$mods, [ $type => $method => $mod ];
165 require Class::Method::Modifiers if @$mods;
166 $INFO{$role}{inhaled_from_moose} = 1;
170 sub _maybe_make_accessors {
171 my ($self, $role, $target) = @_;
173 if ($INFO{$role}{inhaled_from_moose}
175 and $m = Moo->_accessor_maker_for($target)
176 and ref($m) ne 'Method::Generate::Accessor') {
177 $self->_make_accessors($role, $target);
181 sub _make_accessors_if_moose {
182 my ($self, $role, $target) = @_;
183 if ($INFO{$role}{inhaled_from_moose}) {
184 $self->_make_accessors($role, $target);
188 sub _make_accessors {
189 my ($self, $role, $target) = @_;
190 my $acc_gen = ($Moo::MAKERS{$target}{accessor} ||= do {
191 require Method::Generate::Accessor;
192 Method::Generate::Accessor->new
194 my $con_gen = $Moo::MAKERS{$target}{constructor};
195 my @attrs = @{$INFO{$role}{attributes}||[]};
196 while (my ($name, $spec) = splice @attrs, 0, 2) {
197 # needed to ensure we got an index for an arrayref based generator
199 $spec = $con_gen->all_attribute_specs->{$name};
201 $acc_gen->generate_method($target, $name, $spec);
205 sub apply_roles_to_package {
206 my ($me, $to, @roles) = @_;
207 foreach my $role (@roles) {
208 $me->_inhale_if_moose($role);
210 $me->SUPER::apply_roles_to_package($to, @roles);
213 sub apply_single_role_to_package {
214 my ($me, $to, $role) = @_;
215 die "${role} is not a Moo::Role" unless my $info = $INFO{$role};
216 $me->_inhale_if_moose($role);
217 $me->_handle_constructor($to, $INFO{$role}{attributes});
218 $me->_maybe_make_accessors($role, $to);
219 $me->SUPER::apply_single_role_to_package($to, $role);
222 sub create_class_with_roles {
223 my ($me, $superclass, @roles) = @_;
226 '__WITH__', $superclass, my $compose_name = join '__AND__', @roles
229 return $new_name if $Role::Tiny::COMPOSED{class}{$new_name};
231 foreach my $role (@roles) {
232 $me->_inhale_if_moose($role);
237 and $m = Moo->_accessor_maker_for($superclass)
238 and ref($m) ne 'Method::Generate::Accessor') {
239 # old fashioned way time.
240 *{_getglob("${new_name}::ISA")} = [ $superclass ];
241 $me->apply_roles_to_package($new_name, @roles);
247 $me->SUPER::create_class_with_roles($superclass, @roles);
249 foreach my $role (@roles) {
250 die "${role} is not a Role::Tiny" unless my $info = $INFO{$role};
253 $Moo::MAKERS{$new_name} = {};
255 $me->_handle_constructor(
256 $new_name, [ map @{$INFO{$_}{attributes}||[]}, @roles ], $superclass
262 sub _composable_package_for {
263 my ($self, $role) = @_;
264 my $composed_name = 'Role::Tiny::_COMPOSABLE::'.$role;
265 return $composed_name if $Role::Tiny::COMPOSED{role}{$composed_name};
266 $self->_make_accessors_if_moose($role, $composed_name);
267 $self->SUPER::_composable_package_for($role);
270 sub _install_single_modifier {
271 my ($me, @args) = @_;
272 _install_modifier(@args);
275 sub _handle_constructor {
276 my ($me, $to, $attr_info, $superclass) = @_;
277 return unless $attr_info && @$attr_info;
279 push @{$INFO{$to}{attributes}||=[]}, @$attr_info;
281 # only fiddle with the constructor if the target is a Moo class
283 and my $con = Moo->_constructor_maker_for($to, $superclass)) {
284 # shallow copy of the specs since the constructor will assign an index
285 $con->register_attribute_specs(map ref() ? { %$_ } : $_, @$attr_info);
294 Moo::Role - Minimal Object Orientation support for Roles
318 # bar gets imported, but not foo
327 C<Moo::Role> builds upon L<Role::Tiny>, so look there for most of the
328 documentation on how this works. The main addition here is extra bits to make
329 the roles more "Moosey;" which is to say, it adds L</has>.
331 =head1 IMPORTED SUBROUTINES
333 See L<Role::Tiny/IMPORTED SUBROUTINES> for all the other subroutines that are
334 imported by this module.
342 Declares an attribute for the class to be composed into. See
343 L<Moo/has> for all options.
347 See L<Moo> for support and contact informations.
351 See L<Moo> for authors.
353 =head1 COPYRIGHT AND LICENSE
355 See L<Moo> for the copyright and license.