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

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

Revision: 1838
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1838&view=rev
Author:   frankrimlinger
Date:     2009-08-18 19:50:26 +0000 (Tue, 18 Aug 2009)

Log Message:
-----------
Fixed weirdo bug in getMangoFormalName.  You can't just append _MangoFormal to a class name and test to see if it will load.  FIRST you have to get rid of trailing []'s.  So if you have class[][], test if class_MangoFormal will load, and if so, return class_MangoFormal[][].  This MangoFormal business is going to always be problematic, but no choice.

So, for example, the specification for the following ClassTests method:

	public Class<?> getComponentType2(){
		
		return String[][].class.getComponentType();
	}

is

Returns java.lang.Class_MangoFormal: java.lang.String_MangoFormal[].

This completes testing of native implementation for Class_MangoFormal.getComponentType()

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/BackupAlg.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/CodeSurvey.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/MangoClassPeer.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/MangoMethodPeer.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/LDC.java
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/a.zip
    branches/mango/Mango/mangoUserHome/system/SystemTests/src/systemTests/ClassTests.java

Added Paths:
-----------
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/getComponentType()Ljava.lang.Class;/
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/getComponentType()Ljava.lang.Class;/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/getComponentType2()Ljava.lang.Class;/
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/getComponentType2()Ljava.lang.Class;/case.zip


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