Commit 6b09162e authored by Filip Reaboi's avatar Filip Reaboi
Browse files

GREEN. Some static imports added

parent 934e8191
AF3z3Activator.java 82937f1870d5e82a5acb7e65633497936c24cd00 YELLOW
AF3z3Activator.java 82937f1870d5e82a5acb7e65633497936c24cd00 GREEN
Z3Type.java fea8b1c2c1ce860070db7ba2bf662b43709f2375 GREEN
Z3javaAPIWrapper.java 6882b6796102105e23180eca8758f594c80dcae2 GREEN
StatisticCoverageConstraint.java fa9b4cd0165fe76be28896f6d592a11a8b668eca GREEN
TestContractTransformationContexts.java 00a7310cd379ec16c99311b3171ca3837dff9bbd GREEN
TestSuiteConstraint.java f7e85fe9704ae3baf72ced84b1eb5a907a0f20b7 YELLOW
TestSuiteConstraint.java a7498ff79b6335611753a3dca05d1229188f1180 GREEN
......@@ -17,10 +17,12 @@ package org.fortiss.af3.testing.constraint;
import static org.fortiss.af3.component.utils.ComponentLibraryUtils.findOriginalElement;
import static org.fortiss.af3.component.utils.ComponentUtils.filterSpecs;
import static org.fortiss.af3.testing.model.constraintResults.ConstraintResultsFactory.eINSTANCE;
import static org.fortiss.af3.testing.utils.StatisticUtils.clearStateAutomatonExecutionStatistic;
import static org.fortiss.af3.testing.utils.TestingConstraintUtils.getTestSuite;
import static org.fortiss.af3.testing.utils.TestingConstraintUtils.getTestedComponent;
import static org.fortiss.tooling.base.utils.LayoutDataUtils.filterAllLayoutData;
import static org.fortiss.tooling.kernel.service.IPersistencyService.getInstance;
import static org.fortiss.tooling.kernel.utils.ConstraintsUtils.createConstraintInstance;
import static org.fortiss.tooling.kernel.utils.ConstraintsUtils.createErrorStatus;
import static org.fortiss.tooling.kernel.utils.ConstraintsUtils.filterIDs;
......@@ -37,7 +39,6 @@ import org.fortiss.af3.testing.model.TestCase;
import org.fortiss.af3.testing.model.TestOutput;
import org.fortiss.af3.testing.model.TestStep;
import org.fortiss.af3.testing.model.TestSuite;
import org.fortiss.af3.testing.model.constraintResults.ConstraintResultsFactory;
import org.fortiss.af3.testing.model.constraintResults.ExecutionError;
import org.fortiss.af3.testing.model.statistic.ExecutionStatistic;
import org.fortiss.af3.testing.simulator.TestCaseSimulator;
......@@ -110,8 +111,7 @@ public class TestSuiteConstraint extends AF3ProjectConstraintBase {
} catch(ExecutionException e) {
Throwable cause = getOriginalCause(e);
if(cause instanceof NoValExecutionException) {
ExecutionError status =
ConstraintResultsFactory.eINSTANCE.createExecutionError();
ExecutionError status = eINSTANCE.createExecutionError();
status.setProblematicTransition(findOriginalElement(((NoValExecutionException)cause).transitionSegment));
return status;
}
......@@ -122,15 +122,15 @@ public class TestSuiteConstraint extends AF3ProjectConstraintBase {
}
if(testPassed) {
finalStatus = ConstraintResultsFactory.eINSTANCE.createTestSuccessVerificationStatus();
finalStatus = eINSTANCE.createTestSuccessVerificationStatus();
} else {
finalStatus = ConstraintResultsFactory.eINSTANCE.createFailedTestStatus();
finalStatus = eINSTANCE.createFailedTestStatus();
}
for(final StatisticListener listener : manager.getAllListeners()) {
ExecutionStatistic stat = listener.getStatistic(testsuite);
testsuite.getSpecifications().add(stat);
}
IPersistencyService ps = IPersistencyService.getInstance();
IPersistencyService ps = getInstance();
ITopLevelElement modelContext = ps.getTopLevelElementFor(ci);
// If we do not prepare the IDs, the constraint gets outdated simply by saving...
modelContext.prepareIDs(testsuite);
......
ToolsActivator.java 902e0663bd1640fc278be1fb2b92c73a493e0876 YELLOW
ToolsActivator.java 902e0663bd1640fc278be1fb2b92c73a493e0876 GREEN
Supports Markdown
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