From 8ede7d2aca38b6bd83d8a10e2ea84bd092a70c9c Mon Sep 17 00:00:00 2001
From: Simon Urli <simon.urli@gmail.com>
Date: Wed, 31 Jan 2018 11:12:15 +0100
Subject: [PATCH] chore: Add a script to update pom.xml for running
 pit-descartes (#1820)

---
 .../pit-descartes/descartes-config.xml        | 44 +++++++++++++++++++
 doc/jenkins/pit-descartes/update-pom.py       | 19 ++++++++
 2 files changed, 63 insertions(+)
 create mode 100644 doc/jenkins/pit-descartes/descartes-config.xml
 create mode 100755 doc/jenkins/pit-descartes/update-pom.py

diff --git a/doc/jenkins/pit-descartes/descartes-config.xml b/doc/jenkins/pit-descartes/descartes-config.xml
new file mode 100644
index 00000000000..afbd7b46714
--- /dev/null
+++ b/doc/jenkins/pit-descartes/descartes-config.xml
@@ -0,0 +1,44 @@
+<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/maven-v4_0_0.xsd">
+<plugin>
+  <version>1.2.0</version>
+  <configuration>
+    <mutationEngine>descartes</mutationEngine>
+    <mutators>
+      <mutator>void</mutator>
+      <mutator>null</mutator>
+      <mutator>true</mutator>
+      <mutator>false</mutator>
+      <mutator>empty</mutator>
+      <mutator>0</mutator>
+      <mutator>1</mutator>
+      <mutator>(byte)0</mutator>
+      <mutator>(byte)1</mutator>
+      <mutator>(short)1</mutator>
+      <mutator>(short)2</mutator>
+      <mutator>0L</mutator>
+      <mutator>1L</mutator>
+      <mutator>0.0</mutator>
+      <mutator>1.0</mutator>
+      <mutator>0.0f</mutator>
+      <mutator>1.0f</mutator>
+      <mutator>'\40'</mutator>
+      <mutator>'A'</mutator>
+      <mutator>""</mutator>
+      <mutator>"A"</mutator>
+    </mutators>
+    <excludedClasses>
+      <excludedClass>spoon.test.intercession.IntercessionTest</excludedClass>
+      <excludedClass>spoon.test.template.TemplateTest</excludedClass>
+      <excludedClass>spoon.test.main.MainTest</excludedClass>
+    </excludedClasses>
+    <timestampedReports>false</timestampedReports>
+  </configuration>
+  <dependencies>
+    <dependency>
+      <groupId>fr.inria.stamp</groupId>
+      <artifactId>descartes</artifactId>
+      <version>0.2-SNAPSHOT</version>
+    </dependency>
+  </dependencies>
+</plugin>
+</project>
\ No newline at end of file
diff --git a/doc/jenkins/pit-descartes/update-pom.py b/doc/jenkins/pit-descartes/update-pom.py
new file mode 100755
index 00000000000..da62cefcf2e
--- /dev/null
+++ b/doc/jenkins/pit-descartes/update-pom.py
@@ -0,0 +1,19 @@
+#!/usr/bin/env python
+import xml.etree.ElementTree as et
+
+pom_file = "pom.xml"
+descartes_file = "descartes-config.xml"
+
+spaces={'xmlns':'http://maven.apache.org/POM/4.0.0','schemaLocation':'http://maven.apache.org/xsd/maven-4.0.0.xsd'}
+
+pomTree = et.parse(pom_file)
+descartesTree = et.parse(descartes_file)
+
+rootDescartes = descartesTree.getroot()
+
+pomPitPlugin = pomTree.find(".//{http://maven.apache.org/POM/4.0.0}plugins/{http://maven.apache.org/POM/4.0.0}plugin[{http://maven.apache.org/POM/4.0.0}artifactId='pitest-maven']")
+
+for element in descartesTree.findall('*/'):
+    pomPitPlugin.append(element)
+
+pomTree.write(pom_file, encoding="UTF-8", default_namespace=spaces['xmlns'], xml_declaration=False)
\ No newline at end of file