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.
In order to set a file it must already be open (open_file).
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' |
/* 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':).
If the parameter values are correct the operator set_file returns the value TRUE. Otherwise an exception is raised.
get_file, open_file, close_file