JML

java.lang
Class Class

java.lang.Object
  extended byjava.lang.Class
All Implemented Interfaces:
Serializable

public final class Class
extends Object
implements Serializable


Nested Class Summary
(package private) static class Class.MethodArray
           
 
Field Summary
private static java.security.ProtectionDomain allPermDomain
           
private  Constructor cachedConstructor
           
private  java.lang.ref.SoftReference declaredConstructors
           
private  java.lang.ref.SoftReference declaredFields
           
private  java.lang.ref.SoftReference declaredMethods
           
private  java.lang.ref.SoftReference declaredPublicFields
           
private  java.lang.ref.SoftReference declaredPublicMethods
           
private static boolean initted
           
private  String name
           
private  Class newInstanceCallerCache
           
private  java.lang.ref.SoftReference publicConstructors
           
private  java.lang.ref.SoftReference publicFields
           
private  java.lang.ref.SoftReference publicMethods
           
private static sun.reflect.ReflectionFactory reflectionFactory
           
private static ObjectStreamField[] serialPersistentFields
           
private static long serialVersionUID
           
private static boolean useCaches
           
 
Constructor Summary
private Class()
           
 
Method Summary
private static void addAll(Collection, Field[])
           
private static String argumentTypesToString(Class[])
           
private static boolean arrayContentsEq(Object[], Object[])
           
private static void checkInitted()
           
private  void checkMemberAccess(int, ClassLoader)
           
private static Constructor[] copyConstructors(Constructor[])
           
private static Field[] copyFields(Field[])
           
private static Method[] copyMethods(Method[])
           
 boolean desiredAssertionStatus()
           
private static boolean desiredAssertionStatus0(Class)
           
static Class forName(String)
           
static Class forName(String, boolean, ClassLoader)
           
private static Class forName0(String, boolean, ClassLoader)
           
 Class[] getClasses()
           
 ClassLoader getClassLoader()
           
(package private)  ClassLoader getClassLoader0()
           
 Class getComponentType()
           
 Constructor getConstructor(Class[])
           
private  Constructor getConstructor0(Class[], int)
           
 Constructor[] getConstructors()
           
 Class[] getDeclaredClasses()
           
private  Class[] getDeclaredClasses0()
           
 Constructor getDeclaredConstructor(Class[])
           
 Constructor[] getDeclaredConstructors()
           
private  Constructor[] getDeclaredConstructors0(boolean)
           
 Field getDeclaredField(String)
           
 Field[] getDeclaredFields()
           
private  Field[] getDeclaredFields0(boolean)
           
 Method getDeclaredMethod(String, Class[])
           
 Method[] getDeclaredMethods()
           
private  Method[] getDeclaredMethods0(boolean)
           
 Class getDeclaringClass()
           
 Field getField(String)
           
private  Field getField0(String)
           
 Field[] getFields()
           
 Class[] getInterfaces()
           
 Method getMethod(String, Class[])
           
private  Method getMethod0(String, Class[])
           
 Method[] getMethods()
           
 int getModifiers()
           
 String getName()
           
private  String getName0()
           
 Package getPackage()
           
(package private) static Class getPrimitiveClass(String)
           
 java.security.ProtectionDomain getProtectionDomain()
           
private  java.security.ProtectionDomain getProtectionDomain0()
           
private static sun.reflect.ReflectionFactory getReflectionFactory()
           
 URL getResource(String)
           
 InputStream getResourceAsStream(String)
           
 Object[] getSigners()
           
 Class getSuperclass()
           
 boolean isArray()
           
 boolean isAssignableFrom(Class)
           
 boolean isInstance(Object)
           
 boolean isInterface()
           
 boolean isPrimitive()
           
 Object newInstance()
           
private  Object newInstance0()
           
private  Constructor[] privateGetDeclaredConstructors(boolean)
           
private  Field[] privateGetDeclaredFields(boolean)
           
private  Method[] privateGetDeclaredMethods(boolean)
           
private  Field[] privateGetPublicFields(Set)
           
private  Method[] privateGetPublicMethods()
           
private static void registerNatives()
           
private  String resolveName(String)
           
private  Field searchFields(Field[], String)
           
private static Method searchMethods(Method[], String, Class[])
           
(package private)  void setProtectionDomain0(java.security.ProtectionDomain)
           
(package private)  void setSigners(Object[])
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

reflectionFactory

private static sun.reflect.ReflectionFactory reflectionFactory

publicMethods

private transient volatile java.lang.ref.SoftReference publicMethods

newInstanceCallerCache

private transient volatile Class newInstanceCallerCache

initted

private static boolean initted

serialPersistentFields

private static final ObjectStreamField[] serialPersistentFields

declaredMethods

private transient volatile java.lang.ref.SoftReference declaredMethods

declaredPublicFields

private transient volatile java.lang.ref.SoftReference declaredPublicFields

name

private transient String name

publicConstructors

private transient volatile java.lang.ref.SoftReference publicConstructors

serialVersionUID

private static final long serialVersionUID

declaredPublicMethods

private transient volatile java.lang.ref.SoftReference declaredPublicMethods

useCaches

private static boolean useCaches

publicFields

private transient volatile java.lang.ref.SoftReference publicFields

declaredConstructors

private transient volatile java.lang.ref.SoftReference declaredConstructors

declaredFields

private transient volatile java.lang.ref.SoftReference declaredFields

allPermDomain

private static java.security.ProtectionDomain allPermDomain

cachedConstructor

private transient volatile Constructor cachedConstructor
Constructor Detail

Class

private Class()
Method Detail

getModifiers

public int getModifiers()

checkInitted

private static void checkInitted()

registerNatives

private static void registerNatives()

desiredAssertionStatus

public boolean desiredAssertionStatus()

isArray

public boolean isArray()

isInterface

public boolean isInterface()

isPrimitive

public boolean isPrimitive()

getComponentType

public Class getComponentType()

getDeclaringClass

public Class getDeclaringClass()

getSuperclass

public Class getSuperclass()

getClasses

public Class[] getClasses()

getDeclaredClasses

public Class[] getDeclaredClasses()
                           throws SecurityException
Throws:
SecurityException

getDeclaredClasses0

private Class[] getDeclaredClasses0()

getInterfaces

public Class[] getInterfaces()

desiredAssertionStatus0

private static boolean desiredAssertionStatus0(Class)

isAssignableFrom

public boolean isAssignableFrom(Class)

getClassLoader

public ClassLoader getClassLoader()

getClassLoader0

ClassLoader getClassLoader0()

checkMemberAccess

private void checkMemberAccess(int,
                               ClassLoader)

newInstance

public Object newInstance()
                   throws InstantiationException,
                          IllegalAccessException
Throws:
InstantiationException
IllegalAccessException

newInstance0

private Object newInstance0()
                     throws InstantiationException,
                            IllegalAccessException
Throws:
InstantiationException
IllegalAccessException

getSigners

public Object[] getSigners()

isInstance

public boolean isInstance(Object)

setSigners

void setSigners(Object[])

getPackage

public Package getPackage()

getName

public String getName()

getName0

private String getName0()

toString

public String toString()
Overrides:
toString in class Object

getConstructors

public Constructor[] getConstructors()
                              throws SecurityException
Throws:
SecurityException

getDeclaredConstructors

public Constructor[] getDeclaredConstructors()
                                      throws SecurityException
Throws:
SecurityException

getDeclaredConstructors0

private Constructor[] getDeclaredConstructors0(boolean)

privateGetDeclaredConstructors

private Constructor[] privateGetDeclaredConstructors(boolean)

getDeclaredFields

public Field[] getDeclaredFields()
                          throws SecurityException
Throws:
SecurityException

getFields

public Field[] getFields()
                  throws SecurityException
Throws:
SecurityException

getDeclaredFields0

private Field[] getDeclaredFields0(boolean)

privateGetDeclaredFields

private Field[] privateGetDeclaredFields(boolean)

getDeclaredMethods

public Method[] getDeclaredMethods()
                            throws SecurityException
Throws:
SecurityException

getMethods

public Method[] getMethods()
                    throws SecurityException
Throws:
SecurityException

privateGetPublicMethods

private Method[] privateGetPublicMethods()

getDeclaredMethods0

private Method[] getDeclaredMethods0(boolean)

privateGetDeclaredMethods

private Method[] privateGetDeclaredMethods(boolean)

getProtectionDomain

public java.security.ProtectionDomain getProtectionDomain()

getProtectionDomain0

private java.security.ProtectionDomain getProtectionDomain0()

setProtectionDomain0

void setProtectionDomain0(java.security.ProtectionDomain)

getReflectionFactory

private static sun.reflect.ReflectionFactory getReflectionFactory()

getResourceAsStream

public InputStream getResourceAsStream(String)

forName

public static Class forName(String)
                     throws ClassNotFoundException
Throws:
ClassNotFoundException

getPrimitiveClass

static Class getPrimitiveClass(String)

arrayContentsEq

private static boolean arrayContentsEq(Object[],
                                       Object[])

argumentTypesToString

private static String argumentTypesToString(Class[])

resolveName

private String resolveName(String)

getConstructor

public Constructor getConstructor(Class[])
                           throws NoSuchMethodException,
                                  SecurityException
Throws:
NoSuchMethodException
SecurityException

getDeclaredConstructor

public Constructor getDeclaredConstructor(Class[])
                                   throws NoSuchMethodException,
                                          SecurityException
Throws:
NoSuchMethodException
SecurityException

getConstructor0

private Constructor getConstructor0(Class[],
                                    int)
                             throws NoSuchMethodException
Throws:
NoSuchMethodException

copyConstructors

private static Constructor[] copyConstructors(Constructor[])

getDeclaredField

public Field getDeclaredField(String)
                       throws NoSuchFieldException,
                              SecurityException
Throws:
NoSuchFieldException
SecurityException

getField

public Field getField(String)
               throws NoSuchFieldException,
                      SecurityException
Throws:
NoSuchFieldException
SecurityException

getField0

private Field getField0(String)
                 throws NoSuchFieldException
Throws:
NoSuchFieldException

copyFields

private static Field[] copyFields(Field[])

addAll

private static void addAll(Collection,
                           Field[])

privateGetPublicFields

private Field[] privateGetPublicFields(Set)

copyMethods

private static Method[] copyMethods(Method[])

getResource

public URL getResource(String)

forName

public static Class forName(String,
                            boolean,
                            ClassLoader)
                     throws ClassNotFoundException
Throws:
ClassNotFoundException

forName0

private static Class forName0(String,
                              boolean,
                              ClassLoader)
                       throws ClassNotFoundException
Throws:
ClassNotFoundException

searchFields

private Field searchFields(Field[],
                           String)

getDeclaredMethod

public Method getDeclaredMethod(String,
                                Class[])
                         throws NoSuchMethodException,
                                SecurityException
Throws:
NoSuchMethodException
SecurityException

getMethod

public Method getMethod(String,
                        Class[])
                 throws NoSuchMethodException,
                        SecurityException
Throws:
NoSuchMethodException
SecurityException

getMethod0

private Method getMethod0(String,
                          Class[])

searchMethods

private static Method searchMethods(Method[],
                                    String,
                                    Class[])

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.