restore - restores the OADL machine from a filename
oadl::restore(fname)
Restores the complete OADL state from the given fname.
restore() does not return if the restore
succeeds; instead, control is transferred back to the location from
which the save was performed.
None
TypeCheck if fname is not a packed
character array
ShapeCheck if fname
is not a single-dimensional String
oadl::restore(fname);
"This statement will not be reached if the restore succeded";