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

package DX::Proposition;

use DX::Class;

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

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

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

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

sub resolve_for {
  my ($self, $scope) = @_;
  my $predicate = $scope->lookup_predicate($self->predicate);
  my @args = map { ref($_) ? $_ : $scope->lookup($_) } @{$self->args};
  #if (my $step = $scope->known_facts->resolution_step_for($predicate, @args)) {
  #  return $step;
  #}
  return $predicate->resolution_step_for(@args);
}

1;
Commit	Line	Data
9d759b64	1	package DX::Proposition;
	2
	3	use DX::Class;
	4
	5	has predicate => (is => 'ro', required => 1);
	6
	7	has args => (is => 'ro', required => 1);
	8
d1b6cb33	9	has introduces_names => (is => 'ro', required => 1);
	10
	11	has requires_names => (is => 'ro', required => 1);
	12
9d759b64	13	sub resolve_for {
	14	my ($self, $scope) = @_;
	15	my $predicate = $scope->lookup_predicate($self->predicate);
	16	my @args = map { ref($_) ? $_ : $scope->lookup($_) } @{$self->args};
efad53c4	17	#if (my $step = $scope->known_facts->resolution_step_for($predicate, @args)) {
	18	# return $step;
	19	#}
9d759b64	20	return $predicate->resolution_step_for(@args);
	21	}
	22
	23	1;