use DX::Step::Backtrack;
use DX::Step::ResolveProposition;
+use DX::Utils qw(compact_deps);
use DX::Class;
-has proposition => (is => 'ro');
+has proposition => (is => 'ro', isa => Proposition);
-has geometry_depends_on => (is => 'ro', required => 1);
+has geometry_depends_on => (is => 'ro', required => 1, isa => DependencyList);
-has aperture => (is => 'ro', required => 1);
+has aperture => (is => 'ro', required => 1, isa => ApertureList);
-has members => (is => 'ro', required => 1);
+has members => (
+ is => 'ro', required => 1, isa => ArrayRef[ResolutionStrategy|Resolution]
+);
sub for_deparse {
my ($self) = @_;
[ statement => [
- [ symbol => 'rspace' ],
- [ block => $self->members ],
+ [ symbol => 'resolution_space' ],
+ [ pairs => [
+ [ proposition => $self->proposition ],
+ [ geometry_depends_on => [ block => [
+ map [ statement => [
+ [ symbol => (split '::', ${$_->[0]})[-1] ],
+ [ value_path => [ @{$_}[1..$#$_] ] ],
+ ] ], @{$self->geometry_depends_on}
+ ] ] ],
+ (@{$self->aperture}
+ ? [ aperture => [ block => [
+ map [ statement => [
+ [ symbol => (split '::', ${$_->[0]})[-1] ],
+ [ value_path => [ @{$_}[1..$#$_] ] ],
+ ] ], @{$self->aperture}
+ ] ] ]
+ : ()),
+ [ members => [ block => [ @{$self->members} ] ] ]
+ ] ],
] ];
}
sub next_step {
my ($self) = @_;
- return DX::Step::Backtrack->new unless @{$self->members};
- return DX::Step::ResolveProposition->new(resolution_space => $self);
+ my $step_type = (@{$self->members} ? 'ResolveProposition' : 'Backtrack');
+ return "DX::Step::${step_type}"->new(resolution_space => $self);
+}
+
+sub with_geometry_dependencies {
+ my ($self, $deps) = @_;
+ my $new_deps = compact_deps([ @{$self->geometry_depends_on}, @$deps ]);
+ return $self->but(geometry_depends_on => $new_deps);
}
1;