Mercurial > hg > Members > kono > jpf-core

diff nbproject/ide-file-targets.xml @ 0:61d41facf527

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
initial v8 import (history reset)
author Peter Mehlitz <Peter.C.Mehlitz@nasa.gov>
date Fri, 23 Jan 2015 10:14:01 -0800
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/nbproject/ide-file-targets.xml	Fri Jan 23 10:14:01 2015 -0800
@@ -0,0 +1,255 @@
+<?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>