Uses of Class
gov.nasa.jpf.vm.ClassFileMatch

Packages that use ClassFileMatch

Package	Description
gov.nasa.jpf.vm

Uses of ClassFileMatch in gov.nasa.jpf.vm

Methods in gov.nasa.jpf.vm that return ClassFileMatch

Modifier and Type	Method and Description
ClassFileMatch	ClassPath.findMatch(String clsName)
protected ClassFileMatch	ClassLoaderInfo.getMatch(String typeName)

Methods in gov.nasa.jpf.vm with parameters of type ClassFileMatch

Modifier and Type	Method and Description
protected static String	ClassInfo.computeClassFileUrl(ClassFileMatch match, String typeName, ClassLoaderInfo cl)