Fixing the ClassLoader.defineClass() method issue that could not find the necessary...
authorrtrimana <rtrimana@uci.edu>
Thu, 27 Jun 2019 19:42:35 +0000 (12:42 -0700)
committerrtrimana <rtrimana@uci.edu>
Thu, 27 Jun 2019 19:42:35 +0000 (12:42 -0700)
commite6b512b8180176104b22dfbd2eb23aefab7b49d6
tree7916d37ae5c8b7dd4999af01a0094065f4ecf8e6
parente9116bac18b5218e6fbe81101de1575ddb94a8f0
Fixing the ClassLoader.defineClass() method issue that could not find the necessary class because JPF did not do recursive look-up for ClassLoaderInfo.loadClass().
examples/ClassDemo.java
examples/SunClassLoader.java [new file with mode: 0644]
src/main/gov/nasa/jpf/vm/ClassLoaderInfo.java
src/peers/gov/nasa/jpf/vm/JPF_java_lang_ClassLoader.java