Modular program printer
Author(s): Isabel Garcia-Contreras.
This module writes in a directory a program containing only the clauses specified by a specific state (generated by edition_sequence_generator).
Usage and interface
- Library usage:
:- use_module(ciaopp_tests(incanal/module_writer)). - Exports:
- Predicates:
write_dir_state/4, write_dir_state_sequence/3.
- Predicates:
Documentation on exports
PREDICATEwrite_dir_state/4
Usage:write_dir_state(+State,+DirType,+DstDir,CheckoutPred)
Writes State of clauses in modules in directory DstDir.
PREDICATEwrite_dir_state_sequence/3
Usage:write_dir_state_sequence(+Seq,+DirType,+Dir)
Writes in directory Dir a directory for each of the steps in sequence Seq.
Documentation on imports
This module has the following direct dependencies:- System library modules:
datafacts_rt, write, aggregates, pathnames, system_extra, system, process, source_tree, lists, glob, git_wrapper, naive_reader, config_db. - Internal (engine) modules:
term_basic, arithmetic, atomic_basic, basiccontrol, exceptions, term_compare, term_typing, debugger_support, basic_props, hiord_rt, stream_basic, internals. - Packages:
prelude, initial, condcomp, assertions, assertions/assertions_basic, datafacts, hiord, fsyntax, xsyntax/_xsyntax.