☰

Database for ciaopp_batch process

Author(s): Isabel Garcia-Contreras.

This module manages the analysis database for ciaopp_batch.

Documentation on exports

PREDICATEadd_task_status/5

Usage:add_task_status(ModName,ModPath,Action,Flags,Status)

Adds ciaopp action status for ModName located in ModPath

  • The following properties should hold at call time:
    (atm/1)ModName is an atom.
    (atm/1)ModPath is an atom.
    (atm/1)Action is an atom.
    (term/1)Flags is any term.
    (atm/1)Status is an atom.

PREDICATEtask_status/5

Usage:task_status(ModName,ModPath,Action,Flags,Status)

Status is the information of how ModName located in ModPath was analyzed

  • Call and exit should be compatible with:
    (atm/1)ModName is an atom.
    (atm/1)ModPath is an atom.
    (atm/1)Action is an atom.
    (term/1)Flags is any term.
    (atm/1)Status is an atom.

PREDICATEupdate_task_status/0

Usage:

Updates the data with the last analysis information

    PREDICATElast_file_log/2

    Usage:last_file_log(ID,F)

    F is the associated file log to ID

    • The following properties should hold at call time:
      (atm/1)ID is an atom.
    • The following properties should hold upon exit:
      (atm/1)F is an atom.

    PREDICATEinit_analysis_db/0

    Usage:

    Initializes analysis database

      PREDICATEinit_tmp_db/1

      Usage:init_tmp_db(ID)

      Initializes a temporal DB for ID.

      • The following properties should hold at call time:
        (atm/1)ID is an atom.

      PREDICATEclean_db/0

      Usage:

      Clears all analysis data.

        PREDICATEclean_tmp_db/0

        Usage:

        Removes all temporal databases.

          PREDICATEset_current_task/2

          Usage:set_current_task(ID,Task)

          Writes in a file that Module is currently being analyzed.

            PREDICATEcurrent_task_proc/2

            Usage:current_task_proc(ID,Task)

            Module is the module being analyzed by batch_analyze currenlty

            • The following properties should hold at call time:
              (var/1)Task is a free variable.

            PREDICATEset_last_error/3

            Usage:set_last_error(ModName,FilePath,AbsInt)

            Appends to the error file of FilePath that the analysis for domain AbsInt of the last module (Module) had a timeout.

              PREDICATEupdate_tasks_analysis_status/0

              Usage:

              Updates the task_status db to remove modules which are not updated, i.e., their .dump file is older than their .pl file.

              For modules which could not be analyze, no information is updated

                PREDICATEreport_mod_info/3

                Usage:report_mod_info(FilePath,ModName,LDiag)

                Stores in a file with extension .err Info about ModName

                  PREDICATEdb_data_dir/1

                  Usage:db_data_dir(F)

                  F is the location of data in this bundle

                    Documentation on multifiles

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

                    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.

                    Generated with LPdoc using Ciao