switch recheck completion handling into a step

[scpubgit/DX.git] / lib / DX / Step / CompleteRecheck.pm

package DX::Step::CompleteRecheck;

use DX::Class;

with 'DX::Role::Step';

has was_recheck_for => (is => 'ro', required => 1);

has original_search_state => (is => 'ro', required => 1);

sub apply_to {
  my ($self, $ss) = @_;

  my $prop = $self->was_recheck_for;
  my $re_ss = $self->original_search_state;
  my $re_hyp = $re_ss->current_hypothesis;
  my $re_rsp = $re_hyp->resolved_propositions;

  my $rsp = $re_rsp->with_updated_dependencies_for(
    $prop,
    $ss->current_hypothesis
       ->resolved_propositions
       ->dependencies_for($prop)
  );

  return $re_ss->but(
    current_hypothesis => $re_hyp->but(
      resolved_propositions => $rsp
    ),
    is_solution_state => 1
  );
}

1;