|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
AllInductionsMap | AllInductionsMap is a mapping from Loops to a
Set of basic induction Temp s. |
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 Temp s. |
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 HCodeElement s 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 . |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |