JML

java.lang
Class ThreadLocal

java.lang.Object
  extended byjava.lang.ThreadLocal

public class ThreadLocal
extends Object


Nested Class Summary
(package private) static class ThreadLocal.1
           
(package private) static class ThreadLocal.ThreadLocalMap
           
 
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 static int HASH_INCREMENT
           
private static int nextHashCode
           
private  int threadLocalHashCode
           
 
Constructor Summary
ThreadLocal()
           
 
Model Method Summary
 
Model methods inherited from class java.lang.Object
hashValue
 
Method Summary
(package private)  Object childValue(Object)
           
(package private) static ThreadLocal.ThreadLocalMap createInheritedMap(ThreadLocal.ThreadLocalMap)
           
(package private)  void createMap(Thread, Object)
           
 Object get()
           
(package private)  ThreadLocal.ThreadLocalMap getMap(Thread)
           
protected  Object initialValue()
           
private static int nextHashCode()
           
 void set(Object)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

HASH_INCREMENT

private static final int HASH_INCREMENT

threadLocalHashCode

private final int threadLocalHashCode

nextHashCode

private static int nextHashCode
Constructor Detail

ThreadLocal

public ThreadLocal()
Method Detail

nextHashCode

private static int nextHashCode()

get

public Object get()

initialValue

protected Object initialValue()

set

public void set(Object)

childValue

Object childValue(Object)

createMap

void createMap(Thread,
               Object)

getMap

ThreadLocal.ThreadLocalMap getMap(Thread)

createInheritedMap

static ThreadLocal.ThreadLocalMap createInheritedMap(ThreadLocal.ThreadLocalMap)

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.