gov.nasa.jpf.classfile.ClassPath extending some of its functionalities.
@author Carlos Uribe
ClassPath is an interface implemented by objects representing a class search path. ClassPool uses those objects for reading class files. The users can define a class implementing this interface so that a class file is obtained from a non-standard source. @see ClassPool#insertClassPath(ClassPath) @see ClassPool#appendClassPath(ClassPath) @see ClassPool#removeClassPath(ClassPath)
jbi:classpath complex type.
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |