File Properties
The FileGetInteger() function is used for obtaining file properties. The identifier of the required property from the ENUM_FILE_PROPERTY_INTEGER enumeration is passed to it during call.
ENUM_FILE_PROPERTY_INTEGER
|
|
|
FILE_EXISTS
|
Check the existence
|
FILE_CREATE_DATE
|
Date of creation
|
FILE_MODIFY_DATE
|
Date of the last modification
|
FILE_ACCESS_DATE
|
Date of the last access to the file
|
FILE_SIZE
|
File size in bytes
|
FILE_POSITION
|
Position of a pointer in the file
|
FILE_END
|
Get the end of file sign
|
FILE_LINE_END
|
Get the end of line sign
|
FILE_IS_COMMON
|
The file is opened in a shared folder of all terminals (see FILE_COMMON)
|
FILE_IS_TEXT
|
The file is opened as a text file (see FILE_TXT)
|
FILE_IS_BINARY
|
The file is opened as a binary file (see FILE_BIN)
|
FILE_IS_CSV
|
The file is opened as CSV (see FILE_CSV)
|
FILE_IS_ANSI
|
The file is opened as ANSI (see FILE_ANSI)
|
FILE_IS_READABLE
|
The opened file is readable (see FILE_READ)
|
FILE_IS_WRITABLE
|
The opened file is writable (see FILE_WRITE)
|
The FileGetInteger() function has two different options of call. In the first option, for getting properties of a file, its handle is specified, which is obtained while opening the file using the FileOpen() function. This option allows getting all properties of a file.
The second option of the FileGetInteger() function returns values of file properties by the file name. Using this option, only the following general properties can be obtained:
- FILE_EXISTS - existence of a file with a specified name
- FILE_CREATE_DATE - date of creation of the file with the specified name
- FILE_MODIFY_DATE - date of modification of the file with the specified name
- FILE_ACCESS_DATE - date of the last access to the file with the specified name
- FILE_SIZE - size of the file with the specified name
When trying to get properties other than specified above, the second option of FileGetInteger() call will return an error.
|
标准常量，列举和架构 
