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

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

Revision: 1743
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1743&view=rev
Author:   frankrimlinger
Date:     2009-07-10 04:35:17 +0000 (Fri, 10 Jul 2009)

Log Message:
-----------
Added stability and composition rules for sting utility rulekeys.  Fixed another virtual invocation bug.  Stubbed out most of the String_MangoFormal methods, about twenty of them require native abstraction.  The new stubs just throw IllegalStateException(), so pay-as-you-go is safer now.  Wrote native abstractions for <init>(C) and init([C).  

Start with <init>([CII).  Use utitility rulekey substring.

CAVEAT EMPTOR: Don't get lulled into thinking <init> knows the type of this.  Only newly minted addresses created by the new family know the type.  Formal peer builders do this, not you.  You really only specify type when punching in a final object by hand, like a String literal.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/core/gui/window/CoreRuleBaseWindowFactory.java
    branches/mango/Mango/Mango/src/mango/worker/WorkerControl.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/Invocation.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKEVIRTUAL.java
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
    branches/mango/Mango/mangoUserHome/system/System/java/lang/String_MangoFormal.java

Added Paths:
-----------
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Exception_MangoFormal/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Exception_MangoFormal/<init>()V/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Exception_MangoFormal/<init>()V/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/IllegalStateException_MangoFormal/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/IllegalStateException_MangoFormal/<init>()V/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/IllegalStateException_MangoFormal/<init>()V/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/NullPointerException_MangoFormal/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/NullPointerException_MangoFormal/<init>()V/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/NullPointerException_MangoFormal/<init>()V/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/RuntimeException_MangoFormal/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/RuntimeException_MangoFormal/<init>()V/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/RuntimeException_MangoFormal/<init>()V/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/<init>()V/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/<init>()V/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/<init>(C)V/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/<init>(C)V/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/<init>(Ljava.lang.StringBuffer_MangoFormal;)V/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/<init>(Ljava.lang.StringBuffer_MangoFormal;)V/'buffer' equals null reference.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/<init>(Ljava.lang.StringBuffer_MangoFormal;)V/'buffer' is defined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/<init>(Ljava.lang.String_MangoFormal;)V/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/<init>(Ljava.lang.String_MangoFormal;)V/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/<init>([C)V/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/<init>([C)V/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/<init>([CII)V/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/<init>([CII)V/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/charAt(I)C/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/charAt(I)C/'buffer' is defined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/charAt(I)C/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/compareTo(Ljava.lang.String_MangoFormal;)I/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/compareTo(Ljava.lang.String_MangoFormal;)I/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/compareToIgnoreCase(Ljava.lang.String_MangoFormal;)I/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/compareToIgnoreCase(Ljava.lang.String_MangoFormal;)I/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/concat(Ljava.lang.String_MangoFormal;)Ljava.lang.String_MangoFormal;/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/concat(Ljava.lang.String_MangoFormal;)Ljava.lang.String_MangoFormal;/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/endsWith(Ljava.lang.String_MangoFormal;)Z/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/endsWith(Ljava.lang.String_MangoFormal;)Z/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/indexOf(I)I/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/indexOf(I)I/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/length()I/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/length()I/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/startsWith(Ljava.lang.String_MangoFormal;)Z/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/startsWith(Ljava.lang.String_MangoFormal;)Z/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/subSequence(II)Ljava.lang.CharSequence_MangoFormal;/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/subSequence(II)Ljava.lang.CharSequence_MangoFormal;/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/substring(I)Ljava.lang.String_MangoFormal;/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/substring(I)Ljava.lang.String_MangoFormal;/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/substring(II)Ljava.lang.String_MangoFormal;/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/substring(II)Ljava.lang.String_MangoFormal;/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/toCharArray()[C/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/toCharArray()[C/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/toString_MangoFormal()Ljava.lang.String_MangoFormal;/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/toString_MangoFormal()Ljava.lang.String_MangoFormal;/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/toUpperCase()Ljava.lang.String_MangoFormal;/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/toUpperCase()Ljava.lang.String_MangoFormal;/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/trim()Ljava.lang.String_MangoFormal;/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/trim()Ljava.lang.String_MangoFormal;/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/valueOf(C)Ljava.lang.String_MangoFormal;/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/valueOf(C)Ljava.lang.String_MangoFormal;/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/valueOf(D)Ljava.lang.String_MangoFormal;/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/valueOf(D)Ljava.lang.String_MangoFormal;/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/valueOf(F)Ljava.lang.String_MangoFormal;/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/valueOf(F)Ljava.lang.String_MangoFormal;/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/valueOf(I)Ljava.lang.String_MangoFormal;/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/valueOf(I)Ljava.lang.String_MangoFormal;/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/valueOf(J)Ljava.lang.String_MangoFormal;/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/valueOf(J)Ljava.lang.String_MangoFormal;/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/valueOf(Z)Ljava.lang.String_MangoFormal;/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/valueOf(Z)Ljava.lang.String_MangoFormal;/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Throwable_MangoFormal/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Throwable_MangoFormal/<init>()V/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Throwable_MangoFormal/<init>()V/case.zip
    branches/mango/Mango/mangoUserHome/system/System/java/lang/IllegalStateException_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/Worksheet for String._MangoFormal<init>(C)V.txt

Removed Paths:
-------------
    branches/mango/Mango/mangoUserHome/frank/rules/param.zip


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