set_file ( : : FileName, FileType : )

Replace current text file.

The operator set_file sets the current output or input file, respectively. The name indicated at open_file and the type of file 'input', 'output') are used to indicate the file.


Attention

In order to set a file it must already be open (open_file).


Parameters

FileName (input_control)
filename.named -> string
Name of text file.
Default value: 'standard_output'

FileType (input_control)
string -> string
Type of text file.
Default value: 'output'
List of values: 'input', 'output'


Example
/* Besides the files generated through open_file, there are some  */
/* standardized files which are available at all times and opened */
/* as follows:                                                    */
  set_file(::'standard_input','input':).
  set_file(::'standard_output','output':).
  set_file(::'standard_error','output':).

Result

If the parameter values are correct the operator set_file returns the value TRUE. Otherwise an exception is raised.


Possible Predecessors

open_file


Possible Successors

get_file, close_file


See also

get_file, open_file, close_file



Copyright © 1996-1997 MVTec Software GmbH