public static class IInfoflowCFG.UnitContainer
extends Object
Abstraction of a postdominator. This is normally a unit. In cases in which a
statement does not have a postdominator, we record the statement's containing
method and say that the postdominator is reached when the method is left.
This class MUST be immutable.