gov.nasa.jpf.util

Class RunRegistry

java.lang.Object

gov.nasa.jpf.util.RunRegistry

public class RunRegistry
extends java.lang.Object

little helper to enable resetting classes and objects between JPF runs, mostly to avoid memory leaks reset() has to be called at the beginning of a new run, causing all still registered listeners to be notified. Listeners have to implement their own logic to check for re-initialization, but can use the 'run' timestamp to do so

Constructor Summary

Constructors

Constructor and Description
RunRegistry()

Method Summary

Modifier and Type	Method and Description
void	addListener(RunListener r)
static RunRegistry	getDefaultRegistry()
long	getRun()
boolean	isRegistered(RunListener r)
void	reset()

Methods inherited from class java.lang.Object

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

Constructor Detail

RunRegistry

public RunRegistry()

Method Detail

getDefaultRegistry

public static RunRegistry getDefaultRegistry()

addListener

public void addListener(RunListener r)

isRegistered

public boolean isRegistered(RunListener r)

reset

public void reset()

getRun

public long getRun()