much better indentation on traces

[scpubgit/DX.git] / lib / DX / ResolutionStrategy.pm

diff --git a/lib/DX/ResolutionStrategy.pm b/lib/DX/ResolutionStrategy.pm
index ca3f23a..389c406 100644 (file)
--- a/lib/DX/ResolutionStrategy.pm
+++ b/lib/DX/ResolutionStrategy.pm
@@ -1,5 +1,6 @@
 package DX::ResolutionStrategy;
 
+use DX::Resolution;
 use DX::Class;
 
 has action_prototypes => (is => 'ro', required => 1);
@@ -17,4 +18,53 @@ has aperture => (is => 'lazy', builder => sub {
   ];
 });
 
+sub next_resolution {
+  my ($self) = @_;
+  return undef unless my ($first) = @{$self->implementation_candidates};
+  my @ap = @{$self->action_prototypes};
+  my @cand = @$first;
+  return DX::Resolution->new(
+    actions => [
+      map {
+        my ($inv, $type, @args) = @{$ap[$_]};
+        $inv->${\"action_for_${type}"}(@args, @{$cand[$_]});
+      } 0..$#ap
+    ],
+    veracity_depends_on => $self->veracity_depends_on_builder->(@cand),
+  );
+}
+
+sub remainder {
+  my ($self) = @_;
+  my ($first, @rest) = @{$self->implementation_candidates};
+  return () unless @rest;
+  return $self->but(implementation_candidates => \@rest);
+}
+
+sub for_deparse {
+  my ($self) = @_;
+  [ word_and_body => [
+    'resolution_strategy',
+    [ pairs => [
+      [ action_prototypes => [ block => [
+        map {
+          my ($inv, $type, @args) = @$_;
+          [ statement => [
+            [ symbol => $type ],
+            [ value_path => $inv->value_path ],
+            @args
+          ] ]
+        } @{$self->action_prototypes}
+      ] ] ],
+      [ implementation_candidates => [ list => [
+        map [ list => [
+          map [ list => [
+            map +($_->value_path ? [ value_path => $_->value_path ] : $_), @$_
+          ] ], @$_
+        ] ], @{$self->implementation_candidates}
+      ] ] ]
+    ] ],
+  ] ];
+}
+
 1;