| java.lang.Object java.lang.Class
Class | public class Class (Code) | | 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 JVM 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
|
desiredAssertionStatus | native boolean desiredAssertionStatus()(Code) | | |
getComponentType | native public Class getComponentType()(Code) | | |
isArray | native public boolean isArray()(Code) | | |
isAssignableFrom | native public boolean isAssignableFrom(Class clazz)(Code) | | |
isPrimitive | public boolean isPrimitive()(Code) | | |
|
|