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

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

Revision: 1549
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1549&view=rev
Author:   frankrimlinger
Date:     2009-05-24 05:06:46 +0000 (Sun, 24 May 2009)

Log Message:
-----------
All adapter code completed.  All invocation instructions ported to bridge.

Modified Paths:
--------------
    branches/mango/MangoJPF/Mango/src/mango/module/definition/model/DefinitionManager.java
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/coreRewriter/classModel/BuildAbstractUcon.java
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/coreRewriter/classModel/Checkcast.java
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/coreRewriter/classModel/GetInterfaceRunTimeException.java
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/coreRewriter/classModel/GetInterfaceRunTimeMethod.java
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/coreRewriter/classModel/GetVirtualRunTimeException.java
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/coreRewriter/classModel/GetVirtualRunTimeMethod.java
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/coreRewriter/classModel/IsAssignmentCompatible.java
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/coreRewriter/classModel/IsInterface.java
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/coreRewriter/classModel/IsSuperClass.java
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/translate/engine/TranslateValueH.java
    branches/mango/MangoJPF/Mango/src/mango/ruleRequirement/linearArithmetic/ArithmeticLocalVar.java
    branches/mango/MangoJPF/Mango/src/mango/ruleRequirement/symbols/InstructionSymReq.java
    branches/mango/MangoJPF/Mango/src/mango/ruleRequirement/symbols/InvocationSymReq.java
    branches/mango/MangoJPF/Mango/src/mango/ruleRequirement/typing/ArithmeticFieldType.java
    branches/mango/MangoJPF/Mango/src/mango/ruleRequirement/typing/ArithmeticValue.java
    branches/mango/MangoJPF/Mango/src/mango/ruleRequirement/typing/IntegralArrayFieldType.java
    branches/mango/MangoJPF/Mango/src/mango/ruleRequirement/typing/IntegralFieldType.java
    branches/mango/MangoJPF/Mango/src/mango/worker/Worker.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/Linker.java
    branches/mango/MangoJPF/Mango/src/mango/worker/engine/hash/Hitem.java
    branches/mango/MangoJPF/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashCoreParser.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/agent/CheckCast_getValueAgent.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/agent/InstanceOfAgent.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/agent/IsAssignmentCompatibleAgent.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperVertexSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/coreTechniques/model/HeapTracer.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/form/model/FrameModel.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/form/model/HeapModel.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/form/sym/binder/ContextBinderSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/form/sym/binder/executable/FrameSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/msg/WorkerCommand.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ClassUtil.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInstruction.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MethodUtil.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/GETFIELD.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/GETSTATIC.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKECG.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKEINTERFACE.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKESPECIAL.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKESTATIC.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKEVIRTUAL.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/NEW.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/PUTFIELD.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecodeSynthetic/INVOKECLINIT.java

Added Paths:
-----------
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/Invocation.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/Package.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ReturnPointLink.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/sym/
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/sym/ClassSym.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/sym/InstructionSym.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/sym/InvocationSym.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/sym/JclassSym.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/sym/JfieldSym.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/sym/JmethodSym.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/sym/JnonclassSym.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/sym/ReturnPointLinkSym.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/sym/notes on access.rtf
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/sym/trick heap stuff.rtf

Removed Paths:
-------------
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/Invocation.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/Package.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/sym/


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