Uses of Interface
gov.nasa.jpf.vm.ReleaseAction

Packages that use ReleaseAction

Package	Description
gov.nasa.jpf.vm

Uses of ReleaseAction in gov.nasa.jpf.vm

Fields in gov.nasa.jpf.vm with type parameters of type ReleaseAction

Modifier and Type	Field and Description
protected ImmutableList<ReleaseAction>	ClassInfo.releaseActions actions to be taken when an object of this type is gc'ed

Methods in gov.nasa.jpf.vm with parameters of type ReleaseAction

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)