object

code_metrics

Logtalk frontend for analyzing source code via metrics.

author:
Ebrahim Azarisooreh
version:
0.5
date:
2017/8/10
compilation flags:
static, context_switching_calls

(no dependencies on other entities)

Public interface

entity/1

Scans an entity and prints a summary based on all applicable metrics.

compilation flags:
static
template:
entity(Entity)
mode – number of proofs:
entity(+term) – zero_or_one

file/1

Prints a metric summary of all entities defined in a source file.

compilation flags:
static
template:
file(File)
mode – number of proofs:
file(+atom) – zero_or_one

directory/1

Scans a directory and prints metrics summary for all its source files.

compilation flags:
static
template:
directory(Directory)
mode – number of proofs:
directory(+atom) – one

rdirectory/1

Recursive version of directory/1.

compilation flags:
static
template:
rdirectory(Directory)
mode – number of proofs:
rdirectory(+atom) – one

library/1

Prints a metrics summary of all loaded entities from a given library.

compilation flags:
static
template:
library(Library)
mode – number of proofs:
library(+atom) – one

rlibrary/1

Recursive version of library/1.

compilation flags:
static
template:
rlibrary(Library)
mode – number of proofs:
rlibrary(+atom) – one

all/0

Scans all loaded entities and prints a report of all applicable metrics.

compilation flags:
static
mode – number of proofs:
all – one

Protected interface

(none)

Private predicates

(none)

Operators

(none)

Remarks

(none)

See also

(none)