build.xml

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- WARNING: Eclipse auto-generated file.
              Any modifications will be overwritten.
              To include a user specific buildfile here, simply create one in the same
              directory with the processing instruction <?eclipse.ant.import?>
              as the first entry and export the buildfile again. -->
<project basedir="." default="build" name="ProgramAnalysis">
    <property environment="env"/>
    <property name="junit.output.dir" value="junit"/>
    <property name="debuglevel" value="source,lines,vars"/>
    <property name="target" value="1.6"/>
    <property name="source" value="1.6"/>
    <path id="ProgramAnalysis.classpath">
        <pathelement location="bin"/>
        <pathelement location="lib/antlr-3.4-complete.jar"/>
        <pathelement location="lib/junit-4.10.jar"/>
    </path>
    <target name="init">
        <mkdir dir="bin"/>
        <copy includeemptydirs="false" todir="bin">
            <fileset dir="src">
                <exclude name="**/*.java"/>
            </fileset>
        </copy>
    </target>
    <target name="clean">
        <delete dir="bin"/>
    </target>
    <target depends="clean" name="cleanall"/>
    <target depends="build-subprojects,build-project" name="build"/>
    <target name="build-subprojects"/>
    <target depends="init" name="build-project">
        <echo message="${ant.project.name}: ${ant.file}"/>
        <javac debug="true" debuglevel="${debuglevel}" destdir="bin" source="${source}" target="${target}">
            <src path="src"/>
            <classpath refid="ProgramAnalysis.classpath"/>
        </javac>
    </target>
    <target description="Build all projects which reference this project. Useful to propagate changes." name="build-refprojects"/>
    <target name="ProgramAnalysis">
        <mkdir dir="${junit.output.dir}"/>
        <junit fork="yes" printsummary="withOutAndErr">
            <formatter type="xml"/>
            <test name="tests.AllTests_Francesco" todir="${junit.output.dir}"/>
            <test name="tests.AllTests_Riccardo" todir="${junit.output.dir}"/>
            <test name="tests.DataFlowAccess" todir="${junit.output.dir}"/>
            <test name="tests.DeclarationTools" todir="${junit.output.dir}"/>
            <test name="tests.ExpressionTools" todir="${junit.output.dir}"/>
            <test name="tests.InputValidation" todir="${junit.output.dir}"/>
            <test name="tests.ModelValidator" todir="${junit.output.dir}"/>
            <test name="tests.RiccardoDetectionOfSigns" todir="${junit.output.dir}"/>
            <classpath refid="ProgramAnalysis.classpath"/>
        </junit>
    </target>
    <target name="AllTests_Francesco">
        <mkdir dir="${junit.output.dir}"/>
        <junit fork="yes" printsummary="withOutAndErr">
            <formatter type="xml"/>
            <test name="tests.AllTests_Francesco" todir="${junit.output.dir}"/>
            <classpath refid="ProgramAnalysis.classpath"/>
        </junit>
    </target>
    <target name="DeclarationTools">
        <mkdir dir="${junit.output.dir}"/>
        <junit fork="yes" printsummary="withOutAndErr">
            <formatter type="xml"/>
            <test name="tests.DeclarationTools" todir="${junit.output.dir}"/>
            <classpath refid="ProgramAnalysis.classpath"/>
        </junit>
    </target>
    <target name="InputValidation">
        <mkdir dir="${junit.output.dir}"/>
        <junit fork="yes" printsummary="withOutAndErr">
            <formatter type="xml"/>
            <test name="tests.InputValidation" todir="${junit.output.dir}"/>
            <classpath refid="ProgramAnalysis.classpath"/>
        </junit>
    </target>
    <target name="AllTests_Riccardo">
        <mkdir dir="${junit.output.dir}"/>
        <junit fork="yes" printsummary="withOutAndErr">
            <formatter type="xml"/>
            <test name="tests.AllTests_Riccardo" todir="${junit.output.dir}"/>
            <classpath refid="ProgramAnalysis.classpath"/>
        </junit>
    </target>
    <target name="junitreport">
        <junitreport todir="${junit.output.dir}">
            <fileset dir="${junit.output.dir}">
                <include name="TEST-*.xml"/>
            </fileset>
            <report format="frames" todir="${junit.output.dir}"/>
        </junitreport>
    </target>
    <target name="create_run_jar">
        <jar destfile="Analyzer.jar" filesetmanifest="mergewithoutmain">
            <manifest>
                <attribute name="Main-Class" value="core.Main"/>
                <attribute name="Class-Path" value="."/>
            </manifest>
            <fileset dir="bin"/>
	    <zipfileset excludes="META-INF/*.SF" src="lib/antlr-3.4-complete.jar"/>
            <zipfileset excludes="META-INF/*.SF" src="lib/junit-4.10.jar"/>
        </jar>
    </target>
	
    <target name="all" depends="build, build-refprojects, create_run_jar ">
    </target>
	
    <target name="test" depends="ProgramAnalysis, AllTests_Francesco, DeclarationTools, InputValidation, AllTests_Riccardo, junitreport">
    </target>
	

</project>