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

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

Revision: 1788
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1788&view=rev
Author:   frankrimlinger
Date:     2009-07-29 07:29:29 +0000 (Wed, 29 Jul 2009)

Log Message:
-----------


Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/core/sym/RuleKey.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/GetInterfaceRunTimeMethod.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/GetVirtualRunTimeMethod.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/clinit/CallThisClinit.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/mango_math/ParseByteReturnsValue.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/mango_math/ParseByteThrowsNumberFormatException.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/mango_math/ParseIntReturnsValue.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/mango_math/ParseIntThrowsNumberFormatException.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/mango_math/ParseShortReturnsValue.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/mango_math/ParseShortThrowsNumberFormatException.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/sorting/SRTP.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/string/StringAppend.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/string/Substring.java
    branches/mango/Mango/Mango/src/mango/worker/Worker.java
    branches/mango/Mango/Mango/src/mango/worker/engine/events/RewriteEvent.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/Hash.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/Hitem.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashEngine.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/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashTyping.java
    branches/mango/Mango/Mango/src/mango/worker/engine/sym/ClassNameSym.java
    branches/mango/Mango/Mango/src/mango/worker/engine/sym/GenericMethodNameSym.java
    branches/mango/Mango/Mango/src/mango/worker/engine/sym/InstructionNameSym.java
    branches/mango/Mango/Mango/src/mango/worker/engine/sym/InvocationNameSym.java
    branches/mango/Mango/Mango/src/mango/worker/engine/sym/Marker.java
    branches/mango/Mango/Mango/src/mango/worker/engine/sym/Other.java
    branches/mango/Mango/Mango/src/mango/worker/engine/sym/Plug.java
    branches/mango/Mango/Mango/src/mango/worker/engine/sym/StringSym.java
    branches/mango/Mango/Mango/src/mango/worker/engine/sym/Sym.java
    branches/mango/Mango/Mango/src/mango/worker/utilities/Util.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/model/HeapPointer.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/model/HitemUtil.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/FormalTypes.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/Invocation.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/ANEWARRAY.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/CHECKCAST.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/GETFIELD.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/GETSTATIC.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/INSTANCEOF.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/LDC.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/LDC_W.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/MULTIANEWARRAY.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/NEW.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/PUTSTATIC.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/sym/InstructionSym.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/sym/InvocationSym.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/sym/JclassSym.java

Added Paths:
-----------
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/Add.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/Divide.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/Floor.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/Increment.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/Multiply.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/Negate.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/Power.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/Subtract.java
    branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_binder.java
    branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_notObject.java
    branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_notWithDiveCommuter.java
    branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_reveal.java
    branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_revealAll.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/StringReq.java
    branches/mango/Mango/Mango/src/mango/worker/engine/sym/ClinitWasCalledSym.java
    branches/mango/Mango/Mango/src/mango/worker/engine/sym/EmptyString.java
    branches/mango/Mango/Mango/src/mango/worker/engine/sym/ImmutableSym.java

Removed Paths:
-------------
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/DIVI.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/EXPT.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/FLOR.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/INCR.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/MINU.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/NGat.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/PLUS.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/TIME.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/engine/StringReq.java
    branches/mango/Mango/Mango/src/mango/worker/engine/sym/Acl2paramSym.java


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