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

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

Revision: 1860
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1860&view=rev
Author:   frankrimlinger
Date:     2009-08-27 03:51:56 +0000 (Thu, 27 Aug 2009)

Log Message:
-----------
As usual, "_MangoFormal" suprressed.  Preliminary to rehab of Object class, devised a tricky test of Class.getComponent:

	public String intComponentTest(){
		Class<?> clazz=int[].class.getComponentType();
		boolean test=(clazz.equals(Integer.TYPE));
		if(test){
			return clazz.getName();
		}
		return "failed";
	}

In order to specify this, assuming that Class.equals() just delegates to Object.equals().  BUG: the zen question, is equals(Ljava/lang/Object)Z accessible to the class int, is causing some trouble.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/AssignNotObjectValue.java
    branches/mango/Mango/Mango/src/mango/worker/Worker.java
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/a.zip
    branches/mango/Mango/mangoUserHome/system/System/java/lang/Object_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/reflect/Array_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/SystemTests/src/systemTests/ClassTests.java

Added Paths:
-----------
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Byte_MangoFormal/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Byte_MangoFormal/byteValue()B/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Byte_MangoFormal/byteValue()B/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Byte_MangoFormal/equals(Ljava.lang.Object_MangoFormal;)Z/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Byte_MangoFormal/equals(Ljava.lang.Object_MangoFormal;)Z/obj is undefined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Byte_MangoFormal/equals(Ljava.lang.Object_MangoFormal;)Z/obj may not be cast to java.lang.Byte_MangoFormal.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Byte_MangoFormal/equals(Ljava.lang.Object_MangoFormal;)Z/this._value does not equal obj._value.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Byte_MangoFormal/equals(Ljava.lang.Object_MangoFormal;)Z/this._value equals obj._value.zip


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