Commit 28aad705 authored by Simon Barner's avatar Simon Barner

RED

Issue-Ref: 3994
Issue-Url: https://af3-developer.fortiss.org/issues/3994Signed-off-by: Simon Barner's avatarSimon Barner <barner@fortiss.org>
parent 799a020b
ExplorationExpressionDeploymentValidator.java fbf6efa20107bdd0d10ca205fc5f6afb9315ed77 YELLOW
ExplorationExpressionDeploymentValidator.java b1e42984541b0430f24e5cbc64957663e8c70407 RED
ExplorationExpressionEvaluator.java 8b887228fcf03dd6e38a4119cff2b035bb723456 GREEN
ExpressionVisitorBase.java d3b60238c6685e05f9c75980d1869bd1f0af4132 GREEN
Function.java 9f4dc40006029d2ae58b62936893c2cd0de7e172 GREEN
......
......@@ -79,7 +79,7 @@ public class ExplorationExpressionDeploymentValidator extends ExplorationExpress
/**
* Constructor defining the model to evaluate versus the given specification.
*
* @param ta2hw
* @param ta2hwEntries
* {@link TaskToExecutionUnitAllocationTable} to validate.
* @param ruleSets
* Defines the constraints on the given {@link TaskToExecutionUnitAllocationTable}.
......@@ -126,6 +126,7 @@ public class ExplorationExpressionDeploymentValidator extends ExplorationExpress
}
}
// TODO (SB: please resolve with TM)
// TODO(TM): Won't be needed with the first case removed and the new return statement in
// the second one.
return true;
......@@ -172,6 +173,7 @@ public class ExplorationExpressionDeploymentValidator extends ExplorationExpress
return !isAllocated(disLoc);
}
// TODO (SB: reference corresponding ticket)
/** {@inheritDoc} */
@Override
public Boolean visit(StronglyCausal strc) throws Exception {
......@@ -179,6 +181,7 @@ public class ExplorationExpressionDeploymentValidator extends ExplorationExpress
"StronglyCausal Expressions are not yet supported by the Task-to-Hardware Validator.");
}
// TODO (SB: reference corresponding ticket)
/** {@inheritDoc} */
@Override
public Boolean visit(IsTask isTask) throws Exception {
......
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