+++ /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>