Author(s): German Puebla.
Version: 1.10#6 (2004/8/7, 21:46:39 CEST)
Version of last change: 1.9#283 (2004/2/13, 15:39:33 CET)
This library package allows the use of run-time checks for the assertions introduced in a program.
The recommended way of performing
run-time checks of predicate assertions in a program is via the Ciao preprocessor (see
ciaopp manual), which performs the required program transformation. However, this package can also be used to perform checking of program-point assertions.
Checks whether the property defined by
Property holds. Otherwise, a warning message is issued. It corresponds to a program-point
check assertion (see section The Ciao assertion package).
check/1uses lists instead of "proper" properties.
Go to the first, previous, next, last section, table of contents.