---

KernelState Class Reference

Inheritance diagram for KernelState:[legend]Collaboration diagram for KernelState:[legend]List of all members.

Public Methods
	KernelState ()
iThreadInfo	findThread (Ref ref)
void	gc ()
int[]	getBacktrackData ()
DynamicArea	getDynamicArea ()
StaticArea	getStaticArea ()
Object	getStoringData ()
int	getThreadCount ()
iThreadInfo	getThreadInfo (int thread)
LockTree	getThreadLockTree (int idx)
int	hashCode ()
boolean	isTerminated ()
void	log ()
void	newThread (iThreadInfo ti)
void	revertTo (int[] data)
	KernelState (SystemState system_state)
void	backtrackTo (ArrayOffset storing, Object backtrack)
void	clearAtomic ()
void	clearIntermediate ()
Object	clone ()
void	gc ()
Object	getBacktrackData ()
int	getIntermediateThread ()
int[]	getStoringData ()
int	getThreadCount ()
iThreadInfo	getThreadInfo (int index)
void	hash (HashData hd)
int	hashCode ()
boolean	isIntermediate ()
boolean	isTerminated ()
void	jvmError (Exception e, ThreadInfo th)
void	log ()
ThreadInfo	newThread (int objref)
void	setAtomic ()
void	setIntermediate ()
Public Attributes
StaticArea	static_area
DynamicArea	dynamic_area
List	threads
StaticArea	sa
DynamicArea	da
ThreadList	tl
SystemState	ss
int	atomicLevel
int[]	data
Private Methods
int	hash_data (int[] data)
int	hash_reverse_data (int[] data)
	KernelState (KernelState ks)
Static Private Methods
int	hash_data (int[] data)
int	hash_reverse_data (int[] data)
Private Attributes
int[]	data
boolean	intermediateStep
int	intermediateThread

---

Detailed Description

This class represents the stack of the JVM.

Definition at line 15 of file lib/jpf/gov/nasa/arc/ase/jpf/jvm/KernelState.java.

---

Constructor & Destructor Documentation

KernelState::KernelState (  SystemState   system_state )  [inline]

Creates a new kernel state object. Definition at line 79 of file src/gov/nasa/arc/ase/jpf/jvm/KernelState.java.

---

Member Function Documentation

int KernelState::hash_data (  int   data[] )  [inline, static, private]

Hash an array of integers. Definition at line 164 of file src/gov/nasa/arc/ase/jpf/jvm/KernelState.java.

int KernelState::hash_reverse_data (  int   data[] )  [inline, static, private]

Hash an array of integers again. This time uses the elements backward to have an independent value. Definition at line 177 of file src/gov/nasa/arc/ase/jpf/jvm/KernelState.java.

boolean KernelState::isTerminated (    )  [inline]

The program is terminated if there are no alive threads. Definition at line 198 of file src/gov/nasa/arc/ase/jpf/jvm/KernelState.java.

ThreadInfo KernelState::newThread (  int   objref )  [inline]

Creates a new thread. Definition at line 221 of file src/gov/nasa/arc/ase/jpf/jvm/KernelState.java.

---

Member Data Documentation

int KernelState::atomicLevel

Number of nested atomic blocks. Definition at line 47 of file src/gov/nasa/arc/ase/jpf/jvm/KernelState.java.

DynamicArea KernelState::da

The area containing the objects. Definition at line 32 of file src/gov/nasa/arc/ase/jpf/jvm/KernelState.java.

int [] KernelState::data

The data returned by last get data. Definition at line 62 of file src/gov/nasa/arc/ase/jpf/jvm/KernelState.java.

boolean KernelState::intermediateStep [private]

True if the last was an intermediate step. Definition at line 52 of file src/gov/nasa/arc/ase/jpf/jvm/KernelState.java.

int KernelState::intermediateThread [private]

Thread that made stopped at an intermediate step. Definition at line 57 of file src/gov/nasa/arc/ase/jpf/jvm/KernelState.java.

StaticArea KernelState::sa

The area containing the classes. Definition at line 27 of file src/gov/nasa/arc/ase/jpf/jvm/KernelState.java.

SystemState KernelState::ss

Link to the system state. Definition at line 42 of file src/gov/nasa/arc/ase/jpf/jvm/KernelState.java.

ThreadList KernelState::tl

The list of the threads. Definition at line 37 of file src/gov/nasa/arc/ase/jpf/jvm/KernelState.java.

---

The documentation for this class was generated from the following files:

• lib/jpf/gov/nasa/arc/ase/jpf/jvm/KernelState.java
• src/gov/nasa/arc/ase/jpf/jvm/KernelState.java

---