object

ports_profiler

Predicate execution box model port profiler.

Author: Paulo Moura
Version: 1.3
Date: 2019/2/13
Compilation flags:
static, context_switching_calls
Remarks:
(none)

Public predicates

data/0

Prints a table with all port profiling data.

Compilation flags:
static
Mode and number of proofs:
data - one

data/1

Prints a table with all port profiling data for the specified entity.

Compilation flags:
static
Template:
data(Entity)
Mode and number of proofs:
data(+entity_identifier) - one

reset/0

Resets all port profiling data.

Compilation flags:
static
Mode and number of proofs:
reset - one

reset/1

Resets all port profiling data for the specified entity.

Compilation flags:
static
Template:
reset(Entity)
Mode and number of proofs:
reset(+entity_identifier) - one

port/5

Enumerates, by backtracking, all collected port profiling data.

Compilation flags:
static
Template:
port(Port,Entity,Functor,Arity,Count)
Mode and number of proofs:
port(?atom,?entity_identifier,?atom,?integer,?integer) - zero_or_more

Protected predicates

(see entity ancestors)

Private predicates

port_/5

Internal table of collected port profiling data.

Compilation flags:
dynamic
Template:
port_(Port,Entity,Functor,Arity,Count)
Mode and number of proofs:
port_(?atom,?entity_identifier,?atom,?integer,?integer) - zero_or_more

Operators

(none)