|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface AllocationNumberingInterf
Objects that implement AllocationNumberingInterf
provide unique integer IDs for all allocation sites from a program.
Note: the getID method from the Quad class provides an integer that
is only locally unique (in the method of that quad).
Method Summary | |
---|---|
int |
allocID(Quad q)
|
Method Detail |
---|
int allocID(Quad q)
q
.
May throw UnknownAllocationSiteError
if the
instrumentation has not seen that allocation site when the
unique IDs where assigned.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |