0.10
[gitmo/Moose.git] / lib / Moose / Meta / Class.pm
1
2 package Moose::Meta::Class;
3
4 use strict;
5 use warnings;
6
7 use Class::MOP;
8
9 use Carp         'confess';
10 use Scalar::Util 'weaken', 'blessed', 'reftype';
11
12 our $VERSION = '0.07';
13
14 use base 'Class::MOP::Class';
15
16 __PACKAGE__->meta->add_attribute('roles' => (
17     reader  => 'roles',
18     default => sub { [] }
19 ));
20
21 sub initialize {
22     my $class = shift;
23     my $pkg   = shift;
24     $class->SUPER::initialize($pkg,
25         ':attribute_metaclass' => 'Moose::Meta::Attribute', 
26         ':instance_metaclass'  => 'Moose::Meta::Instance', 
27         @_);
28 }  
29
30 sub add_role {
31     my ($self, $role) = @_;
32     (blessed($role) && $role->isa('Moose::Meta::Role'))
33         || confess "Roles must be instances of Moose::Meta::Role";
34     push @{$self->roles} => $role;
35 }
36
37 sub calculate_all_roles {
38     my $self = shift;
39     my %seen;
40     grep { !$seen{$_->name}++ } map { $_->calculate_all_roles } @{ $self->roles };
41 }
42
43 sub does_role {
44     my ($self, $role_name) = @_;
45     (defined $role_name)
46         || confess "You must supply a role name to look for";
47     foreach my $class ($self->class_precedence_list) {
48         next unless $class->can('meta');        
49         foreach my $role (@{$class->meta->roles}) {
50             return 1 if $role->does_role($role_name);
51         }
52     }
53     return 0;
54 }
55
56 sub excludes_role {
57     my ($self, $role_name) = @_;
58     (defined $role_name)
59         || confess "You must supply a role name to look for";
60     foreach my $class ($self->class_precedence_list) {  
61         next unless $class->can('meta');      
62         foreach my $role (@{$class->meta->roles}) {
63             return 1 if $role->excludes_role($role_name);
64         }
65     }
66     return 0;
67 }
68
69 sub new_object {
70     my ($class, %params) = @_;
71     my $self = $class->SUPER::new_object(%params);
72     foreach my $attr ($class->compute_all_applicable_attributes()) {
73         # FIXME:
74         # this does not accept undefined
75         # values, nor does it accept false 
76         # values to be passed into the init-arg
77         next unless $params{$attr->init_arg} && $attr->can('has_trigger') && $attr->has_trigger;
78         $attr->trigger->($self, $params{$attr->init_arg}, $attr);
79     }
80     return $self;    
81 }
82
83 sub construct_instance {
84     my ($class, %params) = @_;
85     my $meta_instance = $class->get_meta_instance;
86     # FIXME:
87     # the code below is almost certainly incorrect
88     # but this is foreign inheritence, so we might
89     # have to kludge it in the end. 
90     my $instance = $params{'__INSTANCE__'} || $meta_instance->create_instance();
91     foreach my $attr ($class->compute_all_applicable_attributes()) { 
92         $attr->initialize_instance_slot($meta_instance, $instance, \%params)
93     }
94     return $instance;
95 }
96
97 sub has_method {
98     my ($self, $method_name) = @_;
99     (defined $method_name && $method_name)
100         || confess "You must define a method name";    
101
102     my $sub_name = ($self->name . '::' . $method_name);   
103     
104     no strict 'refs';
105     return 0 if !defined(&{$sub_name});        
106         my $method = \&{$sub_name};
107         
108         return 1 if blessed($method) && $method->isa('Moose::Meta::Role::Method');
109     return $self->SUPER::has_method($method_name);    
110 }
111
112 sub add_attribute {
113     my $self = shift;
114     my $name = shift;
115     if (scalar @_ == 1 && ref($_[0]) eq 'HASH') {
116         # NOTE:
117         # if it is a HASH ref, we de-ref it.        
118         # this will usually mean that it is 
119         # coming from a role
120         $self->SUPER::add_attribute($name => %{$_[0]});
121     }
122     else {
123         # otherwise we just pass the args
124         $self->SUPER::add_attribute($name => @_);
125     }
126 }
127
128 sub add_override_method_modifier {
129     my ($self, $name, $method, $_super_package) = @_;
130     (!$self->has_method($name))
131         || confess "Cannot add an override method if a local method is already present";
132     # need this for roles ...
133     $_super_package ||= $self->name;
134     my $super = $self->find_next_method_by_name($name);
135     (defined $super)
136         || confess "You cannot override '$name' because it has no super method";    
137     $self->add_method($name => bless sub {
138         my @args = @_;
139         no strict   'refs';
140         no warnings 'redefine';
141         local *{$_super_package . '::super'} = sub { $super->(@args) };
142         return $method->(@args);
143     } => 'Moose::Meta::Method::Overriden');
144 }
145
146 sub add_augment_method_modifier {
147     my ($self, $name, $method) = @_;  
148     (!$self->has_method($name))
149         || confess "Cannot add an augment method if a local method is already present";    
150     my $super = $self->find_next_method_by_name($name);
151     (defined $super)
152         || confess "You cannot augment '$name' because it has no super method";    
153     my $_super_package = $super->package_name;   
154     # BUT!,... if this is an overriden method ....     
155     if ($super->isa('Moose::Meta::Method::Overriden')) {
156         # we need to be sure that we actually 
157         # find the next method, which is not 
158         # an 'override' method, the reason is
159         # that an 'override' method will not 
160         # be the one calling inner()
161         my $real_super = $self->_find_next_method_by_name_which_is_not_overridden($name);        
162         $_super_package = $real_super->package_name;
163     }      
164     $self->add_method($name => sub {
165         my @args = @_;
166         no strict   'refs';
167         no warnings 'redefine';
168         local *{$_super_package . '::inner'} = sub { $method->(@args) };
169         return $super->(@args);
170     });    
171 }
172
173 ## Private Utility methods ...
174
175 sub _find_next_method_by_name_which_is_not_overridden {
176     my ($self, $name) = @_;
177     my @methods = $self->find_all_methods_by_name($name);
178     foreach my $method (@methods) {
179         return $method->{code} 
180             if blessed($method->{code}) && !$method->{code}->isa('Moose::Meta::Method::Overriden');
181     }
182     return undef;
183 }
184
185 sub _fix_metaclass_incompatability {
186     my ($self, @superclasses) = @_;
187     foreach my $super (@superclasses) {
188         # don't bother if it does not have a meta.
189         next unless $super->can('meta');
190         # if it's meta is a vanilla Moose, 
191         # then we can safely ignore it.
192         next if blessed($super->meta) eq 'Moose::Meta::Class';
193         # but if we have anything else, 
194         # we need to check it out ...
195         unless (# see if of our metaclass is incompatible
196                 ($self->isa(blessed($super->meta)) &&
197                  # and see if our instance metaclass is incompatible
198                  $self->instance_metaclass->isa($super->meta->instance_metaclass)) &&
199                 # ... and if we are just a vanilla Moose
200                 $self->isa('Moose::Meta::Class')) {
201             # re-initialize the meta ...
202             my $super_meta = $super->meta;
203             # NOTE:
204             # We might want to consider actually 
205             # transfering any attributes from the 
206             # original meta into this one, but in 
207             # general you should not have any there
208             # at this point anyway, so it's very 
209             # much an obscure edge case anyway
210             $self = $super_meta->reinitialize($self->name => (
211                 ':attribute_metaclass' => $super_meta->attribute_metaclass,                            
212                 ':method_metaclass'    => $super_meta->method_metaclass,
213                 ':instance_metaclass'  => $super_meta->instance_metaclass,
214             ));
215         }
216     }
217     return $self;    
218 }
219
220 sub _apply_all_roles {
221     my ($self, @roles) = @_;
222     ($_->can('meta') && $_->meta->isa('Moose::Meta::Role'))
223         || confess "You can only consume roles, $_ is not a Moose role"
224             foreach @roles;
225     if (scalar @roles == 1) {
226         $roles[0]->meta->apply($self);
227     }
228     else {
229         Moose::Meta::Role->combine(
230             map { $_->meta } @roles
231         )->apply($self);
232     }    
233 }
234
235 sub _process_attribute {
236     my ($self, $name, %options) = @_;
237     if ($name =~ /^\+(.*)/) {
238         my $new_attr = $self->_process_inherited_attribute($1, %options);
239         $self->add_attribute($new_attr);
240     }
241     else {
242         if ($options{metaclass}) {
243             Moose::_load_all_classes($options{metaclass});
244             $self->add_attribute($options{metaclass}->new($name, %options));
245         }
246         else {
247             $self->add_attribute($name, %options);
248         }
249     }    
250 }
251
252 sub _process_inherited_attribute {
253     my ($self, $attr_name, %options) = @_;
254     my $inherited_attr = $self->find_attribute_by_name($attr_name);
255     (defined $inherited_attr)
256         || confess "Could not find an attribute by the name of '$attr_name' to inherit from";
257     my $new_attr;
258     if ($inherited_attr->isa('Moose::Meta::Attribute')) {
259         $new_attr = $inherited_attr->clone_and_inherit_options(%options);
260     }
261     else {
262         # NOTE:
263         # kind of a kludge to handle Class::MOP::Attributes
264         $new_attr = Moose::Meta::Attribute::clone_and_inherit_options(
265             $inherited_attr, %options
266         );                        
267     }    
268     return $new_attr;
269 }
270
271 package Moose::Meta::Method::Overriden;
272
273 use strict;
274 use warnings;
275
276 our $VERSION = '0.01';
277
278 use base 'Class::MOP::Method';
279
280 1;
281
282 __END__
283
284 =pod
285
286 =head1 NAME
287
288 Moose::Meta::Class - The Moose metaclass
289
290 =head1 DESCRIPTION
291
292 This is a subclass of L<Class::MOP::Class> with Moose specific 
293 extensions.
294
295 For the most part, the only time you will ever encounter an 
296 instance of this class is if you are doing some serious deep 
297 introspection. To really understand this class, you need to refer 
298 to the L<Class::MOP::Class> documentation.
299
300 =head1 METHODS
301
302 =over 4
303
304 =item B<initialize>
305
306 =item B<new_object>
307
308 We override this method to support the C<trigger> attribute option.
309
310 =item B<construct_instance>
311
312 This provides some Moose specific extensions to this method, you 
313 almost never call this method directly unless you really know what 
314 you are doing. 
315
316 This method makes sure to handle the moose weak-ref, type-constraint
317 and type coercion features. 
318
319 =item B<has_method ($name)>
320
321 This accomidates Moose::Meta::Role::Method instances, which are 
322 aliased, instead of added, but still need to be counted as valid 
323 methods.
324
325 =item B<add_override_method_modifier ($name, $method)>
326
327 This will create an C<override> method modifier for you, and install 
328 it in the package.
329
330 =item B<add_augment_method_modifier ($name, $method)>
331
332 This will create an C<augment> method modifier for you, and install 
333 it in the package.
334
335 =item B<calculate_all_roles>
336
337 =item B<roles>
338
339 This will return an array of C<Moose::Meta::Role> instances which are 
340 attached to this class.
341
342 =item B<add_role ($role)>
343
344 This takes an instance of C<Moose::Meta::Role> in C<$role>, and adds it 
345 to the list of associated roles.
346
347 =item B<does_role ($role_name)>
348
349 This will test if this class C<does> a given C<$role_name>. It will 
350 not only check it's local roles, but ask them as well in order to 
351 cascade down the role hierarchy.
352
353 =item B<excludes_role ($role_name)>
354
355 This will test if this class C<excludes> a given C<$role_name>. It will 
356 not only check it's local roles, but ask them as well in order to 
357 cascade down the role hierarchy.
358
359 =item B<add_attribute ($attr_name, %params|$params)>
360
361 This method does the same thing as L<Class::MOP::Class::add_attribute>, but adds
362 support for taking the C<$params> as a HASH ref.
363
364 =back
365
366 =head1 BUGS
367
368 All complex software has bugs lurking in it, and this module is no 
369 exception. If you find a bug please either email me, or add the bug
370 to cpan-RT.
371
372 =head1 AUTHOR
373
374 Stevan Little E<lt>stevan@iinteractive.comE<gt>
375
376 =head1 COPYRIGHT AND LICENSE
377
378 Copyright 2006 by Infinity Interactive, Inc.
379
380 L<http://www.iinteractive.com>
381
382 This library is free software; you can redistribute it and/or modify
383 it under the same terms as Perl itself. 
384
385 =cut
386