Testing: deprecated classes

Issue-Ref:3484
Signed-off-by: Hernan Ponce de Leon <ponce@fortiss.org>

org.fortiss.af3.testing/src/org/fortiss/af3/testing/constraint/StatisticCoverageConstraint.java

@@ -32,7 +32,9 @@ import org.fortiss.tooling.kernel.model.constraints.IConstraintInstanceStatus;
  * {@link IConstraint} for coverage of test suites.
  * 
  * @author aravantinos
+ * @deprecated
  */
+@Deprecated
 public class StatisticCoverageConstraint extends ComponentConstraintGroup {
 
 	/** {@inheritDoc} */

org.fortiss.af3.testing/src/org/fortiss/af3/testing/constraint/TestContractTransformationContexts.java

@@ -23,7 +23,9 @@ import org.fortiss.tooling.kernel.extension.data.ITransformationContext;
  * {@link ITransformationContext}s for the contract verification of {@link TestCase}.
  * 
  * @author aravantinos
+ * @deprecated
  */
+@Deprecated
 public class TestContractTransformationContexts implements ITransformationContext {
 
 	/** Default context, just a marker class. */

org.fortiss.af3.testing/src/org/fortiss/af3/testing/constraint/TestSuiteConstraint.java

@@ -58,7 +58,9 @@ import org.fortiss.tooling.kernel.utils.TransformationUtils.NoTransformationChai
  * {@link IConstraint} for test suite constraints.
  * 
  * @author aravantinos
+ * @deprecated
  */
+@Deprecated
 public class TestSuiteConstraint extends AF3ProjectConstraintBase {
 
 	/** {@inheritDoc} */

org.fortiss.af3.testing/src/org/fortiss/af3/testing/generator/modelchecking/VerifyTestSuiteCommand.java

@@ -29,7 +29,9 @@ import org.fortiss.tooling.kernel.utils.LoggingUtils;
  * to the expectedValue of its ports. (used for RefinementGeneratorTest).
  * 
  * @author Andreiasw1
+ * @deprecated
  */
+@Deprecated
 public class VerifyTestSuiteCommand implements Runnable {
 
 	/** TestSuite to be executed. */

org.fortiss.af3.testing/src/org/fortiss/af3/testing/statistic/StateAutomatonStatisticListener.java

@@ -41,7 +41,9 @@ import org.fortiss.tooling.kernel.model.INamedElement;
  * statistic data during the execution of a state automaton.
  * 
  * @author kisslinger
+ * @deprecated
  */
+@Deprecated
 public class StateAutomatonStatisticListener extends StatisticListener implements
 		IStateTraceListener {
 	/** Map which stores how many times each state was visited. */

org.fortiss.af3.testing/src/org/fortiss/af3/testing/statistic/StatisticListener.java

@@ -26,7 +26,9 @@ import org.fortiss.tooling.kernel.model.INamedElement;
  * 
  * 
  * @author kisslinger
+ * @deprecated
  */
+@Deprecated
 public abstract class StatisticListener implements ITraceListener {
 
 	/** The source element (element which is described by the statistic). */

org.fortiss.af3.testing/src/org/fortiss/af3/testing/statistic/StatisticListenerManager.java

@@ -36,7 +36,9 @@ import org.fortiss.tooling.kernel.model.IIdLabeled;
  * {@link IModelElementSpecification}, in order to combine their statistic data.
  * 
  * @author kisslinger
+ * @deprecated
  */
+@Deprecated
 public class StatisticListenerManager {
 	/**
 	 * Map to store which {@link StatisticListener} was created for which

org.fortiss.af3.testing/src/org/fortiss/af3/testing/validator/platform/deployment/GenericGCCDeploymentTestSuiteValidator.java

@@ -53,7 +53,9 @@ import org.fortiss.tooling.kernel.utils.KernelModelElementUtils;
  * and run it locally.
  * 
  * @author hoelzl
+ * @deprecated
  */
+@Deprecated
 public class GenericGCCDeploymentTestSuiteValidator implements ITestSuiteValidator {
 	/** The timeout for executing "configure" and "make" once during tests. */
 	private final static int TIMEOUT_IN_MILLISECONDS = 20000;

org.fortiss.af3.testing/src/org/fortiss/af3/testing/validator/platform/generic/GenericGCCPlatformTestSuiteValidator.java

@@ -53,7 +53,9 @@ import org.fortiss.tooling.kernel.utils.LoggingUtils;
  * and run it locally.
  * 
  * @author hoelzl
+ * @deprecated
  */
+@Deprecated
 public class GenericGCCPlatformTestSuiteValidator implements ITestSuiteValidator {
 
 	/** The timeout for executing "configure" and "make" once during tests. */

org.fortiss.af3.testing/src/org/fortiss/af3/testing/validator/platform/generic/HardwarePlatformTestSuiteValidator.java

@@ -53,7 +53,9 @@ import org.fortiss.af3.testing.utils.TestingModelElementFactory;
  * and run it locally.
  * 
  * @author hoelzl
+ * @deprecated
  */
+@Deprecated
 public class HardwarePlatformTestSuiteValidator implements ITestSuiteValidator {
 	/** The generated deployment. */
 	private Deployment deployment;

org.fortiss.af3.testing/src/org/fortiss/af3/testing/validator/platform/generic/SourcePackageGenerator.java

@@ -101,7 +101,9 @@ import org.fortiss.af3.testing.model.TestInput;
  * {@link GenericGCCPlatformTestSuiteValidator}.
  * 
  * @author hoelzl
+ * @deprecated
  */
+@Deprecated
 public class SourcePackageGenerator {
 
 	/** Creates the {@link SourcePackage} for the given {@link Deployment}. */