|
From: <sb...@us...> - 2009-06-10 22:45:47
|
Revision: 1610
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1610&view=rev
Author: sbadame
Date: 2009-06-10 22:45:39 +0000 (Wed, 10 Jun 2009)
Log Message:
-----------
New Take on RunJPF:
RunJPF is now going to serve only as a Netbeans plugin to help users to configure and launch a JPF process. Displaying results is now going to be job of Publishers/Shells for JPF. This is the first step in this movement. RunJPF will become agnostic to the results of JPF. RunJPF will only serve as a catalyst for launching JPF.
Big Changes:
Modify Properties of RunJPF by going through the Tools->Options->Misc->Java Pathfinder
TopicPublisher and ProgressTracker aren't enabled by default. They'll be gone soon.
New Classes:
* New JPFProperties class - Stores the user defined values such as JPF classpath and vm.bootclasspath
* PathListPanel - JPanel that allows users to edit a list of classpath entries
* MainPanel - The options panel displayed to the user
* MainOptionsPanelController - A fluffy class that Netbeans created and that's probably needed for something
RunJPF.java was basically completely rewritten and could probably use a good cleaning.
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/JPFConfigDataObject.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/RunJPF.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/annotation/AnnotationParser.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/layer.xml
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/progress/ProgressTrackerTopComponent.form
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/progress/ProgressTrackerTopComponent.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/topicpublisher/TopicPublisher.java
Added Paths:
-----------
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/JPFProperties.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/options/
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/options/Bundle.properties
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/options/MainOptionsPanelController.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/options/MainPanel.form
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/options/MainPanel.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/options/PathListPanel.form
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/options/PathListPanel.java
Property Changed:
----------------
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|