[Javapathfinder-svn] SF.net SVN: javapathfinder:[991] trunk

SourceForge Headquarters 225 Broadway Suite 1600 San Diego, CA 92101 +1 (858) 422-6466

Revision: 991
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=991&view=rev
Author:   pcmehlitz
Date:     2008-08-29 00:22:02 +0000 (Fri, 29 Aug 2008)

Log Message:
-----------
* bug in class initialization - we also need static class init of interface ClassInfos. This sucks, since it is tree recursive. It showed up with interface class objects being null 

* with that, fixed Class.getMethods() native peer - for abstract classes, we have to add all unimplemented interface methods, i.e. we have to get all interface methods, and then check if we can map to any of the methods found in the class hierarchy. Also removed the isStatic() filter (which was brain failure)

Modified Paths:
--------------
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_Class.java
    trunk/src/gov/nasa/jpf/jvm/ClassInfo.java
    trunk/test/gov/nasa/jpf/jvm/TestJavaLangClass.java

This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.