YELLOW

Issue-ref: 4240
Issue-URL: af3#4240



Signed-off-by: Andreas Bayha <bayha@fortiss.org>

org.fortiss.variability/src/org/fortiss/variability/analysis/.ratings

 BucketSetMap.java 665a28c80a9693b9b9e31b7ebe59f2de4195d56c YELLOW
 DualKeyMap.java 75fbe85a54e5a655aaf67108ae004f98ed2879d8 YELLOW
 EMFProductLineTranslation.java a62c588bd806fdf98d1e2fb4138c359528edcaad YELLOW
-GenericProductLineAnalysis.java 6f6d48544ec2b872fa0a4f747a85657889ad463e YELLOW
+GenericProductLineAnalysis.java 314f4de5be3ac7f6589192e7b41540153e032199 YELLOW
 GenericProductLineTranslation.java e00248a4b17430f58afc2a60aa51f340eca77db3 RED
 IProductLineConstraint.java 1b0e1231cc578a6e7e544441ac33533b4feafeb1 YELLOW
 IProductLineTranslation.java 733dae03e2baae237b6f0b33f0dd618a4f47cf73 YELLOW

org.fortiss.variability/src/org/fortiss/variability/analysis/GenericProductLineAnalysis.java

 package org.fortiss.variability.analysis;
 
-import static java.lang.System.currentTimeMillis;
-import static org.fortiss.variability.util.VariabilityUtilsInternal.logInfo;
-
 import java.util.ArrayList;
 import java.util.Collection;
 import java.util.HashSet;
@@ -14,7 +11,6 @@ import org.eclipse.emf.ecore.EAttribute;
 import org.eclipse.emf.ecore.EClass;
 import org.eclipse.emf.ecore.EObject;
 import org.eclipse.emf.ecore.EReference;
-import org.fortiss.tooling.kernel.model.INamedElement;
 
 import com.microsoft.z3.BoolExpr;
 import com.microsoft.z3.Expr;
@@ -59,8 +55,6 @@ public abstract class GenericProductLineAnalysis {
 	 *         analysis. 'false' otherwise.
 	 */
 	public List<ProductLineConstraintViolation> doCheck() {
-		final long start = currentTimeMillis();
-
 		plConstraints = createConstriants();
 
 		setTranslatedMetamodelElements();
@@ -70,17 +64,8 @@ public abstract class GenericProductLineAnalysis {
 				translation.translateConstraints(plConstraints);
 		Solver solver = translation.createSolver();
 
-		String modelName = ((INamedElement)model).getName();
-
-		final long startSmt = currentTimeMillis();
-
 		Status result = solver.check();
 
-		final long end = currentTimeMillis();
-
-		logInfo("Runtime product-line analysis for " + modelName + ": " + (end - start) +
-				" total, " + (startSmt - start) + " translation, " + (end - startSmt) + " SMT");
-
 		List<ProductLineConstraintViolation> ret = new ArrayList<ProductLineConstraintViolation>();
 
 		if(result.equals(Status.SATISFIABLE)) {