cfaresult.n

This file includes several ways to get nML CFA results.

• getCfa: Location.t -> (string * Location.t) list
  for general uses: getCfa reports a list of the tuples of a function name and its location for a given location
• getCfaEa1: Location.t -> (CfaUtils.fid * bool * bool) list
  for nML Exception Analyzer
• getCfaEa2: CfaUtils.fid -> CfaUtils.fid list
  for nML Exception Analyzer
• prCfa: (Format.formatter -> Location.t -> unit) -> unit
  for reporting nML CFA results