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

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

Revision: 1526
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1526&view=rev
Author:   frankrimlinger
Date:     2009-05-16 23:54:14 +0000 (Sat, 16 May 2009)

Log Message:
-----------
port of phase1 in progress.  The old java model symbols have been reinstated.  It is too early to try and phase them out.  Instead, they must be ported so that they host the underlying jpf classes.

Modified Paths:
--------------
    branches/mango/MangoJPF/Mango/src/mango/core/CoreRule.java
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/coreRewriter/classModel/BuildAbstractUcon.java
    branches/mango/MangoJPF/Mango/src/mango/worker/Worker.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/Invocation.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/backupAlg/BackupAlg.java

Added Paths:
-----------
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/sym/
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/sym/ClassSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/sym/InstructionSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/sym/InvocationSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/sym/JclassSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/sym/JfieldSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/sym/JmethodSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/sym/JnonclassSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/sym/ReturnPointLinkSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/sym/notes on access.rtf
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/sym/trick heap stuff.rtf
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/AbstractUconMethod.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/BadMethod.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/FakeMethod.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/OSmethod.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecodeSynthetic/AbstractUconPlace.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecodeSynthetic/BadPlace.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecodeSynthetic/OSplace.java


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