DiffLivenessAnalyzer.Context

protected static final class Context

Private class that holds the initial context of the DiffLiveness analysis for each Unit, This analysis context is determined by the call sites of this Unit, i.e. top-down. It is made of:

-- A boolean whether the Unit may be called in NOCKP mode,
i.e. with some of its outputs diff-live.
-- A boolean that means that the NOCKP analysis is out of date
and must be run again.
-- A BoolVector holding those output zones that are
diff-live in the NOCKP mode.
-- A BoolVector holding those output zones that are going
to be diff-overwritten in the NOCKP mode.