cfafileio.n

This file includes the ways to dump and load nML CFA results.

• exception Invalid_header
  When a dumped file is written by a different version of nML CFA, this exception is raised.
• fileIOext: string
  The file extension of nML CFA is ``.nfa''.
• dump: string -> CfaUtils.basis -> unit
  dump filename.n result dumps the analysis result (result) of the nML file (filename.n) to the result file (filename.nfa).
• load: string -> CfaUtils.basis * CfaUtils.tables
  load filename.nfa loads the pre-analyzed file (filename.nfa) and returns the pre-analyzed results.