moving stuff around and some cleanup
[gitmo/Moose.git] / lib / Moose / Meta / Role.pm
1
2 package Moose::Meta::Role;
3
4 use strict;
5 use warnings;
6 use metaclass;
7
8 use Sub::Name    'subname';
9 use Carp         'confess';
10 use Scalar::Util 'blessed', 'reftype';
11
12 our $VERSION   = '0.12';
13 our $AUTHORITY = 'cpan:STEVAN';
14
15 use Moose::Meta::Class;
16 use Moose::Meta::Role::Method;
17 use Moose::Meta::Role::Method::Required;
18
19 use base 'Class::MOP::Module';
20
21 ## ------------------------------------------------------------------
22 ## NOTE:
23 ## I normally don't do this, but I am doing
24 ## a whole bunch of meta-programmin in this
25 ## module, so it just makes sense. For a clearer
26 ## picture of what is going on in the next 
27 ## several lines of code, look at the really 
28 ## big comment at the end of this file (right
29 ## before the POD).
30 ## - SL
31 ## ------------------------------------------------------------------
32
33 my $META = __PACKAGE__->meta;
34
35 ## ------------------------------------------------------------------
36 ## attributes ...
37
38 # NOTE:
39 # since roles are lazy, we hold all the attributes
40 # of the individual role in 'statis' until which
41 # time when it is applied to a class. This means
42 # keeping a lot of things in hash maps, so we are
43 # using a little of that meta-programmin' magic
44 # here an saving lots of extra typin. And since 
45 # many of these attributes above require similar
46 # functionality to support them, so we again use
47 # the wonders of meta-programmin' to deliver a
48 # very compact solution to this normally verbose
49 # problem.
50 # - SL
51
52 foreach my $action (
53     {
54         name        => 'excluded_roles_map',
55         attr_reader => 'get_excluded_roles_map' ,
56         methods     => {
57             add       => 'add_excluded_roles',
58             get_list  => 'get_excluded_roles_list',
59             existence => 'excludes_role',
60         }
61     },
62     {
63         name        => 'required_methods',
64         attr_reader => 'get_required_methods_map',
65         methods     => {
66             add       => 'add_required_methods',
67             remove    => 'remove_required_methods',
68             get_list  => 'get_required_method_list',
69             existence => 'requires_method',
70         }
71     },
72     {
73         name        => 'attribute_map',
74         attr_reader => 'get_attribute_map',
75         methods     => {
76             get       => 'get_attribute',
77             get_list  => 'get_attribute_list',
78             existence => 'has_attribute',
79             remove    => 'remove_attribute',
80         }
81     }
82 ) {
83
84     my $attr_reader = $action->{attr_reader};
85     my $methods     = $action->{methods};
86
87     # create the attribute
88     $META->add_attribute($action->{name} => (
89         reader  => $attr_reader,
90         default => sub { {} }
91     ));
92
93     # create some helper methods
94     $META->add_method($methods->{add} => sub {
95         my ($self, @values) = @_;
96         $self->$attr_reader->{$_} = undef foreach @values;
97     }) if exists $methods->{add};
98
99     $META->add_method($methods->{get_list} => sub {
100         my ($self) = @_;
101         keys %{$self->$attr_reader};
102     }) if exists $methods->{get_list};
103
104     $META->add_method($methods->{get} => sub {
105         my ($self, $name) = @_;
106         $self->$attr_reader->{$name}
107     }) if exists $methods->{get};
108
109     $META->add_method($methods->{existence} => sub {
110         my ($self, $name) = @_;
111         exists $self->$attr_reader->{$name} ? 1 : 0;
112     }) if exists $methods->{existence};
113
114     $META->add_method($methods->{remove} => sub {
115         my ($self, @values) = @_;
116         delete $self->$attr_reader->{$_} foreach @values;
117     }) if exists $methods->{remove};
118 }
119
120 ## some things don't always fit, so they go here ...
121
122 sub add_attribute {
123     my $self = shift;
124     my $name = shift;
125     my $attr_desc;
126     if (scalar @_ == 1 && ref($_[0]) eq 'HASH') {
127         $attr_desc = $_[0];
128     }
129     else {
130         $attr_desc = { @_ };
131     }
132     $self->get_attribute_map->{$name} = $attr_desc;
133 }
134
135 # DEPRECATED 
136 # sub _clean_up_required_methods {
137 #     my $self = shift;
138 #     foreach my $method ($self->get_required_method_list) {
139 #         $self->remove_required_methods($method)
140 #             if $self->has_method($method);
141 #     }
142 # }
143
144 ## ------------------------------------------------------------------
145 ## method modifiers
146
147 # NOTE:
148 # the before/around/after method modifiers are
149 # stored by name, but there can be many methods
150 # then associated with that name. So again we have
151 # lots of similar functionality, so we can do some
152 # meta-programmin' and save some time.
153 # - SL
154
155 foreach my $modifier_type (qw[ before around after ]) {
156
157     my $attr_reader = "get_${modifier_type}_method_modifiers_map";
158     
159     # create the attribute ...
160     $META->add_attribute("${modifier_type}_method_modifiers" => (
161         reader  => $attr_reader,
162         default => sub { {} }
163     ));  
164
165     # and some helper methods ...
166     $META->add_method("get_${modifier_type}_method_modifiers" => sub {
167         my ($self, $method_name) = @_;
168         #return () unless exists $self->$attr_reader->{$method_name};
169         @{$self->$attr_reader->{$method_name}};
170     });
171
172     $META->add_method("has_${modifier_type}_method_modifiers" => sub {
173         my ($self, $method_name) = @_;
174         # NOTE:
175         # for now we assume that if it exists,..
176         # it has at least one modifier in it
177         (exists $self->$attr_reader->{$method_name}) ? 1 : 0;
178     });
179
180     $META->add_method("add_${modifier_type}_method_modifier" => sub {
181         my ($self, $method_name, $method) = @_;
182
183         $self->$attr_reader->{$method_name} = []
184             unless exists $self->$attr_reader->{$method_name};
185
186         my $modifiers = $self->$attr_reader->{$method_name};
187
188         # NOTE:
189         # check to see that we aren't adding the
190         # same code twice. We err in favor of the
191         # first on here, this may not be as expected
192         foreach my $modifier (@{$modifiers}) {
193             return if $modifier == $method;
194         }
195
196         push @{$modifiers} => $method;
197     });
198
199 }
200
201 ## ------------------------------------------------------------------
202 ## override method mofidiers
203
204 $META->add_attribute('override_method_modifiers' => (
205     reader  => 'get_override_method_modifiers_map',
206     default => sub { {} }
207 ));
208
209 # NOTE:
210 # these are a little different because there
211 # can only be one per name, whereas the other
212 # method modifiers can have multiples.
213 # - SL
214
215 sub add_override_method_modifier {
216     my ($self, $method_name, $method) = @_;
217     (!$self->has_method($method_name))
218         || confess "Cannot add an override of method '$method_name' " .
219                    "because there is a local version of '$method_name'";
220     $self->get_override_method_modifiers_map->{$method_name} = $method;
221 }
222
223 sub has_override_method_modifier {
224     my ($self, $method_name) = @_;
225     # NOTE:
226     # for now we assume that if it exists,..
227     # it has at least one modifier in it
228     (exists $self->get_override_method_modifiers_map->{$method_name}) ? 1 : 0;
229 }
230
231 sub get_override_method_modifier {
232     my ($self, $method_name) = @_;
233     $self->get_override_method_modifiers_map->{$method_name};
234 }
235
236 ## general list accessor ...
237
238 sub get_method_modifier_list {
239     my ($self, $modifier_type) = @_;
240     my $accessor = "get_${modifier_type}_method_modifiers_map";
241     keys %{$self->$accessor};
242 }
243
244 ## ------------------------------------------------------------------
245 ## subroles
246
247 __PACKAGE__->meta->add_attribute('roles' => (
248     reader  => 'get_roles',
249     default => sub { [] }
250 ));
251
252 sub add_role {
253     my ($self, $role) = @_;
254     (blessed($role) && $role->isa('Moose::Meta::Role'))
255         || confess "Roles must be instances of Moose::Meta::Role";
256     push @{$self->get_roles} => $role;
257 }
258
259 sub calculate_all_roles {
260     my $self = shift;
261     my %seen;
262     grep {
263         !$seen{$_->name}++
264     } ($self, map {
265                   $_->calculate_all_roles
266               } @{ $self->get_roles });
267 }
268
269 sub does_role {
270     my ($self, $role_name) = @_;
271     (defined $role_name)
272         || confess "You must supply a role name to look for";
273     # if we are it,.. then return true
274     return 1 if $role_name eq $self->name;
275     # otherwise.. check our children
276     foreach my $role (@{$self->get_roles}) {
277         return 1 if $role->does_role($role_name);
278     }
279     return 0;
280 }
281
282 ## ------------------------------------------------------------------
283 ## methods
284
285 sub method_metaclass { 'Moose::Meta::Role::Method' }
286
287 sub get_method_map {
288     my $self = shift;
289     my $map  = {};
290
291     my $role_name        = $self->name;
292     my $method_metaclass = $self->method_metaclass;
293
294     foreach my $symbol ($self->list_all_package_symbols('CODE')) {
295
296         my $code = $self->get_package_symbol('&' . $symbol);
297
298         my ($pkg, $name) = Class::MOP::get_code_info($code);
299
300         if ($pkg->can('meta')
301             # NOTE:
302             # we don't know what ->meta we are calling
303             # here, so we need to be careful cause it
304             # just might blow up at us, or just complain
305             # loudly (in the case of Curses.pm) so we
306             # just be a little overly cautious here.
307             # - SL
308             && eval { no warnings; blessed($pkg->meta) }
309             && $pkg->meta->isa('Moose::Meta::Role')) {
310             my $role = $pkg->meta->name;
311             next unless $self->does_role($role);
312         }
313         else {
314             next if ($pkg  || '') ne $role_name &&
315                     ($name || '') ne '__ANON__';
316         }
317
318         $map->{$symbol} = $method_metaclass->wrap($code);
319     }
320
321     return $map;    
322 }
323
324 sub get_method { 
325     my ($self, $name) = @_;
326     $self->get_method_map->{$name}
327 }
328
329 sub has_method {
330     my ($self, $name) = @_;
331     exists $self->get_method_map->{$name} ? 1 : 0
332 }
333
334 sub find_method_by_name { (shift)->get_method(@_) }
335
336 sub get_method_list {
337     my $self = shift;
338     grep { !/^meta$/ } keys %{$self->get_method_map};
339 }
340
341 sub alias_method {
342     my ($self, $method_name, $method) = @_;
343     (defined $method_name && $method_name)
344         || confess "You must define a method name";
345
346     my $body = (blessed($method) ? $method->body : $method);
347     ('CODE' eq (reftype($body) || ''))
348         || confess "Your code block must be a CODE reference";
349
350     $self->add_package_symbol("&${method_name}" => $body);
351 }
352
353 #sub reset_package_cache_flag  { () }
354 #sub update_package_cache_flag { () }
355
356 ## ------------------------------------------------------------------
357 ## role construction
358 ## ------------------------------------------------------------------
359
360 sub apply {
361     my ($self, $other, @args) = @_;
362
363     (blessed($other))
364         || confess "You must pass in an blessed instance";
365         
366     if ($other->isa('Moose::Meta::Role')) {
367         require Moose::Meta::Role::Application::ToRole;
368         return Moose::Meta::Role::Application::ToRole->new->apply($self, $other, @args);
369     }
370     elsif ($other->isa('Moose::Meta::Class')) {
371         require Moose::Meta::Role::Application::ToClass;
372         return Moose::Meta::Role::Application::ToClass->new->apply($self, $other, @args);
373     }  
374     else {
375         require Moose::Meta::Role::Application::ToInstance;
376         return Moose::Meta::Role::Application::ToInstance->new->apply($self, $other, @args);        
377     }  
378 }
379
380 sub combine {
381     my ($class, @roles) = @_;
382     
383     require Moose::Meta::Role::Application::RoleSummation;
384     require Moose::Meta::Role::Composite;    
385     
386     my $c = Moose::Meta::Role::Composite->new(roles => \@roles);
387     Moose::Meta::Role::Application::RoleSummation->new->apply($c);
388     return $c;
389 }
390
391 #####################################################################
392 ## NOTE:
393 ## This is Moose::Meta::Role as defined by Moose (plus the use of 
394 ## MooseX::AttributeHelpers module). It is here as a reference to 
395 ## make it easier to see what is happening above with all the meta
396 ## programming. - SL
397 #####################################################################
398 #
399 # has 'roles' => (
400 #     metaclass => 'Collection::Array',
401 #     reader    => 'get_roles',
402 #     isa       => 'ArrayRef[Moose::Meta::Roles]',
403 #     default   => sub { [] },
404 #     provides  => {
405 #         'push' => 'add_role',
406 #     }
407 # );
408
409 # has 'excluded_roles_map' => (
410 #     metaclass => 'Collection::Hash',
411 #     reader    => 'get_excluded_roles_map',
412 #     isa       => 'HashRef[Str]',
413 #     provides  => {
414 #         # Not exactly set, cause it sets multiple
415 #         'set'    => 'add_excluded_roles',
416 #         'keys'   => 'get_excluded_roles_list',
417 #         'exists' => 'excludes_role',
418 #     }
419 # );
420
421 # has 'attribute_map' => (
422 #     metaclass => 'Collection::Hash',
423 #     reader    => 'get_attribute_map',
424 #     isa       => 'HashRef[Str]',    
425 #     provides => {
426 #         # 'set'  => 'add_attribute' # has some special crap in it
427 #         'get'    => 'get_attribute',
428 #         'keys'   => 'get_attribute_list',
429 #         'exists' => 'has_attribute',
430 #         # Not exactly delete, cause it sets multiple
431 #         'delete' => 'remove_attribute',    
432 #     }
433 # );
434
435 # has 'required_methods' => (
436 #     metaclass => 'Collection::Hash',
437 #     reader    => 'get_required_methods_map',
438 #     isa       => 'HashRef[Str]',
439 #     provides  => {    
440 #         # not exactly set, or delete since it works for multiple 
441 #         'set'    => 'add_required_methods',
442 #         'delete' => 'remove_required_methods',
443 #         'keys'   => 'get_required_method_list',
444 #         'exists' => 'requires_method',    
445 #     }
446 # );
447
448 # # the before, around and after modifiers are 
449 # # HASH keyed by method-name, with ARRAY of 
450 # # CODE refs to apply in that order
451
452 # has 'before_method_modifiers' => (
453 #     metaclass => 'Collection::Hash',    
454 #     reader    => 'get_before_method_modifiers_map',
455 #     isa       => 'HashRef[ArrayRef[CodeRef]]',
456 #     provides  => {
457 #         'keys'   => 'get_before_method_modifiers',
458 #         'exists' => 'has_before_method_modifiers',   
459 #         # This actually makes sure there is an 
460 #         # ARRAY at the given key, and pushed onto
461 #         # it. It also checks for duplicates as well
462 #         # 'add'  => 'add_before_method_modifier'     
463 #     }    
464 # );
465
466 # has 'after_method_modifiers' => (
467 #     metaclass => 'Collection::Hash',    
468 #     reader    =>'get_after_method_modifiers_map',
469 #     isa       => 'HashRef[ArrayRef[CodeRef]]',
470 #     provides  => {
471 #         'keys'   => 'get_after_method_modifiers',
472 #         'exists' => 'has_after_method_modifiers', 
473 #         # This actually makes sure there is an 
474 #         # ARRAY at the given key, and pushed onto
475 #         # it. It also checks for duplicates as well          
476 #         # 'add'  => 'add_after_method_modifier'     
477 #     }    
478 # );
479 #     
480 # has 'around_method_modifiers' => (
481 #     metaclass => 'Collection::Hash',    
482 #     reader    =>'get_around_method_modifiers_map',
483 #     isa       => 'HashRef[ArrayRef[CodeRef]]',
484 #     provides  => {
485 #         'keys'   => 'get_around_method_modifiers',
486 #         'exists' => 'has_around_method_modifiers',   
487 #         # This actually makes sure there is an 
488 #         # ARRAY at the given key, and pushed onto
489 #         # it. It also checks for duplicates as well        
490 #         # 'add'  => 'add_around_method_modifier'     
491 #     }    
492 # );
493
494 # # override is similar to the other modifiers
495 # # except that it is not an ARRAY of code refs
496 # # but instead just a single name->code mapping
497 #     
498 # has 'override_method_modifiers' => (
499 #     metaclass => 'Collection::Hash',    
500 #     reader    =>'get_override_method_modifiers_map',
501 #     isa       => 'HashRef[CodeRef]',   
502 #     provides  => {
503 #         'keys'   => 'get_override_method_modifier',
504 #         'exists' => 'has_override_method_modifier',   
505 #         'add'    => 'add_override_method_modifier', # checks for local method ..     
506 #     }
507 # );
508 #     
509 #####################################################################
510
511
512 1;
513
514 __END__
515
516 =pod
517
518 =head1 NAME
519
520 Moose::Meta::Role - The Moose Role metaclass
521
522 =head1 DESCRIPTION
523
524 Please see L<Moose::Role> for more information about roles.
525 For the most part, this has no user-serviceable parts inside
526 this module. It's API is still subject to some change (although
527 probably not that much really).
528
529 =head1 METHODS
530
531 =over 4
532
533 =item B<meta>
534
535 =item B<new>
536
537 =item B<apply>
538
539 =item B<combine>
540
541 =back
542
543 =over 4
544
545 =item B<name>
546
547 =item B<version>
548
549 =item B<role_meta>
550
551 =back
552
553 =over 4
554
555 =item B<get_roles>
556
557 =item B<add_role>
558
559 =item B<does_role>
560
561 =back
562
563 =over 4
564
565 =item B<add_excluded_roles>
566
567 =item B<excludes_role>
568
569 =item B<get_excluded_roles_list>
570
571 =item B<get_excluded_roles_map>
572
573 =item B<calculate_all_roles>
574
575 =back
576
577 =over 4
578
579 =item B<method_metaclass>
580
581 =item B<find_method_by_name>
582
583 =item B<get_method>
584
585 =item B<has_method>
586
587 =item B<alias_method>
588
589 =item B<get_method_list>
590
591 =item B<get_method_map>
592
593 =item B<update_package_cache_flag>
594
595 =item B<reset_package_cache_flag>
596
597 =back
598
599 =over 4
600
601 =item B<add_attribute>
602
603 =item B<has_attribute>
604
605 =item B<get_attribute>
606
607 =item B<get_attribute_list>
608
609 =item B<get_attribute_map>
610
611 =item B<remove_attribute>
612
613 =back
614
615 =over 4
616
617 =item B<add_required_methods>
618
619 =item B<remove_required_methods>
620
621 =item B<get_required_method_list>
622
623 =item B<get_required_methods_map>
624
625 =item B<requires_method>
626
627 =back
628
629 =over 4
630
631 =item B<add_after_method_modifier>
632
633 =item B<add_around_method_modifier>
634
635 =item B<add_before_method_modifier>
636
637 =item B<add_override_method_modifier>
638
639 =over 4
640
641 =back
642
643 =item B<has_after_method_modifiers>
644
645 =item B<has_around_method_modifiers>
646
647 =item B<has_before_method_modifiers>
648
649 =item B<has_override_method_modifier>
650
651 =over 4
652
653 =back
654
655 =item B<get_after_method_modifiers>
656
657 =item B<get_around_method_modifiers>
658
659 =item B<get_before_method_modifiers>
660
661 =item B<get_method_modifier_list>
662
663 =over 4
664
665 =back
666
667 =item B<get_override_method_modifier>
668
669 =item B<get_after_method_modifiers_map>
670
671 =item B<get_around_method_modifiers_map>
672
673 =item B<get_before_method_modifiers_map>
674
675 =item B<get_override_method_modifiers_map>
676
677 =back
678
679 =head1 BUGS
680
681 All complex software has bugs lurking in it, and this module is no
682 exception. If you find a bug please either email me, or add the bug
683 to cpan-RT.
684
685 =head1 AUTHOR
686
687 Stevan Little E<lt>stevan@iinteractive.comE<gt>
688
689 =head1 COPYRIGHT AND LICENSE
690
691 Copyright 2006, 2007 by Infinity Interactive, Inc.
692
693 L<http://www.iinteractive.com>
694
695 This library is free software; you can redistribute it and/or modify
696 it under the same terms as Perl itself.
697
698 =cut