Query current text file.
The operator get_file names the current output or input file, respectively. The name of the file indicated at the operator open_file and the type of file ('input', 'output') are used as characterization.
FileType (input_control) |
string -> string |
Type of text file. | |
Default value: 'output' | |
List of values: 'input', 'output' |
FileName (output_control) |
filename.named -> string |
Name of text file. |
/* Output of the name of the current input file. */ get_file(::'input_file':FileName) > get_file(::'output_file':OutputName) > set_file(::'standard_output','output':) > fwrite_string(::['current input file: ',FileName]:) > fnew_line(:::) > set_file(::OutputName,output:).
If the parameters are correct the operator get_file returns the value TRUE. Otherwise an exception is raised.