file_exists (Operator)

Name

file_exists — Check whether file exists.

Synopsis

file_exists( : : FileName : FileExists)

Description

The operator file_exists checks whether the indicated file already exists. If this is the case, the parameter FileExists is set to TRUE, otherwise to FALSE.

Parameters

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

FileExists (output_control)	integer → (integer)
boolean number.

Result

If the parameters are correct the operator file_exists returns the value 2 (H_MSG_TRUE). Otherwise, an exception is raised.

Parallelization Information

file_exists is reentrant and processed without parallelization.

Possible Successors

open_file

Alternatives

open_file

Module

Foundation