use namespace::clean -except => 'meta';
has class => (is => 'rw');
+has instance => (is=>'ro', required=>0, predicate=>'has_instance');
has namespace => (is => 'rw');
has 'reverse' => (is => 'rw');
has attributes => (is => 'rw');
}
sub normalized_arg_number {
+ return $_[0]->number_of_args;
+}
+
+sub comparable_arg_number {
return defined($_[0]->number_of_args) ? $_[0]->number_of_args : ~0;
}
$tc->can('is_strictly_a_type_of') &&
$tc->is_strictly_a_type_of('Tuple'))
{
- my @parameters = @{ $tc->parameters||[]};
- if( defined($parameters[-1]) and exists($parameters[-1]->{slurpy})) {
- return undef;
- } else {
- return my $total_params = scalar(@parameters);
+ my @parameters = @{ $tc->parameters||[] };
+ my $final = $parameters[-1];
+ if ( defined $final ) {
+ if ( blessed $final ) {
+ # modern form of slurpy
+ if ($final->can('is_strictly_a_type_of') && $final->is_strictly_a_type_of('Slurpy')) {
+ return undef;
+ }
+ }
+ else {
+ # old form of slurpy
+ if (ref $final eq 'HASH' && $final->{slurpy}) {
+ return undef;
+ }
+ }
}
+ return scalar @parameters;
} elsif($tc->is_a_type_of('Ref')) {
return undef;
} else {
return 1; # Its a normal 1 arg type constraint.
}
} else {
- # We need to loop thru and error on ref types. We don't allow a ref type
+ # We need to loop through and error on ref types. We don't allow a ref type
# in the middle.
my $total = 0;
foreach my $tc( @{$self->args_constraints}) {
handles => {
has_args_constraints => 'count',
args_constraint_count => 'count',
+ all_args_constraints => 'elements',
});
sub _build_args_constraints {
return 1; # Its a normal 1 arg type constraint.
}
} else {
- # We need to loop thru and error on ref types. We don't allow a ref type
+ # We need to loop through and error on ref types. We don't allow a ref type
# in the middle.
my $total = 0;
foreach my $tc( @{$self->captures_constraints}) {
handles => {
has_captures_constraints => 'count',
captures_constraints_count => 'count',
+ all_captures_constraints => 'elements',
});
sub _build_captures_constraints {
my $tc = Type::Registry->new->foreign_lookup($name);
return defined $tc ? $tc : die "'$name' not a full namespace type constraint in ${\$self->private_path}";
}
-
+
my @tc = grep { defined $_ } (eval("package ${\$self->class}; $name"));
unless(scalar @tc) {
my @supers = $self->class->can('meta') ? map { $_->meta } $self->class->meta->superclasses : ();
my @roles = $self->class->can('meta') ? $self->class->meta->calculate_all_roles : ();
- # So look thru all the super and roles in order and return the
+ # So look through all the super and roles in order and return the
# first type constraint found. We should probably find all matching
# type constraints and try to do some sort of resolution.
} else {
return;
}
- }
+ }
}
}
-
+
my $classes = join(',', $self->class, @roles, @supers);
die "'$name' not a type constraint in '${\$self->private_path}', Looked in: $classes";
}
sub dispatch { # Execute ourselves against a context
my ( $self, $c ) = @_;
- return $c->execute( $self->class, $self );
+ if($self->has_instance) {
+ return $c->execute( $self->instance, $self );
+ } else {
+ return $c->execute( $self->class, $self );
+ }
}
sub execute {
# Optimization since Tuple[Int, Int] would fail on 3,4,5 anyway, but this
# way we can avoid calling the constraint when the arg length is incorrect.
if(
- $self->normalized_arg_number == ~0 ||
- scalar( @args ) == $self->normalized_arg_number
+ $self->comparable_arg_number == ~0 ||
+ scalar( @args ) == $self->comparable_arg_number
) {
return $self->args_constraints->[0]->check($args);
} else {
} else {
# Because of the way chaining works, we can expect args that are totally not
# what you'd expect length wise. When they don't match length, thats a fail
- return 0 unless scalar( @args ) == $self->normalized_arg_number;
+ return 0 unless scalar( @args ) == $self->comparable_arg_number;
for my $i(0..$#args) {
$self->args_constraints->[$i]->check($args[$i]) || return 0;
}
} else {
# If infinite args with no constraints, we always match
- return 1 if $self->normalized_arg_number == ~0;
+ return 1 if $self->comparable_arg_number == ~0;
# Otherwise, we just need to match the number of args.
- return scalar( @args ) == $self->normalized_arg_number;
+ return scalar( @args ) == $self->comparable_arg_number;
}
}
sub compare {
my ($a1, $a2) = @_;
- return $a1->normalized_arg_number <=> $a2->normalized_arg_number;
+ return $a1->comparable_arg_number <=> $a2->comparable_arg_number;
+}
+
+sub equals {
+ my ($self, $target) = @_;
+ return $self->private_path eq $target->private_path ? $self : 0;
}
sub scheme {
Args => $self->normalized_arg_number,
CaptureArgs => $self->number_of_captures,
}
-}
+}
__PACKAGE__->meta->make_immutable;
=head2 resolve_type_constraint
-Trys to find a type constraint if you have on on a type constrained method.
+Tries to find a type constraint if you have on on a type constrained method.
=head2 compare
Compares 2 actions based on the value of the C<Args> attribute, with no C<Args>
having the highest precedence.
+=head2 equals
+
+ if( $action->equal($other_action) ) { ... }
+
+Returns true if the two actions are equal.
+
=head2 namespace
Returns the private namespace this action lives in.
=head2 normalized_arg_number
+The number of arguments (starting with zero) that the current action defines, or
+undefined if there is not defined number of args (which is later treated as, "
+as many arguments as you like").
+
+=head2 comparable_arg_number
+
For the purposes of comparison we normalize 'number_of_args' so that if it is
undef we mean ~0 (as many args are we can think of).
projects / catagits/Catalyst-Runtime.git / blobdiff