tasks_db (library)

This handles the data base of modules to be analyzed. Currently it is implemented with persistent predicates

Usage and interface

Documentation on exports

PREDICATEadd_task/1

Usage:add_task(Mod)

Add a task to analyze with abtract domain AbsInt and CiaoPP configuration Flags

    PREDICATEadd_tasks/1

    Usage:add_tasks(Tasks)

    The same as add_task/3 but for a list of tasks (for efficiency)

    • The following properties should hold at call time:
      (list/1)Tasks is a list.

    PREDICATEpop_task/4

    Usage:pop_task(File,Mod,AbsInt,Flags)

    Remove a task to analyze

      Usage:analysis_task(File,Mod,AbsInt,Flags)

      Checks a task to analyze, this predicate does not modify the DB

        PREDICATEclean_db/0

        Usage 1:

        Empties the database.

          Usage 2:

          Initializes the database.

            No further documentation available for this predicate.

            Documentation on multifiles

            No further documentation available for this predicate. The predicate is multifile.
            The predicate is of type data.

            No further documentation available for this predicate. The predicate is multifile.
            The predicate is of type data.

            No further documentation available for this predicate. The predicate is multifile.
            The predicate is of type data.

            Documentation on imports

            This module has the following direct dependencies: