gov.nasa.jpf.vm

Class JPF_java_net_URLClassLoader

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_java_lang_ClassLoader

gov.nasa.jpf.vm.JPF_java_net_URLClassLoader

All Implemented Interfaces:

Cloneable

public class JPF_java_net_URLClassLoader
extends JPF_java_lang_ClassLoader

Author:

Nastaran Shafiei Native peer for java.net.URLClassLoader

Constructor Summary

Constructors

Constructor and Description
JPF_java_net_URLClassLoader()

Method Summary

Methods

Modifier and Type	Method and Description
void	addURL0__Ljava_lang_String_2__V(MJIEnv env, int objRef, int urlRef)
int	findClass__Ljava_lang_String_2__Ljava_lang_Class_2(MJIEnv env, int objRef, int nameRef)
int	findResource0__Ljava_lang_String_2__Ljava_lang_String_2(MJIEnv env, int objRef, int resRef)
int	findResources0__Ljava_lang_String_2___3Ljava_lang_String_2(MJIEnv env, int objRef, int resRef)

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

$init____V, $init__Ljava_lang_ClassLoader_2__V, check, checkData, checkForIllegalName, checkForProhibitedPkg, clearAssertionStatus____V, createPackageObject, defineClass0__Ljava_lang_String_2_3BII__Ljava_lang_Class_2, findLoadedClass__Ljava_lang_String_2__Ljava_lang_Class_2, findSystemClass__Ljava_lang_String_2__Ljava_lang_Class_2, getPackage__Ljava_lang_String_2__Ljava_lang_Package_2, getPackages_____3Ljava_lang_Package_2, getResource0__Ljava_lang_String_2__Ljava_lang_String_2, getResources0__Ljava_lang_String_2___3Ljava_lang_String_2, getSystemClassLoader____Ljava_lang_ClassLoader_2, setClassAssertionStatus__Ljava_lang_String_2Z__V, setDefaultAssertionStatus__Z__V, setPackageAssertionStatus__Ljava_lang_String_2Z__V

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_net_URLClassLoader

public JPF_java_net_URLClassLoader()

Method Detail

addURL0__Ljava_lang_String_2__V

public void addURL0__Ljava_lang_String_2__V(MJIEnv env,
                                   int objRef,
                                   int urlRef)
                                     throws MalformedURLException

Throws:

MalformedURLException

findClass__Ljava_lang_String_2__Ljava_lang_Class_2

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

findResource0__Ljava_lang_String_2__Ljava_lang_String_2

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

findResources0__Ljava_lang_String_2___3Ljava_lang_String_2

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