Run-time checking of assertions

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.

• Usage and interface (rtchecks)
• Documentation on multifiles (rtchecks)
• Known bugs and planned improvements (rtchecks)

Usage and interface (rtchecks)

Documentation on multifiles (rtchecks)

PREDICATE: callme/2:

No further documentation available for this predicate.

The predicate is multifile.

PREDICATE: callme/1:

No further documentation available for this predicate.

The predicate is multifile.

PREDICATE: proves/2:

No further documentation available for this predicate.

The predicate is multifile.

PREDICATE: disproves/2:

No further documentation available for this predicate.

The predicate is multifile.

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.