Strategy details
|
ATerm
|
chdir
|
File
|
file.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Change current working directory.
|
|
ATerm
|
close
|
File
|
file.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Closing a file
Deallocates a file descriptor
|
|
ATerm
|
creat
|
File
|
file.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Opening a file
|
|
ATerm
|
dup
|
File
|
file.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Duplicating a file descriptor
|
|
ATerm
|
fdopen
|
File
|
file.str
|
Author
|
unknown
|
Since
|
unknown
|
|
The fdopen function associates a stream with the existing file descriptor, fd.
The mode of the stream ("r", "r+", "w", "w+", "a", "a+") must be compatible with the mode of the file descriptor. The file position
type
|
(FileDescr, String) -> Stream
|
|
|
ATerm
|
fileno
|
File
|
file.str
|
Author
|
unknown
|
Since
|
unknown
|
|
The function fileno examines the argument stream and returns its integer descriptor
|
|
ATerm
|
getcwd
|
File
|
file.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Returns the current working directory.
|
|
ATerm
|
isatty
|
File
|
file.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Succeeds if file descriptor refers to a terminal device.
|
|
ATerm
|
isblk
|
File
|
file.str
|
Author
|
unknown
|
Since
|
unknown
|
|
No information available.
|
|
ATerm
|
ischr
|
File
|
file.str
|
Author
|
unknown
|
Since
|
unknown
|
|
No information available.
|
|
ATerm
|
isdir
|
File
|
file.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Succeeds when applied to a File which is a directory.
Idiom: <file-exists ; filemode ; isdir> "/etc"
|
|
ATerm
|
isfifo
|
File
|
file.str
|
Author
|
unknown
|
Since
|
unknown
|
|
No information available.
|
|
ATerm
|
islnk
|
File
|
file.str
|
Author
|
unknown
|
Since
|
unknown
|
|
No information available.
|
|
ATerm
|
isreg
|
File
|
file.str
|
Author
|
unknown
|
Since
|
unknown
|
|
No information available.
|
|
ATerm
|
issock
|
File
|
file.str
|
Author
|
unknown
|
Since
|
unknown
|
|
No information available.
|
|
ATerm
|
link-file
|
File
|
file.str
|
Author
|
unknown
|
Since
|
unknown
|
|
link-file creats a hard link from file 'new' to file 'old'.
|
|
ATerm
|
mkdir(ATerm mode)
|
File
|
file.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Create directory
|
|
ATerm
|
modification-time
|
File
|
file.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Returns the modification time of a file in sections sinceepoch.
|
|
ATerm
|
pipe
|
File
|
file.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Pipe creates a pair Pipe(fd1, fd2) of file descriptors, pointingto a pipe inode, and places them in the array pointed to by filedes.fd1 is for reading, fd2 is for writing.
|
|
ATerm
|
readdir
|
File
|
file.str
|
Author
|
unknown
|
Since
|
unknown
|
|
The readdir() function returns a pointer to a direntstructure representing the next directory entry in thedirectory stream pointed to by dir. It returns NULL onreaching the end-of-file or if an error occurred.
|
|
ATerm
|
rmdir
|
File
|
file.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Remove empty directory
|
|