Succeeds if Base is an entry module of the program unit to be analyzed.
Succeeds if Base is a module of the program unit to be analyzed (if reachable).
Succeeds if File is a module of the program unit that is being analyzed in this iteration of the intermodular analysis.
Data predicate to locally store information about the registry of one or several modules. Module is the name of the module for which Registry is an entry in the registry file. It corresponds to the global answer table as it is described in [PCH03], or other auxiliary information (e.g., types).
HeaderTerm is a term read from the registry header of module Module. Data predicate to store the header terms of every registry file read. The list of registry header terms depends on the registry file version, and is stored in registry_header_format/2
Enumerates the modules imported by the current module
List of caller modules to be processed.
Contains a version number which identifies the registry files associated with this version of the assertion library. Should be changed every time changes are made which render registry files incompatible, since this forces recomputation of all such files.
TermList is the list of terms which must appear in the header of version Version registry files, excluding the version number term itself.
Data predicate to locally store information about the types used in the registry of one or several modules. Module is the name of the module for which the type definition TypeDef is referenced in the registry file. The original definition of TypeDef may not reside in Module, but in a related module.