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

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

Revision: 993
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=993&view=rev
Author:   pcmehlitz
Date:     2008-08-30 02:09:13 +0000 (Sat, 30 Aug 2008)

Log Message:
-----------
* fixed build.xml compile-extension-examples misspeller - thanks Darko

* removed some more erased ChoiceGenerator type refs, which unveiled two (trivial) symbc/DCMPx compiler errors

* added Annotation.annotationType() to the AnnotationProxyBase. This again showed a missing annotation class
object. Ad hoc fixed the init in ClassInfo.getAnnotationProxy(), but this is a general problem - maybe we
should just set the class objects for non-clinit classes from their ctors

* added Class.getConstructors()

* modified JPF_java_lang_System to use the ClassInfo.buildPath for setting the java.class.path (if it's
not overridden with vm.system.properties), otherwise we get inconsistent if anybody ever uses it

* started on the budget control via java.lang.management, but it's not functional yet

Modified Paths:
--------------
    trunk/build.xml
    trunk/env/jpf/gov/nasa/jpf/AnnotationProxyBase.java
    trunk/env/jpf/java/lang/Class.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_gov_nasa_jpf_AnnotationProxyBase.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_Class.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_System.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/DCMPG.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/DCMPL.java
    trunk/src/gov/nasa/jpf/jvm/ClassInfo.java
    trunk/src/gov/nasa/jpf/jvm/SystemState.java
    trunk/src/gov/nasa/jpf/jvm/ThreadInfo.java
    trunk/test/gov/nasa/jpf/jvm/TestAttrs.java


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