Package harpoon.Analysis.Maps

Interface Summary
AllInductionsMap AllInductionsMap is a mapping from Loops to a Set of basic induction Temps.
AllocationInformation An AllocationInformation maps allocation sites to information about the allocation done at that site.
AllocationInformation.AllocationProperties AllocationProperties contains tests for the various possibly properties of an allocation site.
BasicInductionsMap BasicInductionsMap is a mapping from Loops to a Set of basic induction Temps.
ConstMap ConstMap is a mapping from temporaries to their constant values.
Derivation Derivation provides a means to access the derivation of a particular derived pointer.
ExactTypeMap ExactTypeMap is an extension of TypeMap that allows the indication of 'exact' types -- that is, temporaries that can be guaranteed to contain an object of the indicated type and not a subtype of that type.
ExecMap ExecMap is a mapping from HCodeElements to their executable status.
InvariantsMap InvariantsMap is a mapping from Loops to a Set of invariants.
SetTypeMap SetTypeMap is a mapping from temporaries to their concrete types, i.e. the sets of all exact classes whose instances the temporary may hold during execution.
TypeMap A TypeMap is a mapping from temporaries to their types.
UseDefMap A UseDefMap is a mapping from temporaries to the HCodeElements that define them.
 

Class Summary
ConstMapProxy A ConstMapProxy implements a ConstMap for a cloned HCode given the HCodeAndMaps which specifies its relationship to an HCode for which a ConstMap is known.
DefaultMap A DefaultMap returns conservative values for const and exec information: namely that no temp corresponds to a constant and that every node and edge is potentially executable.
Derivation.DList Structure of the derivation information.
ExactTypeMap.ExactType Implementors of ExactTypeMap will probably find this pair type useful.
ExactTypeMapProxy An ExactTypeMapProxy implements an ExactTypeMap for a cloned HCode given the HCodeAndMaps which specifies its relationship to an HCode for which an ExactTypeMap is known.
ExecMapProxy An ExecMapProxy implements an ExecMap for a cloned HCode given the HCodeAndMaps which specifies its relationship to an HCode for which a ExecMap is known.
TypeMapProxy A TypeMapProxy implements a TypeMap for a cloned HCode given the HCodeAndMaps which specifies its relationship to an HCode for which a TypeMap is known.
 

Exception Summary
TypeMap.TypeNotKnownException TypeNotKnownException is thrown to indicate that the TypeMap does not have type information for the specified Temp in the given HCodeElement.