Auxiliary predicates

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.

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.