|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| Interface Summary | |
|---|---|
| AllInductionsMap | AllInductionsMap is a mapping from Loops to a
Set of basic induction Temps. |
| AllocationInformation<HCE extends HCodeElement> | 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<HCE extends HCodeElement> | ConstMap is a mapping from temporaries to their constant
values. |
| Derivation<HCE extends HCodeElement> | Derivation provides a means to access the derivation
of a particular derived pointer. |
| ExactTypeMap<HCE extends HCodeElement> | 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<HCE extends HCodeElement> | 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.
|
| TypeMap<HCE extends HCodeElement> | A TypeMap is a mapping from temporaries to their types. |
| UseDefMap<HCE extends HCodeElement> | A UseDefMap is a mapping from temporaries to the
HCodeElements that define them. |
| Class Summary | |
|---|---|
| ConstMapProxy<HCE extends HCodeElement> | 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<HCE extends HCodeElement> | 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<HCE extends HCodeElement> | 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<HCE extends HCodeElement> | 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<HCE extends HCodeElement> | 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 | ||||||||