object
dead_code_scanner
A tool for detecting likely dead code in compiled Logtalk entities and Prolog modules compiled as objects.
logtalk_load(dead_code_scanner(loader))static, context_switching_calls
Dead code: A predicate or non-terminal that is not called (directly or indirectly) by any scoped predicate or non-terminal. These predicates and non-terminals are not used, cannot be called without breaking encapsulation, and are thus considered dead code.
Known issues: Use of local meta-calls with goal arguments only know at runtime can result in false positives. Calls from non-standard meta-predicates may be missed if the meta-calls are not optimized.
Requirements: Source files must be compiled with the
source_dataflag turned on. To avoid false positives do to meta-calls, compilation of source files with theoptimizedflag turned on is also advised.
Public predicates
entity/1
Scans a loaded entity for dead code. Fails if the entity does not exist.
staticentity(Entity)entity(+entity_identifier) - zero_or_onefile/1
Scans all entities in a loaded source file for dead code. The file can be given by name, basename, full path, or using library notation. Fails if the file is not loaded.
staticfile(File)file(+atom) - zero_or_onedirectory/1
Scans all entities in all loaded files from a given directory for dead code.
staticdirectory(Directory)directory(+atom) - onerdirectory/1
Scans all entities in all loaded files from a given directory and its sub-directories for dead code.
staticrdirectory(Directory)rdirectory(+atom) - onelibrary/1
Scans all entities in all loaded files from a given library for dead code.
staticlibrary(Library)library(+atom) - onerlibrary/1
Scans all entities in all loaded files in a loaded library and its sub-libraries for dead code.
staticrlibrary(Library)rlibrary(+atom) - oneall/0
Scans all entities for dead code.
staticall - onepredicates/2
Returns an ordered set of local predicates (and non-terminals) that are not used, directly or indirectly, by scoped predicates for a loaded entity.
staticpredicates(Entity,Predicates)predicates(+entity_identifier,-list(predicate_indicator)) - onepredicate/2
Enumerates, by backtracking, local predicates (and non-terminals) that are not used, directly or indirectly, by scoped predicates for a loaded entity.
staticpredicate(Entity,Predicate)predicate(+entity_identifier,?predicate_indicator) - zero_or_moreProtected predicates
(no local declarations; see entity ancestors if any)
Private predicates
(no local declarations; see entity ancestors if any)
Operators
(none)