category
code_metrics_utilities
Internal predicates for analyzing source code.
logtalk_load(code_metrics(loader))static
Usage: This is meant to be imported by any metric added to the system.
Predicate Scope: This is meant for internal use by metrics only. As such, all provided predicates are private.
Public predicates
(no local declarations; see entity ancestors if any)
Protected predicates
(no local declarations; see entity ancestors if any)
Private predicates
ancestor/4
True if Entity descends from Ancestor, and EntityKind and AncestorKind unify with their respective entity types.
staticancestor(EntityKind,Entity,AncestorKind,Ancestor)ancestor(?entity,?entity_identifier,?entity,?entity_identifier) - zero_or_morecurrent_entity/1
True if Entity is a currently loaded entity.
staticcurrent_entity(Entity)current_entity(?entity_identifier) - zero_or_moredeclares_predicate/2
True if Entity declares Predicate internally.
staticdeclares_predicate(Entity,Predicate)declares_predicate(?entity_identifier,?predicate_indicator) - zero_or_moredefines_predicate/2
True if Entity defines an implementation of Predicate internally. Auxiliary predicates are excluded from results.
staticdefines_predicate(Entity,Predicate)defines_predicate(?entity_identifier,?predicate_indicator) - zero_or_moredefines_predicate/3
Same as defines_predicate/2, except Property is unified with a property of the predicate.
staticdefines_predicate(Entity,Predicate,Property)defines_predicate(?entity_identifier,?predicate_indicator,?term) - zero_or_moreentity_calls/3
True if a predicate Caller within Entity makes a Call.
staticentity_calls(Entity,Caller,Call)entity_calls(?entity_identifier,?predicate_indicator,?predicate_indicator) - zero_or_oneentity_kind/2
True if Kind defines Entity and is one of category, protocol, or object.
staticentity_kind(Entity,Kind)entity_kind(+entity_identifier,-entity) - zero_or_oneentity_property/2
True if Property is a valid property of Entity. Entity can be either a category, a protocol, or an object.
staticentity_property(Entity,Property)entity_property(+entity_identifier,-term) - zero_or_moreentity_updates/3
True if a predicate Updater within Entity makes a dynamic update to Updated (by using e.g. the asserta/1 or retract/1 predicates).
staticentity_updates(Entity,Updater,Updated)entity_updates(+entity_identifier,?predicate_indicator,?predicate_indicator) - zero_or_oneOperators
(none)