object
A tool for detecting *likely* dead code in compiled Logtalk entities and Prolog modules compiled as objects.
Barry Evans and Paulo Moura
0.11
2017/8/10
static, context_switching_calls
(no dependencies on other entities)
Scans a loaded entity for dead code. Fails if the entity does not exist.
static
entity(Entity)
entity(+entity_identifier) – zero_or_one
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.
static
file(File)
file(+atom) – zero_or_one
Scans all entities in all loaded files from a given directory for dead code.
static
directory(Directory)
directory(+atom) – one
Scans all entities in all loaded files from a given directory and its sub-directories for dead code.
static
rdirectory(Directory)
rdirectory(+atom) – one
Scans all entities in all loaded files from a given library for dead code.
static
library(Library)
library(+atom) – one
Scans all entities in all loaded files in a loaded library and its sub-libraries for dead code.
static
rlibrary(Library)
rlibrary(+atom) – one
Scans all entities for dead code.
static
all – one
Returns an ordered set of local predicates (and non-terminals) that are not used, directly or indirectly, by scoped predicates for a loaded entity.
static
predicates(Entity,Predicates)
predicates(+entity_identifier,-list(predicate_indicator)) – one
Enumerates, by backtracking, local predicates (and non-terminals) that are not used, directly or indirectly, by scoped predicates for a loaded entity.
static
predicate(Entity,Predicate)
predicate(+entity_identifier,?predicate_indicator) – zero_or_more
(none)
(none)