object

ports

Predicate execution box model port profiler.

Author: Paulo Moura
Version: 1.2
Date: 2018/7/2
Compilation flags:
static, context_switching_calls

Public interface

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 interface

(see related entities)

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)

Remarks

(none)