X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?p=catagits%2FCatalyst-Runtime.git;a=blobdiff_plain;f=lib%2FCatalyst%2FAction.pm;h=ec30c7ab50522295de95fb17d405f32d961a8158;hp=fd444da89ae037dbdf9d86b2e3e70146523054eb;hb=c1192f1ed63f124eb2d143e10b215703e7dc6284;hpb=a82c96cf2bf688f97140bad7fd3979a531416a22 diff --git a/lib/Catalyst/Action.pm b/lib/Catalyst/Action.pm index fd444da..ec30c7a 100644 --- a/lib/Catalyst/Action.pm +++ b/lib/Catalyst/Action.pm @@ -71,6 +71,37 @@ sub normalized_arg_number { return defined($_[0]->number_of_args) ? $_[0]->number_of_args : ~0; } +has number_of_args_constraints => ( + is=>'ro', + isa=>'Int|Undef', + init_arg=>undef, + required=>1, + lazy=>1, + builder=>'_build_number_of_args_constraints'); + + sub _build_number_of_args_constraints { + my $self = shift; + return unless $self->has_args_constraints; + + my $total = 0; + foreach my $tc( @{$self->args_constraints}) { + if($tc->is_a_type_of('Ref')) { + if($tc->can('parameters') && $tc->has_parameters) { + my $total_params = scalar(@{ $tc->parameters||[] }); + $total = $total + $total_params; + } else { + # Its a Reftype but we don't know the number of params it + # actually validates. + return undef; + } + } else { + $total++; + } + } + + return $total; + } + has args_constraints => ( is=>'ro', init_arg=>undef, @@ -81,7 +112,7 @@ has args_constraints => ( builder=>'_build_args_constraints', handles => { has_args_constraints => 'count', - number_of_args_constraints => 'count', + args_constraint_count => 'count', }); sub _build_args_constraints { @@ -89,6 +120,8 @@ has args_constraints => ( my @arg_protos = @{$self->attributes->{Args}||[]}; return [] unless scalar(@arg_protos); + return [] unless defined($arg_protos[0]); + # If there is only one arg and it looks like a number # we assume its 'classic' and the number is the number of # constraints. @@ -100,13 +133,44 @@ has args_constraints => ( return \@args; } else { @args = - map { $self->resolve_type_constraint($_) || die "$_ is not a constraint!" } + map { my @tc = $self->resolve_type_constraint($_); scalar(@tc) ? @tc : die "$_ is not a constraint!" } @arg_protos; } - return \@args; } +has number_of_captures_constraints => ( + is=>'ro', + isa=>'Int|Undef', + init_arg=>undef, + required=>1, + lazy=>1, + builder=>'_build_number_of_capture_constraints'); + + sub _build_number_of_capture_constraints { + my $self = shift; + return unless $self->has_captures_constraints; + + my $total = 0; + foreach my $tc( @{$self->captures_constraints}) { + if($tc->is_a_type_of('Ref')) { + if($tc->can('parameters') && $tc->has_parameters) { + my $total_params = scalar(@{ $tc->parameters||[] }); + $total = $total + $total_params; + } else { + # Its a Reftype but we don't know the number of params it + # actually validates. This is not currently permitted in + # a capture... + die "You cannot use CaptureArgs($tc) in ${\$self->reverse} because we cannot determined the number of its parameters"; + } + } else { + $total++; + } + } + + return $total; + } + has captures_constraints => ( is=>'ro', init_arg=>undef, @@ -117,7 +181,7 @@ has captures_constraints => ( builder=>'_build_captures_constraints', handles => { has_captures_constraints => 'count', - number_of_captures_constraints => 'count', + captures_constraints_count => 'count', }); sub _build_captures_constraints { @@ -125,6 +189,7 @@ has captures_constraints => ( my @arg_protos = @{$self->attributes->{CaptureArgs}||[]}; return [] unless scalar(@arg_protos); + return [] unless defined($arg_protos[0]); # If there is only one arg and it looks like a number # we assume its 'classic' and the number is the number of # constraints. @@ -136,7 +201,7 @@ has captures_constraints => ( return \@args; } else { @args = - map { $self->resolve_type_constraint($_) || die "$_ is not a constraint!" } + map { my @tc = $self->resolve_type_constraint($_); scalar(@tc) ? @tc : die "$_ is not a constraint!" } @arg_protos; } @@ -145,8 +210,9 @@ has captures_constraints => ( sub resolve_type_constraint { my ($self, $name) = @_; - my $tc = eval "package ${\$self->class}; $name" || undef; - return $tc || Moose::Util::TypeConstraints::find_or_parse_type_constraint($name); + my @tc = eval "package ${\$self->class}; $name"; + return @tc if $tc[0]; + return Moose::Util::TypeConstraints::find_or_parse_type_constraint($name); } has number_of_captures => ( @@ -205,6 +271,12 @@ sub execute { sub match { my ( $self, $c ) = @_; + return $self->match_args($c, $c->req->args); +} + +sub match_args { + my ($self, $c, $args) = @_; + my @args = @{$args||[]}; # If infinite args, we always match return 1 if $self->normalized_arg_number == ~0; @@ -215,13 +287,13 @@ sub match { # If there is only one type constraint, and its a Ref or subtype of Ref, # That means we expect a reference, so use the full args arrayref. if( - $self->number_of_args_constraints == 1 && + $self->args_constraint_count == 1 && ( $self->args_constraints->[0]->is_a_type_of('Ref') || $self->args_constraints->[0]->is_a_type_of('ClassName') ) ) { - return 1 if $self->args_constraints->[0]->check($c->req->args); + return $self->args_constraints->[0]->check($args); # Removing coercion stuff for the first go #if($self->args_constraints->[0]->coercion && $self->attributes->{Coerce}) { # my $coerced = $self->args_constraints->[0]->coerce($c) || return 0; @@ -231,16 +303,16 @@ sub match { } 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( @{ $c->req->args } ) == $self->normalized_arg_number; + return 0 unless scalar( @args ) == $self->normalized_arg_number; - for my $i(0..$#{ $c->req->args }) { - $self->args_constraints->[$i]->check($c->req->args->[$i]) || return 0; + for my $i(0..$#args) { + $self->args_constraints->[$i]->check($args[$i]) || return 0; } return 1; } } else { # Otherwise, we just need to match the number of args. - return scalar( @{ $c->req->args } ) == $self->normalized_arg_number; + return scalar( @args ) == $self->normalized_arg_number; } } @@ -252,13 +324,13 @@ sub match_captures { if($self->has_captures_constraints) { if( - $self->number_of_captures_constraints == 1 && + $self->captures_constraints_count == 1 && ( $self->captures_constraints->[0]->is_a_type_of('Ref') || $self->captures_constraints->[0]->is_a_type_of('ClassName') ) ) { - return 1 if $self->captures_constraints->[0]->check($c->req->args); + return $self->captures_constraints->[0]->check($captures); } else { for my $i(0..$#captures) { $self->captures_constraints->[$i]->check($captures[$i]) || return 0; @@ -334,6 +406,11 @@ of the captures for this action. Returning true from this method causes the chain match to continue, returning makes the chain not match (and alternate, less preferred chains will be attempted). +=head2 match_args($c, $args) + +Underlying feature that does the 'match' work, but doesn't require a context to +work (like 'match' does.). + =head2 resolve_type_constraint Trys to find a type constraint if you have on on a type constrained method.