This module includes the low-level predicates for interacting with CiaoPP. In this interaction model the user performs a sequence of commands to obtain a certain result (e.g., load program, analyze, check assertions).
The basic commands are:
The analyses and transformations are controlled by preprocessor flags. These flags can be modified or consulted with:
Other commands useful when developing or debugging CiaoPP:
V is a value for a flag.
Outputs to File the current module preprocessing state with the default output options. If unbound, File is unified with a default name (encoding the preprocessing steps). Equivalent to output(File,).
Outputs the current module preprocessing state with the default output options. Equivalent to output(File,).
Reads the code of FileName and its preprocessing unit, and sets it as the current module.
Reads the code of the list of file names FileNameList (and their preprocessing units), and sets them as the current modules.
Returns on backtracking all available program transformation identifiers.
Performs transformation Trans on the current module.
Checks assertions w.r.t. analysis information, obtains from domain/1 which analyses were run.
Analyzes the current module with Analysis. If the intermod flag is not off, this predicate may call module/1.
Transformation is a valid transformation identifier.
Analysis is a valid analysis identifier.