Package de.uzl.its.swat.thread

Class ThreadContext

java.lang.Object

de.uzl.its.swat.thread.ThreadContext

public class ThreadContext
extends Object

Constructor Summary

Constructors

Constructor	Description
ThreadContext(long id)

Method Summary

Modifier and Type	Method	Description
void	disable()
void	enable()
Instruction	getCurrent()
int	getEndpointID()
String	getEndpointName()
PrintStream	getInvocationStream()
Instruction	getNext()
org.sosy_lab.java_smt.api.SolverContext	getSolverContext()
Value<?,?>	getStaticField(ObjectInfo oi, int classId, int fieldId)
SymbolicInstructionVisitor	getSymbolicInstructionVisitor()
boolean	isDisabled()
void	setCurrent(Instruction current)
void	setEndpointID(int endpointID)
void	setEndpointName(String endpointName)
void	setNext(Instruction next)
void	setStaticField(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

ThreadContext

public ThreadContext(long id)

Method Details

getSolverContext

public org.sosy_lab.java_smt.api.SolverContext getSolverContext()

enable

public void enable()

disable

public void disable()

setNext

public void setNext(Instruction next)

setStaticField

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

getStaticField

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

getSymbolicInstructionVisitor

public SymbolicInstructionVisitor getSymbolicInstructionVisitor()

getCurrent

public Instruction getCurrent()

setCurrent

public void setCurrent(Instruction current)

getNext

public Instruction getNext()

getInvocationStream

public PrintStream getInvocationStream()

isDisabled

public boolean isDisabled()

setEndpointID

public void setEndpointID(int endpointID)

getEndpointID

public int getEndpointID()

setEndpointName

public void setEndpointName(String endpointName)

getEndpointName

public String getEndpointName()