gov.nasa.jpf.listener

Class HeapTracker

java.lang.Object

gov.nasa.jpf.GenericProperty

gov.nasa.jpf.PropertyListenerAdapter

gov.nasa.jpf.listener.HeapTracker

All Implemented Interfaces:

JPFListener, Property, PublisherExtension, SearchListener, Printable, VMListener

public class HeapTracker
extends PropertyListenerAdapter

HeapTracker - property-listener class to check heap utilization along all execution paths (e.g. to verify heap bounds)

Constructor Summary

Constructors

Constructor and Description
HeapTracker(Config config, JPF jpf)

Method Summary

Methods

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

Methods inherited from class gov.nasa.jpf.PropertyListenerAdapter

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

Methods inherited from class gov.nasa.jpf.GenericProperty

getExplanation, printOn

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

HeapTracker

public HeapTracker(Config config,
           JPF jpf)

Method Detail

check

public boolean check(Search search,
            VM vm)

return 'false' if property is violated

Specified by:

check in interface Property

Overrides:

check in class PropertyListenerAdapter

getErrorMessage

public String getErrorMessage()

Specified by:

getErrorMessage in interface Property

Overrides:

getErrorMessage in class GenericProperty

searchStarted

public void searchStarted(Search search)

SearchListener interface

Specified by:

searchStarted in interface SearchListener

Overrides:

searchStarted in class PropertyListenerAdapter

stateAdvanced

public void stateAdvanced(Search search)

Description copied from interface: SearchListener

got the next state Note - this will be notified before any potential propertyViolated, in which case the currentError will be already set

Specified by:

stateAdvanced in interface SearchListener

Overrides:

stateAdvanced in class PropertyListenerAdapter

stateBacktracked

public void stateBacktracked(Search search)

Description copied from interface: SearchListener

state was backtracked one step

Specified by:

stateBacktracked in interface SearchListener

Overrides:

stateBacktracked in class PropertyListenerAdapter

publishFinished

public void publishFinished(Publisher publisher)

PublisherExtension interface

Specified by:

publishFinished in interface PublisherExtension

Overrides:

publishFinished in class PropertyListenerAdapter

gcBegin

public void gcBegin(VM vm)

VMListener interface

Specified by:

gcBegin in interface VMListener

Overrides:

gcBegin in class PropertyListenerAdapter

gcEnd

public void gcEnd(VM vm)

Specified by:

gcEnd in interface VMListener

Overrides:

gcEnd in class PropertyListenerAdapter

objectCreated

public void objectCreated(VM vm,
                 ThreadInfo ti,
                 ElementInfo ei)

Description copied from interface: VMListener

new object was created

Specified by:

objectCreated in interface VMListener

Overrides:

objectCreated in class PropertyListenerAdapter

objectReleased

public void objectReleased(VM vm,
                  ThreadInfo ti,
                  ElementInfo ei)

Description copied from interface: VMListener

object was garbage collected (after potential finalization)

Specified by:

objectReleased in interface VMListener

Overrides:

objectReleased in class PropertyListenerAdapter

printElementInfo

protected void printElementInfo(ElementInfo ei)

private stuff