|
FileTools[Size] - obtain size of a file in bytes
|
|
Calling Sequence
|
|
Size(file)
|
|
|
Parameters
|
|
|
file
|
-
|
filename or the file descriptor of an open file
|
|
|
|
|
|
Description
|
|
|
•
|
The Size(file) command returns the size of a file in bytes.
|
|
•
|
If the file does not exist or an invalid file descriptor is passed, an exception is raised.
|
|
|
|
See Also
|
|
file_types, FileTools, FileTools[Exists], FileTools[IsDirectory], FileTools[IsExecutable], FileTools[IsReadable], FileTools[IsWritable], FileTools[ModificationTime], FileTools[Remove], FileTools[Status], FileTools[Text][Close], FileTools[Text][WriteString], IO_errors
|
|
Download Help Document
Was this information helpful?
