Naive reader of Ciao modules

Author(s): Isabel Garcia-Contreras.

This module assumes that all directives are present at the beginning of the module.

Usage and interface

Library usage:
:- use_module(ciaopp_tests(incanal/naive_reader)).
Exports:
- Predicates:
  read_module/2, clean_reader/0, module_clause/6, naive_loaded/2, get_code_summary/2.

Documentation on exports

PREDICATEread_module/2

Usage:read_module(Mod,ModPath)

Reads a module Mod located in ModPath. The previous information stored for module Mod will be cleaned.

The following properties should hold at call time:
(atm/1)Mod is an atom.
(atm/1)ModPath is an atom.

PREDICATEclean_reader/0

Cleans the reader (previously readed clauses).

PREDICATEmodule_clause/6

A clause writen in a module, it is of the form module_clause(Mod, ClType, Pred, A, ClN, Head, Body). The predicate is of type data.

PREDICATEnaive_loaded/2

The predicate is of type data.

PREDICATEget_code_summary/2

Usage:get_code_summary(Sum,N)

Summarizes the number of clauses present in each of the modules loaded in the database. The format of Sum is compatible with the input of edition_sequence_generator.

Documentation on imports

This module has the following direct dependencies:

System library modules:
datafacts_rt, read, aggregates, lists, operators, config_db, hiordlib.
Internal (engine) modules:
term_basic, arithmetic, atomic_basic, basiccontrol, exceptions, term_compare, term_typing, debugger_support, basic_props, stream_basic.
Packages:
prelude, initial, condcomp, assertions, assertions/assertions_basic, datafacts.