system_extra (library)

Author(s): M. Hermenegildo.

Version: 1.11#222 (2004/5/24, 13:8:7 CEST)

Version of last change: 1.11#198 (2004/2/16, 17:28:46 CET)

This is a (temporary) extension to library system (which it reexports). It implements functionality that is often convenient in Makefiles. Much of this should probably end up eventually in system, but once we have worked out the best interface and, in some cases, the proper implementation (the implementations in here are in some cases just calls to Un*x shell primitives or commands).

• Usage and interface (system_extra)
• Documentation on exports (system_extra)

Usage and interface (system_extra)

Documentation on exports (system_extra)

PREDICATE: del_dir_if_empty/1:

No further documentation available for this predicate.

PREDICATE: move_files/2:

move_files(Files, Dir)

Move Files to directory Dir (note that to move only one file to a directory, rename_file/2 can be used).

Usage:

• The following properties should hold at call time: Files is a list of atms. (basic_props:list/2) Dir is an atom. (basic_props:atm/1)

PREDICATE: move_file/2:

No further documentation available for this predicate.

PREDICATE: copy_files/2:

copy_files(Files, Dir)

Copy Files to directory Dir (note that to move only one file to a directory, rename_file/2 can be used).

Usage:

• The following properties should hold at call time: Files is a list of atms. (basic_props:list/2) Dir is an atom. (basic_props:atm/1)

PREDICATE: cat/2:

No further documentation available for this predicate.

PREDICATE: cat_append/2:

No further documentation available for this predicate.

PREDICATE: convert_permissions/4:

No further documentation available for this predicate.

PREDICATE: symbolic_link/2:

Usage: symbolic_link(Source, Dir)

• Description: Create a symbolic link in Dir pointing to file or directory Source (performs a copy in Windows).

PREDICATE: symbolic_link/3:

Usage: symbolic_link(Source, Dir, NewName)

• Description: Create a symbolic link in Dir pointing to file or directory Source and give it name NewName (performs a copy in Windows).

PREDICATE: delete_files/1:

No further documentation available for this predicate.

PREDICATE: delete_files_nofail/1:

No further documentation available for this predicate.

PREDICATE: del_file_nofail/1:

No further documentation available for this predicate.

PREDICATE: del_file_nofail/2:

No further documentation available for this predicate.

PREDICATE: del_endings_nofail/2:

No further documentation available for this predicate.

PREDICATE: ls/3:

ls(Directory, Pattern, FileList)

FileList is the unordered list of entries (files, directories, etc.) in Directory whose names match Pattern.If Directory does not exist FileList is empty.

Usage:

• The following properties should hold at call time: Directory is an atom. (basic_props:atm/1) Pattern is a pattern to match against. (patterns:pattern/1) FileList is a free variable. (term_typing:var/1)
• The following properties hold upon exit: FileList is a list of atms. (basic_props:list/2)

PREDICATE: ls/2:

ls(Pattern, FileList)

FileList is the unordered list of entries (files, directories, etc.) in the current directory whose names match Pattern (same as ls('.',Pattern,FileList)).

Usage:

• The following properties should hold at call time: Pattern is a pattern to match against. (patterns:pattern/1) FileList is a free variable. (term_typing:var/1)
• The following properties hold upon exit: FileList is a list of atms. (basic_props:list/2)

PREDICATE: filter_alist_pattern/3:

filter_alist_pattern(UnFiltered, Pattern, Filtered)

Filtered contains the elements of UnFiltered which match with Pattern.

Usage:

• The following properties should hold at call time: UnFiltered is a list of atms. (basic_props:list/2) Pattern is a pattern to match against. (patterns:pattern/1) Filtered is a free variable. (term_typing:var/1)
• The following properties hold upon exit: Filtered is a list of atms. (basic_props:list/2)

PREDICATE: -/1:

No further documentation available for this predicate.

Meta-predicate with arguments: -goal.

PREDICATE: do/2:

No further documentation available for this predicate.

PREDICATE: set_perms/2:

No further documentation available for this predicate.

PREDICATE: readf/2:

No further documentation available for this predicate.

PREDICATE: datime_string/1:

No further documentation available for this predicate.

PREDICATE: datime_string/2:

No further documentation available for this predicate.

PREDICATE: datime_atom/1:

No further documentation available for this predicate.

PREDICATE: datime_atom/2:

No further documentation available for this predicate.

PREDICATE: all_values/2:

No further documentation available for this predicate.

Meta-predicate with arguments: all_values(pred(1),?).

PREDICATE: no_tr_nl/2:

No further documentation available for this predicate.

PREDICATE: call_unknown/1:

No further documentation available for this predicate.

Meta-predicate with arguments: call_unknown(goal).

PREDICATE: replace_strings_in_file/3:

No further documentation available for this predicate.

PREDICATE: writef/3:

No further documentation available for this predicate.

PREDICATE: writef/2:

No further documentation available for this predicate.

PREDICATE: add_suffix/3:

No further documentation available for this predicate.

PREDICATE: add_preffix/3:

No further documentation available for this predicate.

PREDICATE: writef_list/3:

No further documentation available for this predicate.

PREDICATE: writef_list/2:

No further documentation available for this predicate.

PREDICATE: delete_filess/1:

No further documentation available for this predicate.

PREDICATE: etags/2:

No further documentation available for this predicate.

PREDICATE: etagss/2:

No further documentation available for this predicate.

PREDICATE: get_dirs/2:

No further documentation available for this predicate.

PREDICATE: get_rec_dirs/2:

No further documentation available for this predicate.

PREDICATE: get_rec_dirs/3:

No further documentation available for this predicate.

PREDICATE: get_rec_dirs/4:

No further documentation available for this predicate.

PREDICATE: lss/3:

No further documentation available for this predicate.

PREDICATE: lss/4:

No further documentation available for this predicate.

PREDICATE: lss/6:

No further documentation available for this predicate.

PREDICATE: copy_files_rec/3:

No further documentation available for this predicate.

PREDICATE: filter_dirs/3:

No further documentation available for this predicate.

PREDICATE: touch/1:

touch(File)

Updates the access and modification time of File to current time.

(UNDOC_REEXPORT): cyg2win/3:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): rename_file/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): delete_directory/1:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): delete_file/1:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): chmod/3:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): chmod/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): fmode/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): modif_time0/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): modif_time/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): file_properties/6:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): file_property/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): file_exists/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): file_exists/1:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): mktemp/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): directory_files/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): exec/3:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): exec/4:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): popen_mode/1:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): popen/3:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): system/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): system/1:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): shell/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): shell/1:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): shell/0:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): cd/1:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): working_directory/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): make_dirpath/1:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): make_dirpath/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): make_directory/1:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): make_directory/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): umask/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): current_executable/1:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): current_host/1:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): get_pid/1:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): extract_paths/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): copy_file/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): del_env/1:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): set_env/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): current_env/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): setenvstr/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): getenvstr/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): datime_struct/1:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): datime/9:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): datime/1:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): time/1:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): pause/1:

Imported from system (see the corresponding documentation for details).

Go to the first, previous, next, last section, table of contents.