[Javapathfinder-svn] SF.net SVN: javapathfinder:[1886] branches/mango/Mango

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

Revision: 1886
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1886&view=rev
Author:   frankrimlinger
Date:     2009-09-02 19:13:57 +0000 (Wed, 02 Sep 2009)

Log Message:
-----------
Wired up the JPFrewriter according to 1884.  It remains to implement the functionality of RewriteChoiceGenerator, RewriteListener, and the getEntryPoint() method for classes LoopDefinitionManager and MethodDefinitionManager.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/module/definition/loop/LoopDefinitionManager.java
    branches/mango/Mango/Mango/src/mango/module/definition/loop/msg/LoopDefinitionRequestMsg.java
    branches/mango/Mango/Mango/src/mango/module/definition/method/MethodDefinitionManager.java
    branches/mango/Mango/Mango/src/mango/module/definition/method/msg/MethodDefinitionRequestMsg.java
    branches/mango/Mango/Mango/src/mango/module/definition/model/DefinitionManager.java
    branches/mango/Mango/ThreadSupport/src/threadModel/Command.java
    branches/mango/Mango/javapathfinder-mango-bridge/gov/nasa/jpf/JPFrewriter.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/Launcher.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/MangoTargetLauncher.java
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip

Added Paths:
-----------
    branches/mango/Mango/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/JPF_mango_rewriter_RewriterMJI.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/JPFrewriterCmd.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/RewriteChoiceGenerator.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/RewriteListener.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/RewriterMJI.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/synthetic/InvokeRewriter.java
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/loops/-baseline.itsAWrap.clear([I)V#8- dload_i_Code_01/Final case. op0 is less than 10.zip

Removed Paths:
-------------
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/<init>()V/
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/Array length of x is greater than or equal to 10.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/loops/-baseline.itsAWrap.clear([I)V#8- dload_i_Code_01/a.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/loops/-baseline.itsAWrap.clear([I)V#8- dload_i_Code_01/op0 is less than 10.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/main([I)Z/


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