[Javapathfinder-svn] SF.net SVN: javapathfinder:[1857] trunk/extensions/rtembed

[<ppa...@us...>]

Revision: 1857
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1857&view=rev
Author:   pparizek
Date:     2009-08-26 12:43:23 +0000 (Wed, 26 Aug 2009)

Log Message:
-----------
support for static initializers and correct propagation of exceptions over boundaries of memory scopes

Modified Paths:
--------------
    trunk/extensions/rtembed/env/jpf/javax/realtime/Clock.java
    trunk/extensions/rtembed/env/jpf/javax/realtime/LTMemory.java
    trunk/extensions/rtembed/env/jpf/javax/realtime/MemoryArea.java
    trunk/extensions/rtembed/env/jpf/javax/realtime/ScopedMemory.java
    trunk/extensions/rtembed/env/jvm/gov/nasa/jpf/rtembed/JPF_javax_realtime_MemoryArea.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/memory/MemoryAreasChecker.java

Added Paths:
-----------
    trunk/extensions/rtembed/env/jpf/javax/realtime/ThrowBoundaryError.java
    trunk/extensions/rtembed/test/gov/nasa/jpf/rtembed/memory/ExceptionPropagation1.java
    trunk/extensions/rtembed/test/gov/nasa/jpf/rtembed/memory/ExceptionPropagation2.java
    trunk/extensions/rtembed/test/gov/nasa/jpf/rtembed/memory/MemoryAreaArgsError.java


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