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 FileSystemConv
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
IMPORT
FileSystem ONLY inode: SORT device: SORT filetype: SORT
permission: SORT filemode: SORT filestat: SORT
FUN ` : inode -> denotation
-- numeric output
FUN ` : device -> denotation
-- numeric output
FUN ` : filetype -> denotation
-- ls-like output of length 1
FUN ` : permission -> denotation
-- "S_I..."
FUN ` : filemode -> denotation
-- ls-like output of length 9
FUN ` : filestat -> denotation
-- complete status; time format is mmddyy hh:mm
-- "dev/inode typemode nlinks #userid #groupid size atime ctime mtime"
next node: ProcessConv,
prev node: UserAndGroupConv,
up to node: Subsystem Unix