get_file_type
Definition: | integer res = get_file_type(string filename) |
Description: |
Get the type of a file or directory.
filename: the name of the file to query. It must not have wildcards (? and *). Returns an integer:
|
pwa/p2js: | Not supported. |
Comments: |
Both forwardslash ('/') and backslash ('\\') are handled for all platforms.
A trailing slash is optional on directories, it makes no difference whether one is present or not. The four return values above are automatically declared in psym.e/syminit(). Note this routine can be pretty slow, especially for directories, and you should certainly avoid re-checking the same thing over and over again whenever possible. The original version of demo\rosetta\Count_examples.exw was ten times slower than it is now simply because it (re-)checked the existence of the rc_cache directory in open_download() rather than just once at the start, and that is not a good plan when you’re going to do it 1,440+ times. |
Example: |
if get_file_type("C:/Program Files (x86)/Phix/builtins/vm/papnd.e")!=FILETYPE_FILE then ?9/0 end if if get_file_type("C:/Program Files (x86)/Phix/builtins/vm")!=FILETYPE_DIRECTORY then ?9/0 end if if get_file_type(`C:\Program Files (x86)\Phix\builtins\vm\`)!=FILETYPE_DIRECTORY then ?9/0 end if |
Implementation: | See builtins\pfile.e (an autoinclude) for details of the actual implementation. |
See Also: | dir |
