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

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

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

Log Message:
-----------


Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/control/action/input/RuleBaseAction.java
    branches/mango/Mango/Mango/src/mango/core/CoreRule.java
    branches/mango/Mango/Mango/src/mango/module/definition/action/CloseBothAction.java
    branches/mango/Mango/Mango/src/mango/module/definition/action/CloseCaseAction.java
    branches/mango/Mango/Mango/src/mango/module/definition/model/DefinitionManager.java
    branches/mango/Mango/Mango/src/mango/module/definition/msg/CloseCaseMsg.java
    branches/mango/Mango/Mango/src/mango/module/definition/msg/CloseCaseTranslateMsg.java
    branches/mango/Mango/Mango/src/mango/module/definition/msg/DeleteUnusedParametersMsg.java
    branches/mango/Mango/Mango/src/mango/module/definition/trap/CloseCaseConnector.java
    branches/mango/Mango/Mango/src/mango/module/definition/trap/HarvestParametersTrap.java
    branches/mango/Mango/Mango/src/mango/module/definition/trap/ScriptedCloseCaseConnector.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/GetVirtualRunTimeMethod.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/MakeComponentClass.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/string/GetCanonicalTypeName.java
    branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/Quotes.java
    branches/mango/Mango/Mango/src/mango/script/gui/action/ScriptOpenAction.java
    branches/mango/Mango/Mango/src/mango/script/gui/action/ScriptSaveAction.java
    branches/mango/Mango/Mango/src/mango/worker/Worker.java
    branches/mango/Mango/Mango/src/mango/worker/msg/NewWorkerMsg.java
    branches/mango/Mango/Mango/src/mango/worker/msg/RulebaseMsg.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/invariant/trap/BuildInvariantNamesConnector.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/invariant/trap/BuildInvariantNamesTrap.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/translate/agent/TranslateModuleAgent.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/translate/sym/TranslationSym.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/translate/trap/ScriptedTranslateTrap.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/translate/trap/TranslateTrap.java
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String_MangoFormal;)Ljava.lang.Class_MangoFormal;/className is defined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/isAssignableFrom(Ljava.lang.Class_MangoFormal;)Z/cls is defined.zip
    branches/mango/Mango/mangoUserHome/system/SystemTests/src/systemTests/ClassTests.java
    branches/mango/Mango/src/mango/views/GenSpecWindow.java

Added Paths:
-----------
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Boolean_MangoFormal/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Boolean_MangoFormal/booleanValue()Z/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Boolean_MangoFormal/booleanValue()Z/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Boolean_MangoFormal/equals(Ljava.lang.Object_MangoFormal;)Z/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Boolean_MangoFormal/equals(Ljava.lang.Object_MangoFormal;)Z/obj is undefined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Boolean_MangoFormal/equals(Ljava.lang.Object_MangoFormal;)Z/obj may not be cast to java.lang.Boolean_MangoFormal.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Boolean_MangoFormal/equals(Ljava.lang.Object_MangoFormal;)Z/this._value does not equal obj._value.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Boolean_MangoFormal/equals(Ljava.lang.Object_MangoFormal;)Z/this._value equals obj._value.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/<init>()V/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/<init>()V/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String_MangoFormal;)Ljava.lang.Class_MangoFormal;/Final case. className is undefined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/getComponentType()Ljava.lang.Class_MangoFormal;/Final case. this is not an array.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/getComponentType()Ljava.lang.Class_MangoFormal;/this is an array.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/isAssignableFrom(Ljava.lang.Class_MangoFormal;)Z/Final case. cls is undefined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Integer_MangoFormal/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Integer_MangoFormal/equals(Ljava.lang.Object_MangoFormal;)Z/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Integer_MangoFormal/equals(Ljava.lang.Object_MangoFormal;)Z/obj is undefined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Integer_MangoFormal/equals(Ljava.lang.Object_MangoFormal;)Z/obj may not be cast to java.lang.Integer_MangoFormal.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Integer_MangoFormal/equals(Ljava.lang.Object_MangoFormal;)Z/this._value does not equal obj._value.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Integer_MangoFormal/equals(Ljava.lang.Object_MangoFormal;)Z/this._value equals obj._value.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Integer_MangoFormal/intValue()I/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Integer_MangoFormal/intValue()I/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/<init>()V/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/compatibleFalse()Z/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/compatibleFalse(Ljava.lang.Class_MangoFormal;Ljava.lang.Class_MangoFormal;)Z/Final case. x is defined, y is defined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/compatibleTrue()Z/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/getComponentType()Ljava.lang.Class_MangoFormal;/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/getComponentType(Ljava.lang.Class_MangoFormal;)Ljava.lang.Class_MangoFormal;/Final case. clazz is an array.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/getComponentType(Ljava.lang.Class_MangoFormal;)Ljava.lang.Class_MangoFormal;/clazz is not an array.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/getComponentType(Ljava.lang.Class_MangoFormal;)Ljava.lang.Class_MangoFormal;/clazz is undefined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/getComponentType2()Ljava.lang.Class_MangoFormal;/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/getName()Ljava.lang.String_MangoFormal;/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/intComponentTest()Ljava.lang.String_MangoFormal;/
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/intComponentTest()Ljava.lang.String_MangoFormal;/Final case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/intComponentTest2()Ljava.lang.String_MangoFormal;/
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/intComponentTest2()Ljava.lang.String_MangoFormal;/Final case.zip

Removed Paths:
-------------
    branches/mango/Mango/mangoUserHome/frank/sessions/a.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String_MangoFormal;)Ljava.lang.Class_MangoFormal;/className is undefined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/getComponentType()Ljava.lang.Class_MangoFormal;/Class name of this is an array.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/getComponentType()Ljava.lang.Class_MangoFormal;/Class name of this is not a loadable class.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/isAssignableFrom(Ljava.lang.Class_MangoFormal;)Z/cls is undefined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/compatibleFalse()Z/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/compatibleFalse(Ljava.lang.Class_MangoFormal;Ljava.lang.Class_MangoFormal;)Z/x is defined, y is defined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/compatibleTrue()Z/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/getComponentType()Ljava.lang.Class_MangoFormal;/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/getComponentType(Ljava.lang.Class_MangoFormal;)Ljava.lang.Class_MangoFormal;/Class name of clazz is an array.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/getComponentType2()Ljava.lang.Class_MangoFormal;/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/getName()Ljava.lang.String_MangoFormal;/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/isInterface(Ljava.lang.Class_MangoFormal;)Z/clazz is defined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/isInterface(Ljava.lang.Class_MangoFormal;)Z/clazz is undefined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/isInterfaceIsFalse()Z/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/isInterfaceIsTrue()Z/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/isPrimitiveFalse()Z/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/isPrimitiveTrue()Z/a.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/isPrimitiveTrue()Z/case.zip


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