Module base

This module provides additional access to sources. The predicate sys_first_location/2 and sys_location/2 allow quick lookup of indicators from positions. The predicates also work for local modules and are suitable for source code indexing.

The second set of predicates sys_provable_hash/3 and sys_syntax_hash/3 complement the module "notation". These predicates automatically remove respectively add the qualified part from a provable respectively syntax indicator depending on context.

The following base predicates are provided:

sys_first_location(S, O, L, I):
The predicate succeeds in I with the predicate indicators of the declarations in source S at file path O and line number L.
sys_location(S, O, L, I):
The predicate succeeds in I with the predicate indicators of the static clauses in source S at file path O and line number L.
sys_provable_hash(I, S, J):
The predicate succeeds in J with the provable indicator, which is the short form of I in the source S.
sys_syntax_hash(I, S, J):
The predicate succeeds in J with the syntax indicator, which is the short form of I in the source S.

Kommentare