7 has of => (is => 'ro', required => 1);
8 has name => (is => 'ro', required => 1);
9 has value => (is => 'ro', required => 1);
12 my ($self, $state) = @_;
13 ($state, my %args) = $self->_expand_args(
14 $state, map +($_ => $self->$_), qw(of name value)
16 die "property name must be bound" unless $args{name}->is_bound;
17 my $name = $state->resolve_value($args{name});
18 if ($args{of}->is_bound) {
19 if ($args{value}->is_bound) {
20 if ($state->resolve_value($args{of})->$name
21 eq $state->resolve_value($args{value})) {
22 return $state->add_dependencies(
23 $args{of}->id => $args{value}->id,
24 $args{value}->id => $args{of}->id,
28 return $state->backtrack;
30 my $value = $state->resolve_value($args{of});
31 if ($value->can("has_${name}") and not $value->${\"has_${name}"}) {
32 return $state->backtrack;
34 return $state->bind_value($args{value}->id, $value->$name)
35 ->add_dependencies($args{value}->id => $args{of}->id)
38 die "Can't yet handle unbound 'of' argument";