Go to the first, previous, next, last section, table of contents.


Run-time checking of assertions

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.

Usage and interface (rtchecks)

Documentation on exports (rtchecks)

REGTYPE: expr/1:

Usage:

Documentation on internals (rtchecks)

PREDICATE: check/1:

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)

Known bugs and planned improvements (rtchecks)


Go to the first, previous, next, last section, table of contents.