Class (JPF API)

java.lang.Object
- java.lang.Class<T>

All Implemented Interfaces:

Serializable, AnnotatedElement, GenericDeclaration, Type
```
public final class Class<T>
extends Object
implements Serializable, GenericDeclaration, Type, AnnotatedElement
```
MJI model class for java.lang.Class library abstraction This is a JPF specific version of a system class because we can't use the real, platform VM specific version (it's native all over the place, its field structure isn't documented, most of its methods are private, hence we can't even instantiate it properly). Note that this class never gets seen by the real VM - it's for JPF's eyes only. For now, it's only a fragment to test the mechanism, and provide basic class.getName() / Class.ForName() support (which is (almost) enough for Java assertion support

See Also:
Serialized Form

Method Summary

Methods
Modifier and Type	Method and Description
`<U> Class<? extends U>`	`asSubclass(Class<U> clazz)`
`T`	`cast(Object o)`
`boolean`	`desiredAssertionStatus()`
`static Class<?>`	`forName(String clsName)` this one is in JPF reflection land, it's 'native' for us
`static Class<?>`	`forName(String clsName, boolean initialize, ClassLoader loader)`
`<A extends Annotation> A`	`getAnnotation(Class<A> annotationCls)`
`Annotation[]`	`getAnnotations()`
`String`	`getCanonicalName()`
`Class<?>[]`	`getClasses()`
`ClassLoader`	`getClassLoader()`
`Class<?>`	`getComponentType()`
`Constructor<T>`	`getConstructor(Class<?>... argTypes)`
`Constructor<?>[]`	`getConstructors()`
`Annotation[]`	`getDeclaredAnnotations()`
`Class<?>[]`	`getDeclaredClasses()`
`Constructor<T>`	`getDeclaredConstructor(Class<?>... paramTypes)`
`Constructor<?>[]`	`getDeclaredConstructors()`
`Field`	`getDeclaredField(String fieldName)`
`Field[]`	`getDeclaredFields()`
`Method`	`getDeclaredMethod(String mthName, Class<?>... paramTypes)`
`Method[]`	`getDeclaredMethods()`
`Class<?>`	`getDeclaringClass()`
`Class<?>`	`getEnclosingClass()`
`Constructor<?>`	`getEnclosingConstructor()`
`Method`	`getEnclosingMethod()`
`T[]`	`getEnumConstants()`
`Field`	`getField(String fieldName)`
`Field[]`	`getFields()`
`Type[]`	`getGenericInterfaces()`
`Type`	`getGenericSuperclass()`
`Class<?>[]`	`getInterfaces()`
`Method`	`getMethod(String mthName, Class<?>... paramTypes)`
`Method[]`	`getMethods()`
`int`	`getModifiers()`
`String`	`getName()`
`Package`	`getPackage()`
`ProtectionDomain`	`getProtectionDomain()`
`URL`	`getResource(String rname)`
`InputStream`	`getResourceAsStream(String name)`
`Object[]`	`getSigners()`
`String`	`getSimpleName()`
`Class<? super T>`	`getSuperclass()`
`TypeVariable<Class<T>>[]`	`getTypeParameters()`
`boolean`	`isAnnotation()`
`boolean`	`isAnnotationPresent(Class<? extends Annotation> annotationClass)`
`boolean`	`isAnonymousClass()`
`boolean`	`isArray()`
`boolean`	`isAssignableFrom(Class<?> clazz)`
`boolean`	`isEnum()`
`boolean`	`isInstance(Object o)`
`boolean`	`isInterface()`
`boolean`	`isLocalClass()`
`boolean`	`isMemberClass()`
`boolean`	`isPrimitive()`
`boolean`	`isSynthetic()`
`T`	`newInstance()`
`String`	`toString()`

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

Method Detail

isArray
```
public boolean isArray()
```

getAnnotations
```
public Annotation[] getAnnotations()
```
Specified by:

getAnnotations in interface AnnotatedElement

getAnnotation

public <A extends Annotation> A getAnnotation(Class<A> annotationCls)

Specified by:: getAnnotation in interface AnnotatedElement

isAnnotation
```
public boolean isAnnotation()
```

isAnnotationPresent

public boolean isAnnotationPresent(Class<? extends Annotation> annotationClass)

Specified by:: isAnnotationPresent in interface AnnotatedElement

getComponentType
```
public Class<?> getComponentType()
```

getFields

public Field[] getFields()
                  throws SecurityException

Throws:: SecurityException

getDeclaredField

public Field getDeclaredField(String fieldName)
                       throws NoSuchFieldException,
                              SecurityException

Throws:: NoSuchFieldException; SecurityException

getDeclaredFields

public Field[] getDeclaredFields()
                          throws SecurityException

Throws:: SecurityException

getDeclaredMethod

public Method getDeclaredMethod(String mthName,
                       Class<?>... paramTypes)
                         throws NoSuchMethodException,
                                SecurityException

Throws:: NoSuchMethodException; SecurityException

getMethod

public Method getMethod(String mthName,
               Class<?>... paramTypes)
                 throws NoSuchMethodException,
                        SecurityException

Throws:: NoSuchMethodException; SecurityException

getDeclaredMethods

public Method[] getDeclaredMethods()
                            throws SecurityException

Throws:: SecurityException

getMethods

public Method[] getMethods()
                    throws SecurityException

Throws:: SecurityException

getDeclaredConstructors

public Constructor<?>[] getDeclaredConstructors()
                                         throws SecurityException

Throws:: SecurityException

getConstructors

public Constructor<?>[] getConstructors()
                                 throws SecurityException

Throws:: SecurityException

getResourceAsStream

public InputStream getResourceAsStream(String name)

getResource
```
public URL getResource(String rname)
```

getPackage
```
public Package getPackage()
```

getEnumConstants
```
public T[] getEnumConstants()
```

getDeclaredConstructor

public Constructor<T> getDeclaredConstructor(Class<?>... paramTypes)
                                      throws NoSuchMethodException,
                                             SecurityException

Throws:: NoSuchMethodException; SecurityException

getField

public Field getField(String fieldName)
               throws NoSuchFieldException,
                      SecurityException

Throws:: NoSuchFieldException; SecurityException

isInstance
```
public boolean isInstance(Object o)
```

isAssignableFrom

public boolean isAssignableFrom(Class<?> clazz)

isInterface
```
public boolean isInterface()
```

getConstructor

public Constructor<T> getConstructor(Class<?>... argTypes)
                              throws NoSuchMethodException,
                                     SecurityException

Throws:: NoSuchMethodException; SecurityException

getModifiers
```
public int getModifiers()
```

getInterfaces
```
public Class<?>[] getInterfaces()
```

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

getSimpleName
```
public String getSimpleName()
```

forName

public static Class<?> forName(String clsName)
                        throws ClassNotFoundException

this one is in JPF reflection land, it's 'native' for us

Throws:: ClassNotFoundException

forName

public static Class<?> forName(String clsName,
               boolean initialize,
               ClassLoader loader)
                        throws ClassNotFoundException

Throws:: ClassNotFoundException

isPrimitive
```
public boolean isPrimitive()
```

getSuperclass

public Class<? super T> getSuperclass()

newInstance

public T newInstance()
              throws InstantiationException,
                     IllegalAccessException

Throws:: InstantiationException; IllegalAccessException

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

toString in class Object

cast
```
public T cast(Object o)
```

asSubclass

public <U> Class<? extends U> asSubclass(Class<U> clazz)

desiredAssertionStatus

public boolean desiredAssertionStatus()

getClassLoader
```
public ClassLoader getClassLoader()
```

getTypeParameters
```
public TypeVariable<Class<T>>[] getTypeParameters()
```
Specified by:

getTypeParameters in interface GenericDeclaration

getGenericSuperclass
```
public Type getGenericSuperclass()
```

getGenericInterfaces
```
public Type[] getGenericInterfaces()
```

getSigners
```
public Object[] getSigners()
```

getEnclosingMethod
```
public Method getEnclosingMethod()
```

getEnclosingConstructor

public Constructor<?> getEnclosingConstructor()

getDeclaringClass
```
public Class<?> getDeclaringClass()
```

getEnclosingClass
```
public Class<?> getEnclosingClass()
```

getCanonicalName
```
public String getCanonicalName()
```

isAnonymousClass
```
public boolean isAnonymousClass()
```

isLocalClass
```
public boolean isLocalClass()
```

isMemberClass
```
public boolean isMemberClass()
```

getClasses
```
public Class<?>[] getClasses()
```

getDeclaredClasses

public Class<?>[] getDeclaredClasses()
                              throws SecurityException

Throws:: SecurityException

getProtectionDomain

public ProtectionDomain getProtectionDomain()

isEnum
```
public boolean isEnum()
```

getDeclaredAnnotations
```
public Annotation[] getDeclaredAnnotations()
```
Specified by:

getDeclaredAnnotations in interface AnnotatedElement

isSynthetic
```
public boolean isSynthetic()
```

Class Class<T>

Method Summary

Methods inherited from class java.lang.Object

Method Detail

isArray

getAnnotations

getAnnotation

isAnnotation

isAnnotationPresent

getComponentType

getFields

getDeclaredField

getDeclaredFields

getDeclaredMethod

getMethod

getDeclaredMethods

getMethods

getDeclaredConstructors

getConstructors

getResourceAsStream

getResource

getPackage

getEnumConstants

getDeclaredConstructor

getField

isInstance

isAssignableFrom

isInterface

getConstructor

getModifiers

getInterfaces

getName

getSimpleName

forName

forName

isPrimitive

getSuperclass

newInstance

toString

cast

asSubclass

desiredAssertionStatus

getClassLoader

getTypeParameters

getGenericSuperclass

getGenericInterfaces

getSigners

getEnclosingMethod

getEnclosingConstructor

getDeclaringClass

getEnclosingClass

getCanonicalName

isAnonymousClass

isLocalClass

isMemberClass

getClasses

getDeclaredClasses

getProtectionDomain

isEnum

getDeclaredAnnotations

isSynthetic