follow alternative rspace entries without backtracking, explicitly resolve

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

diff --git a/lib/DX/Proposition.pm b/lib/DX/Proposition.pm
index b682392..c32354d 100644 (file)
--- a/lib/DX/Proposition.pm
+++ b/lib/DX/Proposition.pm
@@ -1,15 +1,28 @@
 package DX::Proposition;
 
-use Types::Standard qw(HashRef ArrayRef Str);
+use DX::Step::ConsiderProposition;
+
 use DX::Class;
 
 has predicate => (is => 'ro', isa => Str, required => 1);
 
-has args => (is => 'ro', isa => ArrayRef, required => 1);
+has args => (is => 'ro', isa => ArrayRef[Str|Value], required => 1);
+
+has introduced_names => (is => 'ro', isa => HashRef[One], required => 1);
 
-has introduced_names => (is => 'ro', isa => HashRef, required => 1);
+has required_names => (is => 'ro', isa => HashRef[One], required => 1);
 
-has required_names => (is => 'ro', isa => HashRef, required => 1);
+sub for_deparse {
+  my ($self) = @_;
+  [ statement => [
+    [ symbol => $self->predicate ],
+    map {
+      ref($_)
+        ? $_
+        : [ symbol => $self->introduced_names->{$_} ? "?$_" : $_ ]
+    } @{$self->args}
+  ] ];
+}
 
 sub resolve_for {
   my ($self, $scope) = @_;
@@ -21,4 +34,9 @@ sub resolve_for {
   return $predicate->resolution_step_for($self, @args);
 }
 
+sub consider_step {
+  my ($self) = @_;
+  DX::Step::ConsiderProposition->new(proposition => $self);
+}
+
 1;