public class HeapTracker extends PropertyListenerAdapter
Constructor and Description |
---|
HeapTracker(Config config,
JPF jpf) |
Modifier and Type | Method and Description |
---|---|
boolean |
check(Search search,
VM vm)
return 'false' if property is violated
|
void |
gcBegin(VM vm)
VMListener interface
|
void |
gcEnd(VM vm) |
String |
getErrorMessage() |
void |
objectCreated(VM vm,
ThreadInfo ti,
ElementInfo ei)
new object was created
|
void |
objectReleased(VM vm,
ThreadInfo ti,
ElementInfo ei)
object was garbage collected (after potential finalization)
|
protected void |
printElementInfo(ElementInfo ei)
private stuff
|
void |
publishFinished(Publisher publisher)
PublisherExtension interface
|
void |
searchStarted(Search search)
SearchListener interface
|
void |
stateAdvanced(Search search)
got the next state
Note - this will be notified before any potential propertyViolated, in which
case the currentError will be already set
|
void |
stateBacktracked(Search search)
state was backtracked one step
|
choiceGeneratorAdvanced, choiceGeneratorProcessed, choiceGeneratorRegistered, choiceGeneratorSet, classLoaded, exceptionBailout, exceptionHandled, exceptionThrown, executeInstruction, instructionExecuted, loadClass, methodEntered, methodExited, objectLocked, objectNotify, objectNotifyAll, objectUnlocked, objectWait, propertyViolated, publishConstraintHit, publishPropertyViolation, publishStart, publishTransition, reset, searchConstraintHit, searchFinished, stateProcessed, statePurged, stateRestored, stateStored, threadBlocked, threadInterrupted, threadNotified, threadScheduled, threadStarted, threadTerminated, threadWaiting, vmInitialized
getExplanation, printOn
public boolean check(Search search, VM vm)
check
in interface Property
check
in class PropertyListenerAdapter
public String getErrorMessage()
getErrorMessage
in interface Property
getErrorMessage
in class GenericProperty
public void searchStarted(Search search)
searchStarted
in interface SearchListener
searchStarted
in class PropertyListenerAdapter
public void stateAdvanced(Search search)
SearchListener
stateAdvanced
in interface SearchListener
stateAdvanced
in class PropertyListenerAdapter
public void stateBacktracked(Search search)
SearchListener
stateBacktracked
in interface SearchListener
stateBacktracked
in class PropertyListenerAdapter
public void publishFinished(Publisher publisher)
publishFinished
in interface PublisherExtension
publishFinished
in class PropertyListenerAdapter
public void gcBegin(VM vm)
gcBegin
in interface VMListener
gcBegin
in class PropertyListenerAdapter
public void gcEnd(VM vm)
gcEnd
in interface VMListener
gcEnd
in class PropertyListenerAdapter
public void objectCreated(VM vm, ThreadInfo ti, ElementInfo ei)
VMListener
objectCreated
in interface VMListener
objectCreated
in class PropertyListenerAdapter
public void objectReleased(VM vm, ThreadInfo ti, ElementInfo ei)
VMListener
objectReleased
in interface VMListener
objectReleased
in class PropertyListenerAdapter
protected void printElementInfo(ElementInfo ei)