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

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

Revision: 1624
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1624&view=rev
Author:   frankrimlinger
Date:     2009-06-13 22:15:54 +0000 (Sat, 13 Jun 2009)

Log Message:
-----------
Fixed two bugs:  The "fake methods" bad method, abstraction ucon method, and OSmethod were not being modelled, and the routine hasMangoModel was returning false when passed these methods.  This set in motion a sequence of events with the unhappy result that clear() never gets invoked by main().  The cause was again just the result of code that got shifted around during the port to MangoJPF.  

With this fix, observed the correct stratification and component graph for itsAWrap.main.

Unfortunately, itsAWrap.main is still exhibiting the original problem, that is x[5] and x[6] are not functions of loop output heap.  However, the loop output heap does appear as the itsAWrap.main output heap.

So, something else is going on here.

Modified Paths:
--------------
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/BackupAlg.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/edge/Edge.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/Invocation.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MethodUtil.java
    branches/mango/MangoJPF/mangoUserHome/frank/sessions/a.zip


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