[Javapathfinder-svn] SF.net SVN: javapathfinder:[1700] branches/mango/MangoJPF

[<fra...@us...>]

Revision: 1700
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1700&view=rev
Author:   frankrimlinger
Date:     2009-06-29 18:48:51 +0000 (Mon, 29 Jun 2009)

Log Message:
-----------
Fixed various bugs. Scanner now survives both rkrug and system mangoUserHome code.  However, in the system, none of the java package XXX_MangoFormal classes are modeled.  Don't know why yet, but surely has something to do with the formal peer method stuff.  The rest of the code appears to be modeled.

Modified Paths:
--------------
    branches/mango/MangoJPF/Mango/src/mango/worker/Mango.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/BackupAlg.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/InvocationUtil.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInvokeInstruction.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MethodUtil.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ATHROW.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKEVIRTUAL.java


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