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

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

Revision: 1523
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1523&view=rev
Author:   frankrimlinger
Date:     2009-05-15 06:15:50 +0000 (Fri, 15 May 2009)

Log Message:
-----------
Completed migration of ArithmeticOp bytecodes to the bridge.  Rough-out of branching for nominal and exceptional cases.  Applied regular expressions to all worker bytecodes to prepare for migration.

Modified Paths:
--------------
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/Branching.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/Getandput.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/Invoking.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/Loading.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/LogicAndIntegerInc.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/Newandmisc.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/PopDupSwap.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/Pushing.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/Return.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/Storing.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/TypeCasting.java
    branches/mango/MangoJPF/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashOpcodeSyms.java
    branches/mango/MangoJPF/bytecode cheat.txt
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ExceptionHandlerUtil.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInstructionFactory.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/AALOAD.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/DADD.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/DDIV.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/DMUL.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/DNEG.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/DREM.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/DSUB.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/FADD.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/FDIV.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/FMUL.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/FNEG.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/FREM.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/FSUB.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IADD.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IDIV.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IMUL.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INEG.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IREM.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ISUB.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LADD.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LDIV.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LMUL.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LNEG.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LREM.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LSUB.java

Added Paths:
-----------
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/BranchUtil.java

Removed Paths:
-------------
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/ArithmeticOp.java


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