Properties related to exceptions and signals

These properties are part of the native_props library.

Usage and interface

Library usage:
:- use_module(library(assertions/native_props))
or also as a package :- use_package(nativeprops).
Note the slightly different names of the library and the package.
Exports:
- Properties:
  exception/1, exception/2, possible_exceptions/2, no_exception/1, no_exception/2, signal/1, signal/2, possible_signals/2, no_signal/1, no_signal/2.

Documentation on exports

PROPERTYexception/1

Usage:exception(Goal)

Calls of the form Goal will throw an (unspecified) exception.

Meta-predicate with arguments: exception(goal).

PROPERTYexception/2

Usage:exception(Goal,E)

Calls to Goal will throw an exception that unifies with E.

Meta-predicate with arguments: exception(goal,?).

PROPERTYpossible_exceptions/2

Usage:possible_exceptions(Goal,Es)

Calls of the form Goal may throw exceptions, but only the ones that unify with the terms listed in Es.

If the following properties should hold at call time:
(basic_props:list/1)Es is a list.
then the following properties should hold globally:
(basic_props:rtcheck/2)The runtime check of this property is unimplemented.

Meta-predicate with arguments: possible_exceptions(goal,?).

PROPERTYno_exception/1

Usage:no_exception(Goal)

Calls of the form Goal do not throw any exception.

Meta-predicate with arguments: no_exception(goal).

PROPERTYno_exception/2

Usage:no_exception(Goal,E)

Calls of the form Goal do not throw any exception that unifies with E.

Meta-predicate with arguments: no_exception(goal,?).

PROPERTYsignal/1

Usage:signal(Goal)

Calls to Goal will send an (unspecified) signal.

Meta-predicate with arguments: signal(goal).

PROPERTYsignal/2

Usage:signal(Goal,E)

Calls to Goal will send a signal that unifies with E.

Meta-predicate with arguments: signal(goal,?).

PROPERTYpossible_signals/2

Usage:possible_signals(Goal,Es)

Calls of the form Goal may generate signals, but only the ones that unify with the terms listed in Es.

The following properties should hold globally:
(basic_props:rtcheck/2)The runtime check of this property is unimplemented.

Meta-predicate with arguments: possible_signals(goal,?).

PROPERTYno_signal/1

Usage:no_signal(Goal)

Calls of the form Goal do not send any signal.

Meta-predicate with arguments: no_signal(goal).

PROPERTYno_signal/2

Usage:no_signal(Goal,E)

Calls of the form Goal do not send any signals that unify with E.

Meta-predicate with arguments: no_signal(goal,?).

Documentation on imports

This module has the following direct dependencies:

Packages:
prelude, initial, condcomp, assertions, assertions/assertions_basic, regtypes.