Run-time checking of assertions

Author(s): German Puebla.

Version: 1.10#7 (2006/4/26, 19:22:13 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)
• Documentation on internals (rtchecks)
• Known bugs and planned improvements (rtchecks)

Usage and interface (rtchecks)

Documentation on exports (rtchecks)

REGTYPE: expr/1:

Usage:

• Description: A property formula.

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)

• The following properties should hold at call time: A property formula. (user(... /rtchecks_doc):expr/1)

Known bugs and planned improvements (rtchecks)

• All the code in this package is included in the user program when it is used, ant there is a lot of it! A module should be used instead.
• check/1 uses lists instead of "proper" properties.

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