Commit 26e0a878 authored by Sudeep Kanav's avatar Sudeep Kanav
Browse files

ratings migrated

refs 3177
parent 90b52205
AF3ExplorationSMTActivator.java 871c6e262a7cceb233f608290c8ffaba4bc3aeba RED
......@@ -24,7 +24,6 @@ import org.osgi.framework.BundleContext;
* The activator class controls the plug-in life cycle.
*
* @author eder
* @ConQAT.Rating RED Hash: BDBF66EA370B4338B5A3C1A862C6EF24
*/
public class AF3ExplorationSMTActivator extends Plugin {
......
.ratings e7db9b22754be957ccab799ebcde9fe54bdbf748 RED
Z3Backend.java 74ffe5eabe8604f5c81c52f05fb3e653934e241f RED
......@@ -51,14 +51,11 @@ import org.fortiss.tooling.kernel.service.IPersistencyService;
* solution models.
*
* @author diewald
* @author $Author$
* @version $Rev$
* @ConQAT.Rating RED Hash:
*/
public class Z3Backend implements IDseBackend {
/** Specifies the required input models from the DSE. */
private final Collection<Class<?>> requiredInputModels =
Arrays.asList(RuleSetContainer.class, DSESuperSets.class);
private final Collection<Class<?>> requiredInputModels = Arrays.asList(RuleSetContainer.class,
DSESuperSets.class);
/** Caches the solution container (metrics/visualization + solution models. */
private DseSolutionVisualization<?> solutionVisualization;
......@@ -67,7 +64,8 @@ public class Z3Backend implements IDseBackend {
@Override
// TODO: Based on the requested solutions (Deployment, Scheduling) we need to return different
// input requirements.
public Collection<Class<?>> getRequiredInputSet() {
public
Collection<Class<?>> getRequiredInputSet() {
return requiredInputModels;
}
......@@ -75,10 +73,12 @@ public class Z3Backend implements IDseBackend {
@Override
// TODO: Currently, the DSE execute method is implemented using some Deployment synthesis
// specifics. These should be removed, as the method shall be generic.
public Optional<ExplorationSolution> executeDSE(RuleSetContainer spec,
Set<Class<? extends IModelElement>> solutionTypes, IDseInputContainer inputParameters,
Collection<IExplorationFeature> explorationModules, IProgressMonitor monitor,
int timeoutMS) throws Exception {
public
Optional<ExplorationSolution> executeDSE(RuleSetContainer spec,
Set<Class<? extends IModelElement>> solutionTypes,
IDseInputContainer inputParameters,
Collection<IExplorationFeature> explorationModules, IProgressMonitor monitor,
int timeoutMS) throws Exception {
if(spec.size() < 1) {
throw new Exception("No exploration targets defined. Cannot perform the DSE.");
}
......@@ -93,8 +93,8 @@ public class Z3Backend implements IDseBackend {
IPersistencyService.getInstance().getTopLevelElementFor(spec.get(0));
ExplorationSpecification targetSpec = createExplorationSpecification();
for(RuleSet ruleSet : spec) {
context.runAsNonDirtyingCommand(
() -> targetSpec.getTargets().addAll(ruleSet.getExplorationTargets()));
context.runAsNonDirtyingCommand(() -> targetSpec.getTargets().addAll(
ruleSet.getExplorationTargets()));
}
// TODO: The metrics should be added to each solution as well.
......@@ -153,7 +153,6 @@ public class Z3Backend implements IDseBackend {
/** {@inheritDoc} */
@Override
public void plotResult(ExplorationSolutionSet solutionSet) {
throw new UnsupportedOperationException(
"The Z3 backend uses the AF3 visualization engine.");
throw new UnsupportedOperationException("The Z3 backend uses the AF3 visualization engine.");
}
}
.ratings 5746f5ff77ad203dba81a960a9afeb62e8b20794 RED
DSLtoSMT.java fa3ea9e12b97d1359e89d6c793018a247f5be1a6 RED
ScheduleRun.java 874db532f8f993d7c8ea6a963697a6059c25b3b0 RED
SolverRun.java a82b92918eabf0d230ed8ec54eb1f020942cb849 RED
......@@ -94,7 +94,6 @@ import com.microsoft.z3.Z3Type;
* @Deprecated will be replaced after release 2.12 refs 2914
*
* @author eder
* @ConQAT.Rating RED Hash: 2285D7ED8FDF0A8CD0375188ADAB29AC
*/
public class DSLtoSMT {
......
......@@ -87,7 +87,6 @@ import com.microsoft.z3.Z3Exception;
* @Deprecated will be replaced after release 2.12 refs 2914
*
* @author eder
* @ConQAT.Rating RED Hash: 3E8F286EFB30820D713BBC5251775B56
*/
public class ScheduleRun extends SolverRun {
......
......@@ -99,7 +99,6 @@ import com.microsoft.z3.Z3javaAPIWrapper;
* @Deprecated will be replaced after release 2.12 refs 2914
*
* @author eder
* @ConQAT.Rating RED Hash: 79F880C661E58A40AA372A8B1916FDB3
*/
public abstract class SolverRun {
......
.ratings 3f4ac436f601b1e03541e9acfa3cd5613d29835b RED
BasicDeploymentConstraint.java e239574d2656b952d8036ecc19803663535ad359 RED
ConstraintToNONQuantifiedSMT.java c25cd81671ebea484377cd58e094a5d8e4b0e812 RED
ConstraintToQuantifiedSMT.java 181a0190b1586982af5ce8a02a927f6512ee3b30 RED
DeploymentRun2.java 6687b5a978f3de55c64cc10d8873c77ff242d6f4 RED
ITransformationService.java f2fbdb2b1abd59b5fbc38fc1e8543ab6a5752f2a RED
LanguageTransformation.java 48f751551ef0c018bf56398853a3ffec68a77cb8 RED
SMTTransformationUtils.java 66657c85272ce6170c4b63d816680dbb07a45a1b RED
SolverRun2.java a00cf83a55691f64e3afd45b122b33103b884718 RED
TransformationService.java 0c6a1241b2860118fef1198ae04e82bee58a1587 RED
......@@ -62,7 +62,6 @@ import org.fortiss.tooling.base.model.element.IModelElement;
* Class for creating basic constraint in order to synthesize deployments.
*
* @author eder
* @ConQAT.Rating RED Hash: 1E4F19A53820357291B195B3F7B52897
*/
public class BasicDeploymentConstraint {
......
......@@ -91,7 +91,6 @@ import com.microsoft.z3.Z3javaAPIWrapper;
* This transformations unfolds any given {@link IBinderExpression} e.g. a quantifier.
*
* @author eder
* @ConQAT.Rating RED Hash: 223F2D25A89F57F0FC7620035EF139BB
*/
public class ConstraintToNONQuantifiedSMT {
......
......@@ -93,7 +93,6 @@ import com.microsoft.z3.Z3javaAPIWrapper;
* This transformation does not unfold the given {@link IBinderExpression}s.
*
* @author eder
* @ConQAT.Rating RED Hash: 60A32589B8A63146BA363183D00A033E
*/
public class ConstraintToQuantifiedSMT {
......
......@@ -52,7 +52,6 @@ import com.microsoft.z3.Z3Exception;
* input.
*
* @author eder
* @ConQAT.Rating RED Hash: FC371E2D5F738F361BD907A48163EB90
*/
public class DeploymentRun2 extends SolverRun2 {
......
......@@ -38,7 +38,6 @@ import com.microsoft.z3.FuncDecl;
* Transformation service interface.
*
* @author eder
* @ConQAT.Rating RED Hash: E5487823C7AF2D9DF23D5607EAB99620
*/
public interface ITransformationService {
// TODO(AD): None of the comments documents what is returned if the given elements don't have a
......
......@@ -87,7 +87,6 @@ import com.microsoft.z3.Z3Exception;
* Handles the transformation of {@link RuleSet}s into SMT.
*
* @author eder
* @ConQAT.Rating RED Hash: 8134C42F3C38D12446E2EEB230AF2BDB
*/
// TODO(AD): Maybe a more specific class name would be useful since "LanguageTransformation" is very
// general.
......
......@@ -31,7 +31,6 @@ import com.microsoft.z3.Z3javaAPIWrapper;
* Utility class for transformation of models into smt expressions.
*
* @author eder
* @ConQAT.Rating RED Hash: 1C5FC5B49F3BFC6C637EA1CE00CAE061
*/
public class SMTTransformationUtils {
......
......@@ -58,7 +58,6 @@ import com.microsoft.z3.Z3Exception;
* NEW IMPLEMENTATION
*
* @author eder
* @ConQAT.Rating RED Hash: 065D7ED0BD6DB43C000D350704C183D0
*/
public abstract class SolverRun2 {
......
......@@ -53,7 +53,6 @@ import com.microsoft.z3.Z3javaAPIWrapper;
* Transformation service used for translating any {@link IExpression} into SMT
*
* @author eder
* @ConQAT.Rating RED Hash: 9CAE3987432C6EA22DC6C93CA07F3720
*/
public class TransformationService implements ITransformationService {
......
.ratings ab71fad75449f37151ce5dfdae555ed967f62656 RED
DeploymentSMTResult.java 2a1265e2e2eef2bb96a9ed556977dc24ad33bd59 RED
DeploymentToSchedule.java a856b52f66d1fcb0707c3b9e4498a82bca9575e9 RED
RouteUtils.java e54d56bcb2c698a2a33fb763a67dd4c5e2e8b765 RED
SolvedSMTResult.java c09b1e4af3c07b8fcfccb9bc95ce58ab745b7dde RED
Z3ModelElementFactory.java a140ccf5e218dbc72ed4b643e2ab6a309f4000b2 RED
......@@ -26,7 +26,6 @@ import org.fortiss.af3.deployment.utils.DeploymentModelElementFactory;
* Deployment SMT result, stored in lists of allocation lists.
*
* @author eder
* @ConQAT.Rating RED Hash: 474E6710297E8AFD55B9260BE6B22396
*/
// TODO(AD): Not a util class.
public class DeploymentSMTResult extends SolvedSMTResult {
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment