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

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

Revision: 1866
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1866&view=rev
Author:   frankrimlinger
Date:     2009-08-29 18:48:30 +0000 (Sat, 29 Aug 2009)

Log Message:
-----------
More _MangoFormal cleanup.
Defeated the generation of formal signatures by altering MangoMethodPeer.toFormalSignature().  Also changed methodName2FormalMethodName() so that toString() is no longer altered.  Tweaked a few methods in the mango system package that DO require _MangoFormal on some signatures.

Cleared out obsolete sessions.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/worker/engine/rule/TemplateRule.java
    branches/mango/Mango/Mango/src/mango/worker/engine/rule/Tier.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/graphic/MethodSym.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/MangoMethodPeer.java
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/Array length of x is greater than or equal to 10.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/loops/-baseline.itsAWrap.clear([I)V#8- dload_i_Code_01/op0 is less than 10.zip

Added Paths:
-----------
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/<init>()V/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/main([I)Z/Final case. x[5] equals x[6].zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String;)Ljava.lang.Class;/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String;)Ljava.lang.Class;/Final case. className is defined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String;)Ljava.lang.Class;/className is undefined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/getName()Ljava.lang.String;/

Removed Paths:
-------------
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.xml
    branches/mango/Mango/mangoUserHome/frank/sessions/Casting/
    branches/mango/Mango/mangoUserHome/frank/sessions/I/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String_MangoFormal;)Ljava.lang.Class_MangoFormal;/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/getComponentType()Ljava.lang.Class_MangoFormal;/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/getName()Ljava.lang.String_MangoFormal;/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/isAssignableFrom(Ljava.lang.Class_MangoFormal;)Z/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Object_MangoFormal/getClass_MangoFormal()Ljava.lang.Class_MangoFormal;/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Object_MangoFormal/getClass_MangoFormal([Ljava.lang.Object_MangoFormal;)Ljava.lang.Class_MangoFormal;/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/String_MangoFormal/
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/


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