check-for-deleted-instance |
| &optional operation | [Function] |
Purpose
Signal an error if the supplied unit instance has been
deleted.
Package :gbbopen
Module :gbbopen-core
Arguments and values
unit-instance | A unit instance | |
operation | A symbol (default is nil )
|
See also
delete-instance
instance-deleted-p
Examples
Create, then delete, then check, a hyp
unit instance:
> (check-for-deleted-instance (delete-instance (make-instance 'hyp))) Error: Instance #<deleted-unit-instance hyp 7> has been deleted >> :abort > (check-for-deleted-instance (delete-instance (make-instance 'hyp)) 'my-operation) Error: my-operation attempted with a deleted instance: #<deleted-unit-instance hyp 8> >>
The GBBopen Project
check-for-deleted-instance |