updating copyright dates
[gitmo/Moose.git] / lib / Moose / Role.pm
index 229c6f9..0aeb2f4 100644 (file)
@@ -4,80 +4,177 @@ package Moose::Role;
 use strict;
 use warnings;
 
-use Scalar::Util ();
+use Scalar::Util 'blessed';
 use Carp         'confess';
 use Sub::Name    'subname';
 
-our $VERSION = '0.01';
+use Sub::Exporter;
+
+our $VERSION   = '0.07';
+our $AUTHORITY = 'cpan:STEVAN';
+
+use Moose ();
 
 use Moose::Meta::Role;
+use Moose::Util::TypeConstraints;
+
+{
+    my ( $CALLER, %METAS );
+
+    sub _find_meta {
+        my $role = $CALLER;
+
+        return $METAS{$role} if exists $METAS{$role};
+
+        # make a subtype for each Moose class
+        subtype $role
+            => as 'Role'
+            => where { $_->does($role) }
+            => optimize_as { blessed($_[0]) && $_[0]->can('does') && $_[0]->does($role) }
+        unless find_type_constraint($role);
+
+        my $meta;
+        if ($role->can('meta')) {
+            $meta = $role->meta();
+            (blessed($meta) && $meta->isa('Moose::Meta::Role'))
+                || confess "You already have a &meta function, but it does not return a Moose::Meta::Role";
+        }
+        else {
+            $meta = Moose::Meta::Role->initialize($role);
+            $meta->alias_method('meta' => sub { $meta });
+        }
+
+        return $METAS{$role} = $meta;
+    }
+
+
+    my %exports = (
+        extends => sub {
+            my $meta = _find_meta();
+            return subname 'Moose::Role::extends' => sub {
+                confess "Moose::Role does not currently support 'extends'"
+            };
+        },
+        with => sub {
+            my $meta = _find_meta();
+            return subname 'Moose::Role::with' => sub (@) {
+                my (@roles) = @_;
+                confess "Must specify at least one role" unless @roles;
+                Class::MOP::load_class($_) for @roles;
+                ($_->can('meta') && $_->meta->isa('Moose::Meta::Role'))
+                    || confess "You can only consume roles, $_ is not a Moose role"
+                        foreach @roles;
+                if (scalar @roles == 1) {
+                    $roles[0]->meta->apply($meta);
+                }
+                else {
+                    Moose::Meta::Role->combine(
+                        map { $_->meta } @roles
+                    )->apply($meta);
+                }
+            };
+        },
+        requires => sub {
+            my $meta = _find_meta();
+            return subname 'Moose::Role::requires' => sub (@) {
+                confess "Must specify at least one method" unless @_;
+                $meta->add_required_methods(@_);
+            };
+        },
+        excludes => sub {
+            my $meta = _find_meta();
+            return subname 'Moose::Role::excludes' => sub (@) {
+                confess "Must specify at least one role" unless @_;
+                $meta->add_excluded_roles(@_);
+            };
+        },
+        has => sub {
+            my $meta = _find_meta();
+            return subname 'Moose::Role::has' => sub ($;%) {
+                my ($name, %options) = @_;
+                $meta->add_attribute($name, %options)
+            };
+        },
+        before => sub {
+            my $meta = _find_meta();
+            return subname 'Moose::Role::before' => sub (@&) {
+                my $code = pop @_;
+                $meta->add_before_method_modifier($_, $code) for @_;
+            };
+        },
+        after => sub {
+            my $meta = _find_meta();
+            return subname 'Moose::Role::after' => sub (@&) {
+                my $code = pop @_;
+                $meta->add_after_method_modifier($_, $code) for @_;
+            };
+        },
+        around => sub {
+            my $meta = _find_meta();
+            return subname 'Moose::Role::around' => sub (@&) {
+                my $code = pop @_;
+                $meta->add_around_method_modifier($_, $code) for @_;
+            };
+        },
+        super => sub {
+            {
+              no strict 'refs';
+              $Moose::SUPER_SLOT{$CALLER} = \*{"${CALLER}::super"};
+            }
+            my $meta = _find_meta();
+            return subname 'Moose::Role::super' => sub {};
+        },
+        override => sub {
+            my $meta = _find_meta();
+            return subname 'Moose::Role::override' => sub ($&) {
+                my ($name, $code) = @_;
+                $meta->add_override_method_modifier($name, $code);
+            };
+        },
+        inner => sub {
+            my $meta = _find_meta();
+            return subname 'Moose::Role::inner' => sub {
+                confess "Moose::Role cannot support 'inner'";
+            };
+        },
+        augment => sub {
+            my $meta = _find_meta();
+            return subname 'Moose::Role::augment' => sub {
+                confess "Moose::Role cannot support 'augment'";
+            };
+        },
+        confess => sub {
+            return \&Carp::confess;
+        },
+        blessed => sub {
+            return \&Scalar::Util::blessed;
+        }
+    );
+
+    my $exporter = Sub::Exporter::build_exporter({
+        exports => \%exports,
+        groups  => {
+            default => [':all']
+        }
+    });
+
+    sub import {
+        $CALLER =
+            ref $_[1] && defined $_[1]->{into} ? $_[1]->{into}
+          : ref $_[1]
+          && defined $_[1]->{into_level} ? caller( $_[1]->{into_level} )
+          :                                caller();
+
+
+        strict->import;
+        warnings->import;
+
+        # we should never export to main
+        return if $CALLER eq 'main';
+
+        goto $exporter;
+    };
 
-sub import {
-       shift;
-       my $pkg = caller();
-       
-       # we should never export to main
-       return if $pkg eq 'main';
-       
-       Moose::Util::TypeConstraints->import($pkg);
-
-       my $meta;
-       if ($pkg->can('meta')) {
-               $meta = $pkg->meta();
-               (blessed($meta) && $meta->isa('Moose::Meta::Role'))
-                       || confess "Whoops, not møøsey enough";
-       }
-       else {
-               $meta = Moose::Meta::Role->new(role_name => $pkg);
-               $meta->role_meta->add_method('meta' => sub { $meta })           
-       }
-       
-       # NOTE:
-       # &alias_method will install the method, but it 
-       # will not name it with 
-       
-       # handle superclasses
-       $meta->role_meta->alias_method('extends' => subname 'Moose::Role::extends' => sub { 
-        confess "Moose::Role does not currently support 'extends'"
-       });     
-       
-       # handle attributes
-       $meta->role_meta->alias_method('has' => subname 'Moose::Role::has' => sub { 
-               my ($name, %options) = @_;
-               $meta->add_attribute($name, %options) 
-       });
-
-       # handle method modifers
-       $meta->role_meta->alias_method('before' => subname 'Moose::Role::before' => sub { 
-               my $code = pop @_;
-               $meta->add_before_method_modifier($_, $code) for @_;
-       });
-       $meta->role_meta->alias_method('after'  => subname 'Moose::Role::after' => sub { 
-               my $code = pop @_;
-               $meta->add_after_method_modifier($_, $code) for @_;
-       });     
-       $meta->role_meta->alias_method('around' => subname 'Moose::Role::around' => sub { 
-               my $code = pop @_;
-               $meta->add_around_method_modifier($_, $code) for @_;
-       });     
-       
-       $meta->role_meta->alias_method('super' => subname 'Moose::Role::super' => sub {});
-       $meta->role_meta->alias_method('override' => subname 'Moose::Role::override' => sub {
-        my ($name, $code) = @_;
-               $meta->add_override_method_modifier($name, $code);
-       });             
-       
-       $meta->role_meta->alias_method('inner' => subname 'Moose::Role::inner' => sub {
-        confess "Moose::Role does not currently support 'inner'";          
-       });
-       $meta->role_meta->alias_method('augment' => subname 'Moose::Role::augment' => sub {
-        confess "Moose::Role does not currently support 'augment'";
-       });     
-
-       # we recommend using these things 
-       # so export them for them
-       $meta->role_meta->alias_method('confess' => \&Carp::confess);                   
-       $meta->role_meta->alias_method('blessed' => \&Scalar::Util::blessed);    
 }
 
 1;
@@ -93,83 +190,101 @@ Moose::Role - The Moose Role
 =head1 SYNOPSIS
 
   package Eq;
-  use strict;
-  use warnings;
-  use Moose::Role;
-  
-  sub equal { confess "equal must be implemented" }
-  
-  sub no_equal { 
+  use Moose::Role; # automatically turns on strict and warnings
+
+  requires 'equal';
+
+  sub no_equal {
       my ($self, $other) = @_;
       !$self->equal($other);
   }
-  
+
   # ... then in your classes
-  
+
   package Currency;
-  use strict;
-  use warnings;
-  use Moose;
-  
+  use Moose; # automatically turns on strict and warnings
+
   with 'Eq';
-  
+
   sub equal {
       my ($self, $other) = @_;
-      $other->as_float == $other->as_float;
+      $self->as_float == $other->as_float;
   }
 
 =head1 DESCRIPTION
 
-This is currently a very early release of Perl 6 style Roles for 
-Moose, it should be considered experimental and incomplete.
+Role support in Moose is pretty solid at this point. However, the best
+documentation is still the the test suite. It is fairly safe to assume Perl 6
+style behavior and then either refer to the test suite, or ask questions on
+#moose if something doesn't quite do what you expect.
+
+We are planning writing some more documentation in the near future, but nothing
+is ready yet, sorry.
+
+=head1 EXPORTED FUNCTIONS
+
+Moose::Role currently supports all of the functions that L<Moose> exports, but
+differs slightly in how some items are handled (see L<CAVEATS> below for
+details).
 
-This feature is being actively developed, but $work is currently 
-preventing me from paying as much attention to it as I would like. 
-So I am releasing it in hopes people will help me on this I<hint hint>.
+Moose::Role also offers two role-specific keyword exports:
 
-If you are interested in helping, please come to #moose on irc.perl.org
-and we can talk. 
+=over 4
+
+=item B<requires (@method_names)>
+
+Roles can require that certain methods are implemented by any class which
+C<does> the role.
+
+=item B<excludes (@role_names)>
+
+Roles can C<exclude> other roles, in effect saying "I can never be combined
+with these C<@role_names>". This is a feature which should not be used
+lightly.
+
+=back
 
 =head1 CAVEATS
 
-Currently, the role support has a number of caveats. They are as follows:
+Role support has only a few caveats:
 
 =over 4
 
 =item *
 
-There is no support for Roles consuming other Roles. The details of this 
-are not totally worked out yet, but it will mostly follow what is set out 
-in the Perl 6 Synopsis 12.
+Roles cannot use the C<extends> keyword; it will throw an exception for now.
+The same is true of the C<augment> and C<inner> keywords (not sure those
+really make sense for roles). All other Moose keywords will be I<deferred>
+so that they can be applied to the consuming class.
 
 =item *
 
-At this time classes I<can> consume more than one Role, but they are simply 
-applied one after another in the order you ask for them. This is incorrect 
-behavior, the roles should be merged first, and conflicts determined, etc. 
-However, if your roles do not have any conflicts, then things will work just 
-fine.
-
-=item * 
+Role composition does its best to B<not> be order-sensitive when it comes to
+conflict resolution and requirements detection. However, it is order-sensitive
+when it comes to method modifiers. All before/around/after modifiers are
+included whenever a role is composed into a class, and then applied in the order
+in which the roles are used. This also means that there is no conflict for
+before/around/after modifiers.
 
-I want to have B<required> methods, which is unlike Perl 6 roles, and more 
-like the original Traits on which roles are based. This would be similar 
-in behavior to L<Class::Trait>. These are not yet implemented or course.
+In most cases, this will be a non-issue; however, it is something to keep in
+mind when using method modifiers in a role. You should never assume any
+ordering.
 
 =item *
 
-Roles cannot use the C<extends> keyword, it will throw an exception for now. 
-The same is true of the C<augment> and C<inner> keywords (not sure those 
-really make sense for roles). All other Moose keywords will be I<deferred> 
-so that they can be applied to the consuming class. 
+The C<requires> keyword currently only works with actual methods. A method
+modifier (before/around/after and override) will not count as a fufillment
+of the requirement, and neither will an autogenerated accessor for an attribute.
 
-=back
+It is likely that attribute accessors will eventually be allowed to fufill those
+requirements, or we will introduce a C<requires_attr> keyword of some kind
+instead. This decision has not yet been finalized.
 
-Basically thats all I can think of for now, I am sure there are more though.
+=back
 
 =head1 BUGS
 
-All complex software has bugs lurking in it, and this module is no 
+All complex software has bugs lurking in it, and this module is no
 exception. If you find a bug please either email me, or add the bug
 to cpan-RT.
 
@@ -177,13 +292,15 @@ to cpan-RT.
 
 Stevan Little E<lt>stevan@iinteractive.comE<gt>
 
+Christian Hansen E<lt>chansen@cpan.orgE<gt>
+
 =head1 COPYRIGHT AND LICENSE
 
-Copyright 2006 by Infinity Interactive, Inc.
+Copyright 2006-2008 by Infinity Interactive, Inc.
 
 L<http://www.iinteractive.com>
 
 This library is free software; you can redistribute it and/or modify
-it under the same terms as Perl itself. 
+it under the same terms as Perl itself.
 
-=cut
\ No newline at end of file
+=cut