UnitStorage
Storage object to store some piece of information for each Unit of a given CallGraph.
Creates a new UnitStorage for all Unit’s of the given “callGraph”. Each cell is initialized to null.
retrieve
Retrieves the value of the info attached to “unit”.
store
Stores “value” into the info attached to “unit”.
toString