[ library(mode_analyser) | Reference Manual | Alphabetic Index ]

reset

Reset the mode analysis results for predicates compiled into the calling context module.

Description

This predicate erases all mode analysis data for every predicate that has been compiled into the calling context module using the mode analysis compiler. The predicate is a tool and as such can be invoked for an arbitrary module using mode_analyser:reset@Module.

Modules

This predicate is sensitive to its module context (tool predicate, see @/2).

Fail Conditions

Resatisfiable

Exceptions

(4) instantiation fault: Calling context module is not instantiated

Examples

   [eclipse 6]: mode_analyser:reset@eclipse.

   Yes (0.00s cpu)