Commit 27d195f9 authored by Alexander Diewald's avatar Alexander Diewald
Browse files

Code-Review: GREEN (RED where previously RED)

Issue-Ref: 3337
Issue-Url: https://af3-developer.fortiss.org/issues/3337

Signed-off-by: Alexander Diewald's avatarAlexander Diewald <diewald@fortiss.org>
parent 20c22022
Z3Backend.java 62242a90bdb60865d5e514660d2011ddee4fe1f9 YELLOW
Z3Backend.java 62242a90bdb60865d5e514660d2011ddee4fe1f9 GREEN
BasicDeploScheduleConstraint.java 3ebffcc1b3b5cd56c9d08afc60d248c055a81972 RED
BasicDeploymentConstraint.java ee43f8ad92f3c93d8ba1a742f4a9830c75ad0ce1 GREEN
BasicDeploScheduleConstraint.java 3ebffcc1b3b5cd56c9d08afc60d248c055a81972 GREEN
BasicDeploymentConstraint.java 9b657d564b8bbf16dd35cb809a8858b2681b8e4b GREEN
BasicScheduleConstraint.java 3f39a2083d2eedf3be64fc224775e9ee2bd3224b GREEN
ConstraintDefinitionUtils.java 58bcd2b8998d3fd744ecabe5598c32b5222623d1 GREEN
ConstraintDefinitionUtils.java dfc1295b90a09b95dd785845c361711cc2b05338 GREEN
ConstraintToNonQuantifiedSMT.java de0e8a7000e26d745b62a27f8c2482e7a7737add GREEN
ConstraintToQuantifiedSMT.java c84e799c69195fe80a2e66a39d0192325b06c7fd GREEN
DSMLTransformationService.java b2e90e11e36346d01c79c18f16ffc62f66f35888 GREEN
DSMLtoSMTTransformator.java d12c195177891f8959f28850626213e56b5b04c8 RED
DSMLtoSMTTransformator.java 345ced7a6a23f4682087d89667bc1cb9c57cdcbb GREEN
DeploScheduleRun.java d074d157250deba431d8f34d13d6464fd27f8acb GREEN
DeploymentRun.java 67d240b1f02f906748811acad9ced9dd71e7cb56 GREEN
IDSMLTransformationService.java f56241d2dff68a69cd1fe09c119d615f74088650 GREEN
......
......@@ -25,7 +25,6 @@ import static org.fortiss.tooling.base.utils.AnnotationUtils.getAnnotation;
import static org.fortiss.tooling.common.util.LambdaUtils.filter;
import static org.fortiss.tooling.common.util.LambdaUtils.getFirst;
import static org.fortiss.tooling.kernel.utils.EcoreUtils.getChildrenWithType;
import static org.fortiss.tooling.kernel.utils.KernelModelElementUtils.runAsCommand;
import static org.fortiss.tooling.kernel.utils.LoggingUtils.error;
import static org.fortiss.tooling.kernel.utils.LoggingUtils.warning;
......@@ -138,6 +137,7 @@ public class DSMLtoSMTTransformator {
/** Function name used used to refer to starting times. */
// TODO (AD): Naming: Why "Dummy"? Can that substring be removed? refs #3472
private static final String START_TIME_FUNCTION_NAME = "f_StartTimeDummy_value";
/** Function name used used to refer to duration times. */
private static final String DURATION_FUNCTION_NAME = "f_DurationDummy_value";
/** Constructor. */
......@@ -358,8 +358,8 @@ public class DSMLtoSMTTransformator {
// models are modified (Output models are added to the FileProject only after all
// operations were applied --> Not needed then). Probably can be removed when the
// input ResourceAllocations are gone.
periodicTimeTrigger.setStartTime(new BigDecimal(startNum.getBigInteger()));
allocation.setDuration(new BigDecimal(durationNum.getBigInteger()));
periodicTimeTrigger.setStartTime(new BigDecimal(startNum.getBigInteger()));
allocation.setDuration(new BigDecimal(durationNum.getBigInteger()));
resAllList.add(allocation);
}
return resAllList;
......
AllocationPatternCompositeBackend.java c2bdb4d756c3cbc22fa5e358de5f6c3243c77d98 GREEN
ConstraintPatternHeader.java 8a4d00fa9831bc762ab6eeebf764a0b01a14bee8 RED
ConstraintViewBackend.java 7600f81a5a08a2fbb586189fc3bb269b09b5e914 GREEN
FunctionCouplingCompositeBackend.java ae6a07642c13df8e949f02b79c6d0e0e997a6811 YELLOW
FunctionCouplingCompositeBackend.java ae6a07642c13df8e949f02b79c6d0e0e997a6811 GREEN
MemoryPatternBackend.java 886d69513d2c6237696184b9bf5fb1cfaadfa943 GREEN
SafetyPatternBackend.java 5466adc104e1aea71a4372cd9eef23e781fd3be0 RED
DashboardWizard.java 1cfdc3ba49589e5e5d836a5b87c4e85dd548be0c RED
DashboardWizardRootElementSelectionBase.java f271fd991c99b13aaeda17d6b077fe139c00a29a YELLOW
DashboardWizardRootElementSelectionBase.java f271fd991c99b13aaeda17d6b077fe139c00a29a GREEN
DashboardWizardSelectPlatformArchitecture.java e421cb1e6376c69af6c1eb9a69adbd249401b8ea YELLOW
DashboardWizardSelectProjectSource.java 093911510894801d722df8a11546d228c3986d94 RED
DashboardWizardSelectTaskArchitecture.java 45ba10a645ce39efa177f945f29b1c46e158d68a YELLOW
DashboardWizardSelectTimingSpecification.java d3cee8a662f5ac5f845b9f13091757ee213486fb YELLOW
DashboardWizardSelectTaskArchitecture.java 45ba10a645ce39efa177f945f29b1c46e158d68a GREEN
DashboardWizardSelectTimingSpecification.java d3cee8a662f5ac5f845b9f13091757ee213486fb GREEN
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