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

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

Revision: 697
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=697&view=rev
Author:   pcmehlitz
Date:     2007-12-11 11:37:07 -0800 (Tue, 11 Dec 2007)

Log Message:
-----------
* Tihomir's patch for long/double/short/byte/char annotation element types

* first stab at the SequenceAnalyzer, which is supposed to become an XMI exporter for UML sequence diagrams, produced from
running annotated Java programs. Still needs a long way to go though. It finally is (user) Trace<E> client. Actually, it even maintains two traces, but only one of them is a conceptual one (sequenceOps), the other one just abuses Trace to implement backtracking of the sequence context 

Modified Paths:
--------------
    trunk/env/jpf/java/lang/System.java
    trunk/env/jpf/java/lang/Thread.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_System.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_sun_misc_Unsafe.java
    trunk/src/gov/nasa/jpf/jvm/AnnotationInfo.java
    trunk/src/gov/nasa/jpf/jvm/ClassInfo.java
    trunk/src/gov/nasa/jpf/jvm/MJIEnv.java
    trunk/src/gov/nasa/jpf/jvm/MethodInfo.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/CHECKCAST.java
    trunk/src/gov/nasa/jpf/util/Trace.java

Added Paths:
-----------
    trunk/app/gov/nasa/jpf/NonNull.java
    trunk/app/gov/nasa/jpf/Sequence.java
    trunk/app/gov/nasa/jpf/SequenceEvent.java
    trunk/app/gov/nasa/jpf/SequenceObject.java
    trunk/src/gov/nasa/jpf/tools/SequenceAnalyzer.java
    trunk/test/gov/nasa/jpf/mc/TestAnnotation.java
    trunk/test/gov/nasa/jpf/mc/TestAnnotationJPF.java
    trunk/test/gov/nasa/jpf/test/TestSequence.java

Removed Paths:
-------------
    trunk/src/gov/nasa/jpf/test/Operator.java


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