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

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

Revision: 1848
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1848&view=rev
Author:   frankrimlinger
Date:     2009-08-21 21:29:49 +0000 (Fri, 21 Aug 2009)

Log Message:
-----------
Eliminated assignmentCompatible utility that was used by AASTORE, because it is exactly the same as checkcast.  Rewrote AASTORE accordingly.

All coreRewriter.classModel actions are now JclassSym free.  

TODO: eliminate JclassSym altogether.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/IsPrimitiveClass.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashMangoModel.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashRewriter.java
    branches/mango/Mango/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/ReturnInstruction.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/AALOAD.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/AASTORE.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/ANEWARRAY.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/ARRAYLENGTH.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/ATHROWCREATOR.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/BALOAD.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/BASTORE.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/CALOAD.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/CASTORE.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/DALOAD.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/DASTORE.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/FALOAD.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/FASTORE.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/GETFIELD.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/IALOAD.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/IASTORE.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/IDIV.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/IFEQ.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/IFGE.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/IFGT.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/IFLE.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/IFLT.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/IFNE.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/IFNONNULL.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/IFNULL.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/IF_ACMPEQ.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/IF_ACMPNE.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/IF_ICMPEQ.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/IF_ICMPGE.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/IF_ICMPGT.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/IF_ICMPLE.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/IF_ICMPLT.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/IF_ICMPNE.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/IREM.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/LALOAD.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/LASTORE.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/LDIV.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/LOOKUPSWITCH.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/LREM.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/MULTIANEWARRAY.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/NEWARRAY.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/PUTFIELD.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/RET.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/SALOAD.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/SASTORE.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/TABLESWITCH.java
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip

Removed Paths:
-------------
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/IsAssignmentCompatible.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/IsInterface.java


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