File system [XL]

• *fs* : string := (if externC("\n#ifdef CLPC\nCTRUE\n#else\nCFALSE\n#endif\n", boolean) "\\" else "/")
• *ps* : string := (if externC("\n#ifdef CLPC\nCTRUE\n#else\nCFALSE\n#endif\n", boolean) ";" else ":")
• chmod(s:string, m:integer) -> void [XL]
• entries(s:string) -> list[string] [XL]
• entries(s:string, w:string) -> list[string] [XL]
• faccessed(s:string) -> float [XL]
• fchanged(s:string) -> float [XL]
• fcopy(s1:string, s2:string) -> void [XL]
• fmode(s:string) -> integer [XL]
• fmodified(s:string) -> float [XL]
• fsize(s:string) -> float [XL]
• isdir?(s:string) -> boolean [XL]
• isfile?(s:string) -> boolean [XL]
• link(s1:string, s2:string) -> void [XL]
• mkdir(s:string) -> void [XL]
• mkdir(s:string, m:integer) -> void [XL]
• rmdir(s:string) -> void [XL]
• symlink(s1:string, s2:string) -> void [XL]
• unlink(s:string) -> void [XL]

XL CLAIRE comes with a set of method used for the file system management. These methods are used to :

• check whether a file or a directory exists (isfile?/isdir?)
• remove a file or a directory (unlink/rmdir)
• create new directories (mkdir)
• iterate over entries of a given directory (entries)
• check file times (faccessed/fmodified/fchanged)
• get a file size (fsize)
• create symbolic/hard links (link/symlink)
• get and change the file permission mode (fmode/chmod)

*fs* : string := (if externC("\n#ifdef CLPC\nCTRUE\n#else\nCFALSE\n#endif\n", boolean) "\\" else "/")

*fs* is a global variable that is set to a string that represent the file separator (system dependent). Usually "/" on UNIX and "< "> on windows.

*ps* : string := (if externC("\n#ifdef CLPC\nCTRUE\n#else\nCFALSE\n#endif\n", boolean) ";" else ":")

*ps* is a global variable that is set to a string that represent the path separator (system dependent). Usually ":" on UNIX and ";" on windows.

chmod(s:string, m:integer) -> void

chmod(s, m) changes the mode of the file or directory s to m.

entries(s:string) -> list[string]

entries(s) returns the list of entries (files and sub-directories names) located in the directory s.

entries(s:string, w:string) -> list[string]

entries(s, w) returns the subset of entries (files and sub-directories names) located in the directory s that match the wildcard w (according to match_wilcard?). entries(s) is equivalent to entries(s, "*").

faccessed(s:string) -> float

faccessed(s) returns the time when the file s was last accessed (e.g. the time of the last read operation)

fchanged(s:string) -> float

fchanged(s) returns the time when the status of file s was last changed (the time of the last write operation or the time of the last fmode call or the time of the last unlink...)

fcopy(s1:string, s2:string) -> void

fcopy(s1,s2) copies the file s1 to a file named s2, if the copy is successful then the mode of s2 (according to fmode) is set to the same mode as s1.

fmode(s:string) -> integer

fmode(s) returns the mode of the file s.

fmodified(s:string) -> float

fmodified(s) returns the time when the file s was last modified (e.g. the time of the last write operation)

fsize(s:string) -> float

fsize(s) returns the size in bytes of the file s. The returned value is a float and not an integer that could overflow for big files.

isdir?(s:string) -> boolean

Tells if s represents an existing directory entry.

isfile?(s:string) -> boolean

Tells if s represents an existing file entry.

link(s1:string, s2:string) -> void

creates a hard link for the file s1 with name s2.

mkdir(s:string) -> void

mkdir(s) is equivalent to mkdir(s, <777)>

mkdir(s:string, m:integer) -> void

mkdir(s, m) creates a new directory s with mode m.

rmdir(s:string) -> void

rmdir(s) removes the directory s. The directory have to be empty and the calling process must have sufficient permissions.

symlink(s1:string, s2:string) -> void

creates a symbolic link for the file s1 with name s2.

unlink(s:string) -> void

unlink(s) removes the file s from the disk. note that the the file may still exists after the call since an other process may have it already open...