[det]jiti_suggest_modes
[det]jiti_suggest_modes(:Spec)Propose modes for the predicates referenced by Spec. This
utility may be executed after a clean load of your program and
after running the program. It searches for static predicates that have
been called and (thus) have been examined for candidate indexes. If
candidate indexes have not been materialized this implies that the
predicate was never called with a nonvar value for the corresponding
argument. Adding a mode/1
declaration may be used to inform the system thereof. The system will
never examine arguments for indexing that have been declared as mode -.
Note: This predicate merely detects that some predicate is
never called with instantiated specific arguments during this run.
The user should verify whether the suggested - arguments
are correct and typically complete the mode by changing ?
into + (or -) where applicable. Currently, in
SWI-Prolog, mode/1
declarations have no effect on the semantics of the code. In particular,
a predicate that declares some argument as - may be called
with this argument instantiated. This may change in the future.
