[Javapathfinder-svn] SF.net SVN: javapathfinder:[1725] branches/mango/MangoJPF

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

Revision: 1725
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1725&view=rev
Author:   frankrimlinger
Date:     2009-07-06 20:08:57 +0000 (Mon, 06 Jul 2009)

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

Fixed some EZ bugs.  Added translation logic and rules for thrown exceptions, necessary for the specification of marc's exception handler test code.  This feature is brand new for MangoJPF, the first of many.

hypo2.test2() now specifies correctly, throwing an exception after setting a static variable in a finally handler. 

"Assumes 'input' equals 0. Sets extest.hypo2.checkPoint3=1.   Throws : java.lang.ArithmeticException at #0."

Sweet.

Modified Paths:
--------------
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/coreRewriter/classModel/Instanceof.java
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/translate/engine/BoolRecapture.java
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/translate/engine/TranslateLoopUcon.java
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/translate/engine/TranslateNoReturnUcon.java
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/translate/engine/TranslateReturnUcon.java
    branches/mango/MangoJPF/Mango/src/mango/ruleRequirement/naturalLanguage/Instantiated.java
    branches/mango/MangoJPF/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashEnterpriseAndTranslation.java
    branches/mango/MangoJPF/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashLogicAndArithmetic.java
    branches/mango/MangoJPF/Mango/src/mango/worker/engine/sym/ObjMap.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/agent/CheckCast_getValueAgent.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/agent/InstanceOfAgent.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/agent/IsAssignmentCompatibleAgent.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/agent/ValueHAgent.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/translate/model/TranslateLoopManager.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/translate/model/TranslateModuleManager.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/translate/model/TranslateReturnManager.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/translate/trap/TranslateTrap.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoMethodPeer.java
    branches/mango/MangoJPF/mangoUserHome/frank/rules/rulebase.zip
    branches/mango/MangoJPF/mangoUserHome/marc/.classpath

Added Paths:
-----------
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/translate/engine/TranslateThrownExceptionUcon.java
    branches/mango/MangoJPF/mangoUserHome/frank/sessions/extest/
    branches/mango/MangoJPF/mangoUserHome/frank/sessions/extest/hypo2/
    branches/mango/MangoJPF/mangoUserHome/frank/sessions/extest/hypo2/test2(I)I/
    branches/mango/MangoJPF/mangoUserHome/frank/sessions/extest/hypo2/test2(I)I/'input' equals 0.zip
    branches/mango/MangoJPF/mangoUserHome/marc/try2/extest/
    branches/mango/MangoJPF/mangoUserHome/marc/try2/extest/try2.java


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