Remove XS method modifier stuff which depend on Data::Util.
[gitmo/Mouse.git] / lib / Mouse / Meta / Class.pm
CommitLineData
306290e8 1package Mouse::Meta::Class;
bc69ee88 2use Mouse::Util qw/:meta get_linear_isa not_supported/; # enables strict and warnings
c3398f5b 3
cecfb973 4use Scalar::Util qw/blessed weaken/;
6d28c5cf 5
6d28c5cf 6use Mouse::Meta::Module;
f3bb863f 7our @ISA = qw(Mouse::Meta::Module);
3a63a2e7 8
3b48bcc8 9our @CARP_NOT = qw(Mouse); # trust Mouse
10
e058b279 11sub attribute_metaclass;
d9659f80 12sub method_metaclass;
3a63a2e7 13
e058b279 14sub constructor_class;
15sub destructor_class;
380e1cd7 16
d9659f80 17
8e64d0fa 18sub _construct_meta {
88ed7189 19 my($class, %args) = @_;
c3398f5b 20
5132ec42 21 $args{attributes} = {};
22 $args{methods} = {};
23 $args{roles} = [];
8536d351 24
c3398f5b 25 $args{superclasses} = do {
26 no strict 'refs';
88ed7189 27 \@{ $args{package} . '::ISA' };
c3398f5b 28 };
29
8d40c3b8 30 my $self = bless \%args, ref($class) || $class;
7eb3a8d5 31 if(ref($self) ne __PACKAGE__){
9009aca1 32 $self->meta->_initialize_object($self, \%args);
8d40c3b8 33 }
34 return $self;
7a50b450 35}
36
37sub create_anon_class{
38 my $self = shift;
39 return $self->create(undef, @_);
40}
41
43165725 42sub is_anon_class;
c3398f5b 43
43165725 44sub roles;
c3398f5b 45
e7264861 46sub calculate_all_roles {
47 my $self = shift;
48 my %seen;
49 return grep { !$seen{ $_->name }++ }
50 map { $_->calculate_all_roles } @{ $self->roles };
51}
52
c3398f5b 53sub superclasses {
54 my $self = shift;
55
56 if (@_) {
9d0686b2 57 foreach my $super(@_){
58 Mouse::Util::load_class($super);
59 my $meta = Mouse::Util::get_metaclass_by_name($super);
b6369395 60
61 next if not defined $meta;
62
f48920c1 63 if(Mouse::Util::is_a_metarole($meta)){
9d0686b2 64 $self->throw_error("You cannot inherit from a Mouse Role ($super)");
65 }
b6369395 66
67 next if $self->isa(ref $meta); # _superclass_meta_is_compatible
68
b6369395 69 $self->_reconcile_with_superclass_meta($meta);
9d0686b2 70 }
c3398f5b 71 @{ $self->{superclasses} } = @_;
72 }
73
8e64d0fa 74 return @{ $self->{superclasses} };
75}
c0b18afd 76my @MetaClassTypes = (
77 'attribute', # Mouse::Meta::Attribute
78 'method', # Mouse::Meta::Method
79 'constructor', # Mouse::Meta::Method::Constructor
80 'destructor', # Mouse::Meta::Method::Destructor
81);
8e64d0fa 82
b6369395 83sub _reconcile_with_superclass_meta {
c0b18afd 84 my($self, $other) = @_;
b6369395 85
733f404b 86 # find incompatible traits
c0b18afd 87 my %metaroles;
b6369395 88 foreach my $metaclass_type(@MetaClassTypes){
c0b18afd 89 my $accessor = $self->can($metaclass_type . '_metaclass')
90 || $self->can($metaclass_type . '_class');
b6369395 91
c0b18afd 92 my $other_c = $other->$accessor();
93 my $self_c = $self->$accessor();
b6369395 94
c0b18afd 95 if(!$self_c->isa($other_c)){
96 $metaroles{$metaclass_type}
97 = [ $self_c->meta->_collect_roles($other_c->meta) ];
d9659f80 98 }
99 }
100
c0b18afd 101 $metaroles{class} = [$self->meta->_collect_roles($other->meta)];
102
103 #use Data::Dumper; print Data::Dumper->new([\%metaroles], ['*metaroles'])->Indent(1)->Dump;
d9659f80 104
105 require Mouse::Util::MetaRole;
c0b18afd 106 $_[0] = Mouse::Util::MetaRole::apply_metaroles(
107 for => $self,
108 class_metaroles => \%metaroles,
d9659f80 109 );
b6369395 110 return;
111}
112
c0b18afd 113sub _collect_roles {
114 my ($self, $other) = @_;
115
116 # find common ancestor
117 my @self_lin_isa = $self->linearized_isa;
118 my @other_lin_isa = $other->linearized_isa;
119
120 my(@self_anon_supers, @other_anon_supers);
121 push @self_anon_supers, shift @self_lin_isa while $self_lin_isa[0]->meta->is_anon_class;
122 push @other_anon_supers, shift @other_lin_isa while $other_lin_isa[0]->meta->is_anon_class;
123
124 my $common_ancestor = $self_lin_isa[0] eq $other_lin_isa[0] && $self_lin_isa[0];
125
126 if(!$common_ancestor){
127 $self->throw_error(sprintf '%s cannot have %s as a super class because of their metaclass incompatibility',
128 $self->name, $other->name);
129 }
130
131 my %seen;
a4b15169 132 return sort grep { !$seen{$_}++ } ## no critic
c0b18afd 133 (map{ $_->name } map{ $_->meta->calculate_all_roles } @self_anon_supers),
134 (map{ $_->name } map{ $_->meta->calculate_all_roles } @other_anon_supers),
135 ;
136}
137
138
8e64d0fa 139sub find_method_by_name{
140 my($self, $method_name) = @_;
141 defined($method_name)
142 or $self->throw_error('You must define a method name to find');
0126c27c 143
8e64d0fa 144 foreach my $class( $self->linearized_isa ){
145 my $method = $self->initialize($class)->get_method($method_name);
146 return $method if defined $method;
147 }
148 return undef;
149}
150
151sub get_all_methods {
152 my($self) = @_;
612d3e1a 153 return map{ $self->find_method_by_name($_) } $self->get_all_method_names;
c3398f5b 154}
155
60cfc6ad 156sub get_all_method_names {
157 my $self = shift;
158 my %uniq;
159 return grep { $uniq{$_}++ == 0 }
3a63a2e7 160 map { Mouse::Meta::Class->initialize($_)->get_method_list() }
60cfc6ad 161 $self->linearized_isa;
162}
163
2b908b79 164sub find_attribute_by_name{
165 my($self, $name) = @_;
166 my $attr;
167 foreach my $class($self->linearized_isa){
168 my $meta = Mouse::Util::get_metaclass_by_name($class) or next;
169 $attr = $meta->get_attribute($name) and last;
170 }
171 return $attr;
172}
173
87ca293b 174sub add_attribute {
c3398f5b 175 my $self = shift;
60f6eba9 176
87ca293b 177 my($attr, $name);
1b9e472d 178
87ca293b 179 if(blessed $_[0]){
180 $attr = $_[0];
1b9e472d 181
87ca293b 182 $attr->isa('Mouse::Meta::Attribute')
183 || $self->throw_error("Your attribute must be an instance of Mouse::Meta::Attribute (or a subclass)");
1b9e472d 184
87ca293b 185 $name = $attr->name;
1b9e472d 186 }
187 else{
87ca293b 188 # _process_attribute
189 $name = shift;
1b9e472d 190
87ca293b 191 my %args = (@_ == 1) ? %{$_[0]} : @_;
1b9e472d 192
87ca293b 193 defined($name)
194 or $self->throw_error('You must provide a name for the attribute');
1b9e472d 195
87ca293b 196 if ($name =~ s/^\+//) { # inherited attributes
2b908b79 197 my $inherited_attr = $self->find_attribute_by_name($name)
87ca293b 198 or $self->throw_error("Could not find an attribute by the name of '$name' to inherit from in ".$self->name);
199
8cf51b82 200 $attr = $inherited_attr->clone_and_inherit_options(%args);
87ca293b 201 }
202 else{
8cf51b82 203 my($attribute_class, @traits) = $self->attribute_metaclass->interpolate_class(\%args);
87ca293b 204 $args{traits} = \@traits if @traits;
205
2a464664 206 $attr = $attribute_class->new($name, %args);
87ca293b 207 }
208 }
1b9e472d 209
210 weaken( $attr->{associated_class} = $self );
211
df7e4729 212 # install accessors first
213 $attr->install_accessors();
214
215 # then register the attribute to the metaclass
beb51b30 216 $attr->{insertion_order} = keys %{ $self->{attributes} };
1b9e472d 217 $self->{attributes}{$attr->name} = $attr;
1b9e472d 218
3b48bcc8 219 if(!$attr->{associated_methods} && ($attr->{is} || '') ne 'bare'){
220 Carp::carp(qq{Attribute ($name) of class }.$self->name
221 .qq{ has no associated methods (did you mean to provide an "is" argument?)});
60f6eba9 222 }
1b9e472d 223 return $attr;
c3398f5b 224}
225
cccb83de 226sub linearized_isa;
8536d351 227
ba153b33 228sub new_object;
13b99908 229sub clone_object;
1b9e472d 230
cfef75f0 231sub immutable_options {
232 my ( $self, @args ) = @_;
233
234 return (
7efbc77d 235 inline_constructor => 1,
e578d610 236 inline_destructor => 1,
2a464664 237 constructor_name => 'new',
cfef75f0 238 @args,
6a1d1835 239 );
cfef75f0 240}
241
cfef75f0 242sub make_immutable {
243 my $self = shift;
244 my %args = $self->immutable_options(@_);
6a1d1835 245
fc1d8369 246 $self->{is_immutable}++;
c7a6403f 247
6a1d1835 248 if ($args{inline_constructor}) {
380e1cd7 249 $self->add_method($args{constructor_name} =>
637d4f17 250 Mouse::Util::load_class($self->constructor_class)
251 ->_generate_constructor($self, \%args));
c7a6403f 252 }
253
8632b6fe 254 if ($args{inline_destructor}) {
380e1cd7 255 $self->add_method(DESTROY =>
637d4f17 256 Mouse::Util::load_class($self->destructor_class)
257 ->_generate_destructor($self, \%args));
8632b6fe 258 }
2276cb14 259
260 # Moose's make_immutable returns true allowing calling code to skip setting an explicit true value
261 # at the end of a source file.
262 return 1;
fc1d8369 263}
ad958001 264
32490a72 265sub make_mutable {
266 my($self) = @_;
267 $self->{is_immutable} = 0;
268 return;
269}
ad958001 270
80efe911 271sub is_immutable;
272sub is_mutable { !$_[0]->is_immutable }
84ef660f 273
8d5287a7 274sub _install_modifier {
8d59c723 275 my( $self, $type, $name, $code ) = @_;
276 my $into = $self->name;
3fbade18 277
278 my $original = $into->can($name)
083e49a5 279 or $self->throw_error("The method '$name' was not found in the inheritance hierarchy for $into");
3fbade18 280
281 my $modifier_table = $self->{modifiers}{$name};
282
283 if(!$modifier_table){
284 my(@before, @after, @around, $cache, $modified);
285
286 $cache = $original;
287
288 $modified = sub {
289 for my $c (@before) { $c->(@_) }
290
291 if(wantarray){ # list context
292 my @rval = $cache->(@_);
293
294 for my $c(@after){ $c->(@_) }
295 return @rval;
296 }
297 elsif(defined wantarray){ # scalar context
298 my $rval = $cache->(@_);
299
300 for my $c(@after){ $c->(@_) }
301 return $rval;
302 }
303 else{ # void context
304 $cache->(@_);
305
306 for my $c(@after){ $c->(@_) }
307 return;
308 }
309 };
310
311 $self->{modifiers}{$name} = $modifier_table = {
312 original => $original,
313
314 before => \@before,
315 after => \@after,
316 around => \@around,
317
318 cache => \$cache, # cache for around modifiers
319 };
320
321 $self->add_method($name => $modified);
322 }
323
324 if($type eq 'before'){
325 unshift @{$modifier_table->{before}}, $code;
326 }
327 elsif($type eq 'after'){
328 push @{$modifier_table->{after}}, $code;
329 }
330 else{ # around
331 push @{$modifier_table->{around}}, $code;
332
333 my $next = ${ $modifier_table->{cache} };
334 ${ $modifier_table->{cache} } = sub{ $code->($next, @_) };
335 }
336
337 return;
338}
339
50dc6ee5 340sub add_before_method_modifier {
4859d490 341 my ( $self, $name, $code ) = @_;
8d59c723 342 $self->_install_modifier( 'before', $name, $code );
50dc6ee5 343}
344
345sub add_around_method_modifier {
4859d490 346 my ( $self, $name, $code ) = @_;
8d59c723 347 $self->_install_modifier( 'around', $name, $code );
50dc6ee5 348}
349
350sub add_after_method_modifier {
4859d490 351 my ( $self, $name, $code ) = @_;
8d59c723 352 $self->_install_modifier( 'after', $name, $code );
50dc6ee5 353}
354
67199842 355sub add_override_method_modifier {
356 my ($self, $name, $code) = @_;
357
768804c0 358 if($self->has_method($name)){
359 $self->throw_error("Cannot add an override method if a local method is already present");
85bd3f44 360 }
361
6cfa1e5e 362 my $package = $self->name;
67199842 363
85bd3f44 364 my $super_body = $package->can($name)
6cfa1e5e 365 or $self->throw_error("You cannot override '$name' because it has no super method");
67199842 366
85bd3f44 367 $self->add_method($name => sub {
368 local $Mouse::SUPER_PACKAGE = $package;
369 local $Mouse::SUPER_BODY = $super_body;
370 local @Mouse::SUPER_ARGS = @_;
371
372 $code->(@_);
373 });
374 return;
67199842 375}
376
768804c0 377sub add_augment_method_modifier {
378 my ($self, $name, $code) = @_;
379 if($self->has_method($name)){
380 $self->throw_error("Cannot add an augment method if a local method is already present");
381 }
382
383 my $super = $self->find_method_by_name($name)
384 or $self->throw_error("You cannot augment '$name' because it has no super method");
385
386 my $super_package = $super->package_name;
387 my $super_body = $super->body;
388
389 $self->add_method($name => sub{
390 local $Mouse::INNER_BODY{$super_package} = $code;
391 local $Mouse::INNER_ARGS{$super_package} = [@_];
392 $super_body->(@_);
393 });
394 return;
395}
396
47f36c05 397sub does_role {
398 my ($self, $role_name) = @_;
ad958001 399
47f36c05 400 (defined $role_name)
fce211ae 401 || $self->throw_error("You must supply a role name to look for");
ad958001 402
f3e11122 403 $role_name = $role_name->name if ref $role_name;
404
f7fec86c 405 for my $class ($self->linearized_isa) {
95ecd6f1 406 my $meta = Mouse::Util::get_metaclass_by_name($class)
407 or next;
3a63a2e7 408
409 for my $role (@{ $meta->roles }) {
ff687069 410
3a63a2e7 411 return 1 if $role->does_role($role_name);
f7fec86c 412 }
47f36c05 413 }
ad958001 414
47f36c05 415 return 0;
416}
417
c3398f5b 4181;
c3398f5b 419__END__
420
421=head1 NAME
422
1820fffe 423Mouse::Meta::Class - The Mouse class metaclass
c3398f5b 424
a25ca8d6 425=head1 VERSION
426
12f4a95a 427This document describes Mouse version 0.67
a25ca8d6 428
c3398f5b 429=head1 METHODS
430
612d3e1a 431=head2 C<< initialize(ClassName) -> Mouse::Meta::Class >>
c3398f5b 432
31c5194b 433Finds or creates a C<Mouse::Meta::Class> instance for the given ClassName. Only
306290e8 434one instance should exist for a given class.
c3398f5b 435
612d3e1a 436=head2 C<< name -> ClassName >>
c3398f5b 437
438Returns the name of the owner class.
439
612d3e1a 440=head2 C<< superclasses -> ClassNames >> C<< superclass(ClassNames) >>
c3398f5b 441
442Gets (or sets) the list of superclasses of the owner class.
443
31c5194b 444=head2 C<< add_method(name => CodeRef) >>
c3398f5b 445
31c5194b 446Adds a method to the owner class.
c3398f5b 447
31c5194b 448=head2 C<< has_method(name) -> Bool >>
72b88a88 449
31c5194b 450Returns whether we have a method with the given name.
72b88a88 451
31c5194b 452=head2 C<< get_method(name) -> Mouse::Meta::Method | undef >>
c68b4110 453
31c5194b 454Returns a L<Mouse::Meta::Method> with the given name.
455
456Note that you can also use C<< $metaclass->name->can($name) >> for a method body.
457
458=head2 C<< get_method_list -> Names >>
459
460Returns a list of method names which are defined in the local class.
461If you want a list of all applicable methods for a class, use the
462C<get_all_methods> method.
463
464=head2 C<< get_all_methods -> (Mouse::Meta::Method) >>
465
466Return the list of all L<Mouse::Meta::Method> instances associated with
467the class and its superclasses.
468
469=head2 C<< add_attribute(name => spec | Mouse::Meta::Attribute) >>
470
471Begins keeping track of the existing L<Mouse::Meta::Attribute> for the owner
472class.
c68b4110 473
612d3e1a 474=head2 C<< has_attribute(Name) -> Bool >>
66eea168 475
476Returns whether we have a L<Mouse::Meta::Attribute> with the given name.
477
31c5194b 478=head2 C<< get_attribute Name -> Mouse::Meta::Attribute | undef >>
c3398f5b 479
306290e8 480Returns the L<Mouse::Meta::Attribute> with the given name.
c3398f5b 481
31c5194b 482=head2 C<< get_attribute_list -> Names >>
483
484Returns a list of attribute names which are defined in the local
485class. If you want a list of all applicable attributes for a class,
486use the C<get_all_attributes> method.
487
488=head2 C<< get_all_attributes -> (Mouse::Meta::Attribute) >>
489
490Returns the list of all L<Mouse::Meta::Attribute> instances associated with
491this class and its superclasses.
492
612d3e1a 493=head2 C<< linearized_isa -> [ClassNames] >>
c3398f5b 494
495Returns the list of classes in method dispatch order, with duplicates removed.
496
612d3e1a 497=head2 C<< new_object(Parameters) -> Instance >>
2cea7a5f 498
612d3e1a 499Creates a new instance.
2cea7a5f 500
612d3e1a 501=head2 C<< clone_object(Instance, Parameters) -> Instance >>
f7b11a21 502
31c5194b 503Clones the given instance which must be an instance governed by this
f7b11a21 504metaclass.
505
31c5194b 506=head2 C<< throw_error(Message, Parameters) >>
507
508Throws an error with the given message.
509
1820fffe 510=head1 SEE ALSO
f7b11a21 511
6b82419e 512L<Mouse::Meta::Module>
513
1820fffe 514L<Moose::Meta::Class>
f7b11a21 515
31c5194b 516L<Class::MOP::Class>
517
c3398f5b 518=cut
519