| |
|
| java.lang.Object gov.nasa.jpf.embedded.TestVMListener
TestVMListener | public class TestVMListener implements VMListener(Code) | | TestVMListener - unit test of the VMListener interface
|
classLoaded | public void classLoaded(VM vm)(Code) | | new class was loaded
|
exceptionThrown | public void exceptionThrown(VM vm)(Code) | | exception was thrown
|
instructionExecuted | public void instructionExecuted(VM vm)(Code) | | VM has executed next instruction
(can be used to analyze branches, monitor PUTFIELD / GETFIELD and
INVOKExx / RETURN instructions)
|
objectCreated | public void objectCreated(VM vm)(Code) | | new object was created
|
objectReleased | public void objectReleased(VM vm)(Code) | | object was garbage collected (after potential finalization)
|
threadStarted | public void threadStarted(VM vm)(Code) | | new Thread entered run() method
|
threadTerminated | public void threadTerminated(VM vm)(Code) | | Thread exited run() method
|
|
|
|