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: <sb...@us...> - 2008-12-30 22:48:25
|
Revision: 1119
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1119&view=rev
Author: sbadame
Date: 2008-12-30 22:48:22 +0000 (Tue, 30 Dec 2008)
Log Message:
-----------
* The topic publisher is now the default publisher for verifying jpf files. The use of any other publisher needs to be explicitly stated in the mode property file.
Modified Paths:
--------------
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/RunJPF.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-12-30 20:14:08
|
Revision: 1118
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1118&view=rev
Author: pcmehlitz
Date: 2008-12-30 20:14:02 +0000 (Tue, 30 Dec 2008)
Log Message:
-----------
* import Explorer & Property Sheet and MultiView Windows modules
Modified Paths:
--------------
trunk/ide/netbeans/RunJPF/nbproject/genfiles.properties
trunk/ide/netbeans/RunJPF/nbproject/project.xml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sb...@us...> - 2008-12-30 18:40:23
|
Revision: 1117
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1117&view=rev
Author: sbadame
Date: 2008-12-30 18:40:17 +0000 (Tue, 30 Dec 2008)
Log Message:
-----------
* Override annotations have been added to the *.jpf editor
Modified Paths:
--------------
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/JPFConfigDataObject.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/JPFConfigEditor.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/JPFConfigEditorSupport.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/RunJPF.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/annotation/JPFAnnotation.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/annotation/JPFAnnotation.xml
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/layer.xml
Added Paths:
-----------
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/JPFConfigPropertySheet.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/annotation/AnnotationParser.java
Removed Paths:
-------------
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/properties/Bundle.properties
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/properties/JPFProperties.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/verify.jpf
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sb...@us...> - 2008-12-26 18:54:58
|
Revision: 1116
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1116&view=rev
Author: sbadame
Date: 2008-12-26 18:54:55 +0000 (Fri, 26 Dec 2008)
Log Message:
-----------
* JPF Config editor is now a custom multiview editor.
Modified Paths:
--------------
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/Bundle.properties
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/JPFConfigDataObject.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/JPFConfigEditorSupport.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/layer.xml
Added Paths:
-----------
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/JPFConfigEditor.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/JPFConfigTextView.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/verify.jpf
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sb...@us...> - 2008-12-26 14:26:43
|
Revision: 1115
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1115&view=rev
Author: sbadame
Date: 2008-12-26 14:26:33 +0000 (Fri, 26 Dec 2008)
Log Message:
-----------
* Link parser has an optimization
Modified Paths:
--------------
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/language.nbs
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/topicpublisher/TopicBrowserTopComponent.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/topicpublisher/TopicOutputParser.java
Added Paths:
-----------
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/annotation/
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/annotation/JPFAnnotation.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/annotation/JPFAnnotation.xml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sb...@us...> - 2008-12-24 16:00:34
|
Revision: 1114
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1114&view=rev
Author: sbadame
Date: 2008-12-24 16:00:31 +0000 (Wed, 24 Dec 2008)
Log Message:
-----------
* Added syntax highlighting for .jpf files
Modified Paths:
--------------
trunk/ide/netbeans/RunJPF/nbproject/project.properties
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/RunJPF.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/layer.xml
Added Paths:
-----------
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/language.nbs
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/properties/
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/properties/Bundle.properties
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/properties/JPFProperties.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/text-x-jpf-mime-resolver.xml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sb...@us...> - 2008-12-19 22:04:27
|
Revision: 1113
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1113&view=rev
Author: sbadame
Date: 2008-12-19 22:04:23 +0000 (Fri, 19 Dec 2008)
Log Message:
-----------
* Clean up some more code
* Added NOSA info
Modified Paths:
--------------
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/RunJPF.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/topicpublisher/NetbeansPublisher.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/topicpublisher/Topic.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/topicpublisher/TopicBrowserTopComponent.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/topicpublisher/TopicOutputParser.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/topicpublisher/TopicPublisher.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sb...@us...> - 2008-12-19 19:24:33
|
Revision: 1112
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1112&view=rev
Author: sbadame
Date: 2008-12-19 19:24:28 +0000 (Fri, 19 Dec 2008)
Log Message:
-----------
* Added source links for the "error" view
* Cleaned up the code a little
Modified Paths:
--------------
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/topicpublisher/TopicBrowserTopComponent.java
Added Paths:
-----------
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/topicpublisher/TopicOutputParser.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sb...@us...> - 2008-12-19 16:05:03
|
Revision: 1111
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1111&view=rev
Author: sbadame
Date: 2008-12-19 16:04:53 +0000 (Fri, 19 Dec 2008)
Log Message:
-----------
First Round messy hacky but working, Links from JPF's exception trace into netbeans source code. Clean up and more links coming soon.
Modified Paths:
--------------
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/RunJPF.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/topicpublisher/Bundle.properties
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/topicpublisher/TopicBrowserTopComponent.form
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/topicpublisher/TopicBrowserTopComponent.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sb...@us...> - 2008-12-17 22:34:39
|
Revision: 1110
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1110&view=rev
Author: sbadame
Date: 2008-12-17 22:34:36 +0000 (Wed, 17 Dec 2008)
Log Message:
-----------
Added a new publisher for RunJPF called: topic
Still in very active developent, but works.
It's a clone of the console publisher with a gui and topic browsing, to use it add the following properties to the *.jpf file:
jpf.report.publisher=topic
jpf.report.topic.class=gov.nasa.runjpf.topicpublisher.TopicPublisher
jpf.report.topic.start=jpf,sut
jpf.report.topic.constraint=constraint
jpf.report.topic.property_violation=error,trace,snapshot
jpf.report.topic.show_steps=true
jpf.report.topic.show_method=true
jpf.report.topic.show_code=false
jpf.report.topic.finished=result,statistics
Modified Paths:
--------------
trunk/ide/netbeans/RunJPF/nbproject/genfiles.properties
trunk/ide/netbeans/RunJPF/nbproject/project.properties
trunk/ide/netbeans/RunJPF/nbproject/project.xml
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/Bundle.properties
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/RunJPF.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/layer.xml
Added Paths:
-----------
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/topicpublisher/
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/topicpublisher/Bundle.properties
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/topicpublisher/NetbeansPublisher.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/topicpublisher/Topic.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/topicpublisher/TopicBrowserTopComponent.form
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/topicpublisher/TopicBrowserTopComponent.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/topicpublisher/TopicBrowserTopComponentSettings.xml
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/topicpublisher/TopicBrowserTopComponentWstcref.xml
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/topicpublisher/TopicPublisher.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/topicpublisher/vjpicon.png
Property Changed:
----------------
trunk/ide/netbeans/RunJPF/release/modules/ext/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-12-09 07:47:49
|
Revision: 1109
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1109&view=rev
Author: pcmehlitz
Date: 2008-12-09 07:47:43 +0000 (Tue, 09 Dec 2008)
Log Message:
-----------
too much..
* expanded the RobotManager UI model checking example with a data acquisition thread - blowing up the state space a bit (JPF finds the high level race after about 25k states). This includes a number of launch configs, input scripts, and mode property files
* extended the Inspector to include mode properties. The JTextArea contents are taken at JPF start time and superpositioned to the config that was used to start the Inspector
* to completely confuse people - added a 'jpf.shell' property which can be used to start JPF starters (like the UIInspector) from JPF.main. This is mainly so that people just have to start JPF with a mode property file (*.jpf) and can push everything else into the *.jpf
* extended and renamed the NonSharedChecker so that we can specify a number of thread names via @Shared({tn1,tn2,...}). Also optimized its inner workings (working off GETFIELD, using the pushed value). Now it's the SharedChecker
* added a MethodAnalyzer listener that keeps track of method operations (call, call/execute, execute, return), pretty much like the DealockAnalyzer does so for threading operations (i.e. not requiring step tracing). This definitely needs more testing and some functional enhancements, but it already can help to understand large traces.
However, ultimately we need the external trace server with configured filters - that should be more effective to save memory and avoids backtracking overhead
Modified Paths:
--------------
trunk/examples/launch/conc-0-RA-test.launch
trunk/extensions/ui/examples/RobotManager.java
trunk/extensions/ui/src/gov/nasa/jpf/tools/UIInspector.java
trunk/src/gov/nasa/jpf/Config.java
trunk/src/gov/nasa/jpf/JPF.java
trunk/src/gov/nasa/jpf/jvm/bytecode/VirtualInvocation.java
trunk/src/gov/nasa/jpf/tools/ExecTracker.java
trunk/src/gov/nasa/jpf/util/Inspector.java
trunk/src/gov/nasa/jpf/util/JPFRunner.java
trunk/test/gov/nasa/jpf/test/TestNonShared.java
Added Paths:
-----------
trunk/app/gov/nasa/jpf/Shared.java
trunk/extensions/ui/examples/RobotManager nothread.launch
trunk/extensions/ui/examples/RobotManager test.launch
trunk/extensions/ui/examples/RobotManager thread.launch
trunk/extensions/ui/examples/RobotManager-nothread.es
trunk/extensions/ui/examples/RobotManager-nothread.jpf
trunk/extensions/ui/examples/RobotManager-thread.es
trunk/extensions/ui/examples/RobotManager-thread1.jpf
trunk/extensions/ui/examples/RobotManager-thread2.jpf
trunk/extensions/ui/examples/RobotManager-thread3.jpf
trunk/extensions/ui/examples/RobotManager-thread4.jpf
trunk/src/gov/nasa/jpf/tools/MethodAnalyzer.java
trunk/src/gov/nasa/jpf/tools/SharedChecker.java
Removed Paths:
-------------
trunk/src/gov/nasa/jpf/tools/NonSharedChecker.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-12-09 02:09:33
|
Revision: 1108
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1108&view=rev
Author: pcorina
Date: 2008-12-09 02:09:30 +0000 (Tue, 09 Dec 2008)
Log Message:
-----------
fixed handling of preconditions during test sequence generation
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/BytecodeUtils.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/PreCondition.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-12-09 02:08:38
|
Revision: 1107
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1107&view=rev
Author: pcorina
Date: 2008-12-09 02:08:33 +0000 (Tue, 09 Dec 2008)
Log Message:
-----------
example showing handling of preconditions during test sequence generation
Modified Paths:
--------------
trunk/extensions/symbc/examples/sequences/Stack.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-12-09 02:07:00
|
Revision: 1106
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1106&view=rev
Author: pcorina
Date: 2008-12-09 02:06:55 +0000 (Tue, 09 Dec 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/ExSymExePrecondAndMath.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-12-07 03:07:28
|
Revision: 1105
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1105&view=rev
Author: pcmehlitz
Date: 2008-12-07 03:07:23 +0000 (Sun, 07 Dec 2008)
Log Message:
-----------
* par force trip to add javax.swing.JList selection modeling, which in turn required the plaf UI, the JScrollPane, which in turn required the JScrollBars and the JViewport. Needless to say all these classes are only fragments, but the JList preserves the ListModel, the SelectionModel, and the component hierarchy (including CellRendererPane for client controlled item rendering). I'm actually surprised it didn't suck in more
* fixed the state enforcement in the EventDispatchThread peer - we shouldn't enforce for every event, but for every new CG. If we don't do that, chances are we miss important paths because we have scripts that revert previous actions before we throw interesting actions at the system (like clicking twice on JCheckBoxes - which we currently need if we want all permutations of a CheckBox set).
We certainly loose on a couple of states we could match, but we still can match ANY choices that don't change the program state, and of course all UI external CGs (like threading)
* with that, implemented RobotManager - a fairly involved UI model checking example that has two defects: (1) violating an assertion due to "illegal" checkbox state combinations, and (2) a null object call due to a thread interleaving. The latter one is pretty cool and JPF finds it in ~25000 states
* finally set the Inspector background color so that it can be distinguished from the application windows
* in the age of AutoLoadedListeners, the TestConst/TestNonNull/TestNonShared launch configs don't need explicit jpf.listener settings anymore
* null handling in Instruction.getSourceLine() - thanks Michal!
Modified Paths:
--------------
trunk/.classpath
trunk/extensions/ui/env/jpf/java/awt/Component.java
trunk/extensions/ui/env/jpf/java/awt/Container.java
trunk/extensions/ui/env/jpf/java/awt/Toolkit.java
trunk/extensions/ui/env/jpf/javax/swing/JComponent.java
trunk/extensions/ui/env/jpf/javax/swing/JLabel.java
trunk/extensions/ui/env/jpf/javax/swing/UIManager.java
trunk/extensions/ui/env/jpf/javax/swing/plaf/ListUI.java
trunk/extensions/ui/env/jpf/javax/swing/plaf/TextUI.java
trunk/extensions/ui/env/jpf/javax/swing/plaf/basic/BasicTextFieldUI.java
trunk/extensions/ui/env/jpf/javax/swing/plaf/basic/BasicTextUI.java
trunk/extensions/ui/env/jvm/gov/nasa/jpf/jvm/JPF_java_awt_EventDispatchThread.java
trunk/extensions/ui/env/jvm/gov/nasa/jpf/jvm/JPF_java_awt_Window.java
trunk/extensions/ui/src/gov/nasa/jpf/tools/UIInspector.java
trunk/src/gov/nasa/jpf/jvm/bytecode/Instruction.java
trunk/src/gov/nasa/jpf/util/Inspector.java
trunk/src/gov/nasa/jpf/util/script/ScriptEnvironment.java
trunk/test/gov/nasa/jpf/test/TestConst.launch
trunk/test/gov/nasa/jpf/test/TestContracts.java
Added Paths:
-----------
trunk/extensions/ui/env/jpf/javax/swing/JList.java
trunk/extensions/ui/env/jpf/javax/swing/JScrollBar.java
trunk/extensions/ui/env/jpf/javax/swing/JScrollPane.java
trunk/extensions/ui/env/jpf/javax/swing/JViewport.java
trunk/extensions/ui/env/jpf/javax/swing/plaf/basic/BasicListUI.java
trunk/extensions/ui/env/jpf/javax/swing/plaf/basic/BasicViewportUI.java
trunk/extensions/ui/examples/
trunk/extensions/ui/examples/RobotManager.java
trunk/test/gov/nasa/jpf/test/TestNonNull.launch
trunk/test/gov/nasa/jpf/test/TestNonShared.launch
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <Ta...@us...> - 2008-12-05 07:46:10
|
Revision: 1104
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1104&view=rev
Author: Taehoon
Date: 2008-12-05 07:45:58 +0000 (Fri, 05 Dec 2008)
Log Message:
-----------
I don't know the reason why unused is committed.
* deleted unused code
Removed Paths:
-------------
trunk/extensions/Web_Application/src/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <Ta...@us...> - 2008-12-05 07:40:04
|
Revision: 1103
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1103&view=rev
Author: Taehoon
Date: 2008-12-05 07:40:00 +0000 (Fri, 05 Dec 2008)
Log Message:
-----------
for clean up extension structure,
* deleted servlet , XPDL extension
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ta...@us...> - 2008-12-05 07:38:31
|
Revision: 1102
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1102&view=rev
Author: taehoon
Date: 2008-12-05 07:38:27 +0000 (Fri, 05 Dec 2008)
Log Message:
-----------
for clean up extension structure,
* deleted servlet , XPDL extension
* added Web_Application/doc
* classes in servlet , XPDL will be placed in Web_Application/src
Web_Application extension is to verify Web based technology such as Servlet, JDBC, SOAP(AXIS), BPEL, XPDL,...
it does not contain source code. as soon as possible, I will commit the executable code and detailed document.
Modified Paths:
--------------
trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/verification/XPDL_Node.java
trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/verification/XPDL_Resource.java
trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/verification/XPDL_activity.java
trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/xpdl2java/XPDL2Java.java
Added Paths:
-----------
trunk/extensions/Web_Application/
trunk/extensions/Web_Application/doc/
trunk/extensions/Web_Application/doc/index.html
trunk/extensions/Web_Application/doc/pic1.jpg
trunk/extensions/Web_Application/src/BusinessProcess/
trunk/extensions/Web_Application/src/BusinessProcess/edu/
trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/example/
trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/verification/
trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/xpdl2java/
Removed Paths:
-------------
trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/XPDL_AND_Fire.java
trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/XPDL_AND_join.java
trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/XPDL_AND_split.java
trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/XPDL_Env.java
trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/XPDL_Node.java
trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/XPDL_Resource.java
trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/XPDL_Transition.java
trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/XPDL_XOR_Join.java
trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/XPDL_Xor_split.java
trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/XPDL_activity.java
trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/example/fujitsu/
trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/example/paymentrequest/
trunk/extensions/Web_Application/src/edu/
trunk/extensions/XPDL/
trunk/extensions/servlet/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-12-04 22:42:16
|
Revision: 1101
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1101&view=rev
Author: pcorina
Date: 2008-12-04 22:42:13 +0000 (Thu, 04 Dec 2008)
Log Message:
-----------
example of auto-generated JUnit test
Added Paths:
-----------
trunk/extensions/symbc/examples/sequences/sequences_StackTest.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-12-04 22:41:20
|
Revision: 1100
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1100&view=rev
Author: pcorina
Date: 2008-12-04 22:41:17 +0000 (Thu, 04 Dec 2008)
Log Message:
-----------
fixed errors in printing of class names for generated JUnit code
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/sequences/SymbolicSequenceListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-12-04 22:31:15
|
Revision: 1099
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1099&view=rev
Author: pcorina
Date: 2008-12-04 22:14:47 +0000 (Thu, 04 Dec 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/examples/sequences/BST.java
trunk/extensions/symbc/examples/sequences/BankAccount.java
trunk/extensions/symbc/examples/sequences/BankAccountDriverSequences.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-12-04 22:30:56
|
Revision: 1098
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1098&view=rev
Author: pcorina
Date: 2008-12-04 22:06:20 +0000 (Thu, 04 Dec 2008)
Log Message:
-----------
Added @Test (expected = <exception>.class) to generated JUnit tests
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/sequences/SymbolicSequenceListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-12-04 20:14:39
|
Revision: 1097
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1097&view=rev
Author: pcmehlitz
Date: 2008-12-04 20:14:37 +0000 (Thu, 04 Dec 2008)
Log Message:
-----------
* finally added a daemon-aware termination policy, but as usual it's just raising more questions. Depending on the OS, a production VM might still run daemons for a few cycles after the last non-daemon dies. Apparently, the guarantee is only that daemons terminate *eventually* (even though that's not what the documentation says). Depending on whether that's a bug or a feature, we actually might check for this case because it could cause some interestig defects if people rely on daemons being terminated instantaneously.
Implementing daemon termination also brought back to attention that program termination and SchedulingPolicy are sort of redundant (which makes it error prone). Currently, we can return a non-empty CG upon thread termination and still implement VM.isEndState() to say differently (as it is the case right now). This is bad if we want to rely on SchedulingPolicy to model platforms ==> re-check what the VM spec says about daemons
* added a daemon termination test case
* added a JTextField model, to support TextField entries with/without return (to model the latter, we can just do a setText("...\n") to fire the ActionEvent, which wouldn't work with the real JTextField).
That's not nice, since in general we just want to cut off the BasicTextFieldUI (i.e. leave the plaf independent model classes alone so that we don't have to muck with swing data/selection models), but that would force us to split events, i.e. blow up scripts and hence state space. This raises the interesting question of adding dedicated event APIs. So far, we just go with public Swing component methods (like doClick() etc.), but that might not be enough (e.g. if there is no "high level" user action API in the component), or inconvenient (like with the 'return' case above)
* little unit test for UIScriptEnvironment parameter expansion
* added a missing InputStreamReader ctor used by Taehoon's servlet extension - in general, we should strive to avoid replaced core classes in extensions if this is only about missing standard APIs that don't require extension specific implementation. This is NOT to say people should start to wildly commit to core because of extension requirements - just report
Modified Paths:
--------------
trunk/env/jpf/java/io/InputStreamReader.java
trunk/extensions/ui/env/jpf/javax/swing/JComponent.java
trunk/extensions/ui/src/gov/nasa/jpf/jvm/choice/ui/UIScriptEnvironment.java
trunk/src/gov/nasa/jpf/jvm/DefaultSchedulerFactory.java
trunk/src/gov/nasa/jpf/jvm/KernelState.java
trunk/src/gov/nasa/jpf/jvm/ThreadList.java
trunk/test/gov/nasa/jpf/jvm/TestThread.java
trunk/test/gov/nasa/jpf/jvm/TestThreadJPF.java
Added Paths:
-----------
trunk/extensions/ui/env/jpf/javax/swing/JTextField.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-12-03 22:14:07
|
Revision: 1096
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1096&view=rev
Author: pcmehlitz
Date: 2008-12-03 22:14:01 +0000 (Wed, 03 Dec 2008)
Log Message:
-----------
* added accessor for ExceptionInfo of NoUncaughtExceptionsProperty
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/jvm/NoUncaughtExceptionsProperty.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-12-03 21:59:23
|
Revision: 1095
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1095&view=rev
Author: pcorina
Date: 2008-12-03 21:59:20 +0000 (Wed, 03 Dec 2008)
Log Message:
-----------
synch with old version
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/Debug.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/JPF_gov_nasa_jpf_symbc_Debug.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
