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

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

Revision: 1740
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1740&view=rev
Author:   frankrimlinger
Date:     2009-07-09 05:26:16 +0000 (Thu, 09 Jul 2009)

Log Message:
-----------
Auto reset now working for cases.  Fixed (another) invocation frame bug.  Refined procedure for detecting thrown exception.  Completed spec for <init> and hashCode() in Object_MangoFormal.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/clinit/ThrewException.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/workFlow/model/HitemUtil.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/Invocation.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKEINTERFACE.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKESPECIAL.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKESTATIC.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKEVIRTUAL.java
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip

Added Paths:
-----------
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Object_MangoFormal/equals(Ljava.lang.Object_MangoFormal;)Z/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Object_MangoFormal/equals(Ljava.lang.Object_MangoFormal;)Z/'this' does not equal 'obj'.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Object_MangoFormal/equals(Ljava.lang.Object_MangoFormal;)Z/'this' equals 'obj'.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Object_MangoFormal/hashCode()I/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Object_MangoFormal/hashCode()I/case.zip


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