[Javapathfinder-svn] SF.net SVN: javapathfinder:[1877] branches/mango/MangoBaseline

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

Revision: 1877
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1877&view=rev
Author:   frankrimlinger
Date:     2009-08-31 19:25:07 +0000 (Mon, 31 Aug 2009)

Log Message:
-----------
rev 1869 for MangoBaseline.  Should have got these the first time around.

Revision Links:
--------------
    http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1869&view=rev

Modified Paths:
--------------
    branches/mango/MangoBaseline/Mango/src/mango/ruleAction/coreRewriter/classModel/Checkcast.java
    branches/mango/MangoBaseline/Mango/src/mango/ruleAction/coreRewriter/classModel/GetInterfaceRunTimeException.java
    branches/mango/MangoBaseline/Mango/src/mango/ruleAction/coreRewriter/classModel/GetInterfaceRunTimeMethod.java
    branches/mango/MangoBaseline/Mango/src/mango/ruleAction/coreRewriter/classModel/GetVirtualRunTimeException.java
    branches/mango/MangoBaseline/Mango/src/mango/ruleAction/coreRewriter/classModel/GetVirtualRunTimeMethod.java
    branches/mango/MangoBaseline/Mango/src/mango/ruleAction/coreRewriter/comparison/Equals.java
    branches/mango/MangoBaseline/Mango/src/mango/ruleAction/translate/automatic/MethodCallAssumption.java
    branches/mango/MangoBaseline/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashStable.java
    branches/mango/MangoBaseline/Mango/src/mango/worker/engine/rule/AssumeEquivRule.java
    branches/mango/MangoBaseline/Mango/src/mango/worker/engine/rule/TemplateRule.java
    branches/mango/MangoBaseline/Mango/src/mango/worker/engine/rule/Tier.java
    branches/mango/MangoBaseline/Mango/src/mango/worker/mangoModel/sym/graphic/MethodSym.java
    branches/mango/MangoBaseline/Mango/src/mango/worker/msg/NewWorkerMsg.java
    branches/mango/MangoBaseline/Mango/src/mango/worker/workFlow/model/WorkFlowUtil.java
    branches/mango/MangoBaseline/Mango/src/mango/worker/workFlow/translate/agent/AutoAssumeEquivalenceAgent.java
    branches/mango/MangoBaseline/Mango/src/mango/worker/workFlow/translate/agent/TranslateModuleAgent.java
    branches/mango/MangoBaseline/javapathfinder-mango-bridge/mango/scanner/MangoMethodPeer.java

Added Paths:
-----------
    branches/mango/MangoBaseline/Mango/src/mango/ruleAction/translate/automatic/MethodCallAssumptionClassObject.java
    branches/mango/MangoBaseline/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_classObject.java

Removed Paths:
-------------
    branches/mango/MangoBaseline/baselineUserHome/frank/
    branches/mango/MangoBaseline/baselineUserHome/marc/
    branches/mango/MangoBaseline/baselineUserHome/rkrug/
    branches/mango/MangoBaseline/baselineUserHome/system/


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