Auxiliary predicates

Auxiliary predicates for ciaopp batch

Usage and interface

Documentation on exports

PREDICATEdump_file/4

Usage:dump_file(FilePath,Module,AbsInt,DumpFile)

Given a FilePath and Module name, generates its associated DumpFile

  • The following properties should hold at call time:
    (atm/1)FilePath is an atom.
    (atm/1)Module is an atom.
    (atm/1)AbsInt is an atom.
    (var/1)DumpFile is a free variable.

Usage:string_contained(L1,L2)

L1 is a sublist of L2.

  • The following properties should hold at call time:
    (string/1)L1 is a string (a list of character codes).
    (string/1)L2 is a string (a list of character codes).

Usage:get_mod_name_from_file(FilePath,ModName)

ModName is the name of the module located in FilePath.

    PREDICATEnewer/2

    Usage:newer(FileA,FileB)

    FileA was modified later than FileB.

    • The following properties should hold at call time:
      (atom/1)FileA is currently instantiated to an atom.
      (atom/1)FileB is currently instantiated to an atom.

    Usage:make_dir_nofail(X)

    Creates X if it does not exist already

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

    Documentation on imports

    This module has the following direct dependencies: