FUNCTION
Exists|_file
(
STR
Path|_of_file
)
==> BOOL
|
|
FUN
do_Exists
(
STR
Path|_of_file_not_empty
)
==> BOOL
, NATIVE
|
|
FUN
Delete_file|_or_directory
(
STR
File|_name_and_path
)
|
|
FUN
delete|_file
(
STR
Path|_file
)
, NATIVE
|
|
FUN
delete_dir|ectory
(
STR
Path|_directory
)
, NATIVE
|
|
FUN
Recycle_file|_or_directory
(
STR
File|_name_and_path
)
|
|
FUN
recycle|_file
(
STR
Path|_file
)
, NATIVE
|
|
FUN
Rename|_file|_or_directory
(
STR
Path|_file
,
STR
New|_name
)
|
|
FUN
rename_file
(
STR
Path|_file
,
STR
New|_name
)
, NATIVE
|
|
FUN
rename_dir
(
STR
Path|_file
,
STR
New|_name
)
, NATIVE
|
|
FUN
Move_file
(
STR
Path|_file
,
STR
New|_path
)
|
|
FUN
Move_file_direct|ly_no_checks
(
STR
Path|_file
,
STR
New|_path
)
, NATIVE
|
|
FUN
Copy_file
(
STR
S|ource_file_path
,
STR
D|estination
)
|
|
FUN
do_copy_file
(
STR
S|ource_file_path
,
STR
D|estination_path
)
, NATIVE
|
|
FUNCTION
Directory_exists || Dir_exists
(
STR
Path|_of_dir
)
==> BOOL
, NATIVE
|
|
FUNCTION
Create_dir|ectory
(
STR
Path|_to_new_dir
)
, NATIVE
|
|
FUN
Catalog|ue_of_directory
(
STR
Dir|ectory_path
,
STR
Cat|alogue_scanned
[]
)
, NATIVE
|
|
FUN
Get_cat|alog|ue|_of_path
(
STR
Cat|alogue_scanned
[]
,
STR
Path|_of_directory
)
|
|
ENUMERATION {file_attr|ibutes} :
'READONLY|_FILE'
,
'HIDDEN|_FILE_DIRECTORY'
,
'SYSTEM|_FILE_DIRECTORY'
,
'DIRECTORY|_NOT_A_FILE'
,
'ARCHIVE|_FILE'
,
'NORMAL|_FILE'
,
'TEMPORARY|_FILE'
,
'COMPRESSED|_FILE'
,
'OFFLINE|_FILE'
,
'RESERVE_1'
,
'RESERVE_2'
.
|
|
STRUCTURE
{file_detail|ed_info}
BOOL Attr|ib|utes[{file_attr}]
REAL Size|_in_bytes
REAL Creation|_date_time
REAL Modified|_date_time
REAL Accessed|_date_time
.
|
|
FUN
Catalog_detailed
(
STR
Dir|ectory_path
,
STR
Cat|alogue_scanned
[]
,
{file_detail}
Det|ails_for_files
[]
)
|
|
FUNCTION
File_detail|ed_info
(
STR
Path|_to_file
)
==> {file_detail}
|
|
FUN
native_File_details
(
STR
Path|_of_file
,
STR
attr|ibutes_put_in_0
[]
,
REAL
times|_of_file
[]
)
==> REAL
, NATIVE
|
|
FUNCTION
Change_ext|ension
(
STR
Path|_of_file
,
STR
New_ex|tension
)
==> STR
|
|
FUN
Ext|ension|_of_file
(
STR
Path|_of_file
)
==> STR
|
|
FUNCTION
Extract_path
(
STR
Path|_of_file_full
)
==> STR
|
|
FUNCTION
Extract_file_name
(
STR
Path|_file
)
==> STR
|
|
FUNCTION
Get_file_time_age_seconds
(
STR
Path|_file
)
==> REAL
, NATIVE
, DEPRECATED('use only for compatibility with the primary AL4 compiler')
|
|
FUNCTION
Get_file_modified_time_formatted
(
STR
Path|_file
)
==> STR
, NATIVE
, DEPRECATED('use only for compatibility with the primary AL4 compiler')
|
|
FUN
Set_file_time_age
(
STR
Path|_file
,
{Date_time}.{date_time}
Age|_2_seconds_recision
)
, DEPRECATED('Platform dependant')
|
|
FUN
do_Set_file_time_age
(
STR
Path|_file
,
REAL
Age|_2_seconds_recision
)
, NATIVE
|
|
FUN
do_Set_dir_time_age
(
STR
Path|_file
,
REAL
Age|_2_seconds_recision
)
, NATIVE
|
|
FUN
Set_file_creation_time
(
STR
Path|_file
,
{Date_time}.{date_time}
T|ime_creation_to_set
)
, DEPRECATED('Platform dependant')
|
|
FUN
do_Set_file_creation_time
(
STR
Path|_file
,
REAL
T|ime_to_set
)
, NATIVE
|
|
FUN
do_Set_dir_creation_time
(
STR
Path|_file
,
REAL
T|ime_to_set
)
, NATIVE
|
|
FUN
Set_file_last_access_time
(
STR
Path|_file
,
{Date_time}.{date_time}
T|ime_creation_to_set
)
, DEPRECATED('Platform dependant')
|
|
FUN
do_Set_file_access_time
(
STR
Path|_file
,
REAL
T|ime_to_set
)
, NATIVE
|
|
FUN
do_Set_dir_access_time
(
STR
Path|_file
,
REAL
T|ime_to_set
)
, NATIVE
|
|
FUN
Set_file_attr|ibutes
(
STR
Path|_file
,
STR
Attr|ibutes_Hidden_Readonly_System
)
, DEPRECATED('Platform dependent')
|
|
FUN
do_Set_file_attr
(
STR
Path|_file
,
BOOL
Hidden|_file
,
BOOL
Readonly
,
BOOL
System|_file
)
, NATIVE
|
|
FUN
Format_size
(
REAL
Size|_in_bytes
)
==> STR
|
|
FUN
File_to_string
(
STR
Path|_of_file
)
==> STR
, NATIVE
|
|
FUN
Oem_file_to_string
(
STR
Path|_of_file
)
==> STR
, NATIVE
|
|
FUN
String_to_file
(
STR
S|tring_to_save
,
STR
Path|_of_file
)
, NATIVE
|
|