diff --git a/org.fortiss.tooling.ext.variability/src/org/fortiss/tooling/ext/variability/analysis/ProductLineAnalysisBase.java b/org.fortiss.tooling.ext.variability/src/org/fortiss/tooling/ext/variability/analysis/ProductLineAnalysisBase.java index 3ba719df604fa1031a5bca25934d17f9d2b1f01b..fe879e17745c45ed471b9131c9a6731e646150bb 100644 --- a/org.fortiss.tooling.ext.variability/src/org/fortiss/tooling/ext/variability/analysis/ProductLineAnalysisBase.java +++ b/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(); } diff --git a/org.fortiss.tooling.ext.variability/src/org/fortiss/tooling/ext/variability/analysis/ProductLineTranslationBase.java b/org.fortiss.tooling.ext.variability/src/org/fortiss/tooling/ext/variability/analysis/ProductLineTranslationBase.java index 5bce6903d0c4e2986d7f7b385236dd9a95d048ba..3da2e75a30ecf0929bf5c81294abf0bbe171ffb4 100644 --- a/org.fortiss.tooling.ext.variability/src/org/fortiss/tooling/ext/variability/analysis/ProductLineTranslationBase.java +++ b/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 { diff --git a/org.fortiss.variability/src/org/fortiss/variability/analysis/GenericProductLineTranslation.java b/org.fortiss.variability/src/org/fortiss/variability/analysis/GenericProductLineTranslation.java index 8cf8565a2c477974d459e833479cdeb2c12c1366..e00248a4b17430f58afc2a60aa51f340eca77db3 100644 --- a/org.fortiss.variability/src/org/fortiss/variability/analysis/GenericProductLineTranslation.java +++ b/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); }