The Postcondition
- Wait, we need to save the old value!
sub decrement {
my ($self) = @_;
my $old_item = $self->{item};
...
die "item wasn't decremented"
unless $self->item
= $old_item - 1;
}
| Contracts in Perl | 'Class::Agreement' | #14 |
sub decrement {
my ($self) = @_;
my $old_item = $self->{item};
...
die "item wasn't decremented"
unless $self->item
= $old_item - 1;
}
| Copyright © 2005 Ian Langworth |