nbproject/ide-file-targets.xml

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <project basedir=".." name="jpf-core-IDE">
   3
   4     <path id="base.path">
   5         <pathelement location="build/main"/>
   6         <pathelement location="build/peers"/>
   7         <pathelement location="build/annotations"/>
   8         <pathelement location="build/tests"/>
   9         <fileset dir=".">
  10             <include name="lib/*.jar"/>
  11         </fileset>
  12     </path>
  13
  14     <sourcepath id="source.path">
  15       <pathelement location="src/main"/>
  16       <pathelement location="src/peers"/>
  17     </sourcepath>
  18
  19 <!--
  20     <property name="testrunner" value="gov.nasa.jpf.util.test.TestJPF"/>
  21 -->
  22     <property name="testrunner" value="gov.nasa.jpf.tool.RunTest"/>
  23
  24
  25     <!-- TODO: do we really have to duplicate this for each container dir? -->
  26     <!-- TODO: !!! automatic recompile doesn't work, this is a NetBeans/Ant problem !!! -->
  27
  28     <!-- (more info: http://www.netbeans.org/kb/articles/freeform-config.html#runsingle) -->
  29
  30     <target name="test-project">
  31         <!-- we need to set the formatter 'usefile' attribute
  32              or the NB test runner will not show any tests -->
  33         <property name="junit.usefile" value="false"/>
  34         <ant antfile="build.xml" inheritall="true" target="test"/>
  35     </target>
  36
  37
  38     <!-- 'main' targets -->
  39     <target name="run-selected-main">
  40         <fail unless="run.class">Must set property 'run.class'</fail>
  41         <ant antfile="build.xml" inheritall="false" target="compile"/>
  42         <input message="please enter arguments" addproperty="arg.input"/>
  43         <java classname="${run.class}" failonerror="true" fork="true">
  44             <classpath>
  45                 <path refid="base.path"/>
  46             </classpath>
  47             <jvmarg value="-ea"/>
  48             <arg line="${arg.input}"/>
  49         </java>
  50     </target>
  51
  52     <target name="debug-selected-main">
  53         <fail unless="debug.class">Must set property 'debug.class'</fail>
  54         <ant antfile="build.xml" inheritall="false" target="compile"/>
  55
  56         <path id="cp.main">
  57            <path refid="base.path"/>
  58         </path>
  59         <sourcepath id="sp.main">
  60            <path refid="source.path"/>
  61         </sourcepath>
  62
  63
  64         <nbjpdastart addressproperty="jpda.address" name="${debug.class}" transport="dt_socket">
  65             <classpath refid="cp.main"/>
  66             <sourcepath refid="sp.main"/>
  67         </nbjpdastart>
  68
  69         <input message="please enter arguments" addproperty="arg.input"/>
  70
  71         <java classname="${debug.class}" fork="true" >
  72             <classpath refid="cp.main"/>
  73             <jvmarg value="-ea"/>
  74             <jvmarg value="-Xdebug"/>
  75             <jvmarg value="-Xrunjdwp:transport=dt_socket,address=${jpda.address}"/>
  76             <arg line="${arg.input}"/>
  77         </java>
  78     </target>
  79
  80
  81     <!-- 'example' targets -->
  82     <target name="run-selected-example">
  83         <fail unless="run.class">Must set property 'run.class'</fail>
  84         <ant antfile="build.xml" inheritall="false" target="compile"/>
  85         <input message="please enter arguments" addproperty="arg.input"/>
  86         <java classname="${run.class}" failonerror="true" fork="true">
  87             <classpath>
  88                 <pathelement location="build/examples"/>
  89                 <path refid="base.path"/>
  90             </classpath>
  91             <jvmarg value="-ea"/>
  92             <arg line="${arg.input}"/>
  93         </java>
  94     </target>
  95
  96     <target name="debug-selected-example">
  97         <fail unless="debug.class">Must set property 'debug.class'</fail>
  98         <ant antfile="build.xml" inheritall="false" target="compile"/>
  99
 100         <path id="cp.examples">
 101            <pathelement location="build/examples"/>
 102            <path refid="base.path"/>
 103         </path>
 104         <sourcepath id="sp.examples">
 105            <pathelement location="src/examples"/>
 106            <path refid="source.path"/>
 107         </sourcepath>
 108
 109
 110         <nbjpdastart addressproperty="jpda.address" name="${debug.class}" transport="dt_socket">
 111             <classpath refid="cp.examples"/>
 112             <sourcepath refid="sp.examples"/>
 113         </nbjpdastart>
 114
 115         <input message="please enter arguments" addproperty="arg.input"/>
 116
 117         <java classname="${debug.class}" fork="true" >
 118             <classpath refid="cp.examples"/>
 119             <jvmarg value="-ea"/>
 120             <jvmarg value="-Xdebug"/>
 121             <jvmarg value="-Xrunjdwp:transport=dt_socket,address=${jpda.address}"/>
 122             <arg line="${arg.input}"/>
 123         </java>
 124     </target>
 125
 126     <target name="run-selected-example-jpf">
 127         <fail unless="jpf.config">Must set property 'jpf.config'</fail>
 128         <ant antfile="build.xml" inheritall="false" target="compile"/>
 129         <!-- -->
 130         <java classname="gov.nasa.jpf.JPF" failonerror="true" fork="true">
 131             <arg value="${jpf.config}"/>
 132             <classpath>
 133                 <pathelement location="build/examples"/>
 134                 <path refid="base.path"/>
 135             </classpath>
 136         </java>
 137     </target>
 138
 139     <target name="debug-selected-example-jpf">
 140         <fail unless="jpf.config">Must set property 'jpf.config'</fail>
 141         <ant antfile="build.xml" inheritall="false" target="compile"/>
 142
 143         <path id="cp.examples">
 144            <pathelement location="build/examples"/>
 145            <path refid="base.path"/>
 146         </path>
 147         <sourcepath id="sp.examples">
 148            <pathelement location="src/examples"/>
 149            <path refid="source.path"/>
 150         </sourcepath>
 151
 152         <nbjpdastart addressproperty="jpda.address" name="${jpf.config}" transport="dt_socket">
 153             <classpath refid="cp.examples"/>
 154             <sourcepath refid="sp.examples"/>
 155         </nbjpdastart>
 156
 157         <java classname="gov.nasa.jpf.JPF" fork="true">
 158             <classpath refid="cp.examples"/>
 159             <jvmarg value="-ea"/>
 160             <jvmarg value="-Xdebug"/>
 161             <jvmarg value="-Xrunjdwp:transport=dt_socket,address=${jpda.address}"/>
 162             <arg value="-c"/>
 163             <arg value="${jpf.config}"/>
 164         </java>
 165     </target>
 166
 167
 168     <!-- 'test' targets -->
 169     <target name="run-selected-test">
 170         <fail unless="run.class">Must set property 'run.class'</fail>
 171         <ant antfile="build.xml" inheritall="false" target="compile"/>
 172         <input message="please enter arguments" addproperty="arg.input"/>
 173         <java classname="${testrunner}" failonerror="true" fork="true">
 174             <classpath>
 175                 <pathelement location="build/tests"/>
 176                 <path refid="base.path"/>
 177             </classpath>
 178             <jvmarg value="-ea"/>
 179             <arg value="${run.class}"/>
 180             <arg line="${arg.input}"/>
 181         </java>
 182     </target>
 183
 184     <target name="debug-selected-test">
 185         <fail unless="debug.class">Must set property 'debug.class'</fail>
 186         <ant antfile="build.xml" inheritall="false" target="compile"/>
 187
 188         <path id="cp.tests">
 189           <pathelement location="build/tests"/>
 190           <path refid="base.path"/>
 191         </path>
 192         <sourcepath id="sp.tests">
 193           <pathelement location="src/tests"/>
 194           <path refid="source.path"/>
 195         </sourcepath>
 196
 197         <nbjpdastart addressproperty="jpda.address" name="${debug.class}" transport="dt_socket">
 198             <classpath refid="cp.tests"/>
 199             <sourcepath refid="sp.tests"/>
 200         </nbjpdastart>
 201
 202         <input message="please enter arguments" addproperty="arg.input"/>
 203
 204         <java classname="${testrunner}" fork="true">
 205             <classpath refid="cp.tests"/>
 206             <jvmarg value="-ea"/>
 207             <jvmarg value="-Xdebug"/>
 208             <jvmarg value="-Xrunjdwp:transport=dt_socket,address=${jpda.address}"/>
 209             <arg value="${debug.class}"/>
 210             <arg line="${arg.input}"/>
 211         </java>
 212     </target>
 213
 214     <target name="run-selected-test-jpf">
 215         <fail unless="jpf.config">Must set property 'jpf.config'</fail>
 216         <ant antfile="build.xml" inheritall="false" target="compile"/>
 217         <java classname="gov.nasa.jpf.JPF" failonerror="true" fork="true">
 218             <jvmarg value="-ea"/>
 219             <arg value="${jpf.config}"/>
 220             <classpath>
 221                 <pathelement location="build/tests"/>
 222                 <path refid="base.path"/>
 223             </classpath>
 224         </java>
 225     </target>
 226
 227     <target  name="debug-selected-test-jpf">
 228         <fail unless="jpf.config">Must set property 'jpf.config'</fail>
 229         <ant antfile="build.xml" inheritall="false" target="compile"/>
 230
 231         <path id="cp.tests">
 232           <pathelement location="build/tests"/>
 233           <path refid="base.path"/>
 234         </path>
 235         <sourcepath id="sp.tests">
 236           <pathelement location="src/tests"/>
 237           <path refid="source.path"/>
 238         </sourcepath>
 239
 240         <nbjpdastart addressproperty="jpda.address" name="${jpf.config}" transport="dt_socket">
 241             <classpath refid="cp.tests"/>
 242             <sourcepath refid="sp.tests"/>
 243         </nbjpdastart>
 244
 245         <java classname="gov.nasa.jpf.JPF" fork="true">
 246             <classpath refid="cp.tests"/>
 247             <jvmarg value="-ea"/>
 248             <jvmarg value="-Xdebug"/>
 249             <jvmarg value="-Xrunjdwp:transport=dt_socket,address=${jpda.address}"/>
 250             <arg value="-c"/>
 251             <arg value="${jpf.config}"/>
 252         </java>
 253     </target>
 254
 255 </project>