本文整理匯總了Java中gov.nasa.jpf.vm.ClassPath類的典型用法代碼示例。如果您正苦於以下問題：Java ClassPath類的具體用法？Java ClassPath怎麽用？Java ClassPath使用的例子？那麽, 這裏精選的類代碼示例或許可以為您提供幫助。
ClassPath類屬於gov.nasa.jpf.vm包，在下文中一共展示了ClassPath類的1個代碼示例，這些例子默認根據受歡迎程度排序。您可以為喜歡或者感覺有用的代碼點讚，您的評價將有助於係統推薦出更棒的Java代碼示例。
示例1: ClassLoaderInfo
import gov.nasa.jpf.vm.ClassPath; //導入依賴的package包/類
@MJI
public void $init__Ljava_lang_ClassLoader_2__V (MJIEnv env, int objRef, int parentRef) {
Heap heap = env.getHeap();
//--- Retrieve the parent ClassLoaderInfo
ClassLoaderInfo parent = env.getClassLoaderInfo(parentRef);
//--- create the internal representation of the classloader
ClassLoaderInfo cl = new ClassLoaderInfo(env.getVM(), objRef, new ClassPath(), parent);
//--- initialize the java.lang.ClassLoader object
ElementInfo ei = heap.getModifiable(objRef);
ei.setIntField( ClassLoaderInfo.ID_FIELD, cl.getId());
// we should use the following block if we ever decide to make systemClassLoader
// unavailable if(parent.isSystemClassLoader) {
// // we don't want to make the systemCLassLoader available through SUT
// parentRef = MJIEnv.NULL;
// }
ei.setReferenceField("parent", parentRef);
}