Package de.uzl.its.swat.thread

Class ThreadHandler

java.lang.Object

de.uzl.its.swat.thread.ThreadHandler

public final class ThreadHandler
extends Object

Constructor Summary

Constructors

Constructor	Description
ThreadHandler()

Method Summary

Modifier and Type	Method	Description
static void	addThreadContext(long id)
static void	disableThreadContext(long id)
static void	enableThreadContext(long id)
static Instruction	getCurrentInstruction(long id)
static int	getEndpointID(long id)
static String	getEndpointName(long id)
static Instruction	getNextInstruction(long id)
static InstructionProcessor	getProcessor(long id)
static org.sosy_lab.java_smt.api.SolverContext	getSolverContext(long id)
static Value<?,?>	getStaticField(long id, ObjectInfo oi, int classId, int fieldId)
static SymbolicInstructionVisitor	getSymbolicVisitor(long id)
static int	getThreadCount()
static void	init()
static void	logInvocation(long id, LogRecord logRecord)
static void	removeSolverContext(long id)
static void	removeThreadContext(long id)
static void	sendData(long id)
static void	setCurrentInstruction(long id, Instruction current)
static void	setEndpointID(long id, int endpointID)
static void	setEndpointName(long id, String endpointName)
static void	setNextInstruction(long id, Instruction next)
static void	setStaticField(long id, ObjectInfo oi, int classId, int fieldId, Value<?,?> value)

Methods inherited from class java.lang.Object

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

Constructor Details

ThreadHandler

public ThreadHandler()

Method Details

init

public static void init()

addThreadContext

public static void addThreadContext(long id)

removeThreadContext

public static void removeThreadContext(long id)

sendData

public static void sendData(long id)

getThreadCount

public static int getThreadCount()

removeSolverContext

public static void removeSolverContext(long id)

getSolverContext

public static org.sosy_lab.java_smt.api.SolverContext getSolverContext(long id)

getProcessor

public static InstructionProcessor getProcessor(long id)

enableThreadContext

public static void enableThreadContext(long id)

disableThreadContext

public static void disableThreadContext(long id)

setNextInstruction

public static void setNextInstruction(long id,
 Instruction next)

getNextInstruction

public static Instruction getNextInstruction(long id)

setCurrentInstruction

public static void setCurrentInstruction(long id,
 Instruction current)

getCurrentInstruction

public static Instruction getCurrentInstruction(long id)

logInvocation

public static void logInvocation(long id,
 LogRecord logRecord)

getSymbolicVisitor

public static SymbolicInstructionVisitor getSymbolicVisitor(long id)

setEndpointName

public static void setEndpointName(long id,
 String endpointName)

getEndpointName

public static String getEndpointName(long id)

setEndpointID

public static void setEndpointID(long id,
 int endpointID)

getEndpointID

public static int getEndpointID(long id)

setStaticField

public static void setStaticField(long id,
 ObjectInfo oi,
 int classId,
 int fieldId,
 Value<?,?> value)

getStaticField

public static Value<?,?> getStaticField(long id,
 ObjectInfo oi,
 int classId,
 int fieldId)