[Javapathfinder-svn] SF.net SVN: javapathfinder:[952] trunk

[<pcm...@us...>]

Revision: 952
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=952&view=rev
Author:   pcmehlitz
Date:     2008-08-05 20:40:32 +0000 (Tue, 05 Aug 2008)

Log Message:
-----------
* some more build.xml changes to make NetBeans (6.1) happy with JPF as a free form project

* added an ide subdir. ideally, this should hold all our IDE plugins, but for Eclipse that's rather unlikely (until they finally support nested projects)

* added RunJPF as a VERY simple NetBeans module. This doesn't do much except of adding a "Run JPF" item to the file context menu of *.jpf files,
which are properties files that can reside anywhere in the project (good by Eclipse *.launch configs!) This is the same mechanism to configure
and run JPF that is used by Sandro's VJP (Eclipse plugin)

* added a simple ide/examples/JPFTest project. This is going to evolve into a suite that can be used for NetBeans and Eclipse demos 

Modified Paths:
--------------
    trunk/build.xml

Added Paths:
-----------
    trunk/ide/
    trunk/ide/examples/
    trunk/ide/examples/JPFTest/
    trunk/ide/examples/JPFTest/build.xml
    trunk/ide/examples/JPFTest/manifest.mf
    trunk/ide/examples/JPFTest/nbproject/
    trunk/ide/examples/JPFTest/nbproject/build-impl.xml
    trunk/ide/examples/JPFTest/nbproject/genfiles.properties
    trunk/ide/examples/JPFTest/nbproject/project.properties
    trunk/ide/examples/JPFTest/nbproject/project.xml
    trunk/ide/examples/JPFTest/src/
    trunk/ide/examples/JPFTest/src/jpftest/
    trunk/ide/examples/JPFTest/src/jpftest/Hello.java
    trunk/ide/examples/JPFTest/src/jpftest/Hello.jpf
    trunk/ide/examples/JPFTest/src/jpftest/OldClassic-analyzer.jpf
    trunk/ide/examples/JPFTest/src/jpftest/OldClassic-basic.jpf
    trunk/ide/examples/JPFTest/src/jpftest/OldClassic.java
    trunk/ide/examples/JPFTest/src/jpftest/Racer-exception.jpf
    trunk/ide/examples/JPFTest/src/jpftest/Racer-listener.jpf
    trunk/ide/examples/JPFTest/src/jpftest/Racer.java
    trunk/ide/examples/JPFTest/src/jpftest/Rand.java
    trunk/ide/examples/JPFTest/src/jpftest/Rand.jpf
    trunk/ide/examples/JPFTest/test/
    trunk/ide/netbeans/
    trunk/ide/netbeans/RunJPF/
    trunk/ide/netbeans/RunJPF/build.xml
    trunk/ide/netbeans/RunJPF/manifest.mf
    trunk/ide/netbeans/RunJPF/nbproject/
    trunk/ide/netbeans/RunJPF/nbproject/build-impl.xml
    trunk/ide/netbeans/RunJPF/nbproject/genfiles.properties
    trunk/ide/netbeans/RunJPF/nbproject/platform.properties
    trunk/ide/netbeans/RunJPF/nbproject/project.properties
    trunk/ide/netbeans/RunJPF/nbproject/project.xml
    trunk/ide/netbeans/RunJPF/release/
    trunk/ide/netbeans/RunJPF/release/modules/
    trunk/ide/netbeans/RunJPF/release/modules/ext/
    trunk/ide/netbeans/RunJPF/src/
    trunk/ide/netbeans/RunJPF/src/gov/
    trunk/ide/netbeans/RunJPF/src/gov/nasa/
    trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/
    trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/Bundle.properties
    trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/JPFConfigDataLoader.java
    trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/JPFConfigDataLoaderBeanInfo.java
    trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/JPFConfigDataNode.java
    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/JPFConfigResolver.xml
    trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/JPFConfigTemplate.jpf
    trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/OutputAdapter.java
    trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/RunJPF.java
    trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/layer.xml
    trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/runjpf.gif
    trunk/ide/netbeans/RunJPF/test/
    trunk/ide/netbeans/RunJPF/test/unit/
    trunk/ide/netbeans/RunJPF/test/unit/src/
    trunk/ide/netbeans/RunJPF/test/unit/src/META-INF/
    trunk/ide/netbeans/RunJPF/test/unit/src/META-INF/services/
    trunk/ide/netbeans/RunJPF/test/unit/src/META-INF/services/org.openide.loaders.DataLoader


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