☰

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

      PREDICATEanalysis_task/4

      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.

            PREDICATEinit_tasks_db/0
            No further documentation available for this predicate.

            Documentation on multifiles

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

            PREDICATEpersistent_dir/4
            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:
            Generated with LPdoc using Ciao