profiler_extra (library)

Implementation of some predicates related with the profiler, but that don't requires the activation of the profiling option in the engine.

Usage and interface

Documentation on exports

PREDICATEmeasure/2

Usage:measure(Goal,Value)

Same as measure/3, but uses ticks to measure the time.

  • The following properties should hold at call time:
    (callable/1)Goal is a term which represents a goal, i.e., an atom or a structure.
  • The following properties hold upon exit:
    (num/1)Value is a number.
Meta-predicate with arguments: measure(goal,?).

PREDICATEmeasure/3

Usage:measure(Option,Goal,Value)

Unifies Value with the time spent in evaluate Goal, using the type of time Option.

  • Calls should, and exit will be compatible with:
    (atom/1)Option is currently instantiated to an atom.
    (callable/1)Goal is a term which represents a goal, i.e., an atom or a structure.
  • The following properties hold upon exit:
    (num/1)Value is a number.
Meta-predicate with arguments: measure(?,goal,?).

PREDICATEmeasure_nf/3
No further documentation available for this predicate. Meta-predicate with arguments: measure_nf(?,goal,?).

PREDICATEmeasure_0/3
No further documentation available for this predicate. Meta-predicate with arguments: measure_0(?,goal,?).

PREDICATEget_option/1
No further documentation available for this predicate. The predicate is of type data.

PREDICATEtime_option/2
No further documentation available for this predicate.

Documentation on imports

This module has the following direct dependencies: