next up previous
Next: easet.n Up: Implementation Previous: eautils.n

eaconstruct.n and easolve.n

EaConstruct.construct: Absyn.topdec -> CfaUtils.basis -> EaUtils.basis constructs exception flow equations for a given absyn program. And EaSolve.solve: unit -> EaSet.set array * int solves the constructed equations. These files implement the exception analysis rules in Figure 2 ([1,2]).


Figure 2: Exception Analysis Rules

Sukyoung Ryu