gov.nasa.jpf.vm

Class JPF_java_lang_ClassLoader

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_java_lang_ClassLoader

All Implemented Interfaces:

Cloneable

Direct Known Subclasses:

JPF_java_net_URLClassLoader

public class JPF_java_lang_ClassLoader
extends NativePeer

Author:

Nastaran Shafiei Native peer for java.lang.ClassLoader

Constructor Summary

Constructors

Constructor and Description
JPF_java_lang_ClassLoader()

Method Summary

Methods

Modifier and Type	Method and Description
void	$init____V(MJIEnv env, int objRef)
void	$init__Ljava_lang_ClassLoader_2__V(MJIEnv env, int objRef, int parentRef)
protected static boolean	check(MJIEnv env, String cname, byte[] buffer, int offset, int length)
protected static void	checkData(MJIEnv env, byte[] buffer, int offset, int length)
protected static void	checkForIllegalName(MJIEnv env, String name)
protected static void	checkForProhibitedPkg(MJIEnv env, String name)
void	clearAssertionStatus____V(MJIEnv env, int objRef)
static int	createPackageObject(MJIEnv env, ClassInfo pkgClass, String pkgName, ClassLoaderInfo cl)
int	defineClass0__Ljava_lang_String_2_3BII__Ljava_lang_Class_2(MJIEnv env, int objRef, int nameRef, int bufferRef, int offset, int length)
int	findLoadedClass__Ljava_lang_String_2__Ljava_lang_Class_2(MJIEnv env, int objRef, int nameRef)
int	findSystemClass__Ljava_lang_String_2__Ljava_lang_Class_2(MJIEnv env, int objRef, int nameRef)
int	getPackage__Ljava_lang_String_2__Ljava_lang_Package_2(MJIEnv env, int objRef, int nameRef)
int	getPackages_____3Ljava_lang_Package_2(MJIEnv env, int objRef)
int	getResource0__Ljava_lang_String_2__Ljava_lang_String_2(MJIEnv env, int objRef, int resRef)
int	getResources0__Ljava_lang_String_2___3Ljava_lang_String_2(MJIEnv env, int objRef, int resRef)
int	getSystemClassLoader____Ljava_lang_ClassLoader_2(MJIEnv env, int clsObjRef)
void	setClassAssertionStatus__Ljava_lang_String_2Z__V(MJIEnv env, int objRef, int strRef, boolean enabled)
void	setDefaultAssertionStatus__Z__V(MJIEnv env, int objRef, boolean enabled)
void	setPackageAssertionStatus__Ljava_lang_String_2Z__V(MJIEnv env, int objRef, int strRef, boolean enabled)

Methods inherited from class gov.nasa.jpf.vm.NativePeer

getInstance, getInstance, getPeerClass, getPeerClassName, init, initialize, initializePeerClass

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JPF_java_lang_ClassLoader

public JPF_java_lang_ClassLoader()

Method Detail

$init____V

public void $init____V(MJIEnv env,
              int objRef)

$init__Ljava_lang_ClassLoader_2__V

public void $init__Ljava_lang_ClassLoader_2__V(MJIEnv env,
                                      int objRef,
                                      int parentRef)

getSystemClassLoader____Ljava_lang_ClassLoader_2

public int getSystemClassLoader____Ljava_lang_ClassLoader_2(MJIEnv env,
                                                   int clsObjRef)

getResource0__Ljava_lang_String_2__Ljava_lang_String_2

public int getResource0__Ljava_lang_String_2__Ljava_lang_String_2(MJIEnv env,
                                                         int objRef,
                                                         int resRef)

getResources0__Ljava_lang_String_2___3Ljava_lang_String_2

public int getResources0__Ljava_lang_String_2___3Ljava_lang_String_2(MJIEnv env,
                                                            int objRef,
                                                            int resRef)

findLoadedClass__Ljava_lang_String_2__Ljava_lang_Class_2

public int findLoadedClass__Ljava_lang_String_2__Ljava_lang_Class_2(MJIEnv env,
                                                           int objRef,
                                                           int nameRef)

findSystemClass__Ljava_lang_String_2__Ljava_lang_Class_2

public int findSystemClass__Ljava_lang_String_2__Ljava_lang_Class_2(MJIEnv env,
                                                           int objRef,
                                                           int nameRef)

defineClass0__Ljava_lang_String_2_3BII__Ljava_lang_Class_2

public int defineClass0__Ljava_lang_String_2_3BII__Ljava_lang_Class_2(MJIEnv env,
                                                             int objRef,
                                                             int nameRef,
                                                             int bufferRef,
                                                             int offset,
                                                             int length)

check

protected static boolean check(MJIEnv env,
            String cname,
            byte[] buffer,
            int offset,
            int length)

checkForProhibitedPkg

protected static void checkForProhibitedPkg(MJIEnv env,
                         String name)

checkForIllegalName

protected static void checkForIllegalName(MJIEnv env,
                       String name)

checkData

protected static void checkData(MJIEnv env,
             byte[] buffer,
             int offset,
             int length)

getPackages_____3Ljava_lang_Package_2

public int getPackages_____3Ljava_lang_Package_2(MJIEnv env,
                                        int objRef)

getPackage__Ljava_lang_String_2__Ljava_lang_Package_2

public int getPackage__Ljava_lang_String_2__Ljava_lang_Package_2(MJIEnv env,
                                                        int objRef,
                                                        int nameRef)

createPackageObject

public static int createPackageObject(MJIEnv env,
                      ClassInfo pkgClass,
                      String pkgName,
                      ClassLoaderInfo cl)

setDefaultAssertionStatus__Z__V

public void setDefaultAssertionStatus__Z__V(MJIEnv env,
                                   int objRef,
                                   boolean enabled)

setPackageAssertionStatus__Ljava_lang_String_2Z__V

public void setPackageAssertionStatus__Ljava_lang_String_2Z__V(MJIEnv env,
                                                      int objRef,
                                                      int strRef,
                                                      boolean enabled)

setClassAssertionStatus__Ljava_lang_String_2Z__V

public void setClassAssertionStatus__Ljava_lang_String_2Z__V(MJIEnv env,
                                                    int objRef,
                                                    int strRef,
                                                    boolean enabled)

clearAssertionStatus____V

public void clearAssertionStatus____V(MJIEnv env,
                             int objRef)