Java Doc for ThreadInfo.java in  » Code-Analyzer » javapathfinder » gov » nasa » jpf » jvm » Java Source Code / Java DocumentationJava Source Code and Java Documentation

Java Source Code / Java Documentation 1.  6.0 JDK Core 2.  6.0 JDK Modules 3.  6.0 JDK Modules com.sun 4.  6.0 JDK Modules com.sun.java 5.  6.0 JDK Modules sun 6.  6.0 JDK Platform 7.  Ajax 8.  Apache Harmony Java SE 9.  Aspect oriented 10.  Authentication Authorization 11.  Blogger System 12.  Build 13.  Byte Code 14.  Cache 15.  Chart 16.  Chat 17.  Code Analyzer 18.  Collaboration 19.  Content Management System 20.  Database Client 21.  Database DBMS 22.  Database JDBC Connection Pool 23.  Database ORM 24.  Development 25.  EJB Server geronimo 26.  EJB Server GlassFish 27.  EJB Server JBoss 4.2.1 28.  EJB Server resin 3.1.5 29.  ERP CRM Financial 30.  ESB 31.  Forum 32.  GIS 33.  Graphic Library 34.  Groupware 35.  HTML Parser 36.  IDE 37.  IDE Eclipse 38.  IDE Netbeans 39.  Installer 40.  Internationalization Localization 41.  Inversion of Control 42.  Issue Tracking 43.  J2EE 44.  JBoss 45.  JMS 46.  JMX 47.  Library 48.  Mail Clients 49.  Net 50.  Parser 51.  PDF 52.  Portal 53.  Profiler 54.  Project Management 55.  Report 56.  RSS RDF 57.  Rule Engine 58.  Science 59.  Scripting 60.  Search Engine 61.  Security 62.  Sevlet Container 63.  Source Control 64.  Swing Library 65.  Template Engine 66.  Test Coverage 67.  Testing 68.  UML 69.  Web Crawler 70.  Web Framework 71.  Web Mail 72.  Web Server 73.  Web Services 74.  Web Services apache cxf 2.0.1 75.  Web Services AXIS2 76.  Wiki Engine 77.  Workflow Engines 78.  XML 79.  XML UI Java Java Tutorial Java Open Source Jar File Download Java Articles Java Products Java by API Photoshop Tutorials Maya Tutorials Flash Tutorials 3ds-Max Tutorials Illustrator Tutorials GIMP Tutorials C# / C Sharp C# / CSharp Tutorial C# / CSharp Open Source ASP.Net ASP.NET Tutorial JavaScript DHTML JavaScript Tutorial JavaScript Reference HTML / CSS HTML CSS Reference C / ANSI-C C Tutorial C++ C++ Tutorial Ruby PHP Python Python Tutorial Python Open Source SQL Server / T-SQL SQL Server / T-SQL Tutorial Oracle PL / SQL Oracle PL/SQL Tutorial PostgreSQL SQL / MySQL MySQL Tutorial VB.Net VB.Net Tutorial Flash / Flex / ActionScript VBA / Excel / Access / Word XML XML Tutorial Microsoft Office PowerPoint 2007 Tutorial Microsoft Office Excel 2007 Tutorial Microsoft Office Word 2007 Tutorial

Java Source Code / Java Documentation » Code Analyzer » javapathfinder » gov.nasa.jpf.jvm   Source Cross Reference   Class Diagram   Java Document (Java Doc)   java.lang.Object    gov.nasa.jpf.jvm.ThreadInfo ThreadInfo public class ThreadInfo implements Storable(Code) Represents a thread. It contains the state of the thread, static information about the thread, and the stack frames. Race detection and lock order also store some information in this data structure. Field Summary final public static  int INTERRUPTED      final static  int LIVELOCK_STEPS      final static  int NEW      final public static  int NOTIFIED      final static  int RUNNING      final public static  int STOPPED      final public static  int SYNC_RUNNING      final public static  int TERMINATED      final public static  int WAITING      public  boolean anyChanged      Set if any stack frame changed. protected  AtomicData atomicData      Some information about the thread that are used to handle atomicity. static  ThreadInfo current      protected  int[] data      Keeps the information from the last storing.  MJIEnv env      static  boolean haltOnThrow      do we halt on each throw, i.e. public  BitSet hasChanged      Identifies which thread has changed. public  int index      Position in the thread list. public  ThreadList list      Reference of the thread list it is in.  LinkedList lockedObjects      list of lock objects currently held by this thread. protected  int lowestChanged      Remembers which is the lowest changed stack frame. protected  ExceptionInfo pendingException      static  boolean porFieldBoundaries      do we treat access of fields referring to objects that are reachable from different threads as boundary steps (i.e. static  boolean porInEffect      static  boolean porSyncDetection       long returnValue      protected  StackFrame[] stack      The stack frames of the JVM. protected static  HashPool stackFramePool      Pool used to store the stack frames. public  int tdIndex      Contains the index of the thread data last used. protected  ThreadData threadData      protected static  HashPool threadDataPool      Pool used to store the thread data.  JVM vm      the VM we are running on.  boolean yield      Constructor Summary public   ThreadInfo(JVM vm, int o)      Creates a new thread info. public   ThreadInfo(ThreadInfo ti)        ThreadInfo(ThreadList l, int i)      Creates a new empty thread info. Method Summary  void addLockedObject(ElementInfo ei)      public  boolean atInvoke(String mname)      public  boolean atLabel(String label)      public  boolean atMethod(String mname)      public  boolean atPosition(int position)      public  boolean atReturn()      public  void backtrackTo(ArrayOffset storing, Object backtrack)      Restores the state of the system.  void callThrowableCtor(ClassInfo ci, int objRef, int msgRef)      public  void callerPop(int n)      Pops a set of values from the caller stack frame. public  void clearOperandStack()      Clears the operand stack of all value. public  Object clone()      public  StackFrame[] cloneStack()      public  int countStackFrames()      Returns the number of stack frames. public  Instruction createAndThrowException(ClassInfo ci, String details)      Creates an exception and throws it. public  Instruction createAndThrowException(String cname)      Creates an exception and throws it. public  Instruction createAndThrowException(String cname, String details)       int createStackTraceElement(String clsName, String mthName, String fileName, int line)      public  void dup()      Duplicates a value on the top stack frame. public  void dup2()      Duplicates a long value on the top stack frame. public  void dup2_x1()      Duplicates a long value on the top stack frame. public  void dup2_x2()      Duplicates a long value on the top stack frame. public  void dup_x1()      Duplicates a value on the top stack frame. public  void dup_x2()      Duplicates a value on the top stack frame. protected  boolean executeAtomicLinesStep()      Executes a step where lines are atomic. public  Instruction executeInstruction()      Execute next instruction. public  void executeMethod(MethodInfo mi)      Executes a method call. protected  boolean executePorStep()      public  boolean executeStep()      Executes next step. public  void finish()      protected  StackFrame frame(int idx)      Returns a specific stack frame. protected  StackFrame frameClone(int i)      Returns a clone of a specific stack frame. public  Object getBacktrackData()      Returns the information necessary to backtrack. public  boolean getBooleanLocal(String lname)      public  boolean getBooleanLocal(int lindex)      public  boolean getBooleanLocal(int fr, String lname)      public  boolean getBooleanLocal(int fr, int lindex)      public  boolean getBooleanReturnValue()      public  byte getByteLocal(String lname)      public  byte getByteLocal(int lindex)      public  byte getByteLocal(int fr, String lname)      public  byte getByteLocal(int fr, int lindex)      public  byte getByteReturnValue()      public  String[] getCallStack()      public  String getCallStackClass(int i)      public  String getCallStackFile(int i)      public  int getCallStackLine(int i)      public  String getCallStackMethod(int i)      public  int getCalleeThis(MethodInfo mi)      Returns the this pointer of the callee from the stack. public  int getCalleeThis(int size)      Returns the this pointer of the callee from the stack. public  char getCharLocal(String lname)      public  char getCharLocal(int lindex)      public  char getCharLocal(int fr, String lname)      public  char getCharLocal(int fr, int lindex)      public  char getCharReturnValue()      public  ClassInfo getClassInfo()      Returns the class information. public static  ThreadInfo getCurrent()      public  double getDoubleLocal(String lname)      public  double getDoubleLocal(int lindex)      public  double getDoubleLocal(int fr, String lname)      public  double getDoubleLocal(int fr, int lindex)      public  double getDoubleReturnValue()      public  float getFloatLocal(String lname)      public  float getFloatLocal(int lindex)      public  float getFloatLocal(int fr, String lname)      public  float getFloatLocal(int fr, int lindex)      public  float getFloatReturnValue()      public  int getIndex()      public  int getIntLocal(String lname)      public  int getIntLocal(int lindex)      public  int getIntLocal(int fr, String lname)      public  int getIntLocal(int fr, int lindex)      public  int getIntReturnValue()      public  int getLine()      Returns the line number of the program counter of the top stack frame. public  int getLine(int idx)      Returns the line the thread is at. public  String[] getLocalNames()      public  String[] getLocalNames(int fr)      public  int getLocalVariable(int fr, int idx)      Returns the value of a local variable in a particular frame. public  int getLocalVariable(int idx)      Returns the value of a local variable. public  int getLocalVariable(int fr, String name)      Gets the value of a local variable from its name and frame. public  int getLocalVariable(String name)      Gets the value of a local variable from its name. public  String getLocalVariableType(int fr, String name)      Gets the type associated with a local variable. public  String getLocalVariableType(String name)      Gets the type associated with a local variable. public  int getLockCount()      Returns the number of locks in the last wait. public  int[] getLockedObjectReferences()      public  LinkedList getLockedObjects()      public  long getLongLocal(String lname)      public  long getLongLocal(int lindex)      public  long getLongLocal(int fr, String lname)      public  long getLongLocal(int fr, int lindex)      public  long getLongLocalVariable(int fr, int idx)      Returns the value of a long local variable. public  long getLongLocalVariable(int idx)      Returns the value of a long local variable. public  long getLongLocalVariable(int fr, String name)      Gets the value of a long local variable from its name. public  long getLongLocalVariable(String name)      Gets the value of a long local variable from its name. public  long getLongReturnValue()       MJIEnv getMJIEnv()      public  MethodInfo getMethod()      Returns the current method in the top stack frame. public  MethodInfo getMethod(int idx)      Returns the method info of a specific stack frame. public  String getName()      public  Reference getObjectLocal(String lname)      public  Reference getObjectLocal(int lindex)      public  Reference getObjectLocal(int fr, String lname)      public  Reference getObjectLocal(int fr, int lindex)      public  int getObjectReference()      Returns the object reference. public  Reference getObjectReturnValue()      public  Object getOperandAttr()      public  Object getOperandAttr(int opStackOffset)      public  Instruction getPC(int i)      Returns the program counter of a stack frame. public  Instruction getPC()      Returns the program counter of the top stack frame. public  ExceptionInfo getPendingException()       int getPriority()      public  long getReturnValue()      public  short getShortLocal(String lname)      public  short getShortLocal(int lindex)      public  short getShortLocal(int fr, String lname)      public  short getShortLocal(int fr, int lindex)      public  short getShortReturnValue()      protected  int getStackFrameIndex(int i)      public  String getStackTrace()      public  int getStackTrace(int objref)      public  int getStatus()      Returns the current status of the thread. public  int[] getStoringData()      Returns the information necessary to store. public  String getStringLocal(String lname)      public  String getStringLocal(int lindex)      public  String getStringLocal(int fr, String lname)      public  String getStringLocal(int fr, int lindex)      public  String getStringReturnValue()      public  int getTarget()      Returns the object reference of the target. public  int getThis()      protected  int getThreadDataIndex()      public  JVM getVM()      public  boolean hasOtherRunnables()      public  void hash(HashData hd)      public  int hashCode()      public  boolean holdsLock(ElementInfo ei)      static  boolean init(Config config)       void init(int rGroup, int rRunnable, int rName, long stackSize, boolean setPriority)      this is the method that factorizes common Thread object initialization (get's called by all ctors). public  void interrupt()      public  boolean isAbstractionNonDeterministic()      Checks if the thread is waiting to execute a nondeterministic choice due to an abstraction, i.e. public  boolean isAlive()      An alive thread is either running, waiting, notified, or interrupted. public  boolean isCalleeThis(Reference r)       boolean isDaemon()      public  boolean isEnabled()      An enabled thread is either running, notified, or interrupted. public  boolean isInCtor()      public  boolean isInterrupted(boolean resetStatus)      public  boolean isLocalVariableRef(int idx)      Checks if a local variable is a reference. public  boolean isNonDeterministic()      Checks if the thread is waiting to execute a nondeterministic choice, due to the use of Verify.random... public  boolean isOperandRef()      Checks if the top operand is a reference. public  boolean isOperandRef(int idx)      Checks if an operand is a reference. public  boolean isRunnable()      Returns true if it is possible to execute the next instruction of this thread. public  boolean isThis(Reference r)      public  void lock(Ref ref)      Called when a lock is acquired. public  void log()      public  long longPeek()      Peeks the top long value from the top stack frame. public  long longPeek(int n)      Peeks a long value from the top stack frame. public  long longPop()      Pops the top long value from the top stack frame. public  void longPush(long v)      Pushes a long value of the top stack frame.  void markRoots()      public  ElementInfo objectAtBlockedSynchronized()      public  int peek()      Peeks the top value from the top stack frame. public  int peek(int n)      Peeks a int value from the top stack frame. public  int pop()      Pops the top value from the top stack frame. public  void pop(int n)      Pops a set of values from the top stack frame. public  boolean popFrame()      Removes a stack frame.  void print(PrintWriter pw, String s)      public  void printInternalErrorTrace(Throwable e)      public  void printPendingExceptionOn(PrintWriter pw)      public  void printStackContent()      Prints the content of the stack. public  void printStackTrace(int objRef)      public  void printStackTrace(PrintWriter pw, int objRef)      public  void printStackTrace()      Prints the trace of the stack. public  void push(int v, boolean ref)      Pushes a value on the top stack frame. public  void pushFrame(StackFrame frame)      Adds a new stack frame for a new called method. public  void removeArguments(MethodInfo mi)      Removes the arguments of a method call.  void removeLockedObject(ElementInfo ei)       void resetVolatiles()      reset any information that has to be re-computed in a backtrack (i.e.  void setDaemon(boolean isDaemon)      public  void setLocalVariable(int idx, int v, boolean ref)      Sets the value of a local variable. public  void setLockCount(int l)      Sets the number of locks held at the time of a wait. public  void setLongLocalVariable(int idx, long v)      Sets the value of a long local variable.  void setName(String newName)      public  void setOperandAttr(Object attr)      public  void setPC(Instruction pc)      Sets the program counter of the top stack frame.  void setPriority(int newPrio)      public  void setReturnValue(long ret)      protected  void setStackFrameIndex(int i, int idx)      public  void setStatus(int s)      Updates the status of the thread. public  void setTarget(int t)      Sets the target of the thread. protected  void setThreadDataIndex(int idx)      public  void swap()      Swaps two entry on the stack. protected  ThreadData threadDataClone()      Returns a clone of the thread data. public  Instruction throwException(int objref)      Throws an exception throught the stack frames. public  StackFrame top()      Returns the top stack frame. protected  StackFrame topClone()      Returns a clone of the top stack frame. public  void unlock(Ref ref)      Called when a lock is released. public  boolean usePor()      public  boolean usePorFieldBoundaries()      public  boolean usePorSyncDetection()      public  boolean wasDirectCall()      did we call the current method directly, i.e. public  void yield()      Field Detail INTERRUPTED final public static int INTERRUPTED(Code) LIVELOCK_STEPS final static int LIVELOCK_STEPS(Code) <2do> - just a bloody guess, we need to change the livelock detection NEW final static int NEW(Code) NOTIFIED final public static int NOTIFIED(Code) RUNNING final static int RUNNING(Code) STOPPED final public static int STOPPED(Code) SYNC_RUNNING final public static int SYNC_RUNNING(Code) TERMINATED final public static int TERMINATED(Code) WAITING final public static int WAITING(Code) anyChanged public boolean anyChanged(Code) Set if any stack frame changed. atomicData protected AtomicData atomicData(Code) Some information about the thread that are used to handle atomicity. current static ThreadInfo current(Code) data protected int[] data(Code) Keeps the information from the last storing. env MJIEnv env(Code) not so nice we cross-couple the NativePeers with ThreadInfo, but to carry on with the JNI analogy, a MJIEnv is clearly owned by a thread (even though we don't have much ThreadInfo state dependency in here (yet), hence the simplistic init) haltOnThrow static boolean haltOnThrow(Code) do we halt on each throw, i.e. don't look for an exception handler? Useful to find empty handler blocks, or misusd exceptions hasChanged public BitSet hasChanged(Code) Identifies which thread has changed. index public int index(Code) Position in the thread list. list public ThreadList list(Code) Reference of the thread list it is in. lockedObjects LinkedList lockedObjects(Code) list of lock objects currently held by this thread. unfortunately, we cannot organize this as a stack, since it might get restored (from the heap) in random order lowestChanged protected int lowestChanged(Code) Remembers which is the lowest changed stack frame. pendingException protected ExceptionInfo pendingException(Code) porFieldBoundaries static boolean porFieldBoundaries(Code) do we treat access of fields referring to objects that are reachable from different threads as boundary steps (i.e. starting a new Transition)? porInEffect static boolean porInEffect(Code) is on-the-fly partial order in effect? porSyncDetection static boolean porSyncDetection(Code) detect field synchronization (find locks which are used to synchronize field access - if we have viable candidates, and we find the locks taken, we don't treat access of the corresponding field as a boundary step returnValue long returnValue(Code) cache for last return value (useful for direct calls that don't change the stack) stack protected StackFrame[] stack(Code) The stack frames of the JVM. <2do> pcm - right now this gets re-allocated on every push/pop, turn it into a real stack at some point stackFramePool protected static HashPool stackFramePool(Code) Pool used to store the stack frames. tdIndex public int tdIndex(Code) Contains the index of the thread data last used. threadData protected ThreadData threadData(Code) backtrack-relevant Information about the thread threadDataPool protected static HashPool threadDataPool(Code) Pool used to store the thread data. vm JVM vm(Code) the VM we are running on. Bad backlink, but then again, we can't really test a ThreadInfo outside a VM context anyways. <2do> If we keep 'list' as a field, 'vm' might be moved over there (all threads in the list share the same VM) yield boolean yield(Code) do we want a forced reschedule Constructor Detail ThreadInfo public ThreadInfo(JVM vm, int o)(Code) Creates a new thread info. It is associated with the object passed and sets the target object as well. ThreadInfo public ThreadInfo(ThreadInfo ti)(Code) ThreadInfo ThreadInfo(ThreadList l, int i)(Code) Creates a new empty thread info. Used to backtrack. Method Detail addLockedObject void addLockedObject(ElementInfo ei)(Code) atInvoke public boolean atInvoke(String mname)(Code) atLabel public boolean atLabel(String label)(Code) atMethod public boolean atMethod(String mname)(Code) atPosition public boolean atPosition(int position)(Code) atReturn public boolean atReturn()(Code) backtrackTo public void backtrackTo(ArrayOffset storing, Object backtrack)(Code) Restores the state of the system. callThrowableCtor void callThrowableCtor(ClassInfo ci, int objRef, int msgRef)(Code) callerPop public void callerPop(int n)(Code) Pops a set of values from the caller stack frame. clearOperandStack public void clearOperandStack()(Code) Clears the operand stack of all value. clone public Object clone()(Code) cloneStack public StackFrame[] cloneStack()(Code) countStackFrames public int countStackFrames()(Code) Returns the number of stack frames. createAndThrowException public Instruction createAndThrowException(ClassInfo ci, String details)(Code) Creates an exception and throws it. createAndThrowException public Instruction createAndThrowException(String cname)(Code) Creates an exception and throws it. createAndThrowException public Instruction createAndThrowException(String cname, String details)(Code) createStackTraceElement int createStackTraceElement(String clsName, String mthName, String fileName, int line)(Code) dup public void dup()(Code) Duplicates a value on the top stack frame. dup2 public void dup2()(Code) Duplicates a long value on the top stack frame. dup2_x1 public void dup2_x1()(Code) Duplicates a long value on the top stack frame. dup2_x2 public void dup2_x2()(Code) Duplicates a long value on the top stack frame. dup_x1 public void dup_x1()(Code) Duplicates a value on the top stack frame. dup_x2 public void dup_x2()(Code) Duplicates a value on the top stack frame. executeAtomicLinesStep protected boolean executeAtomicLinesStep() throws JPFException(Code) Executes a step where lines are atomic. false if intermediate step (due to Nondeterminism or Buchi observable) executeInstruction public Instruction executeInstruction()(Code) Execute next instruction. executeMethod public void executeMethod(MethodInfo mi)(Code) Executes a method call. It executes the whole method as one atomic step and returns when the call is over Arguments have to be already on the stack This is our entry point for calling methods without corresponding INVOKE insns (e.g. (), finalize() or method executions from native code executePorStep protected boolean executePorStep() throws JPFException(Code) execute a step using on-the-fly partial order reduction executeStep public boolean executeStep() throws JPFException(Code) Executes next step. false if intermediate step (due to Nondeterminism or Buchi observable) finish public void finish()(Code) frame protected StackFrame frame(int idx)(Code) Returns a specific stack frame. frameClone protected StackFrame frameClone(int i)(Code) Returns a clone of a specific stack frame. getBacktrackData public Object getBacktrackData()(Code) Returns the information necessary to backtrack. getBooleanLocal public boolean getBooleanLocal(String lname)(Code) getBooleanLocal public boolean getBooleanLocal(int lindex)(Code) getBooleanLocal public boolean getBooleanLocal(int fr, String lname)(Code) getBooleanLocal public boolean getBooleanLocal(int fr, int lindex)(Code) getBooleanReturnValue public boolean getBooleanReturnValue()(Code) getByteLocal public byte getByteLocal(String lname)(Code) getByteLocal public byte getByteLocal(int lindex)(Code) getByteLocal public byte getByteLocal(int fr, String lname)(Code) getByteLocal public byte getByteLocal(int fr, int lindex)(Code) getByteReturnValue public byte getByteReturnValue()(Code) getCallStack public String[] getCallStack()(Code) getCallStackClass public String getCallStackClass(int i)(Code) getCallStackFile public String getCallStackFile(int i)(Code) getCallStackLine public int getCallStackLine(int i)(Code) getCallStackMethod public String getCallStackMethod(int i)(Code) getCalleeThis public int getCalleeThis(MethodInfo mi)(Code) Returns the this pointer of the callee from the stack. getCalleeThis public int getCalleeThis(int size)(Code) Returns the this pointer of the callee from the stack. getCharLocal public char getCharLocal(String lname)(Code) getCharLocal public char getCharLocal(int lindex)(Code) getCharLocal public char getCharLocal(int fr, String lname)(Code) getCharLocal public char getCharLocal(int fr, int lindex)(Code) getCharReturnValue public char getCharReturnValue()(Code) getClassInfo public ClassInfo getClassInfo()(Code) Returns the class information. getCurrent public static ThreadInfo getCurrent()(Code) getDoubleLocal public double getDoubleLocal(String lname)(Code) getDoubleLocal public double getDoubleLocal(int lindex)(Code) getDoubleLocal public double getDoubleLocal(int fr, String lname)(Code) getDoubleLocal public double getDoubleLocal(int fr, int lindex)(Code) getDoubleReturnValue public double getDoubleReturnValue()(Code) getFloatLocal public float getFloatLocal(String lname)(Code) getFloatLocal public float getFloatLocal(int lindex)(Code) getFloatLocal public float getFloatLocal(int fr, String lname)(Code) getFloatLocal public float getFloatLocal(int fr, int lindex)(Code) getFloatReturnValue public float getFloatReturnValue()(Code) getIndex public int getIndex()(Code) return our internal thread number (order of creation) getIntLocal public int getIntLocal(String lname)(Code) getIntLocal public int getIntLocal(int lindex)(Code) getIntLocal public int getIntLocal(int fr, String lname)(Code) getIntLocal public int getIntLocal(int fr, int lindex)(Code) getIntReturnValue public int getIntReturnValue()(Code) getLine public int getLine()(Code) Returns the line number of the program counter of the top stack frame. getLine public int getLine(int idx)(Code) Returns the line the thread is at. getLocalNames public String[] getLocalNames()(Code) getLocalNames public String[] getLocalNames(int fr)(Code) getLocalVariable public int getLocalVariable(int fr, int idx)(Code) Returns the value of a local variable in a particular frame. getLocalVariable public int getLocalVariable(int idx)(Code) Returns the value of a local variable. getLocalVariable public int getLocalVariable(int fr, String name)(Code) Gets the value of a local variable from its name and frame. getLocalVariable public int getLocalVariable(String name)(Code) Gets the value of a local variable from its name. getLocalVariableType public String getLocalVariableType(int fr, String name)(Code) Gets the type associated with a local variable. getLocalVariableType public String getLocalVariableType(String name)(Code) Gets the type associated with a local variable. getLockCount public int getLockCount()(Code) Returns the number of locks in the last wait. getLockedObjectReferences public int[] getLockedObjectReferences()(Code) getLockedObjects public LinkedList getLockedObjects()(Code) getLongLocal public long getLongLocal(String lname)(Code) getLongLocal public long getLongLocal(int lindex)(Code) getLongLocal public long getLongLocal(int fr, String lname)(Code) getLongLocal public long getLongLocal(int fr, int lindex)(Code) getLongLocalVariable public long getLongLocalVariable(int fr, int idx)(Code) Returns the value of a long local variable. getLongLocalVariable public long getLongLocalVariable(int idx)(Code) Returns the value of a long local variable. getLongLocalVariable public long getLongLocalVariable(int fr, String name)(Code) Gets the value of a long local variable from its name. getLongLocalVariable public long getLongLocalVariable(String name)(Code) Gets the value of a long local variable from its name. getLongReturnValue public long getLongReturnValue()(Code) getMJIEnv MJIEnv getMJIEnv()(Code) getMethod public MethodInfo getMethod()(Code) Returns the current method in the top stack frame. getMethod public MethodInfo getMethod(int idx)(Code) Returns the method info of a specific stack frame. getName public String getName()(Code) getObjectLocal public Reference getObjectLocal(String lname)(Code) getObjectLocal public Reference getObjectLocal(int lindex)(Code) getObjectLocal public Reference getObjectLocal(int fr, String lname)(Code) getObjectLocal public Reference getObjectLocal(int fr, int lindex)(Code) getObjectReference public int getObjectReference()(Code) Returns the object reference. getObjectReturnValue public Reference getObjectReturnValue()(Code) getOperandAttr public Object getOperandAttr()(Code) getOperandAttr public Object getOperandAttr(int opStackOffset)(Code) getPC public Instruction getPC(int i)(Code) Returns the program counter of a stack frame. getPC public Instruction getPC()(Code) Returns the program counter of the top stack frame. getPendingException public ExceptionInfo getPendingException()(Code) getPriority int getPriority()(Code) getReturnValue public long getReturnValue()(Code) the return value from the last StackFrame (that had a return) Note: it's the callers responsibility to know about type and validity (the method might have no / int / long return value) getShortLocal public short getShortLocal(String lname)(Code) getShortLocal public short getShortLocal(int lindex)(Code) getShortLocal public short getShortLocal(int fr, String lname)(Code) getShortLocal public short getShortLocal(int fr, int lindex)(Code) getShortReturnValue public short getShortReturnValue()(Code) getStackFrameIndex protected int getStackFrameIndex(int i)(Code) getStackTrace public String getStackTrace()(Code) get the current stack trace of this thread this is called during creation of a Throwable, hence we should skip all throwable ctors in here <2do> this is only a partial solution,since we don't catch exceptions in Throwable ctors yet getStackTrace public int getStackTrace(int objref)(Code) getStatus public int getStatus()(Code) Returns the current status of the thread. getStoringData public int[] getStoringData()(Code) Returns the information necessary to store. <2do> pcm - not clear to me how lower stack frames can contribute to a different threadinfo state hash - only the current one can be changed by the executing method getStringLocal public String getStringLocal(String lname)(Code) getStringLocal public String getStringLocal(int lindex)(Code) getStringLocal public String getStringLocal(int fr, String lname)(Code) getStringLocal public String getStringLocal(int fr, int lindex)(Code) getStringReturnValue public String getStringReturnValue()(Code) getTarget public int getTarget()(Code) Returns the object reference of the target. getThis public int getThis()(Code) Returns the pointer to the object reference of the executing method getThreadDataIndex protected int getThreadDataIndex()(Code) getVM public JVM getVM()(Code) hasOtherRunnables public boolean hasOtherRunnables()(Code) hash public void hash(HashData hd)(Code) hashCode public int hashCode()(Code) holdsLock public boolean holdsLock(ElementInfo ei)(Code) init static boolean init(Config config)(Code) init void init(int rGroup, int rRunnable, int rName, long stackSize, boolean setPriority)(Code) this is the method that factorizes common Thread object initialization (get's called by all ctors). BEWARE - it's hidden magic (undocumented), and should be replaced by our own Thread impl at some point interrupt public void interrupt()(Code) isAbstractionNonDeterministic public boolean isAbstractionNonDeterministic()(Code) Checks if the thread is waiting to execute a nondeterministic choice due to an abstraction, i.e. due to a Bandera.choose() call isAlive public boolean isAlive()(Code) An alive thread is either running, waiting, notified, or interrupted. isCalleeThis public boolean isCalleeThis(Reference r)(Code) isDaemon boolean isDaemon()(Code) isEnabled public boolean isEnabled()(Code) An enabled thread is either running, notified, or interrupted. isInCtor public boolean isInCtor()(Code) isInterrupted public boolean isInterrupted(boolean resetStatus)(Code) isLocalVariableRef public boolean isLocalVariableRef(int idx)(Code) Checks if a local variable is a reference. isNonDeterministic public boolean isNonDeterministic()(Code) Checks if the thread is waiting to execute a nondeterministic choice, due to the use of Verify.random... calls. pcm - this is not called anywhere, but is part of the 'iThreadInfo' interface. We clean this up when we remove the interface isOperandRef public boolean isOperandRef()(Code) Checks if the top operand is a reference. isOperandRef public boolean isOperandRef(int idx)(Code) Checks if an operand is a reference. isRunnable public boolean isRunnable()(Code) Returns true if it is possible to execute the next instruction of this thread. This function is used by the scheduler to determine which threads can be executed. pcm - watch out, it's not just used from Scheduler, but also from within ThreadInfo itself isThis public boolean isThis(Reference r)(Code) lock public void lock(Ref ref)(Code) Called when a lock is acquired. Updates the information related to the locks. log public void log()(Code) longPeek public long longPeek()(Code) Peeks the top long value from the top stack frame. longPeek public long longPeek(int n)(Code) Peeks a long value from the top stack frame. longPop public long longPop()(Code) Pops the top long value from the top stack frame. longPush public void longPush(long v)(Code) Pushes a long value of the top stack frame. markRoots void markRoots()(Code) mark all objects during gc phase1 which are reachable from this threads root set (Thread object, Runnable, stack) objectAtBlockedSynchronized public ElementInfo objectAtBlockedSynchronized()(Code) peek public int peek()(Code) Peeks the top value from the top stack frame. peek public int peek(int n)(Code) Peeks a int value from the top stack frame. pop public int pop()(Code) Pops the top value from the top stack frame. pop public void pop(int n)(Code) Pops a set of values from the top stack frame. popFrame public boolean popFrame()(Code) Removes a stack frame. print void print(PrintWriter pw, String s)(Code) printInternalErrorTrace public void printInternalErrorTrace(Throwable e)(Code) printPendingExceptionOn public void printPendingExceptionOn(PrintWriter pw)(Code) printStackContent public void printStackContent()(Code) Prints the content of the stack. printStackTrace public void printStackTrace(int objRef)(Code) printStackTrace public void printStackTrace(PrintWriter pw, int objRef)(Code) printStackTrace public void printStackTrace()(Code) Prints the trace of the stack. push public void push(int v, boolean ref)(Code) Pushes a value on the top stack frame. pushFrame public void pushFrame(StackFrame frame)(Code) Adds a new stack frame for a new called method. <2do> - turn this into a real stack - don't reallocate removeArguments public void removeArguments(MethodInfo mi)(Code) Removes the arguments of a method call. removeLockedObject void removeLockedObject(ElementInfo ei)(Code) resetVolatiles void resetVolatiles()(Code) reset any information that has to be re-computed in a backtrack (i.e. hasn't been stored explicitly) setDaemon void setDaemon(boolean isDaemon)(Code) setLocalVariable public void setLocalVariable(int idx, int v, boolean ref)(Code) Sets the value of a local variable. setLockCount public void setLockCount(int l)(Code) Sets the number of locks held at the time of a wait. setLongLocalVariable public void setLongLocalVariable(int idx, long v)(Code) Sets the value of a long local variable. setName void setName(String newName)(Code) setOperandAttr public void setOperandAttr(Object attr)(Code) setPC public void setPC(Instruction pc)(Code) Sets the program counter of the top stack frame. setPriority void setPriority(int newPrio)(Code) setReturnValue public void setReturnValue(long ret)(Code) setStackFrameIndex protected void setStackFrameIndex(int i, int idx)(Code) setStatus public void setStatus(int s)(Code) Updates the status of the thread. setTarget public void setTarget(int t)(Code) Sets the target of the thread. setThreadDataIndex protected void setThreadDataIndex(int idx)(Code) swap public void swap()(Code) Swaps two entry on the stack. threadDataClone protected ThreadData threadDataClone()(Code) Returns a clone of the thread data. throwException public Instruction throwException(int objref)(Code) Throws an exception throught the stack frames. top public StackFrame top()(Code) Returns the top stack frame. topClone protected StackFrame topClone()(Code) Returns a clone of the top stack frame. unlock public void unlock(Ref ref)(Code) Called when a lock is released. Updates the information related to the locks. usePor public boolean usePor()(Code) usePorFieldBoundaries public boolean usePorFieldBoundaries()(Code) usePorSyncDetection public boolean usePorSyncDetection()(Code) wasDirectCall public boolean wasDirectCall()(Code) did we call the current method directly, i.e. no via a INVOKE bytecode insn? yield public void yield()(Code) request a reschedule no matter what the next insn is (can be used by listeners who directly modify thread states) Methods inherited from java.lang.Object native protected Object clone() throws CloneNotSupportedException(Code)(Java Doc) public boolean equals(Object obj)(Code)(Java Doc) protected void finalize() throws Throwable(Code)(Java Doc) final native public Class getClass()(Code)(Java Doc) native public int hashCode()(Code)(Java Doc) final native public void notify()(Code)(Java Doc) final native public void notifyAll()(Code)(Java Doc) public String toString()(Code)(Java Doc) final native public void wait(long timeout) throws InterruptedException(Code)(Java Doc) final public void wait(long timeout, int nanos) throws InterruptedException(Code)(Java Doc) final public void wait() throws InterruptedException(Code)(Java Doc)