[Javapathfinder-svn] SF.net SVN: javapathfinder:[1246] branches/mango/extensions/mango

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

Revision: 1246
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1246&view=rev
Author:   frankrimlinger
Date:     2009-03-03 05:16:14 +0000 (Tue, 03 Mar 2009)

Log Message:
-----------
fixed some bugs.  Next: in itsAWrap.main(), instantiation of hypothesis for loop() is incorrect.

Modified Paths:
--------------
    branches/mango/extensions/mango/Mango/src/mango/enterprise/sym/LocatableArraySym.java
    branches/mango/extensions/mango/Mango/src/mango/module/instance/method/model/MethodInstanceManager.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/Method.java
    branches/mango/extensions/mango/Mango/src/mango/worker/utilities/Util.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleInvocationSym.java
    branches/mango/extensions/mango/local/franklocal/sessions/a.zip

Added Paths:
-----------
    branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/main([I)Z/


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