Package | Description |
---|---|
gov.nasa.jpf.vm |
Modifier and Type | Method and Description |
---|---|
ClassFileMatch |
ClassPath.findMatch(String clsName) |
protected ClassFileMatch |
ClassLoaderInfo.getMatch(String typeName) |
Modifier and Type | Method and Description |
---|---|
protected static String |
ClassInfo.computeClassFileUrl(ClassFileMatch match,
String typeName,
ClassLoaderInfo cl) |