Variability: Deprecated old product-line analysis.

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



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

org.fortiss.tooling.ext.variability/src/org/fortiss/tooling/ext/variability/analysis/ProductLineAnalysisBase.java

@@ -33,6 +33,8 @@ import org.fortiss.variability.analysis.ProductLineConstraintViolation;
 /**
  * Base class for all tooling kernel based product-line analyses.
  * 
+ * @deprecated
+ * 
  * @author bayha
  */
 public abstract class ProductLineAnalysisBase extends GenericProductLineAnalysis {
@@ -43,7 +45,8 @@ public abstract class ProductLineAnalysisBase extends GenericProductLineAnalysis
 	public ProductLineAnalysisBase(EObject model) {
 		this(model, new ProductLineTranslationBase());
 
-		translation.addExcludedClasses(asList(LayoutPackage.eINSTANCE.getILayoutData()));
+		((ProductLineTranslationBase)translation)
+				.addExcludedClasses(asList(LayoutPackage.eINSTANCE.getILayoutData()));
 	}
 
 	/**
@@ -70,7 +73,7 @@ public abstract class ProductLineAnalysisBase extends GenericProductLineAnalysis
 			}
 		}
 
-		translation.addExcludedClasses(excludedClasses);
+		((ProductLineTranslationBase)translation).addExcludedClasses(excludedClasses);
 
 		return super.doCheck();
 	}

org.fortiss.tooling.ext.variability/src/org/fortiss/tooling/ext/variability/analysis/ProductLineTranslationBase.java

@@ -26,6 +26,8 @@ import org.fortiss.variability.model.presence.PresenceConditionTerm;
  * Adjusts the generic implementation of the translation to the variation point translation with
  * {@link IModelElementSpecification}s.
  * 
+ * @deprecated
+ * 
  * @author bayha
  */
 public class ProductLineTranslationBase extends GenericProductLineTranslation {

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

@@ -55,6 +55,8 @@ import com.microsoft.z3.Symbol;
  * Base class that implements the translation of model product-lines to SMT in order to perform
  * product-line analysis via constraint lifting.
  * 
+ * @deprecated
+ * 
  * @author bayha
  */
 public class GenericProductLineTranslation implements IProductLineTranslation {
@@ -839,8 +841,6 @@ public class GenericProductLineTranslation implements IProductLineTranslation {
 		return expr2EObject.get(expr);
 	}
 
-	/** {@inheritDoc} */
-	@Override
 	public FuncDecl<?> getSelectionFunction(EClass cls) {
 		return eClass2SelectionFunction.get(cls);
 	}