Package | Description |
---|---|
gov.nasa.jpf.vm |
Modifier and Type | Field and Description |
---|---|
protected ImmutableList<ReleaseAction> |
ClassInfo.releaseActions
actions to be taken when an object of this type is gc'ed
|
Modifier and Type | Method and Description |
---|---|
void |
ClassInfo.addReleaseAction(ReleaseAction action)
NOTE - this can only be set *before* subclasses are loaded (e.g.
|
boolean |
ClassInfo.hasReleaseAction(ReleaseAction action) |