use warnings;
use metaclass;
-use Carp 'confess';
+use Carp 'confess';
+use Scalar::Util 'blessed';
+use B 'svref_2object';
-our $VERSION = '0.01';
+use Moose::Meta::Class;
+
+our $VERSION = '0.03';
+
+## Attributes
+
+## the meta for the role package
+
+__PACKAGE__->meta->add_attribute('_role_meta' => (
+ reader => '_role_meta',
+ init_arg => ':role_meta'
+));
-__PACKAGE__->meta->add_attribute('role_meta' => (
- reader => 'role_meta'
+## roles
+
+__PACKAGE__->meta->add_attribute('roles' => (
+ reader => 'get_roles',
+ default => sub { [] }
+));
+
+## excluded roles
+
+__PACKAGE__->meta->add_attribute('excluded_roles_map' => (
+ reader => 'get_excluded_roles_map',
+ default => sub { {} }
));
+## attributes
+
__PACKAGE__->meta->add_attribute('attribute_map' => (
reader => 'get_attribute_map',
default => sub { {} }
));
-__PACKAGE__->meta->add_attribute('method_modifier_map' => (
- reader => 'get_method_modifier_map',
- default => sub {
- return {
- before => {},
- after => {},
- around => {},
- override => {}
- };
- }
+## required methods
+
+__PACKAGE__->meta->add_attribute('required_methods' => (
+ reader => 'get_required_methods_map',
+ default => sub { {} }
+));
+
+## method modifiers
+
+__PACKAGE__->meta->add_attribute('before_method_modifiers' => (
+ reader => 'get_before_method_modifiers_map',
+ default => sub { {} } # (<name> => [ (CODE) ])
+));
+
+__PACKAGE__->meta->add_attribute('after_method_modifiers' => (
+ reader => 'get_after_method_modifiers_map',
+ default => sub { {} } # (<name> => [ (CODE) ])
));
+__PACKAGE__->meta->add_attribute('around_method_modifiers' => (
+ reader => 'get_around_method_modifiers_map',
+ default => sub { {} } # (<name> => [ (CODE) ])
+));
+
+__PACKAGE__->meta->add_attribute('override_method_modifiers' => (
+ reader => 'get_override_method_modifiers_map',
+ default => sub { {} } # (<name> => CODE)
+));
+
+## Methods
+
sub new {
my $class = shift;
my %options = @_;
- $options{role_meta} = Class::MOP::Class->initialize($options{role_name});
+ $options{':role_meta'} = Moose::Meta::Class->initialize(
+ $options{role_name},
+ ':method_metaclass' => 'Moose::Meta::Role::Method'
+ ) unless defined $options{':role_meta'} &&
+ $options{':role_meta'}->isa('Moose::Meta::Class');
my $self = $class->meta->new_object(%options);
return $self;
}
-sub apply {
- my ($self, $other) = @_;
-
- foreach my $attribute_name ($self->get_attribute_list) {
- # skip it if it has one already
- next if $other->has_attribute($attribute_name);
- # add it, although it could be overriden
- $other->add_attribute(
- $attribute_name,
- %{$self->get_attribute($attribute_name)}
- );
+## subroles
+
+sub add_role {
+ my ($self, $role) = @_;
+ (blessed($role) && $role->isa('Moose::Meta::Role'))
+ || confess "Roles must be instances of Moose::Meta::Role";
+ push @{$self->get_roles} => $role;
+}
+
+sub does_role {
+ my ($self, $role_name) = @_;
+ (defined $role_name)
+ || confess "You must supply a role name to look for";
+ # if we are it,.. then return true
+ return 1 if $role_name eq $self->name;
+ # otherwise.. check our children
+ foreach my $role (@{$self->get_roles}) {
+ return 1 if $role->does_role($role_name);
}
-
- foreach my $method_name ($self->get_method_list) {
- # skip it if it has one already
- next if $other->has_method($method_name);
- # add it, although it could be overriden
- $other->add_method(
- $method_name,
- $self->get_method($method_name)
- );
- }
-
- foreach my $method_name ($self->get_method_modifier_list('override')) {
- # skip it if it has one already
- next if $other->has_method($method_name);
- # add it, although it could be overriden
- $other->add_override_method_modifier(
- $method_name,
- $self->get_method_modifier('override' => $method_name),
- $self->name
- );
- }
-
- foreach my $method_name ($self->get_method_modifier_list('before')) {
- $other->add_before_method_modifier(
- $method_name,
- $self->get_method_modifier('before' => $method_name)
- );
- }
-
- foreach my $method_name ($self->get_method_modifier_list('after')) {
- $other->add_after_method_modifier(
- $method_name,
- $self->get_method_modifier('after' => $method_name)
- );
- }
-
- foreach my $method_name ($self->get_method_modifier_list('around')) {
- $other->add_around_method_modifier(
- $method_name,
- $self->get_method_modifier('around' => $method_name)
- );
- }
-
+ return 0;
+}
+
+## excluded roles
+
+sub add_excluded_roles {
+ my ($self, @excluded_role_names) = @_;
+ $self->get_excluded_roles_map->{$_} = undef foreach @excluded_role_names;
}
+sub get_excluded_roles_list {
+ my ($self) = @_;
+ keys %{$self->get_excluded_roles_map};
+}
+
+sub excludes_role {
+ my ($self, $role_name) = @_;
+ exists $self->get_excluded_roles_map->{$role_name} ? 1 : 0;
+}
+
+## required methods
+
+sub add_required_methods {
+ my ($self, @methods) = @_;
+ $self->get_required_methods_map->{$_} = undef foreach @methods;
+}
+
+sub remove_required_methods {
+ my ($self, @methods) = @_;
+ delete $self->get_required_methods_map->{$_} foreach @methods;
+}
+
+sub get_required_method_list {
+ my ($self) = @_;
+ keys %{$self->get_required_methods_map};
+}
+
+sub requires_method {
+ my ($self, $method_name) = @_;
+ exists $self->get_required_methods_map->{$method_name} ? 1 : 0;
+}
+
+sub _clean_up_required_methods {
+ my $self = shift;
+ foreach my $method ($self->get_required_method_list) {
+ $self->remove_required_methods($method)
+ if $self->has_method($method);
+ }
+}
+
+## methods
+
# NOTE:
# we delegate to some role_meta methods for convience here
# the Moose::Meta::Role is meant to be a read-only interface
# to the underlying role package, if you want to manipulate
# that, just use ->role_meta
-sub name { (shift)->role_meta->name }
-sub version { (shift)->role_meta->version }
+sub name { (shift)->_role_meta->name }
+sub version { (shift)->_role_meta->version }
-sub get_method { (shift)->role_meta->get_method(@_) }
-sub has_method { (shift)->role_meta->has_method(@_) }
+sub get_method { (shift)->_role_meta->get_method(@_) }
+sub has_method { (shift)->_role_meta->has_method(@_) }
+sub alias_method { (shift)->_role_meta->alias_method(@_) }
sub get_method_list {
my ($self) = @_;
- # meta is not applicable in this context,
- # if you want to see it use the ->role_meta
- grep { !/^meta$/ } $self->role_meta->get_method_list;
+ grep {
+ # NOTE:
+ # this is a kludge for now,... these functions
+ # should not be showing up in the list at all,
+ # but they do, so we need to switch Moose::Role
+ # and Moose to use Sub::Exporter to prevent this
+ !/^(meta|has|extends|blessed|confess|augment|inner|override|super|before|after|around|with|requires)$/
+ } $self->_role_meta->get_method_list;
}
# ... however the items in statis (attributes & method modifiers)
# method modifiers
-sub add_method_modifier {
+# mimic the metaclass API
+sub add_before_method_modifier { (shift)->_add_method_modifier('before', @_) }
+sub add_around_method_modifier { (shift)->_add_method_modifier('around', @_) }
+sub add_after_method_modifier { (shift)->_add_method_modifier('after', @_) }
+
+sub _add_method_modifier {
my ($self, $modifier_type, $method_name, $method) = @_;
- $self->get_method_modifier_map->{$modifier_type}->{$method_name} = $method;
+ my $accessor = "get_${modifier_type}_method_modifiers_map";
+ $self->$accessor->{$method_name} = []
+ unless exists $self->$accessor->{$method_name};
+ my $modifiers = $self->$accessor->{$method_name};
+ # NOTE:
+ # check to see that we aren't adding the
+ # same code twice. We err in favor of the
+ # first on here, this may not be as expected
+ foreach my $modifier (@{$modifiers}) {
+ return if $modifier == $method;
+ }
+ push @{$modifiers} => $method;
}
-sub has_method_modifier {
- my ($self, $modifier_type, $method_name) = @_;
- exists $self->get_method_modifier_map->{$modifier_type}->{$method_name} ? 1 : 0
+sub add_override_method_modifier {
+ my ($self, $method_name, $method) = @_;
+ $self->get_override_method_modifiers_map->{$method_name} = $method;
}
-sub get_method_modifier {
+sub has_before_method_modifiers { (shift)->_has_method_modifiers('before', @_) }
+sub has_around_method_modifiers { (shift)->_has_method_modifiers('around', @_) }
+sub has_after_method_modifiers { (shift)->_has_method_modifiers('after', @_) }
+
+# override just checks for one,..
+# but we can still re-use stuff
+sub has_override_method_modifier { (shift)->_has_method_modifiers('override', @_) }
+
+sub _has_method_modifiers {
my ($self, $modifier_type, $method_name) = @_;
- $self->get_method_modifier_map->{$modifier_type}->{$method_name};
+ my $accessor = "get_${modifier_type}_method_modifiers_map";
+ # NOTE:
+ # for now we assume that if it exists,..
+ # it has at least one modifier in it
+ (exists $self->$accessor->{$method_name}) ? 1 : 0;
}
-sub remove_method_modifier {
+sub get_before_method_modifiers { (shift)->_get_method_modifiers('before', @_) }
+sub get_around_method_modifiers { (shift)->_get_method_modifiers('around', @_) }
+sub get_after_method_modifiers { (shift)->_get_method_modifiers('after', @_) }
+
+sub _get_method_modifiers {
my ($self, $modifier_type, $method_name) = @_;
- delete $self->get_method_modifier_map->{$modifier_type}->{$method_name};
+ my $accessor = "get_${modifier_type}_method_modifiers_map";
+ @{$self->$accessor->{$method_name}};
+}
+
+sub get_override_method_modifier {
+ my ($self, $method_name) = @_;
+ $self->get_override_method_modifiers_map->{$method_name};
}
sub get_method_modifier_list {
my ($self, $modifier_type) = @_;
- keys %{$self->get_method_modifier_map->{$modifier_type}};
+ my $accessor = "get_${modifier_type}_method_modifiers_map";
+ keys %{$self->$accessor};
+}
+
+## applying a role to a class ...
+
+sub apply {
+ my ($self, $other) = @_;
+
+ if ($other->excludes_role($self->name)) {
+ confess "Conflict detected: " . $other->name . " excludes role '" . $self->name . "'";
+ }
+
+# warn "... Checking " . $self->name . " for excluded methods";
+ foreach my $excluded_role_name ($self->get_excluded_roles_list) {
+# warn "... Checking if '$excluded_role_name' is done by " . $other->name . " for " . $self->name;
+ if ($other->does_role($excluded_role_name)) {
+ confess "The class " . $other->name . " does the excluded role '$excluded_role_name'";
+ }
+ else {
+ if ($other->isa('Moose::Meta::Role')) {
+# warn ">>> The role " . $other->name . " does not do the excluded role '$excluded_role_name', so we are adding it in";
+ $other->add_excluded_roles($excluded_role_name);
+ }
+ else {
+# warn ">>> The class " . $other->name . " does not do the excluded role '$excluded_role_name', so we can just go about our business";
+ }
+ }
+ }
+
+
+ # NOTE:
+ # we might need to move this down below the
+ # the attributes so that we can require any
+ # attribute accessors. However I am thinking
+ # that maybe those are somehow exempt from
+ # the require methods stuff.
+ foreach my $required_method_name ($self->get_required_method_list) {
+ unless ($other->has_method($required_method_name)) {
+ if ($other->isa('Moose::Meta::Role')) {
+ $other->add_required_methods($required_method_name);
+ }
+ else {
+ confess "'" . $self->name . "' requires the method '$required_method_name' " .
+ "to be implemented by '" . $other->name . "'";
+ }
+ }
+ else {
+ # NOTE:
+ # we need to make sure that the method is
+ # not a method modifier, because those do
+ # not satisfy the requirements ...
+ my $method = $other->get_method($required_method_name);
+ # check if it is an override or a generated accessor ..
+ (!$method->isa('Moose::Meta::Method::Overriden') &&
+ !$method->isa('Class::MOP::Attribute::Accessor'))
+ || confess "'" . $self->name . "' requires the method '$required_method_name' " .
+ "to be implemented by '" . $other->name . "', the method is only a method modifier";
+ # before/after/around methods are a little trickier
+ # since we wrap the original local method (if applicable)
+ # so we need to check if the original wrapped method is
+ # from the same package, and not a wrap of the super method
+ if ($method->isa('Class::MOP::Method::Wrapped')) {
+ ($method->get_original_method->package_name eq $other->name)
+ || confess "'" . $self->name . "' requires the method '$required_method_name' " .
+ "to be implemented by '" . $other->name . "', the method is only a method modifier";
+ }
+ }
+ }
+
+ foreach my $attribute_name ($self->get_attribute_list) {
+ # it if it has one already
+ if ($other->has_attribute($attribute_name)) {
+ # see if we are being composed
+ # into a role or not
+ if ($other->isa('Moose::Meta::Role')) {
+
+ # FIXME:
+ # it is possible for these attributes
+ # to actually both be from the same
+ # origin (some common ancestor role)
+ # so we need to find a way to check this
+
+ # all attribute conflicts between roles
+ # result in an immediate fatal error
+ confess "Role '" . $self->name . "' has encountered an attribute conflict " .
+ "during composition. This is fatal error and cannot be disambiguated.";
+ }
+ else {
+ # but if this is a class, we
+ # can safely skip adding the
+ # attribute to the class
+ next;
+ }
+ }
+ else {
+ # add it, although it could be overriden
+ $other->add_attribute(
+ $attribute_name,
+ %{$self->get_attribute($attribute_name)}
+ );
+ }
+ }
+
+ foreach my $method_name ($self->get_method_list) {
+ # it if it has one already
+ if ($other->has_method($method_name) &&
+ # and if they are not the same thing ...
+ $other->get_method($method_name) != $self->get_method($method_name)) {
+ # see if we are composing into a role
+ if ($other->isa('Moose::Meta::Role')) {
+ # method conflicts between roles result
+ # in the method becoming a requirement
+ $other->add_required_methods($method_name);
+ # NOTE:
+ # we have to remove the method from our
+ # role, if this is being called from combine()
+ # which means the meta is an anon class
+ # this *may* cause problems later, but it
+ # is probably fairly safe to assume that
+ # anon classes will only be used internally
+ # or by people who know what they are doing
+ $other->_role_meta->remove_method($method_name)
+ if $other->_role_meta->name =~ /__ANON__/;
+ }
+ else {
+ next;
+ }
+ }
+ else {
+ # add it, although it could be overriden
+ $other->alias_method(
+ $method_name,
+ $self->get_method($method_name)
+ );
+ }
+ }
+
+ foreach my $method_name ($self->get_method_modifier_list('override')) {
+ # it if it has one already then ...
+ if ($other->has_method($method_name)) {
+ # if it is being composed into another role
+ # we have a conflict here, because you cannot
+ # combine an overriden method with a locally
+ # defined one
+ if ($other->isa('Moose::Meta::Role')) {
+ confess "Role '" . $self->name . "' has encountered an 'override' method conflict " .
+ "during composition (A local method of the same name as been found). This " .
+ "is fatal error.";
+ }
+ else {
+ # if it is a class, then we
+ # just ignore this here ...
+ next;
+ }
+ }
+ else {
+ # if no local method is found, then we
+ # must check if we are a role or class
+ if ($other->isa('Moose::Meta::Role')) {
+ # if we are a role, we need to make sure
+ # we dont have a conflict with the role
+ # we are composing into
+ if ($other->has_override_method_modifier($method_name) &&
+ $other->get_override_method_modifier($method_name) != $self->get_override_method_modifier($method_name)) {
+ confess "Role '" . $self->name . "' has encountered an 'override' method conflict " .
+ "during composition (Two 'override' methods of the same name encountered). " .
+ "This is fatal error.";
+ }
+ else {
+ # if there is no conflict,
+ # just add it to the role
+ $other->add_override_method_modifier(
+ $method_name,
+ $self->get_override_method_modifier($method_name)
+ );
+ }
+ }
+ else {
+ # if this is not a role, then we need to
+ # find the original package of the method
+ # so that we can tell the class were to
+ # find the right super() method
+ my $method = $self->get_override_method_modifier($method_name);
+ my $package = svref_2object($method)->GV->STASH->NAME;
+ # if it is a class, we just add it
+ $other->add_override_method_modifier($method_name, $method, $package);
+ }
+ }
+ }
+
+ foreach my $method_name ($self->get_method_modifier_list('before')) {
+ $other->add_before_method_modifier(
+ $method_name,
+ $_
+ ) foreach $self->get_before_method_modifiers($method_name);
+ }
+
+ foreach my $method_name ($self->get_method_modifier_list('after')) {
+ $other->add_after_method_modifier(
+ $method_name,
+ $_
+ ) foreach $self->get_after_method_modifiers($method_name);
+ }
+
+ foreach my $method_name ($self->get_method_modifier_list('around')) {
+ $other->add_around_method_modifier(
+ $method_name,
+ $_
+ ) foreach $self->get_around_method_modifiers($method_name);
+ }
+
+ $other->add_role($self);
+}
+
+sub combine {
+ my ($class, @roles) = @_;
+
+ my $combined = $class->new(
+ ':role_meta' => Moose::Meta::Class->create_anon_class()
+ );
+
+ foreach my $role (@roles) {
+ $role->apply($combined);
+ }
+
+ $combined->_clean_up_required_methods;
+
+ return $combined;
}
+package Moose::Meta::Role::Method;
+
+use strict;
+use warnings;
+
+our $VERSION = '0.01';
+
+use base 'Class::MOP::Method';
1;
=head1 DESCRIPTION
+Moose's Roles are being actively developed, please see L<Moose::Role>
+for more information. For the most part, this has no user-serviceable
+parts inside. It's API is still subject to some change (although
+probably not that much really).
+
=head1 METHODS
=over 4
=item B<apply>
+=item B<combine>
+
=back
=over 4
=over 4
+=item B<get_roles>
+
+=item B<add_role>
+
+=item B<does_role>
+
+=back
+
+=over 4
+
+=item B<add_excluded_roles>
+
+=item B<excludes_role>
+
+=item B<get_excluded_roles_list>
+
+=item B<get_excluded_roles_map>
+
+=back
+
+=over 4
+
=item B<get_method>
=item B<has_method>
+=item B<alias_method>
+
=item B<get_method_list>
=back
=over 4
-=item B<add_method_modifier>
+=item B<add_required_methods>
+
+=item B<remove_required_methods>
+
+=item B<get_required_method_list>
+
+=item B<get_required_methods_map>
+
+=item B<requires_method>
+
+=back
+
+=over 4
+
+=item B<add_after_method_modifier>
+
+=item B<add_around_method_modifier>
-=item B<get_method_modifier>
+=item B<add_before_method_modifier>
-=item B<has_method_modifier>
+=item B<add_override_method_modifier>
+
+=over 4
+
+=back
+
+=item B<has_after_method_modifiers>
+
+=item B<has_around_method_modifiers>
+
+=item B<has_before_method_modifiers>
+
+=item B<has_override_method_modifier>
+
+=over 4
+
+=back
+
+=item B<get_after_method_modifiers>
+
+=item B<get_around_method_modifiers>
+
+=item B<get_before_method_modifiers>
=item B<get_method_modifier_list>
-=item B<get_method_modifier_map>
+=over 4
+
+=back
+
+=item B<get_override_method_modifier>
+
+=item B<get_after_method_modifiers_map>
+
+=item B<get_around_method_modifiers_map>
+
+=item B<get_before_method_modifiers_map>
-=item B<remove_method_modifier>
+=item B<get_override_method_modifiers_map>
=back
projects / gitmo/Moose.git / blobdiff