- The CiaoPP Program Processor »
- PART IV - CiaoPP Internals »
- The Global Information Server »
- Analysis Information Server
ON THIS PAGE
Analysis Information Server
This module provides the other parts of the compiler with the information they require on properties of the program, either inferred or from the assertions.Usage and interface
- Library usage:
:- use_module(ciaopp(infer)). - Exports:
Documentation on exports
PREDICATEget_info/5
No further documentation available for this predicate.
PREDICATEget_absint/4
No further documentation available for this predicate.
PREDICATEtype2measure/3
No further documentation available for this predicate.
PREDICATEtype_holds/3
No further documentation available for this predicate.
PREDICATEtype_fails/3
No further documentation available for this predicate.
PREDICATEget_memo_lub/5
Usage:get_memo_lub(Key,Vars,AbsInt,Lub,ASub)
Obtains program point info inferred by domain AbsInt at point Key.
- The following properties should hold at call time:
(gnd/1)Key is ground.
(term/1)Vars is any term.
(atm/1)AbsInt is an atom.
(var/1)Lub is a free variable.
(var/1)ASub is a free variable. - The following properties should hold upon exit:
(gnd/1)Key is ground.
(list/2)Vars is a list of vars.
(gnd/1)AbsInt is ground.
(nonvar/1)Lub is currently a term which is not a free variable.
(nonvar/1)ASub is currently a term which is not a free variable.
PREDICATEget_completes_lub/6
No further documentation available for this predicate.
PREDICATEget_completes/4
No further documentation available for this predicate.
PREDICATEkind_of_info/7
No further documentation available for this predicate.
Documentation on imports
This module has the following direct dependencies:- Application modules:
infer_db, infer_dom, inferseff, vartypes, domains, plai_db, pool, preprocess_flags, nfdet_common. - System library modules:
datafacts_rt, typeslib, p_unit, program_keys, aggregates, lists, sort, terms_check, terms_vars. - Internal (engine) modules:
term_basic, arithmetic, atomic_basic, basiccontrol, exceptions, term_compare, term_typing, debugger_support, basic_props. - Packages:
prelude, initial, condcomp, assertions, assertions/assertions_basic, datafacts, ciaopp(ciaopp_options).