JML

java.lang
Class Thread

java.lang.Object
  extended byjava.lang.Thread
All Implemented Interfaces:
Runnable

public class Thread
extends Object
implements Runnable


Model Field Summary
 
Model fields inherited from class java.lang.Object
_getClass, objectState, theString
 
Ghost Field Summary
 
Ghost fields inherited from class java.lang.Object
objectTimesFinalized, owner
 
Field Summary
private  sun.nio.ch.Interruptible blocker
           
private  ClassLoader contextClassLoader
           
private  boolean daemon
           
private  long eetop
           
private  ThreadGroup group
           
(package private)  ThreadLocal.ThreadLocalMap inheritableThreadLocals
           
private  AccessControlContext inheritedAccessControlContext
           
static int MAX_PRIORITY
           
static int MIN_PRIORITY
           
private  char[] name
           
static int NORM_PRIORITY
           
private  int priority
           
private  boolean single_step
           
private  long stackSize
           
private  boolean stillborn
           
private  Runnable target
           
private static int threadInitNumber
           
(package private)  ThreadLocal.ThreadLocalMap threadLocals
           
private  Thread threadQ
           
 
Constructor Summary
Thread()
           
Thread(Runnable)
           
Thread(Runnable, String)
           
Thread(String)
           
Thread(ThreadGroup, Runnable)
           
Thread(ThreadGroup, Runnable, String)
           
Thread(ThreadGroup, Runnable, String, long)
           
Thread(ThreadGroup, String)
           
 
Model Method Summary
 
Model methods inherited from class java.lang.Object
hashValue
 
Method Summary
static int activeCount()
           
private  void blockedOn(sun.nio.ch.Interruptible)
           
 void checkAccess()
           
 int countStackFrames()
           
static Thread currentThread()
           
 void destroy()
           
static void dumpStack()
           
static int enumerate(Thread[])
           
private  void exit()
           
 ClassLoader getContextClassLoader()
           
 String getName()
           
 int getPriority()
           
 ThreadGroup getThreadGroup()
           
static boolean holdsLock(Object)
           
private  void init(ThreadGroup, Runnable, String, long)
           
 void interrupt()
           
private  void interrupt0()
           
static boolean interrupted()
           
 boolean isAlive()
           
 boolean isDaemon()
           
 boolean isInterrupted()
           
private  boolean isInterrupted(boolean)
           
 void join()
           
 void join(long)
           
 void join(long, int)
           
private static int nextThreadNum()
           
private static void registerNatives()
           
 void resume()
           
private  void resume0()
           
 void run()
           
 void setContextClassLoader(ClassLoader)
           
 void setDaemon(boolean)
           
 void setName(String)
           
 void setPriority(int)
           
private  void setPriority0(int)
           
static void sleep(long)
           
static void sleep(long, int)
           
 void start()
           
 void stop()
           
 void stop(Throwable)
           
private  void stop0(Object)
           
 void suspend()
           
private  void suspend0()
           
 String toString()
           
static void yield()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

MAX_PRIORITY

public static final int MAX_PRIORITY

NORM_PRIORITY

public static final int NORM_PRIORITY

threadInitNumber

private static int threadInitNumber

single_step

private boolean single_step

stillborn

private boolean stillborn

inheritedAccessControlContext

private AccessControlContext inheritedAccessControlContext

threadQ

private Thread threadQ

blocker

private volatile sun.nio.ch.Interruptible blocker

target

private Runnable target

contextClassLoader

private ClassLoader contextClassLoader

group

private ThreadGroup group

name

private char[] name

threadLocals

ThreadLocal.ThreadLocalMap threadLocals

MIN_PRIORITY

public static final int MIN_PRIORITY

stackSize

private long stackSize

priority

private int priority

inheritableThreadLocals

ThreadLocal.ThreadLocalMap inheritableThreadLocals

eetop

private long eetop

daemon

private boolean daemon
Constructor Detail

Thread

public Thread()

Thread

public Thread(Runnable)

Thread

public Thread(String)

Thread

public Thread(ThreadGroup,
              Runnable)

Thread

public Thread(Runnable,
              String)

Thread

public Thread(ThreadGroup,
              String)

Thread

public Thread(ThreadGroup,
              Runnable,
              String)

Thread

public Thread(ThreadGroup,
              Runnable,
              String,
              long)
Method Detail

activeCount

public static int activeCount()

countStackFrames

public int countStackFrames()

getPriority

public final int getPriority()

nextThreadNum

private static int nextThreadNum()

checkAccess

public final void checkAccess()

destroy

public void destroy()

dumpStack

public static void dumpStack()

exit

private void exit()

interrupt

public void interrupt()

interrupt0

private void interrupt0()

join

public final void join()
                throws InterruptedException
Throws:
InterruptedException

registerNatives

private static void registerNatives()

resume

public final void resume()

resume0

private void resume0()

run

public void run()
Specified by:
run in interface Runnable

start

public void start()

stop

public final void stop()

suspend

public final void suspend()

suspend0

private void suspend0()

yield

public static void yield()

interrupted

public static boolean interrupted()

isAlive

public final boolean isAlive()

isDaemon

public final boolean isDaemon()

isInterrupted

public boolean isInterrupted()

setPriority

public final void setPriority(int)

setPriority0

private void setPriority0(int)

join

public final void join(long)
                throws InterruptedException
Throws:
InterruptedException

sleep

public static void sleep(long)
                  throws InterruptedException
Throws:
InterruptedException

join

public final void join(long,
                       int)
                throws InterruptedException
Throws:
InterruptedException

sleep

public static void sleep(long,
                         int)
                  throws InterruptedException
Throws:
InterruptedException

setDaemon

public final void setDaemon(boolean)

isInterrupted

private boolean isInterrupted(boolean)

getContextClassLoader

public ClassLoader getContextClassLoader()

setContextClassLoader

public void setContextClassLoader(ClassLoader)

stop0

private void stop0(Object)

holdsLock

public static boolean holdsLock(Object)

getName

public final String getName()

toString

public String toString()
Overrides:
toString in class Object

setName

public final void setName(String)

currentThread

public static Thread currentThread()

enumerate

public static int enumerate(Thread[])

getThreadGroup

public final ThreadGroup getThreadGroup()

stop

public final void stop(Throwable)

blockedOn

private void blockedOn(sun.nio.ch.Interruptible)

init

private void init(ThreadGroup,
                  Runnable,
                  String,
                  long)

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.