Properties related to exceptions and signals

These properties are part of the native_props library.

Usage and interface

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,?).

      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:
        (list/1)Es is a list.
        then the following properties should hold globally:
        (rtcheck/2)The runtime check of this property is unimplemented.
      Meta-predicate with arguments: possible_exceptions(goal,?).

      Usage:no_exception(Goal)

      Calls of the form Goal do not throw any exception.

        Meta-predicate with arguments: no_exception(goal).

        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,?).

              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:
                (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: