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)