file_exists ( : : FileName : )

Check whether file exists.

The operator file_exists checks whether the indicated file already exists. If no right to read the file exists the operator file_exists also returns FALSE.


Parameters

FileName (input_control)
filename.named -> string
Name of file to be checked.
Default value: '/bin/cc'


Result

The operator file_exists returns the value TRUE (file exists) or FALSE (file does not exist).


Possible Successors

open_file


Alternatives

open_file



Copyright © 1996-1997 MVTec Software GmbH