Function read_from_named_file
genspect::read_from_named_file —
Synopsis
aterm read_from_named_file(const std::string & name);
Description
Read an aterm from named binary or text file. This function reads an aterm file filename. A test is performed to see if the file is in baf, taf, or plain text. "-" is standard input's filename.