[Javapathfinder-devel] SF.net SVN: javapathfinder: [651] trunk

[<pcm...@us...>]

Revision: 651
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=651&view=rev
Author:   pcmehlitz
Date:     2007-11-15 14:52:57 -0800 (Thu, 15 Nov 2007)

Log Message:
-----------
* streamlined the ClassInfo.isInstanceOf implementation - the "instanceOf(String)" and "isInstanceOf(ClassInfo)" actually
behaved differently (the latter one not checking for interface types). renamed it so that it consistently uses
isInstanceOf, the string version being the real implementation (so that we can test w/o forcing to load classfiles)

* changes CHECKCAST accordingly (the old normalized type name blues)

* added a few more tests to TestJavaLangClass and changed TestCast accordingly

now it passes the UI examples again (which were producing ArrayStoreExceptions because of interface type arrays, using isInstaceOf(ci) for element type compatibility checks)

Modified Paths:
--------------
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_Class.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_Object.java
    trunk/extensions/ui/env/jvm/gov/nasa/jpf/jvm/JPF_java_awt_EventDispatchThread.java
    trunk/extensions/ui/env/jvm/gov/nasa/jpf/jvm/JPF_java_awt_Window.java
    trunk/src/gov/nasa/jpf/jvm/ClassInfo.java
    trunk/src/gov/nasa/jpf/jvm/ElementInfo.java
    trunk/src/gov/nasa/jpf/jvm/JPF_gov_nasa_jpf_jvm_Verify.java
    trunk/src/gov/nasa/jpf/jvm/MJIEnv.java
    trunk/src/gov/nasa/jpf/jvm/ThreadInfo.java
    trunk/src/gov/nasa/jpf/jvm/Types.java
    trunk/src/gov/nasa/jpf/jvm/abstraction/abstractor/FilterBasedAbstractorConfiguration.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/CHECKCAST.java
    trunk/src/gov/nasa/jpf/jvm/choice/TypedObjectChoice.java
    trunk/test/gov/nasa/jpf/jvm/TestCast.java
    trunk/test/gov/nasa/jpf/jvm/TestCastJPF.java
    trunk/test/gov/nasa/jpf/jvm/TestJavaLangClass.java
    trunk/test/gov/nasa/jpf/jvm/TestJavaLangClassJPF.java


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