--- /dev/null
+<?xml version="1.0" encoding="UTF-8"?>
+<project basedir=".." name="jpf-core-IDE">
+
+ <path id="base.path">
+ <pathelement location="build/main"/>
+ <pathelement location="build/peers"/>
+ <pathelement location="build/annotations"/>
+ <pathelement location="build/tests"/>
+ <fileset dir=".">
+ <include name="lib/*.jar"/>
+ </fileset>
+ </path>
+
+ <sourcepath id="source.path">
+ <pathelement location="src/main"/>
+ <pathelement location="src/peers"/>
+ </sourcepath>
+
+<!--
+ <property name="testrunner" value="gov.nasa.jpf.util.test.TestJPF"/>
+-->
+ <property name="testrunner" value="gov.nasa.jpf.tool.RunTest"/>
+
+
+ <!-- TODO: do we really have to duplicate this for each container dir? -->
+ <!-- TODO: !!! automatic recompile doesn't work, this is a NetBeans/Ant problem !!! -->
+
+ <!-- (more info: http://www.netbeans.org/kb/articles/freeform-config.html#runsingle) -->
+
+ <target name="test-project">
+ <!-- we need to set the formatter 'usefile' attribute
+ or the NB test runner will not show any tests -->
+ <property name="junit.usefile" value="false"/>
+ <ant antfile="build.xml" inheritall="true" target="test"/>
+ </target>
+
+
+ <!-- 'main' targets -->
+ <target name="run-selected-main">
+ <fail unless="run.class">Must set property 'run.class'</fail>
+ <ant antfile="build.xml" inheritall="false" target="compile"/>
+ <input message="please enter arguments" addproperty="arg.input"/>
+ <java classname="${run.class}" failonerror="true" fork="true">
+ <classpath>
+ <path refid="base.path"/>
+ </classpath>
+ <jvmarg value="-ea"/>
+ <arg line="${arg.input}"/>
+ </java>
+ </target>
+
+ <target name="debug-selected-main">
+ <fail unless="debug.class">Must set property 'debug.class'</fail>
+ <ant antfile="build.xml" inheritall="false" target="compile"/>
+
+ <path id="cp.main">
+ <path refid="base.path"/>
+ </path>
+ <sourcepath id="sp.main">
+ <path refid="source.path"/>
+ </sourcepath>
+
+
+ <nbjpdastart addressproperty="jpda.address" name="${debug.class}" transport="dt_socket">
+ <classpath refid="cp.main"/>
+ <sourcepath refid="sp.main"/>
+ </nbjpdastart>
+
+ <input message="please enter arguments" addproperty="arg.input"/>
+
+ <java classname="${debug.class}" fork="true" >
+ <classpath refid="cp.main"/>
+ <jvmarg value="-ea"/>
+ <jvmarg value="-Xdebug"/>
+ <jvmarg value="-Xrunjdwp:transport=dt_socket,address=${jpda.address}"/>
+ <arg line="${arg.input}"/>
+ </java>
+ </target>
+
+
+ <!-- 'example' targets -->
+ <target name="run-selected-example">
+ <fail unless="run.class">Must set property 'run.class'</fail>
+ <ant antfile="build.xml" inheritall="false" target="compile"/>
+ <input message="please enter arguments" addproperty="arg.input"/>
+ <java classname="${run.class}" failonerror="true" fork="true">
+ <classpath>
+ <pathelement location="build/examples"/>
+ <path refid="base.path"/>
+ </classpath>
+ <jvmarg value="-ea"/>
+ <arg line="${arg.input}"/>
+ </java>
+ </target>
+
+ <target name="debug-selected-example">
+ <fail unless="debug.class">Must set property 'debug.class'</fail>
+ <ant antfile="build.xml" inheritall="false" target="compile"/>
+
+ <path id="cp.examples">
+ <pathelement location="build/examples"/>
+ <path refid="base.path"/>
+ </path>
+ <sourcepath id="sp.examples">
+ <pathelement location="src/examples"/>
+ <path refid="source.path"/>
+ </sourcepath>
+
+
+ <nbjpdastart addressproperty="jpda.address" name="${debug.class}" transport="dt_socket">
+ <classpath refid="cp.examples"/>
+ <sourcepath refid="sp.examples"/>
+ </nbjpdastart>
+
+ <input message="please enter arguments" addproperty="arg.input"/>
+
+ <java classname="${debug.class}" fork="true" >
+ <classpath refid="cp.examples"/>
+ <jvmarg value="-ea"/>
+ <jvmarg value="-Xdebug"/>
+ <jvmarg value="-Xrunjdwp:transport=dt_socket,address=${jpda.address}"/>
+ <arg line="${arg.input}"/>
+ </java>
+ </target>
+
+ <target name="run-selected-example-jpf">
+ <fail unless="jpf.config">Must set property 'jpf.config'</fail>
+ <ant antfile="build.xml" inheritall="false" target="compile"/>
+ <!-- -->
+ <java classname="gov.nasa.jpf.JPF" failonerror="true" fork="true">
+ <arg value="${jpf.config}"/>
+ <classpath>
+ <pathelement location="build/examples"/>
+ <path refid="base.path"/>
+ </classpath>
+ </java>
+ </target>
+
+ <target name="debug-selected-example-jpf">
+ <fail unless="jpf.config">Must set property 'jpf.config'</fail>
+ <ant antfile="build.xml" inheritall="false" target="compile"/>
+
+ <path id="cp.examples">
+ <pathelement location="build/examples"/>
+ <path refid="base.path"/>
+ </path>
+ <sourcepath id="sp.examples">
+ <pathelement location="src/examples"/>
+ <path refid="source.path"/>
+ </sourcepath>
+
+ <nbjpdastart addressproperty="jpda.address" name="${jpf.config}" transport="dt_socket">
+ <classpath refid="cp.examples"/>
+ <sourcepath refid="sp.examples"/>
+ </nbjpdastart>
+
+ <java classname="gov.nasa.jpf.JPF" fork="true">
+ <classpath refid="cp.examples"/>
+ <jvmarg value="-ea"/>
+ <jvmarg value="-Xdebug"/>
+ <jvmarg value="-Xrunjdwp:transport=dt_socket,address=${jpda.address}"/>
+ <arg value="-c"/>
+ <arg value="${jpf.config}"/>
+ </java>
+ </target>
+
+
+ <!-- 'test' targets -->
+ <target name="run-selected-test">
+ <fail unless="run.class">Must set property 'run.class'</fail>
+ <ant antfile="build.xml" inheritall="false" target="compile"/>
+ <input message="please enter arguments" addproperty="arg.input"/>
+ <java classname="${testrunner}" failonerror="true" fork="true">
+ <classpath>
+ <pathelement location="build/tests"/>
+ <path refid="base.path"/>
+ </classpath>
+ <jvmarg value="-ea"/>
+ <arg value="${run.class}"/>
+ <arg line="${arg.input}"/>
+ </java>
+ </target>
+
+ <target name="debug-selected-test">
+ <fail unless="debug.class">Must set property 'debug.class'</fail>
+ <ant antfile="build.xml" inheritall="false" target="compile"/>
+
+ <path id="cp.tests">
+ <pathelement location="build/tests"/>
+ <path refid="base.path"/>
+ </path>
+ <sourcepath id="sp.tests">
+ <pathelement location="src/tests"/>
+ <path refid="source.path"/>
+ </sourcepath>
+
+ <nbjpdastart addressproperty="jpda.address" name="${debug.class}" transport="dt_socket">
+ <classpath refid="cp.tests"/>
+ <sourcepath refid="sp.tests"/>
+ </nbjpdastart>
+
+ <input message="please enter arguments" addproperty="arg.input"/>
+
+ <java classname="${testrunner}" fork="true">
+ <classpath refid="cp.tests"/>
+ <jvmarg value="-ea"/>
+ <jvmarg value="-Xdebug"/>
+ <jvmarg value="-Xrunjdwp:transport=dt_socket,address=${jpda.address}"/>
+ <arg value="${debug.class}"/>
+ <arg line="${arg.input}"/>
+ </java>
+ </target>
+
+ <target name="run-selected-test-jpf">
+ <fail unless="jpf.config">Must set property 'jpf.config'</fail>
+ <ant antfile="build.xml" inheritall="false" target="compile"/>
+ <java classname="gov.nasa.jpf.JPF" failonerror="true" fork="true">
+ <jvmarg value="-ea"/>
+ <arg value="${jpf.config}"/>
+ <classpath>
+ <pathelement location="build/tests"/>
+ <path refid="base.path"/>
+ </classpath>
+ </java>
+ </target>
+
+ <target name="debug-selected-test-jpf">
+ <fail unless="jpf.config">Must set property 'jpf.config'</fail>
+ <ant antfile="build.xml" inheritall="false" target="compile"/>
+
+ <path id="cp.tests">
+ <pathelement location="build/tests"/>
+ <path refid="base.path"/>
+ </path>
+ <sourcepath id="sp.tests">
+ <pathelement location="src/tests"/>
+ <path refid="source.path"/>
+ </sourcepath>
+
+ <nbjpdastart addressproperty="jpda.address" name="${jpf.config}" transport="dt_socket">
+ <classpath refid="cp.tests"/>
+ <sourcepath refid="sp.tests"/>
+ </nbjpdastart>
+
+ <java classname="gov.nasa.jpf.JPF" fork="true">
+ <classpath refid="cp.tests"/>
+ <jvmarg value="-ea"/>
+ <jvmarg value="-Xdebug"/>
+ <jvmarg value="-Xrunjdwp:transport=dt_socket,address=${jpda.address}"/>
+ <arg value="-c"/>
+ <arg value="${jpf.config}"/>
+ </java>
+ </target>
+
+</project>