Main Page Packages Class Hierarchy Alphabetical List Compound List File List Compound Members
ThreadInfo Member List
This is the complete list of members for ThreadInfo, including all inherited members.
- addFrame(StackFrame sf) (defined in ThreadInfo)
[inline, private] - anyChanged
- anyFrameChanged (defined in ThreadInfo)
[private] - atInvoke(String mname) (defined in ThreadInfo)
[inline] - atLabel(String label) (defined in ThreadInfo)
[inline] - atMethod(String mname) (defined in ThreadInfo)
[inline] - atomicData
[private] - atPosition(int position) (defined in ThreadInfo)
[inline] - atReturn() (defined in ThreadInfo)
[inline] - backtrackTo(ArrayOffset storing, Object backtrack)
[inline] - callerPop(int n) (defined in ThreadInfo)
[inline] - callerPop(int n)
[inline] - ci (defined in ThreadInfo)
[private] - clearOperandStack() (defined in ThreadInfo)
[inline] - clearOperandStack()
[inline] - clone() (defined in ThreadInfo)
[inline] - cloneFrame() (defined in ThreadInfo)
[inline] - cloneFrame(int idx) (defined in ThreadInfo)
[inline] - countStackFrames()
[inline] - createAndThrowException(String classname, SystemState ss, KernelState ks, ThreadInfo th) (defined in ThreadInfo)
[inline] - createAndThrowException(ClassInfo ci)
[inline] - createAndThrowException(String cname)
[inline] - createMethodStackFrame(MethodInfo mi) (defined in ThreadInfo)
[inline] - createMethodStackFrame(MethodInfo mi)
[inline] - currentMethod (defined in ThreadInfo)
[private] - data
[private] - depth (defined in ThreadInfo)
[private] - depth() (defined in ThreadInfo)
[inline] - doRandom(int max, Scheduler sch) (defined in ThreadInfo)
[inline] - dup() (defined in ThreadInfo)
[inline] - dup()
[inline] - dup2() (defined in ThreadInfo)
[inline] - dup2()
[inline] - dup2_x1() (defined in ThreadInfo)
[inline] - dup2_x1()
[inline] - dup2_x2() (defined in ThreadInfo)
[inline] - dup2_x2()
[inline] - dup_x1() (defined in ThreadInfo)
[inline] - dup_x1()
[inline] - dup_x2() (defined in ThreadInfo)
[inline] - dup_x2()
[inline] - enterSoftAtomic()
[inline] - executeAtomicLinesStep()
[inline, private] - executeAtomicMethod() (defined in ThreadInfo)
[inline] - executeAtomicMethod(int offset) (defined in ThreadInfo)
[inline] - executeInstruction(SystemState ss, KernelState ks) (defined in ThreadInfo)
[inline] - executeInstruction()
[inline] - executeMethod(MethodInfo mi)
[inline] - executeNoAtomicLinesStep()
[inline, private] - executeStaticMethod(MethodInfo mi)
[inline] - executeStep(SystemState ss, KernelState ks) (defined in ThreadInfo)
[inline] - executeStep()
[inline] - findNondeterminismInNextInstruction(iSystemState ss, iKernelState ks) (defined in ThreadInfo)
[inline] - frame(int idx)
[inline, private] - frameChanged (defined in ThreadInfo)
[private] - frameClone(int i)
[inline, private] - frameData (defined in ThreadInfo)
[private] - getBacktrackData()
[inline] - getBooleanLocal(int lindex) (defined in ThreadInfo)
[inline] - getBooleanLocal(String lname) (defined in ThreadInfo)
[inline] - getBooleanReturnValue() (defined in ThreadInfo)
[inline] - getByteLocal(int lindex) (defined in ThreadInfo)
[inline] - getByteLocal(String lname) (defined in ThreadInfo)
[inline] - getByteReturnValue() (defined in ThreadInfo)
[inline] - getCalleeThis(int locals) (defined in ThreadInfo)
[inline] - getCalleeThis(int size)
[inline] - getCalleeThis(MethodInfo mi)
[inline] - getCallStack() (defined in ThreadInfo)
[inline] - getCharLocal(int lindex) (defined in ThreadInfo)
[inline] - getCharLocal(String lname) (defined in ThreadInfo)
[inline] - getCharReturnValue() (defined in ThreadInfo)
[inline] - getClassInfo() (defined in ThreadInfo)
[inline] - getClassInfo()
[inline] - getCPG() (defined in ThreadInfo)
[inline] - getCurrentClass() (defined in ThreadInfo)
[inline] - getCurrentClass(int idx) (defined in ThreadInfo)
[inline] - getCurrentLine() (defined in ThreadInfo)
[inline] - getCurrentLine(int idx) (defined in ThreadInfo)
[inline] - getCurrentMethod() (defined in ThreadInfo)
[inline] - getCurrentMethod(int idx) (defined in ThreadInfo)
[inline] - getDoubleLocal(int lindex) (defined in ThreadInfo)
[inline] - getDoubleLocal(String lname) (defined in ThreadInfo)
[inline] - getDoubleReturnValue() (defined in ThreadInfo)
[inline] - getFloatLocal(int lindex) (defined in ThreadInfo)
[inline] - getFloatLocal(String lname) (defined in ThreadInfo)
[inline] - getFloatReturnValue() (defined in ThreadInfo)
[inline] - getIntLocal(int lindex) (defined in ThreadInfo)
[inline] - getIntLocal(String lname) (defined in ThreadInfo)
[inline] - getIntReturnValue() (defined in ThreadInfo)
[inline] - getLine()
[inline] - getLine(int idx)
[inline] - getLocalVariable(int idx) (defined in ThreadInfo)
[inline] - getLocalVariable(int idx)
[inline] - getLocalVariable(String name)
[inline] - getLocalVariableType(String name)
[inline] - getLockCount() (defined in ThreadInfo)
[inline] - getLockCount()
[inline] - getLockSet() (defined in ThreadInfo)
[inline] - getLockTree() (defined in ThreadInfo)
[inline] - getLongLocal(int lindex) (defined in ThreadInfo)
[inline] - getLongLocal(String lname) (defined in ThreadInfo)
[inline] - getLongLocalVariable(int idx) (defined in ThreadInfo)
[inline] - getLongLocalVariable(int idx)
[inline] - getLongLocalVariable(String name)
[inline] - getLongReturnValue() (defined in ThreadInfo)
[inline] - getMethod()
[inline] - getMethod(int idx)
[inline] - getObjectLocal(int lindex) (defined in ThreadInfo)
[inline] - getObjectLocal(String lname) (defined in ThreadInfo)
[inline] - getObjectReference()
[inline] - getObjectReturnValue() (defined in ThreadInfo)
[inline] - getPC() (defined in ThreadInfo)
[inline] - getPC(int i) (defined in ThreadInfo)
[inline] - getPC()
[inline] - getPC(int i)
[inline] - getReference() (defined in ThreadInfo)
[inline] - getShortLocal(int lindex) (defined in ThreadInfo)
[inline] - getShortLocal(String lname) (defined in ThreadInfo)
[inline] - getShortReturnValue() (defined in ThreadInfo)
[inline] - getStackFrameIndex(int i) (defined in ThreadInfo)
[inline, private] - getStatus() (defined in ThreadInfo)
[inline] - getStatus()
[inline] - getStoringData() (defined in ThreadInfo)
[inline] - getStoringData()
[inline] - getStringLocal(int lindex) (defined in ThreadInfo)
[inline] - getStringLocal(String lname) (defined in ThreadInfo)
[inline] - getStringReturnValue() (defined in ThreadInfo)
[inline] - getTarget() (defined in ThreadInfo)
[inline] - getTarget()
[inline] - getThis() (defined in ThreadInfo)
[inline] - getThis()
[inline] - getThreadDataIndex() (defined in ThreadInfo)
[inline, private] - getThreadReference() (defined in ThreadInfo)
[inline] - getTopStackFrame() (defined in ThreadInfo)
[inline] - getTrailInfo() (defined in ThreadInfo)
[inline] - hasChanged
- hash(HashData hd) (defined in ThreadInfo)
[inline] - hash(HashData hd) (defined in ThreadInfo)
[inline] - hashCode() (defined in ThreadInfo)
[inline] - hashCode() (defined in ThreadInfo)
[inline] - inAtomicMethod (defined in ThreadInfo)
[private] - incIntLocalVariable(int index, int number) (defined in ThreadInfo)
[inline] - index
- inSameMethod (defined in ThreadInfo)
[private] - interrupt() (defined in ThreadInfo)
[inline] - INTERRUPTED (defined in iThreadInfo)
[static] - isAlive() (defined in ThreadInfo)
[inline] - isAlive()
[inline] - isCalleeThis(Reference r) (defined in ThreadInfo)
[inline] - isEnabled() (defined in ThreadInfo)
[inline] - isEnabled()
[inline] - isLocalVariableRef(int idx)
[inline] - isNotified() (defined in ThreadInfo)
[inline] - isOperandRef() (defined in ThreadInfo)
[inline] - isOperandRef(int idx) (defined in ThreadInfo)
[inline] - isOperandRef()
[inline] - isOperandRef(int idx)
[inline] - isRunnable(iSystemState ss, iKernelState ks) (defined in ThreadInfo)
[inline] - isRunnable()
[inline] - isRunning() (defined in ThreadInfo)
[inline] - isSafe() (defined in ThreadInfo)
[inline] - isSafe()
[inline] - isThis(Reference r) (defined in ThreadInfo)
[inline] - JVMStack (defined in ThreadInfo)
[private] - leaveSoftAtomic()
[inline] - line (defined in ThreadInfo)
[private] - list
- local2stack(int index) (defined in ThreadInfo)
[inline] - local2stack2(int index) (defined in ThreadInfo)
[inline] - lock_count (defined in ThreadInfo)
[private] - lockset (defined in ThreadInfo)
[private] - lockTree (defined in ThreadInfo)
[private] - log() (defined in ThreadInfo)
[inline] - log(KernelState ks) (defined in ThreadInfo)
[inline] - log() (defined in ThreadInfo)
[inline] - longPeek()
[inline] - longPeek(int n)
[inline] - longPop()
[inline] - longPush(long v)
[inline] - lowestChanged
[private] - mark(DynamicArea da) (defined in ThreadInfo)
[inline] - mark()
[inline] - NEW (defined in iThreadInfo)
[static] - newFrame(MethodInfo mi) (defined in ThreadInfo)
[inline] - newFrame(MethodInfo mi)
[inline] - newThreadData() (defined in ThreadInfo)
[inline] - NOTIFIED (defined in iThreadInfo)
[static] - pcs() (defined in ThreadInfo)
[inline] - peek() (defined in ThreadInfo)
[inline] - peek(int n) (defined in ThreadInfo)
[inline] - peek()
[inline] - peek(int n)
[inline] - peek2() (defined in ThreadInfo)
[inline] - peek2(int n) (defined in ThreadInfo)
[inline] - pop() (defined in ThreadInfo)
[inline] - pop(int n) (defined in ThreadInfo)
[inline] - pop()
[inline] - pop(int n)
[inline] - pop2() (defined in ThreadInfo)
[inline] - popFrame() (defined in ThreadInfo)
[inline] - popFrame()
[inline] - printInternalErrorTrace(Throwable e) (defined in ThreadInfo)
[inline] - printInternalErrorTrace(Throwable e) (defined in ThreadInfo)
[inline] - printStackContent() (defined in ThreadInfo)
[inline] - printStackContent()
[inline] - printStackTrace() (defined in ThreadInfo)
[inline] - printStackTrace()
[inline] - push(int v) (defined in ThreadInfo)
[inline] - push(int v, boolean ref)
[inline] - push2(long v) (defined in ThreadInfo)
[inline] - ref (defined in ThreadInfo)
[private] - removeArguments(MethodInfo mi) (defined in ThreadInfo)
[inline] - removeArguments(MethodInfo mi)
[inline] - removeFrame() (defined in ThreadInfo)
[inline, private] - revertTo(KernelState ks, int[] data) (defined in ThreadInfo)
[inline] - RUNNING (defined in iThreadInfo)
[static] - setAtomicData(int d, MethodInfo m, int l) (defined in ThreadInfo)
[inline] - setClassInfo(ClassInfo c) (defined in ThreadInfo)
[inline] - setLocalVariable(int idx, int v) (defined in ThreadInfo)
[inline] - setLocalVariable(int idx, int v, boolean ref)
[inline] - setLocalVariableRef(int idx) (defined in ThreadInfo)
[inline] - setLockCount(int l) (defined in ThreadInfo)
[inline] - setLockCount(int l)
[inline] - setLongLocalVariable(int idx, long v)
[inline] - setOperandRef() (defined in ThreadInfo)
[inline] - setPC(InstructionHandle pc) (defined in ThreadInfo)
[inline] - setPC(Instruction pc)
[inline] - setReference(Ref o) (defined in ThreadInfo)
[inline] - setStackFrameIndex(int i, int idx) (defined in ThreadInfo)
[inline, private] - setStatus(int s) (defined in ThreadInfo)
[inline] - setStatus(int s)
[inline] - setTarget(int t) (defined in ThreadInfo)
[inline] - setTarget(int t)
[inline] - setThreadDataIndex(int idx) (defined in ThreadInfo)
[inline, private] - setThreadReference(int t) (defined in ThreadInfo)
[inline] - size() (defined in ThreadInfo)
[inline] - stack
[private] - stack2local(int index) (defined in ThreadInfo)
[inline] - stack2local2(int index) (defined in ThreadInfo)
[inline] - stackFramePool
[private, static] - status (defined in ThreadInfo)
[private] - STOPPED (defined in iThreadInfo)
[static] - swap() (defined in ThreadInfo)
[inline] - swap()
[inline] - target (defined in ThreadInfo)
[private] - tdChanged (defined in ThreadInfo)
[private] - tdIndex
[private] - threadData
[private] - threadDataClone()
[inline, private] - threadDataPool
[private, static] - ThreadInfo() (defined in ThreadInfo)
[inline] - ThreadInfo(KernelState ks, int[] data) (defined in ThreadInfo)
[inline] - ThreadInfo()
[inline, private] - ThreadInfo(int o)
[inline] - ThreadInfo(ThreadInfo ti) (defined in ThreadInfo)
[inline] - threadref (defined in ThreadInfo)
[private] - throwException(int objref)
[inline] - top()
[inline, private] - topClone()
[inline, private] - update() (defined in ThreadInfo)
[inline] - WAITING (defined in iThreadInfo)
[static] - xpop() (defined in ThreadInfo)
[inline] - xSetLocalVariableRef(int idx) (defined in ThreadInfo)
[inline] - xSetOperandRef() (defined in ThreadInfo)
[inline]
Generated at Thu Feb 7 07:22:27 2002 for Bandera by
1.2.10 written by Dimitri van Heesch,
© 1997-2001