object
ports_profiler
Predicate execution box model port profiler.
Author: Paulo Moura
Version: 1:11:0
Date: 2022-02-23
Compilation flags:
static, context_switching_callsRemarks:
(none)
Inherited public predicates:
(none)
Public predicates
data/0
Prints a table with all port profiling data.
Compilation flags:
staticMode and number of proofs:
data - onedata/1
Prints a table with all port profiling data for the specified entity.
Compilation flags:
staticTemplate:
data(Entity)Mode and number of proofs:
data(+entity_identifier) - onereset/0
Resets all port profiling data.
Compilation flags:
staticMode and number of proofs:
reset - onereset/1
Resets all port profiling data for the specified entity.
Compilation flags:
staticTemplate:
reset(Entity)Mode and number of proofs:
reset(+entity_identifier) - oneport/5
Enumerates, by backtracking, all collected port profiling data.
Compilation flags:
staticTemplate:
port(Port,Entity,Functor,Arity,Count)Mode and number of proofs:
port(?atom,?entity_identifier,?atom,?integer,?integer) - zero_or_moreProtected predicates
(no local declarations; see entity ancestors if any)
Private predicates
port_/5
Internal table of collected port profiling data.
Compilation flags:
dynamicTemplate:
port_(Port,Entity,Functor,Arity,Count)Mode and number of proofs:
port_(?atom,?entity_identifier,?atom,?integer,?integer) - zero_or_moreentity_defines_/2
Internal cache for profiled predicates.
Compilation flags:
dynamicTemplate:
entity_defines_(Entity,Predicate)Mode and number of proofs:
entity_defines_(?entity_identifier,?predicate_indicator) - zero_or_moreOperators
(none)