[Javapathfinder-svn] SF.net SVN: javapathfinder:[1906] branches/mango/Mango/Mango/src/mango

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

Revision: 1906
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1906&view=rev
Author:   frankrimlinger
Date:     2009-09-14 20:55:20 +0000 (Mon, 14 Sep 2009)

Log Message:
-----------
Target selection is now wired up to the target preference and fully implemented and tested against MutualRecursion, ecap2, nested_blowup, and ItsAWrap.  The target selection algorithm will always produce a component choice vector for JPFrewriter, unless there truly is nothing at all to specify.  In the event a component choice vector is produced, SelectTaretMsg will kick off JPFrewriter. 

Proceed with 1899, except that the "ComponentSurvey" is no longer necessary.  The vector of components for the ComponentChoiceGenerator, in order of increasing independence, is already created. just call BackupAlg.getInstance().getComponentChoiceVector and walk it backwards.

TODO: write component choice generator and path choice generator.  This is enough to get started with ItsAWrap.clear target.  Work through all the issues involved with semi-automation of the loop specification.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/graph/msg/ForwardFlowRequestMsg.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/BackupAlg.java
    branches/mango/Mango/Mango/src/mango/worker/msg/SelectTargetMsg.java


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