本文整理汇总了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);
}