From 0095aa2627bbfca377925de71df9dbf16fa6dd6b Mon Sep 17 00:00:00 2001
From: depristo <depristo@348d0f76-0448-11de-a6fe-93d51630548a>
Date: Fri, 20 May 2011 02:53:42 +0000
Subject: [PATCH] Contracts for java now enabled by default in GATK build.  The
 contract checking is automatically enabled when running tests and
 integrationtests.  If you want to run the GATK with Contract checking
 enabled, add -javaagent:lib/cofoja.jar to your jvm args

git-svn-id: file:///humgen/gsa-scr1/gsa-engineering/svn_contents/trunk@5826 348d0f76-0448-11de-a6fe-93d51630548a
---
 build.xml | 19 +++++++++++++++----
 1 file changed, 15 insertions(+), 4 deletions(-)

diff --git a/build.xml b/build.xml
index 2f5ee46d0..b38d2f6ea 100644
--- a/build.xml
+++ b/build.xml
@@ -31,7 +31,6 @@
     <property name="external.dir" value="external" />
     <property name="java.source.dir" value="java/src" />
     <property name="java.classes" value="${build.dir}/java/classes" />
-    <property name="java.contracts" value="${build.dir}/java/contracts" />
     <property name="resource.file" value="StingText.properties" />
     <property name="resource.path" value="${java.classes}/StingText.properties" />
 
@@ -41,7 +40,9 @@
     <property name="queue-extensions.source.dir" value="${build.dir}/queue-extensions/src" />
     
     <!-- Contracts for Java -->
-    <!-- <property name="use.contracts" value="true" /> --> <!-- uncomment out to enable building contracts -->
+    <!-- uncomment out to enable building contracts -->
+    <property name="use.contracts" value="true" /> 
+    <property name="java.contracts" value="${build.dir}/java/contracts" />
     <property name="cofojaDir" value="settings/repository/com.google/"/>
     <property name="cofoja.jar" value="${cofojaDir}/cofoja-1.0-r120.jar"/>
     
@@ -604,6 +605,10 @@
                 <pathelement location="${java.classes}"/>
                 <pathelement location="lib/testng-5.14.1.jar"/>
             </classpath>
+<!-- 
+            <compilerarg value="-Acom.google.java.contract.debug"/>
+            <compilerarg value="-Acom.google.java.contract.dump=dump/"/>
+ -->
         </javac>
     </target>
 
@@ -670,12 +675,18 @@
                 <jvmarg value="-Djava.awt.headless=true" />
                 <jvmarg value="-Dpipeline.run=${pipeline.run}" />
                 <jvmarg value="-Djava.io.tmpdir=${java.io.tmpdir}" />
-<!--                 <jvmarg value="-Xdebug"/> -->
-<!--                 <jvmarg value="-Xrunjdwp:transport=dt_socket,server=y,suspend=y,address=5005"/> -->
+                <!-- needs to be if -->
+                <jvmarg value="-javaagent:lib/cofoja.jar"/>
+                <jvmarg value="-Dcom.google.java.contract.log.contract=false"/>
+<!-- 
+                <jvmarg value="-Xdebug"/>
+                <jvmarg value="-Xrunjdwp:transport=dt_socket,server=y,suspend=y,address=5005"/>
+ -->
                 <classpath>
                     <path refid="external.dependencies" />
                     <pathelement location="${java.classes}" />
                     <pathelement location="${scala.classes}" />
+                    <pathelement location="${java.contracts}" />
                     <pathelement location="${java.test.classes}" />
                     <pathelement location="${scala.test.classes}" />
                 </classpath>