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

SourceForge Headquarters 225 Broadway Suite 1600 San Diego, CA 92101 +1 (858) 422-6466

Revision: 1701
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1701&view=rev
Author:   frankrimlinger
Date:     2009-06-30 04:21:40 +0000 (Tue, 30 Jun 2009)

Log Message:
-----------
Fixed various code survey bugs, so that only formal peer methods and methods which have no formal peer are added to the survey.  The formal java code is still not being modeled, so this bug is still outstanding.  Need to investigate the target launcher to see what is going wrong.

Modified Paths:
--------------
    branches/mango/MangoJPF/Mango/src/mango/worker/Mango.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ClassUtil.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/CodeSurvey.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MethodUtil.java

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