org.overturetool.vdmj.runtime
Class ThreadState

java.lang.Object
  org.overturetool.vdmj.runtime.ThreadState

public class ThreadState
extends java.lang.Object

A class to hold some runtime information for each VDM thread.

Field Summary

InterruptAction	action
CPUValue	CPU
DBGPReader	dbgp
RootContext	nextctxt
Context	outctxt
int	stepline
long	threadId

Constructor Summary

ThreadState(DBGPReader dbgp, CPUValue cpu)

Method Summary

long	getTimestep()
void	init()
void	reschedule()
void	set(int stepline, RootContext nextctxt, Context outctxt)
void	setTimestep(long timestep)

Methods inherited from class java.lang.Object

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

Field Detail

threadId

public final long threadId

dbgp

public final DBGPReader dbgp

CPU

public final CPUValue CPU

action

public InterruptAction action

stepline

public int stepline

nextctxt

public RootContext nextctxt

outctxt

public Context outctxt

Constructor Detail

ThreadState

public ThreadState(DBGPReader dbgp,
                   CPUValue cpu)

Method Detail

init

public void init()

set

public void set(int stepline,
                RootContext nextctxt,
                Context outctxt)

setTimestep

public void setTimestep(long timestep)

getTimestep

public long getTimestep()

reschedule

public void reschedule()