Menu
▾
▴
javapathfinder-svn — source repository related messages (SVN)
You can subscribe to this list here.
| 2008 |
Jan
|
Feb
|
Mar
|
Apr
|
May
(16) |
Jun
(42) |
Jul
(46) |
Aug
(48) |
Sep
(33) |
Oct
(26) |
Nov
(28) |
Dec
(38) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2009 |
Jan
(35) |
Feb
(80) |
Mar
(112) |
Apr
(108) |
May
(102) |
Jun
(126) |
Jul
(89) |
Aug
(82) |
Sep
(36) |
Oct
(7) |
Nov
(1) |
Dec
(4) |
| 2010 |
Jan
(87) |
Feb
|
Mar
(2) |
Apr
(1) |
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
|
From: <fra...@us...> - 2009-07-08 21:46:41
|
Revision: 1739
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1739&view=rev
Author: frankrimlinger
Date: 2009-07-08 21:46:41 +0000 (Wed, 08 Jul 2009)
Log Message:
-----------
Fixed return type translation bug. Added reset automation to CloseCase message.
Next bug: the session save directory is not correctly determined during CloseCase reset. Use Object_MangoFormal.equals() to debug.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/module/definition/msg/CloseCaseMsg.java
branches/mango/Mango/Mango/src/mango/module/definition/msg/DeleteUnusedParametersMsg.java
branches/mango/Mango/Mango/src/mango/worker/msg/SaveScriptMsg.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/model/JavaType.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/model/WorkFlowUtil.java
branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
Added Paths:
-----------
branches/mango/Mango/mangoUserHome/frank/sessions/a.zip
branches/mango/Mango/mangoUserHome/frank/sessions/java/
branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/
branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Object_MangoFormal/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-07-08 21:46:40
|
Revision: 1738
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1738&view=rev
Author: staats
Date: 2009-07-08 21:46:40 +0000 (Wed, 08 Jul 2009)
Log Message:
-----------
Updated compcov examples
Modified Paths:
--------------
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/ASWMainClass.java
Added Paths:
-----------
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/ASWConcMainClass.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-08 20:09:14
|
Revision: 1737
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1737&view=rev
Author: frankrimlinger
Date: 2009-07-08 20:09:01 +0000 (Wed, 08 Jul 2009)
Log Message:
-----------
Updated some stale usages, and completed all hand-written formal specification rules in the mango package of the system code. The Mango tool itself should now be able to regenerate the rest of the system.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/core/CoreMangoActiveObject.java
branches/mango/Mango/Mango/src/mango/core/CoreRule.java
branches/mango/Mango/Mango/src/mango/core/CoreSymFactory.java
branches/mango/Mango/Mango/src/mango/core/gui/action/CoreDeleteAction.java
branches/mango/Mango/Mango/src/mango/core/gui/action/CorePasteAction.java
branches/mango/Mango/Mango/src/mango/core/gui/action/ImportCoreRuleAction.java
branches/mango/Mango/Mango/src/mango/core/gui/action/ImportCoreTierAction.java
branches/mango/Mango/Mango/src/mango/core/gui/tablemodel/CoreRuleBaseTableModel.java
branches/mango/Mango/Mango/src/mango/core/gui/tablemodel/CoreTierTableModel.java
branches/mango/Mango/Mango/src/mango/core/gui/window/CoreRuleBaseWindow.java
branches/mango/Mango/Mango/src/mango/module/definition/sym/ParamSym.java
branches/mango/Mango/Mango/src/mango/rmi/file/MangoFilePacketEnumerator.java
branches/mango/Mango/Mango/src/mango/worker/Worker.java
branches/mango/Mango/Mango/src/mango/worker/WorkerControl.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/Hitem.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/Kons.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHash.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashInitialize.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashLogicAndArithmetic.java
branches/mango/Mango/Mango/src/mango/worker/msg/RulebaseMsg.java
branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
branches/mango/Mango/mangoUserHome/system/System/java/lang/Object_MangoFormal.java
branches/mango/Mango/mangoUserHome/system/System/mango/util/Mango_ArrayList.java
branches/mango/Mango/src/mango/views/GenSpecWindow.java
Added Paths:
-----------
branches/mango/Mango/mangoUserHome/system/System/mango/cheat_sheet.txt
branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_StringBuffer.append worksheet.txt
branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_StringBuffer.length worksheet.txt
branches/mango/Mango/mangoUserHome/system/System/mango/util/Mango_ArrayList.add worksheet.txt
Removed Paths:
-------------
branches/mango/Mango/mangoUserHome/frank/sessions/a.zip
branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_String.length worksheet.rtf
branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_StringBuffer.append worksheet.rtf
branches/mango/Mango/mangoUserHome/system/System/mango/util/Mango_ArrayList.add worksheet.rtf
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ppa...@us...> - 2009-07-08 08:50:37
|
Revision: 1736
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1736&view=rev
Author: pparizek
Date: 2009-07-08 08:17:34 +0000 (Wed, 08 Jul 2009)
Log Message:
-----------
support for thread priorities
Modified Paths:
--------------
trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/PlatformSpecificSchedulerFactory.java
trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/ThreadChoiceWithFixedProcessorCount.java
Added Paths:
-----------
trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/ThreadUtils.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-08 06:01:34
|
Revision: 1735
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1735&view=rev
Author: frankrimlinger
Date: 2009-07-08 06:01:31 +0000 (Wed, 08 Jul 2009)
Log Message:
-----------
Fixed code survey bug. Rebuilt most of the system native mango package in the rulebase. Still need to write some abstractions for Mango_ArrayList, Mango_String, and Mango_StringBuffer. Then can use Mango to rebuild the java package aliased classes.
Modified Paths:
--------------
branches/mango/Mango/META-INF/Mango.product
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/CodeSurvey.java
branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
branches/mango/Mango/mangoUserHome/marc/try1/extest/try1.java
Added Paths:
-----------
branches/mango/Mango/mangoUserHome/frank/sessions/extest/try1/case.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-08 05:53:38
|
Revision: 1733
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1733&view=rev
Author: frankrimlinger
Date: 2009-07-08 01:38:56 +0000 (Wed, 08 Jul 2009)
Log Message:
-----------
Rebuilding Mango project with the old MangoJPF content.
Modified Paths:
--------------
branches/mango/Mango/META-INF/MANIFEST.MF
branches/mango/Mango/content/aboutHelp.xhtml
branches/mango/Mango/content/documentationInProgress.xhtml
branches/mango/Mango/content/proofArtifacts.xhtml
branches/mango/Mango/content/specification.xhtml
branches/mango/Mango/doc/design.rtf
branches/mango/Mango/plugin.xml
branches/mango/Mango/src/mango/Activator.java
Added Paths:
-----------
branches/mango/Mango/
branches/mango/Mango/META-INF/Mango.product
branches/mango/Mango/content/mango.xhtml
Removed Paths:
-------------
branches/mango/Mango/META-INF/MangoJPF.product
branches/mango/Mango/content/mangoJPF.xhtml
branches/mango/MangoJPF/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-08 04:58:33
|
Revision: 1732
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1732&view=rev
Author: frankrimlinger
Date: 2009-07-08 01:08:31 +0000 (Wed, 08 Jul 2009)
Log Message:
-----------
Deleting the Mango project, in preparation for move of MangoJPF to Mango.
Removed Paths:
-------------
branches/mango/Mango/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-08 04:19:19
|
Revision: 1734
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1734&view=rev
Author: frankrimlinger
Date: 2009-07-08 02:26:50 +0000 (Wed, 08 Jul 2009)
Log Message:
-----------
Move of MangoJPF to Mango complete.
Modified Paths:
--------------
branches/mango/Mango/.project
branches/mango/Mango/.settings/org.eclipse.jdt.core.prefs
branches/mango/Mango/META-INF/Mango.product
branches/mango/Mango/Mango/src/mango/worker/Worker.java
branches/mango/Mango/introContent.xml
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/MangoClassPeer.java
branches/mango/Mango/jpf jar command.rtf
branches/mango/Mango/plugin.xml
branches/mango/Mango/src/mango/intro/ApplicationWorkbenchWindowAdvisor.java
branches/mango/Mango/src/mango/intro/ConfigurationDetails.java
branches/mango/Mango/src/mango/intro/LoginDialog.java
branches/mango/Mango/src/mango/views/GlobalViewWindow.java
branches/mango/Mango/toc.xml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-07 21:17:56
|
Revision: 1731
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1731&view=rev
Author: frankrimlinger
Date: 2009-07-07 21:17:39 +0000 (Tue, 07 Jul 2009)
Log Message:
-----------
Fixed several tricky bugs involving local variable display and creation of the caller frame for virtual invocation. Now try1.main() correctly sets up the invocation for System.out.println(I)V. This is as far as we can go without developing abstractions for basic system code. Several observations:
1) MangoJPF has become stable and can stand on its own. Numerous bugs have been fixed in MangoJPF that have not been sent upstream to Mango. Therefore, the time has come to retire the name "MangoJPF" and just go back to plain old Mango. The original Mango, which was the straight port from C++, will be removed.
2) There is no need to get bogged down with clinits in the handling of System.out. The hack is to just treat java.lang.System.out as if it were final. This is serviceable for a *lot* of code. The print routines just append to a make-believe field of out, so that in concrete cases the output is readable.
3) Once basic system abstractions are available, finish Marc's exception code. This should be quick. Then the rest of the baseline loop stuff. Then the rest of the system, up to arraycopy.
4) With all this in place, Mango becomes MangoBaseline, and new copy of Mango marches into the brave new invariant-look-behind case-backtracking jpf-driven rewriter world.
Modified Paths:
--------------
branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/form/model/LocalArrayModel.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/Invocation.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-07 20:09:54
|
Revision: 1730
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1730&view=rev
Author: frankrimlinger
Date: 2009-07-07 20:09:51 +0000 (Tue, 07 Jul 2009)
Log Message:
-----------
Fixed a bug that was causing virtual invocation to fail.
Modified Paths:
--------------
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInvokeInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKECLINIT.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKEINTERFACE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKESPECIAL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKEVIRTUAL.java
Added Paths:
-----------
branches/mango/MangoJPF/mangoUserHome/frank/sessions/a.zip
branches/mango/MangoJPF/mangoUserHome/frank/sessions/extest/try1/
branches/mango/MangoJPF/mangoUserHome/frank/sessions/extest/try1/<init>()V/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-07 18:26:40
|
Revision: 1729
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1729&view=rev
Author: frankrimlinger
Date: 2009-07-07 18:26:39 +0000 (Tue, 07 Jul 2009)
Log Message:
-----------
hypo2 exception handler test now fully specified. Failure of garbage collection was just a symptom of a problem that went away upon re-specification of test2(). The original specification of test2() put the thrown exception on the wrong frame. Not entirely sure how this problem corrected itself, but oh well... onward.
Modified Paths:
--------------
branches/mango/MangoJPF/Mango/src/mango/core/gui/window/CoreSuperWindow.java
branches/mango/MangoJPF/Mango/src/mango/ruleAction/translate/engine/TranslateStatItem.java
branches/mango/MangoJPF/Mango/src/mango/ruleAction/translate/engine/TranslateSubaddress.java
branches/mango/MangoJPF/Mango/src/mango/worker/Mango.java
branches/mango/MangoJPF/Mango/src/mango/worker/flags/GarbageCollectionDebuggingFlags.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ATHROWHANDLER.java
branches/mango/MangoJPF/mangoUserHome/frank/rules/rulebase.zip
branches/mango/MangoJPF/mangoUserHome/frank/sessions/extest/hypo2/test2(I)I/'input' equals 0.zip
branches/mango/MangoJPF/mangoUserHome/marc/hypo2/src/extest/hypo2.java
Added Paths:
-----------
branches/mango/MangoJPF/mangoUserHome/frank/sessions/extest/hypo2/test()I/case.zip
Removed Paths:
-------------
branches/mango/MangoJPF/mangoUserHome/frank/sessions/a.zip
branches/mango/MangoJPF/mangoUserHome/frank/sessions/extest/hypo2/test()I/a.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-07 14:38:56
|
Revision: 1728
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1728&view=rev
Author: frankrimlinger
Date: 2009-07-07 14:14:47 +0000 (Tue, 07 Jul 2009)
Log Message:
-----------
Fixed some EZ bugs, and now hypo2 test recognizes that ArithmeticException is indeed and Exception, sets the static variable checkpoint2, and returns the answer=0. At this point, all references to the ArithmeticException, which was created in the present, have vanished, so it should garbage collect. Unfortunately, it does not. Investigating.
Modified Paths:
--------------
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/agent/InstanceOfAgent.java
branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/form/model/HeapModel.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ACATCHHANDLER.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ATHROWCREATOR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ATHROWHANDLER.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/sym/JclassSym.java
branches/mango/MangoJPF/mangoUserHome/frank/rules/rulebase.zip
Added Paths:
-----------
branches/mango/MangoJPF/mangoUserHome/frank/sessions/extest/hypo2/test()I/a.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-07 05:15:07
|
Revision: 1727
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1727&view=rev
Author: frankrimlinger
Date: 2009-07-07 05:15:04 +0000 (Tue, 07 Jul 2009)
Log Message:
-----------
Fixed exception handler issue in hypo2.test(). Actually, the branch predicates were ok, you just have to keep in mind that *after* rewriting, a branch predicate is either true or false, since either you branched or you didn't. You can only inspect the semantics before the fact. Nevertheless, did more cleanup of exception handler branching so that all the old code is now correctly distributed in the formal peers of the synthetic handler instructions.
The real problem was just a rewrite bug, a timing problem with threwException due to a dropped "instantiated" requirement.
Next bug, for some reason, "instanceof" doesn't figure out that an ArithemticException is an Exception. This is probably hooked up wrong with bcel or ClassInfo.
Modified Paths:
--------------
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInvokeInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoMethodPeer.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ACATCHHANDLER.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ATHROW.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ATHROWCREATOR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKEINTERFACE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKESPECIAL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKESTATIC.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKEVIRTUAL.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-06 21:32:33
|
Revision: 1726
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1726&view=rev
Author: frankrimlinger
Date: 2009-07-06 21:32:26 +0000 (Mon, 06 Jul 2009)
Log Message:
-----------
Fixed some EZ bugs. There is a problem in hypo2.test() after the call to test2(). In this case, an explicit handler is set up to catch exceptions at the source code level. However, the ArithmeticException thrown by test2() is not caught as it should be, and checkPoint2 is not set. Inspection of the graph reveals that the branch conditions for the ATHROWANDLER are brain-dead. Investigating.
Modified Paths:
--------------
branches/mango/MangoJPF/Mango/src/mango/worker/Mango.java
branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/form/model/StatItemModel.java
branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/form/model/StatModel.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInvokeInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ACATCHHANDLER.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ATHROWCREATOR.java
branches/mango/MangoJPF/mangoUserHome/frank/rules/rulebase.zip
Added Paths:
-----------
branches/mango/MangoJPF/mangoUserHome/frank/sessions/a.zip
branches/mango/MangoJPF/mangoUserHome/frank/sessions/extest/hypo2/test()I/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-06 20:09:05
|
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.
|
|
From: <fra...@us...> - 2009-07-06 06:46:11
|
Revision: 1724
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1724&view=rev
Author: frankrimlinger
Date: 2009-07-06 06:46:10 +0000 (Mon, 06 Jul 2009)
Log Message:
-----------
copyright stamp run.
Modified Paths:
--------------
branches/mango/MangoJPF/mangoUserHome/marc/arrayCopyShell/src/extest/arrayCopyShell.java
branches/mango/MangoJPF/mangoUserHome/marc/hypo2/src/extest/hypo2.java
branches/mango/MangoJPF/mangoUserHome/marc/lptry1/extest/lptry1.java
branches/mango/MangoJPF/mangoUserHome/marc/lptry2/src/extest/lptry2.java
branches/mango/MangoJPF/mangoUserHome/marc/try1/extest/try1.java
branches/mango/MangoJPF/mangoUserHome/marc/try3/extest/try3.java
branches/mango/MangoJPF/mangoUserHome/marc/trychk1/extest/trychk1.java
branches/mango/MangoJPF/mangoUserHome/marc/trychk2/extest/trychk2.java
branches/mango/MangoJPF/mangoUserHome/marc/trychk3/extest/trychk3.java
branches/mango/MangoJPF/mangoUserHome/marc/trychk6/extest/trychk6.java
branches/mango/MangoJPF/mangoUserHome/marc/trychk7/extest/trychk7.java
branches/mango/MangoJPF/mangoUserHome/marc/trychk8/extest/trychk8.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-06 06:42:16
|
Revision: 1723
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1723&view=rev
Author: frankrimlinger
Date: 2009-07-06 06:42:12 +0000 (Mon, 06 Jul 2009)
Log Message:
-----------
Exception handler code cleanup. Also ran the copyright stamp.
Modified Paths:
--------------
branches/mango/MangoJPF/Mango/src/mango/core/gui/action/CloseCoreRuleBaseAction.java
branches/mango/MangoJPF/Mango/src/mango/core/sym/UntypedVariable.java
branches/mango/MangoJPF/Mango/src/mango/enterprise/model/ClassProxy.java
branches/mango/MangoJPF/Mango/src/mango/enterprise/model/ClassProxyPersistenceDelegate.java
branches/mango/MangoJPF/Mango/src/mango/enterprise/model/MethodProxy.java
branches/mango/MangoJPF/Mango/src/mango/enterprise/model/MethodProxyPersistenceDelegate.java
branches/mango/MangoJPF/Mango/src/mango/gumboModel/msg/GumboCommand.java
branches/mango/MangoJPF/Mango/src/mango/gumboModel/msg/PopupMenuCommand.java
branches/mango/MangoJPF/Mango/src/mango/module/definition/loop/LoopDefinitionManager.java
branches/mango/MangoJPF/Mango/src/mango/module/definition/model/DefinitionManager.java
branches/mango/MangoJPF/Mango/src/mango/module/definition/msg/RestoreContextMsg.java
branches/mango/MangoJPF/Mango/src/mango/module/instance/model/InstanceUtil.java
branches/mango/MangoJPF/Mango/src/mango/ruleAction/conditionalTechniques/conditional/GetFreeVariableName.java
branches/mango/MangoJPF/Mango/src/mango/ruleAction/conditionalTechniques/conditional/OverDisambiguation.java
branches/mango/MangoJPF/Mango/src/mango/ruleAction/conditionalTechniques/conditional/SyntacticEquals.java
branches/mango/MangoJPF/Mango/src/mango/ruleAction/coreRewriter/clinit/HasCommutingClinit.java
branches/mango/MangoJPF/Mango/src/mango/ruleAction/translate/engine/TranslateFreeVariableSym.java
branches/mango/MangoJPF/Mango/src/mango/ruleAction/translate/engine/TranslateOver.java
branches/mango/MangoJPF/Mango/src/mango/ruleAction/translate/engine/TranslateValueH.java
branches/mango/MangoJPF/Mango/src/mango/ruleRequirement/function/OverReq.java
branches/mango/MangoJPF/Mango/src/mango/ruleRequirement/symbols/UntypedVariableReq.java
branches/mango/MangoJPF/Mango/src/mango/source/agent/msg/SourceViewCreateRequestMsg.java
branches/mango/MangoJPF/Mango/src/mango/worker/GlobalViewModel.java
branches/mango/MangoJPF/Mango/src/mango/worker/Mango.java
branches/mango/MangoJPF/Mango/src/mango/worker/PayloadRunnable.java
branches/mango/MangoJPF/Mango/src/mango/worker/TreeViewPopUpBinding.java
branches/mango/MangoJPF/Mango/src/mango/worker/Worker.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/BackupAlg.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/graphic/MethodSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/ucon/MethodEntrySym.java
branches/mango/MangoJPF/Mango/src/mango/worker/msg/AckPermCommand.java
branches/mango/MangoJPF/Mango/src/mango/worker/msg/AutoResetMsg.java
branches/mango/MangoJPF/Mango/src/mango/worker/msg/GenerateSpecificationMsg.java
branches/mango/MangoJPF/Mango/src/mango/worker/msg/NewWorkerMsg.java
branches/mango/MangoJPF/Mango/src/mango/worker/msg/OpenDefinitionMsg.java
branches/mango/MangoJPF/Mango/src/mango/worker/msg/RulebaseMsg.java
branches/mango/MangoJPF/Mango/src/mango/worker/msg/SaveMsg.java
branches/mango/MangoJPF/Mango/src/mango/worker/msg/SaveScriptMsg.java
branches/mango/MangoJPF/Mango/src/mango/worker/msg/ScheduleAutoCommand.java
branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/coreTechniques/agent/OverAgent.java
branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/coreTechniques/model/HeapTracer.java
branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/coreTechniques/msg/StableRewriteLocator.java
branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/coreTechniques/msg/StableRewriteMsg.java
branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/coreTechniques/trap/StableRewriteConnector.java
branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/form/sym/LineNumberSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/form/sym/binder/ContextBinderSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/form/sym/binder/executable/LocalVarSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/model/AckConnector.java
branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/model/HitemUtil.java
branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/model/UniversalTerminator.java
branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/msg/WorkerCommand.java
branches/mango/MangoJPF/ThreadSupport/src/threadModel/PermCommand.java
branches/mango/MangoJPF/ThreadSupport/src/threadModel/PermCommander.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/SCANNER.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/JPF_mango_scanner_ScannerMJI.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/ARRAYLENGTH.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/ATHROW.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/ArrayInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/BIPUSH.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/CHECKCAST.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/D2F.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/D2I.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/D2L.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/DADD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/DCMPG.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/DCMPL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/DCONST.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/DDIV.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/DMUL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/DNEG.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/DREM.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/DSUB.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/DUP.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/DUP2.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/DUP2_X1.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/DUP2_X2.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/DUP_X1.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/DUP_X2.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/F2D.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/F2I.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/F2L.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/FADD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/FCMPG.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/FCMPL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/FCONST.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/FDIV.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/FMUL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/FNEG.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/FREM.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/FSUB.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/FieldInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/GOTO.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/I2B.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/I2C.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/I2D.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/I2F.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/I2L.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/I2S.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/IADD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/IAND.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/ICONST.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/IDIV.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/IINC.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/IMUL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/INEG.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/INSTANCEOF.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/IOR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/IREM.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/ISHL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/ISHR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/ISUB.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/IUSHR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/IXOR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/IfInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/JSR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/JSR_W.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/L2D.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/L2F.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/L2I.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/LADD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/LAND.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/LCMP.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/LCONST.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/LDC.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/LDC2_W.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/LDIV.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/LMUL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/LNEG.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/LOR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/LREM.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/LSHL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/LSHR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/LSUB.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/LUSHR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/LXOR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/LockInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/MONITORENTER.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/MONITOREXIT.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/MULTIANEWARRAY.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/NEW.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/NEWARRAY.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/NOP.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/POP.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/POP2.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/RET.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/RUNSTART.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/ReturnInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/SIPUSH.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/SWAP.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/SwitchInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/AbstractUconMethod.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/BadMethod.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/BranchChoiceGenerator.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/BranchListener.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/CodeSurvey.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/FakeMethod.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/Invocation.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoFormalInterface.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInstructionFactory.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInterface.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInvokeInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoTargetLauncher.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/OSmethod.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/Package.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ReturnPointLink.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ScannerMJI.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/TargetChoiceGenerator.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/TargetListener.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ThrowsException.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/AALOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/AASTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ACATCHHANDLER.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ACONST_NULL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ALOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ANEWARRAY.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ARETURN.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ARRAYLENGTH.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ASTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ATHROW.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ATHROWCREATOR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ATHROWHANDLER.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/AbstractUconPlace.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/BALOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/BASTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/BIPUSH.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/BadPlace.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/BeginningOfTime.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/CALOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/CASTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/CHECKCAST.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/D2F.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/D2I.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/D2L.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/DADD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/DALOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/DASTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/DCMPG.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/DCMPL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/DCONST.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/DDIV.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/DLOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/DMUL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/DNEG.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/DREM.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/DRETURN.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/DSTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/DSUB.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/DUP.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/DUP2.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/DUP2_X1.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/DUP2_X2.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/DUP_X1.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/DUP_X2.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/F2D.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/F2I.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/F2L.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/FADD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/FALOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/FASTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/FCMPG.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/FCMPL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/FCONST.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/FDIV.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/FLOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/FMUL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/FNEG.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/FREM.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/FRETURN.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/FSTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/FSUB.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/GETFIELD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/GETSTATIC.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/GOTO.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/GOTO_W.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/I2B.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/I2C.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/I2D.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/I2F.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/I2L.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/I2S.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IADD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IALOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IAND.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IASTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ICONST.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IDIV.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IFEQ.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IFGE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IFGT.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IFLE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IFLT.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IFNE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IFNONNULL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IFNULL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IF_ACMPEQ.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IF_ACMPNE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IF_ICMPEQ.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IF_ICMPGE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IF_ICMPGT.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IF_ICMPLE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IF_ICMPLT.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IF_ICMPNE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IINC.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ILOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IMUL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INEG.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INSTANCEOF.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKECG.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKECLINIT.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKEINTERFACE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKESPECIAL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKESTATIC.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKETARGET.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKEVIRTUAL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IOR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IREM.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IRETURN.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ISHL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ISHR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ISTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ISUB.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IUSHR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IXOR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/JSR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/JSR_W.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/L2D.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/L2F.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/L2I.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LADD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LALOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LAND.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LASTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LCMP.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LCONST.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LDC.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LDC2_W.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LDC_W.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LDIV.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LLOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LMUL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LNEG.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LOOKUPSWITCH.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LOR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LREM.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LRETURN.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LSHL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LSHR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LSTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LSUB.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LUSHR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LXOR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/MONITORENTER.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/MONITOREXIT.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/MULTIANEWARRAY.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/NEW.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/NEWARRAY.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/NOP.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/OSplace.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/POP.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/POP2.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/PUTFIELD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/PUTSTATIC.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/RET.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/RETURN.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/RUNSTART.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/SALOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/SASTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/SIPUSH.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/SWAP.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/SyntheticInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/TABLESWITCH.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/sym/InstructionSym.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/sym/JmethodSym.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/sym/ReturnPointLinkSym.java
branches/mango/MangoJPF/src/mango/Activator.java
branches/mango/MangoJPF/src/mango/intro/Application.java
branches/mango/MangoJPF/src/mango/intro/ApplicationActionBarAdvisor.java
branches/mango/MangoJPF/src/mango/intro/ApplicationWorkbenchAdvisor.java
branches/mango/MangoJPF/src/mango/intro/ApplicationWorkbenchWindowAdvisor.java
branches/mango/MangoJPF/src/mango/intro/ConfigurationDetails.java
branches/mango/MangoJPF/src/mango/intro/LoginDialog.java
branches/mango/MangoJPF/src/mango/intro/Perspective.java
branches/mango/MangoJPF/src/mango/preferences/GeneralPreferencePage.java
branches/mango/MangoJPF/src/mango/views/GenSpecWindow.java
branches/mango/MangoJPF/src/mango/views/GlobalViewWindow.java
branches/mango/MangoJPF/src/mango/views/LogWindow.java
branches/mango/MangoJPF/src/mango/views/MainPanel.java
branches/mango/MangoJPF/src/mango/views/MangoScriptWindow.java
branches/mango/MangoJPF/src/mango/views/SampleView.java
Added Paths:
-----------
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoClassPeer.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoMethodPeer.java
Removed Paths:
-------------
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ClassUtil.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ExceptionHandlerUtil.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/InvocationUtil.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MethodUtil.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-06 02:10:25
|
Revision: 1722
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1722&view=rev
Author: frankrimlinger
Date: 2009-07-06 02:10:18 +0000 (Mon, 06 Jul 2009)
Log Message:
-----------
Entire backup algorithm now completes normally for all marc's exceptionhandler test code. Now need to generated the specifications to make sure all related formal semantics are correct. Also cleanup of 2D graphics display in progress
Fixed athrow creator bug. Each exception thrown by an instruction is supposed to have its own athrow creator to figure out how to route the exception to the various handlers supplied in the code block of the method. All such athrow creator instructions have to be available to the scanner for scheduling in the branch choice generator, so that they are properly scanned. At a different execution point, the handlers need to be available to the buildFormalPeer method of the throwing instruction, so that the proper formal semantics can be wired in.
The brain-dead bug was that all exceptions for an instruction were being routed through the same athrow creator. Even though the athrow creators were being stockpiled in advance, they were not being used. To fix this problem, the creation of athrow creators is now the responsibility of the individual instruction classes. An instruction which throws now implements the ThrowsException interface. The creators are created during the initialization of the instruction. The new design binds an athrow creator to the Exception class it represents in much more sane, type safe way.
NOTE: The flag "mustPop2" appears to be obsolete in the C++ code, and so has been dropped in MangoJPF. The original comment for this flag was "Also, if the parameter mustPop2 is TRUE, then this athrowcreator follows an invocation, and must pop the extra frame."
Historical note: The original C++ had a one-size-fits-all instruction class, so no sane design for the athrow creators was possible in that world.
Modified Paths:
--------------
branches/mango/MangoJPF/Mango/src/mango/worker/Mango.java
branches/mango/MangoJPF/Mango/src/mango/worker/Worker.java
branches/mango/MangoJPF/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashEngine.java
branches/mango/MangoJPF/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashOpcodeSyms.java
branches/mango/MangoJPF/Mango/src/mango/worker/flags/ExceptionHandlerDebuggingFlags.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/BackupAlg.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/CpnVertex.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/LocalVariableInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ExceptionHandlerUtil.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/Invocation.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInterface.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInvokeInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/AALOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/AASTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ACATCHHANDLER.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ANEWARRAY.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ARRAYLENGTH.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ATHROW.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ATHROWCREATOR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ATHROWHANDLER.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/BALOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/BASTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/CALOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/CASTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/CHECKCAST.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/DALOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/DASTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/DCONST.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/DLOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/FALOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/FASTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/FCONST.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/GETFIELD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IALOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IASTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ICONST.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IDIV.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKEINTERFACE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKESPECIAL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKEVIRTUAL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IREM.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LALOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LASTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LCONST.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LDIV.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LREM.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/MULTIANEWARRAY.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/NEWARRAY.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/PUTFIELD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/SALOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/SASTORE.java
branches/mango/MangoJPF/mangoUserHome/marc/.classpath
branches/mango/MangoJPF/mangoUserHome/marc/trychk6/extest/trychk6.java
Added Paths:
-----------
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ThrowsException.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-03 18:41:53
|
Revision: 1721
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1721&view=rev
Author: frankrimlinger
Date: 2009-07-03 18:41:52 +0000 (Fri, 03 Jul 2009)
Log Message:
-----------
Fixed code survey bug which confused the beginningo of the *range* of an exception handler with the beginning of the exception handler. This cleared up a lot of missing code issues. Next bug in tryck2.
Modified Paths:
--------------
branches/mango/MangoJPF/Mango/src/mango/worker/Mango.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/CodeSurvey.java
branches/mango/MangoJPF/mangoUserHome/marc/.classpath
branches/mango/MangoJPF/mangoUserHome/marc/try1/extest/try1.java
Removed Paths:
-------------
branches/mango/MangoJPF/mangoUserHome/marc/try2/extest/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-02 19:22:55
|
Revision: 1720
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1720&view=rev
Author: frankrimlinger
Date: 2009-07-02 19:21:51 +0000 (Thu, 02 Jul 2009)
Log Message:
-----------
Finished updated all instructions that throw. Pointed marc's project at all its test code. The scanner survives all the code, but component graph build fails. A big chunk is missing from extest.try2(). Start with this bug.
Modified Paths:
--------------
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ExceptionHandlerUtil.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/Invocation.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/AALOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/AASTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ANEWARRAY.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ARRAYLENGTH.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ATHROW.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/BALOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/BASTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/CALOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/CASTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/CHECKCAST.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/DALOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/DASTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/FALOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/FASTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/GETFIELD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IALOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IASTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IDIV.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IREM.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LALOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LASTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LDIV.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LREM.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/MULTIANEWARRAY.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/NEWARRAY.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/PUTFIELD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/SALOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/SASTORE.java
branches/mango/MangoJPF/mangoUserHome/marc/.classpath
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-02 17:42:26
|
Revision: 1719
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1719&view=rev
Author: frankrimlinger
Date: 2009-07-02 17:42:23 +0000 (Thu, 02 Jul 2009)
Log Message:
-----------
Invocations, ATHROW, and IDIV now appear to be handling exceptions correctly. The component graphs for marc's hypo2 test class all look good. This includes a test of handler blocks and a finally clause. So exceptions are *finally* beginning to settle down. Moving to the one-pass scanner simulation to generate the component graphs is conceptually satisfying but means that events must occur in a very precise order to avoid chicken-and-egg issues. Happily, jpf is now tracing through all the handlers and the finally clause and correctly routing uncaught exceptions from invoked methods.
It remains to port the rest of the instructions that throw to the new scheme, and then run through all of marc's test code for exceptions. Now is the time to weed out any remaining error handling bugs.
Modified Paths:
--------------
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/BranchChoiceGenerator.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ExceptionHandlerUtil.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ATHROW.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IDIV.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKESTATIC.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-07-02 17:30:11
|
Revision: 1718
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1718&view=rev
Author: pcmehlitz
Date: 2009-07-02 17:30:08 +0000 (Thu, 02 Jul 2009)
Log Message:
-----------
* backport of the NoClassDefFound exception handling fix for INVOKESTATIC, GET/PUTSTATIC insns
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/jvm/bytecode/GETSTATIC.java
trunk/src/gov/nasa/jpf/jvm/bytecode/INVOKESTATIC.java
trunk/src/gov/nasa/jpf/jvm/bytecode/PUTSTATIC.java
trunk/src/gov/nasa/jpf/jvm/bytecode/StaticFieldInstruction.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <wv...@us...> - 2009-07-02 11:02:08
|
Revision: 1717
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1717&view=rev
Author: wvisser
Date: 2009-07-02 11:02:07 +0000 (Thu, 02 Jul 2009)
Log Message:
-----------
fixed typo from vm.enumerate_random to cg.enumerate_random
Modified Paths:
--------------
trunk/doc/sw_model_checking.html
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-02 05:38:48
|
Revision: 1716
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1716&view=rev
Author: frankrimlinger
Date: 2009-07-02 05:38:46 +0000 (Thu, 02 Jul 2009)
Log Message:
-----------
Cleanup up of invocation instructions, finally resolving the exception handler chicken-and-egg. The solution is to uncouple *creation* of ACATCHHANLDER and ATHROWCREATOR, required by the execute() routine to set up scanner branching, from the formal construction, which takes place as it should in buildFormalPeer. These two different activities have finally been teased apart correctly.
Rehab must be propagated to all the other instructions which branch in the scanner. Also, ATHROWCREATOR is not playing well with BranchChoiceGenerator, need to investigate this.
Modified Paths:
--------------
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/BackupAlg.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/CodeSurvey.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ExceptionHandlerUtil.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/Invocation.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInterface.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInvokeInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ACATCHHANDLER.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IDIV.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKEINTERFACE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKESPECIAL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKESTATIC.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKEVIRTUAL.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-07-01 23:43:35
|
Revision: 1715
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1715&view=rev
Author: staats
Date: 2009-07-01 23:42:34 +0000 (Wed, 01 Jul 2009)
Log Message:
-----------
Fixed remote MCDC name collisions
Modified Paths:
--------------
trunk/.classpath
trunk/extensions/complexcoverage/launch/CompCov Parallel Client.launch
trunk/extensions/complexcoverage/launch/CompCov Parallel Manager Testfile MCDC.launch
trunk/extensions/complexcoverage/launch/CompCov TestFun Normal.launch
trunk/extensions/complexcoverage/launch/CompCov TestFun Symbolic Concretize.launch
trunk/extensions/complexcoverage/launch/CompCov TestFun Symbolic.launch
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/JPF_gov_nasa_jpf_complexcoverage_Debug.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/RemoteJPF.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/SendRemoteOutput.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile.java
Added Paths:
-----------
trunk/extensions/complexcoverage/launch/CompCov TestFun Symbolic PathConstraint.launch
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
