gov.nasa.jpf.vm

Class KernelState

java.lang.Object

gov.nasa.jpf.vm.KernelState

All Implemented Interfaces:

Restorable<KernelState>

public class KernelState
extends java.lang.Object
implements Restorable<KernelState>

This class represents the SUT program state (statics, heap and threads)

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static interface	KernelState.ChangeListener interface for getting notified of changes to KernelState and everything "below" it.

Field Summary

Fields

Modifier and Type	Field and Description
ClassLoaderList	classLoaders the list of the class loaders
Heap	heap The area containing the heap
ThreadList	threads The list of the threads

Constructor Summary

Constructors

Constructor and Description
KernelState(Config config) Creates a new kernel state object.

Method Summary

Modifier and Type	Method and Description
void	addClassLoader(ClassLoaderInfo cl) Adds the given loader to the list of existing class loaders.
void	changed() called by internals to indicate a change in KernelState.
void	gc()
protected ClassLoaderInfo	getClassLoader(int gid) Returns the ClassLoader with the given globalId
ClassLoaderList	getClassLoaderList()
Heap	getHeap()
Memento<KernelState>	getMemento()
Memento<KernelState>	getMemento(MementoFactory factory)
int	getThreadCount()
ThreadList	getThreadList()
void	pushChangeListener(KernelState.ChangeListener cl) push a listener for notification of the next change.

Methods inherited from class java.lang.Object

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

Field Detail

heap

public Heap heap

The area containing the heap

threads

public ThreadList threads

The list of the threads

classLoaders

public ClassLoaderList classLoaders

the list of the class loaders

Constructor Detail

KernelState

public KernelState(Config config)

Creates a new kernel state object.

Method Detail

getMemento

public Memento<KernelState> getMemento(MementoFactory factory)

Specified by:

getMemento in interface Restorable<KernelState>

getMemento

public Memento<KernelState> getMemento()

addClassLoader

public void addClassLoader(ClassLoaderInfo cl)

Adds the given loader to the list of existing class loaders.

getClassLoader

protected ClassLoaderInfo getClassLoader(int gid)

Returns the ClassLoader with the given globalId

getHeap

public Heap getHeap()

getThreadList

public ThreadList getThreadList()

getClassLoaderList

public ClassLoaderList getClassLoaderList()

changed

public void changed()

called by internals to indicate a change in KernelState. list of listeners is emptied.

pushChangeListener

public void pushChangeListener(KernelState.ChangeListener cl)

push a listener for notification of the next change. further notification requires re-pushing.

getThreadCount

public int getThreadCount()

gc

public void gc()