Thread (JPF API)

java.lang.Object
- java.lang.Thread

All Implemented Interfaces:

Runnable
```
public class Thread
extends Object
implements Runnable
```
MJI model class for java.lang.Thread library abstraction <2do> this should not require the JPF ThreadList to retrieve corresponding ThreadInfos (the ThreadList might not store terminated threads)

Nested Class Summary

Nested Classes
Modifier and Type Class and Description

static class Thread.State

static interface Thread.UncaughtExceptionHandler

Nested Classes
Modifier and Type	Class and Description
`static class`	`Thread.State`
`static interface`	`Thread.UncaughtExceptionHandler`

Field Summary

Fields
Modifier and Type Field and Description

static int MAX_PRIORITY

static int MIN_PRIORITY

static int NORM_PRIORITY

Fields
Modifier and Type	Field and Description
`static int`	`MAX_PRIORITY`
`static int`	`MIN_PRIORITY`
`static int`	`NORM_PRIORITY`

Constructor Summary

Constructors
Constructor and Description
`Thread()`
`Thread(Runnable target)`
`Thread(Runnable target, String name)`
`Thread(String name)`
`Thread(ThreadGroup group, Runnable target)`
`Thread(ThreadGroup group, Runnable target, String name)`
`Thread(ThreadGroup group, Runnable target, String name, long stackSize)`
`Thread(ThreadGroup group, String name)`

Method Summary

Methods
Modifier and Type	Method and Description
`static int`	`activeCount()`
`void`	`checkAccess()`
`int`	`countStackFrames()`
`static Thread`	`currentThread()`
`void`	`destroy()`
`static void`	`dumpStack()`
`static int`	`enumerate(Thread[] tarray)`
`ClassLoader`	`getContextClassLoader()`
`static Thread.UncaughtExceptionHandler`	`getDefaultUncaughtExceptionHandler()`
`long`	`getId()`
`String`	`getName()`
`int`	`getPriority()`
`StackTraceElement[]`	`getStackTrace()`
`Thread.State`	`getState()`
`int`	`getState0()`
`ThreadGroup`	`getThreadGroup()`
`Thread.UncaughtExceptionHandler`	`getUncaughtExceptionHandler()`
`static boolean`	`holdsLock(Object obj)`
`void`	`interrupt()`
`static boolean`	`interrupted()`
`boolean`	`isAlive()`
`boolean`	`isDaemon()`
`boolean`	`isInterrupted()`
`void`	`join()` note these are not synchronized anymore since they are intercepted by the native peer.
`void`	`join(long millis)`
`void`	`join(long millis, int nanos)`
`void`	`resume()`
`void`	`run()`
`void`	`setContextClassLoader(ClassLoader cl)`
`void`	`setDaemon(boolean isDaemon)`
`static void`	`setDefaultUncaughtExceptionHandler(Thread.UncaughtExceptionHandler xh)`
`void`	`setName(String name)`
`void`	`setPriority(int priority)`
`void`	`setUncaughtExceptionHandler(Thread.UncaughtExceptionHandler xh)`
`static void`	`sleep(long millis)`
`static void`	`sleep(long millis, int nanos)`
`void`	`start()`
`void`	`stop()`
`void`	`stop(Throwable obj)`
`void`	`suspend()`
`String`	`toString()`
`static void`	`yield()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail
- MIN_PRIORITY
```
public static final int MIN_PRIORITY
```
  See Also:
  Constant Field Values
- NORM_PRIORITY
```
public static final int NORM_PRIORITY
```
  See Also:
  Constant Field Values
- MAX_PRIORITY
```
public static final int MAX_PRIORITY
```
  See Also:
  Constant Field Values

Constructor Detail

Thread
```
public Thread()
```

Thread
```
public Thread(Runnable target)
```

Thread

public Thread(Runnable target,
      String name)

Thread
```
public Thread(String name)
```

Thread

public Thread(ThreadGroup group,
      String name)

Thread

public Thread(ThreadGroup group,
      Runnable target)

Thread

public Thread(ThreadGroup group,
      Runnable target,
      String name)

Thread

public Thread(ThreadGroup group,
      Runnable target,
      String name,
      long stackSize)

Method Detail

setDefaultUncaughtExceptionHandler

public static void setDefaultUncaughtExceptionHandler(Thread.UncaughtExceptionHandler xh)

getDefaultUncaughtExceptionHandler

public static Thread.UncaughtExceptionHandler getDefaultUncaughtExceptionHandler()

activeCount
```
public static int activeCount()
```

setUncaughtExceptionHandler

public void setUncaughtExceptionHandler(Thread.UncaughtExceptionHandler xh)

getUncaughtExceptionHandler

public Thread.UncaughtExceptionHandler getUncaughtExceptionHandler()

setContextClassLoader

public void setContextClassLoader(ClassLoader cl)

getContextClassLoader

public ClassLoader getContextClassLoader()

setDaemon

public void setDaemon(boolean isDaemon)

isDaemon
```
public boolean isDaemon()
```

getId
```
public long getId()
```

getStackTrace

public StackTraceElement[] getStackTrace()

getState0
```
public int getState0()
```

getState
```
public Thread.State getState()
```

setName
```
public void setName(String name)
```

getName
```
public String getName()
```

setPriority

public void setPriority(int priority)

getPriority
```
public int getPriority()
```

getThreadGroup
```
public ThreadGroup getThreadGroup()
```

checkAccess
```
public void checkAccess()
```

countStackFrames
```
public int countStackFrames()
```

currentThread
```
public static Thread currentThread()
```

destroy
```
public void destroy()
```

dumpStack
```
public static void dumpStack()
```

enumerate

public static int enumerate(Thread[] tarray)

holdsLock

public static boolean holdsLock(Object obj)

interrupt
```
public void interrupt()
```

interrupted
```
public static boolean interrupted()
```

isInterrupted
```
public boolean isInterrupted()
```

isAlive
```
public boolean isAlive()
```

join
```
public void join()
          throws InterruptedException
```
note these are not synchronized anymore since they are intercepted by the native peer. The reason is that we don't want two CGs per join call (one for the sync call, and one for the wait) because this can cause serious performance degradation

Throws:

InterruptedException

join

public void join(long millis)
          throws InterruptedException

Throws:: InterruptedException

join

public void join(long millis,
        int nanos)
          throws InterruptedException

Throws:: InterruptedException

run
```
public void run()
```
Specified by:

run in interface Runnable

sleep

public static void sleep(long millis)
                  throws InterruptedException

Throws:: InterruptedException

sleep

public static void sleep(long millis,
         int nanos)
                  throws InterruptedException

Throws:: InterruptedException

start
```
public void start()
```

stop
```
public void stop()
```

stop
```
public void stop(Throwable obj)
```

suspend
```
public void suspend()
```

resume
```
public void resume()
```

toString
```
public String toString()
```
Overrides:

toString in class Object

yield
```
public static void yield()
```

Class Thread

Nested Class Summary

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

MIN_PRIORITY

NORM_PRIORITY

MAX_PRIORITY

Constructor Detail

Thread

Thread

Thread

Thread

Thread

Thread

Thread

Thread

Method Detail

setDefaultUncaughtExceptionHandler

getDefaultUncaughtExceptionHandler

activeCount

setUncaughtExceptionHandler

getUncaughtExceptionHandler

setContextClassLoader

getContextClassLoader

setDaemon

isDaemon

getId

getStackTrace

getState0

getState

setName

getName

setPriority

getPriority

getThreadGroup

checkAccess

countStackFrames

currentThread

destroy

dumpStack

enumerate

holdsLock

interrupt

interrupted

isInterrupted

isAlive

join

join

join

run

sleep

sleep

start

stop

stop

suspend

resume

toString

yield