Author(s): German Puebla.
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.
rtchecks
)rtchecks
)
check(Property)
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).
Usage: check(Property)
Property
is of type ^ (list;list);list
.
(meta_props:regtype/2
)
rtchecks
)check/1
uses lists instead of "proper" properties.
Go to the first, previous, next, last section, table of contents.