Mercurial > hg > Members > kono > jpf-core

view nbproject/ide-file-targets.xml @ 7:b822e7665585

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added a @JPFAttribute(TYPE_NAME,...) annotation for model classes (class, field and method target), which causes JPF to automatically set attribute objects that are instantiated from the provided type name args. Note that the respective attribute classes need to have a public default constructor. Added a JPFAttrAnnotationTest to show how to use it. This is the generic mechanism to use if we need to mark ClassInfos, MethodInfos and FieldInfos either from sources (using annotations), or from config files (type names/matchers used from listeners etc.) - base the processing on attributes, and set them from annotations via @JPFAttribute Refactored MethodInfo linking to happen from Initializer.setMethodDone() so that annotations are already parsed (setMethod() is too early since none of the classfile method attributes are parsed at this point)
author Peter Mehlitz <Peter.C.Mehlitz@nasa.gov>
date Fri, 06 Feb 2015 17:28:55 -0800
parents 61d41facf527
children
line wrap: on
line source

<?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>