Fixed mutation of conditions not being applied to diagrams in some si…

…tuations.

de.tu-bs.cs.isf.cbc.mutation/src/de/tu_bs/cs/isf/cbc/mutation/feature/ImplMutator.java

@@ -141,6 +141,16 @@ protected void applyMutation(LinePair diffLine) throws CodeRepresentationFinderE
 		this.getMutantDiagrams().add(cd.getDiagram());
 	}
 
+	private String getConditionStr(String javaCondition) {
+		if (javaCondition.startsWith("while")) {
+			return javaCondition.substring("while (".length(), javaCondition.length() - ") {".length());
+		} else if (javaCondition.startsWith("if")) {
+			return javaCondition.substring("if (".length(), javaCondition.length() - ") {".length());
+		} else {
+			return javaCondition;
+		}
+	}
+
 	protected boolean changeTargetLine(Resource resource, LinePair diffLine) throws CodeRepresentationFinderException, IOException, MutatorException {
 		CbCFormula formula = getFormulaFrom(resource);
 		unproveEverything(formula.getStatement());
@@ -156,7 +166,7 @@ protected boolean changeTargetLine(Resource resource, LinePair diffLine) throws
 			if (crf.isContract()) {
 				targetC.setName(crf.transformJMLToJavaDL(diffLine.newLine));
 			} else {
-				targetC.setName(targetC.getName().replace(diffLine.originalLine, diffLine.newLine));
+				targetC.setName(targetC.getName().replace(getConditionStr(diffLine.originalLine), getConditionStr(diffLine.newLine)));
 			}
 			((AbstractStatement)target.eContainer()).setProven(false);
 		} else {