file_exists ( : : FileName : )

Check whether file exists.

The operator file_exists checks whether the indicated file already exists. If this is the case, the operator file_exists returns TRUE, otherwise FALSE.


Parameters

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


Result

The operator file_exists returns the value 2 (H_MSG_TRUE) (file exists) or 3 (H_MSG_FALSE) (file does not exist).


Parallelization Information

file_exists is reentrant and processed without parallelization.


Possible Successors

open_file


Alternatives

open_file


Module

Basic operators



Copyright © 1996-2005 MVTec Software GmbH