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

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

Revision: 1751
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1751&view=rev
Author:   frankrimlinger
Date:     2009-07-11 19:32:22 +0000 (Sat, 11 Jul 2009)

Log Message:
-----------
Added more String method native abstractions.  This effort moving along nicely now, but don't forget to punch in arroybounds hypotheses for methods that need them.

Modified Paths:
--------------
    branches/mango/Mango/META-INF/Mango.product
    branches/mango/Mango/Mango/src/mango/worker/Worker.java
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
    branches/mango/Mango/mangoUserHome/system/System/mango/cheat_sheet.txt
    branches/mango/Mango/plugin.xml

Added Paths:
-----------
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/string/EndsWith.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/string/IndexOf.java
    branches/mango/Mango/mangoUserHome/frank/rules/concatParam.zip
    branches/mango/Mango/mangoUserHome/frank/rules/parameters.zip
    branches/mango/Mango/mangoUserHome/frank/rules/substring param.zip
    branches/mango/Mango/mangoUserHome/frank/rules/this is defined standing.zip
    branches/mango/Mango/mangoUserHome/frank/rules/x is defined.zip
    branches/mango/Mango/mangoUserHome/frank/rules/x parameters.zip

Removed Paths:
-------------
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/string/IndexOfChar.java


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