.. java:import:: fr.inria.tapenade.utils BoolMatrix

.. java:import:: fr.inria.tapenade.utils BoolVector

.. java:import:: fr.inria.tapenade.utils ILLang

.. java:import:: fr.inria.tapenade.utils TapIntList

.. java:import:: fr.inria.tapenade.utils TapPair

.. java:import:: fr.inria.tapenade.utils ToBool

.. java:import:: fr.inria.tapenade.utils ToInt

.. java:import:: fr.inria.tapenade.utils Tree

DiffLivenessAnalyzer.Context
============================

.. java:package:: fr.inria.tapenade.analysis
   :noindex:

.. java:type:: protected static final class Context
   :outertype: DiffLivenessAnalyzer

   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:

   .. parsed-literal::

      -- 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.