List of Import References :
See BOOL
See Char
See Com
See DENOTATION
See Denotation
See FileSystem
See Nat
See Option
See Real
See Seq
See Set
See String
See Time
See UserAndGroup
See Void
SIGNATURE FileSystemFun
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
-- convenient file system functions
IMPORT
Com[denotation] ONLY com: SORT
FileSystem ONLY filemode: SORT
FUN rwxrwxrwx
rw_rw_rw_
rwxrwxr_x
rw_rw_r__
rwxr_xr_x
rw_r__r__
rwxrwx___
rw_rw____
rwxr_x___
rw_r_____
rwx______
rw_______
___rwxrwx
____w_rwx
____w__w_
______rwx
_______w_
_________
: filemode
-- a collection of commonly used access modes for chmod'FileSystem
-- as well as for umask'ProcessCtrl. If your favourite filemode is
-- not among these, please let us know.
FUN ls_dlg : denotation -> com[denotation]
-- produces the same output as "ls -dlg <denotation>"
-- that is, <denotation> itself will be listed in long format
next node: ProcessCtrlConv,
prev node: UserAndGroupFun,
up to node: Subsystem Unix