@dumpvar(file:string, id_1:string, v_1:value, ..., id_p:string, v_p:value)
file
the value v_i
under the name id_i
.
The dump file file
can be used by the function @loadvar to define
and set or to reset the variables with identifier id_i
. The format used
in file
is a text format corresponding to the Antescofo grammar.
The number of arguments is variable, so this function cannot be curryfied.
Dumping the values of the variables is done in a separate thread, so the “main” computation is not perturbed. However, it means that the file is created asynchronously with the function call and when the function returns, the file may not be completed.
See also Data Exchange Functions: @dump @dumpvar @gnuplot @json_read @json_string @json_write @loadvalue @loadvar @nim2vezer @parse @plot @read_file @rplot @savevalue @set_osc_handling_double @set_osc_handling_int64 @set_osc_handling_tab @string2fun @string2obj @string2proc @to_num @xml_read @xml_string