Commit | Line | Data |
b40e416a |
1 | package DX::Op::CallRule; |
2 | |
3 | use DX::Op::SetScope; |
4 | use DX::Op::FromCode; |
5 | use DX::Var; |
6 | use DX::ArrayStream; |
7 | use Moo; |
8 | |
9 | with 'DX::Role::Op'; |
10 | |
11 | has rule_name => (is => 'ro', required => 1); |
12 | has rule_args => (is => 'ro', required => 1); |
13 | has full_name => (is => 'lazy', builder => sub { |
14 | my ($self) = @_; |
15 | join('/', $self->rule_name, scalar @{$self->rule_args}); |
16 | }); |
17 | |
18 | sub run { |
19 | my ($self, $state) = @_; |
71217e42 |
20 | #warn "Call: ".$self->full_name; |
385fa954 |
21 | my @args = map $self->_expand_argspec($state, $_), @{$self->rule_args}; |
b40e416a |
22 | my @rules = @{$state->rule_set->rules->{$self->full_name}||[]}; |
23 | die "No rules for ${\$self->full_name}" unless @rules; |
734376d9 |
24 | my $var = DX::Var->new(id => "rule:".$self->full_name) |
b40e416a |
25 | ->with_stream(DX::ArrayStream->from_array(@rules)); |
26 | my $invoke = DX::Op::FromCode->new( |
27 | code => sub { |
28 | my ($self, $state) = @_; |
29 | my ($names, $body) = @{$var->bound_value}; |
30 | my %new; @new{@$names} = @args; |
31 | $state->but(scope => {})->assign_vars(%new)->then($body); |
32 | } |
33 | ); |
34 | my $ret_op = DX::Op::SetScope->new( |
35 | scope => $state->scope, next => $self->next |
36 | ); |
37 | $state->push_return_then($ret_op, $invoke)->mark_choice($var); |
38 | } |
39 | |
40 | 1; |