Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
af3
AF3
Commits
63f45764
Commit
63f45764
authored
Mar 20, 2018
by
Filip Reaboi
Browse files
RED
parent
178f6444
Changes
2
Hide whitespace changes
Inline
Side-by-side
org.fortiss.af3.exploration/trunk/src/org/fortiss/af3/exploration/backend/DseBackendHandler.java
View file @
63f45764
...
...
@@ -127,7 +127,10 @@ public class DseBackendHandler {
"The selected DSE backend has not been registered. DSE will not be executed."
);
}
// TODO (FR, 2)
// TODO: Reintegrate the check for sufficient model information.
// TODO (FR, 1)
// validateInputContainer();
executeExtension
(
selectedDseBackend
,
cachedSpec
,
cachedSolutionTypes
,
...
...
@@ -163,8 +166,9 @@ public class DseBackendHandler {
@Override
protected
IStatus
run
(
IProgressMonitor
monitor
)
{
try
{
Optional
<
ExplorationSolution
>
dseSolution
=
backend
.
executeDSE
(
spec
,
solutionTypes
,
explorationModules
,
monitor
,
timeoutMS
);
Optional
<
ExplorationSolution
>
dseSolution
=
backend
.
executeDSE
(
spec
,
solutionTypes
,
explorationModules
,
monitor
,
timeoutMS
);
if
(
dseSolution
.
isPresent
())
{
cachedExplorationSolution
=
dseSolution
.
get
();
}
...
...
@@ -187,7 +191,11 @@ public class DseBackendHandler {
* all requested elements are present an Exception is thrown. The validation is called before
* triggering the execution of the DSE backend.
*/
// TODO (FR, 2)
// TODO: Reintegrate the check for sufficient model information.
// TODO (FR, 1)
// private void validateInputContainer() throws Exception {
// for(Class<? extends IModelElement> key : cachedInputSet.keySet()) {
// if(cachedInputSet.get(key) == null) {
...
...
org.fortiss.af3.exploration/trunk/src/org/fortiss/af3/exploration/backend/IDseBackend.java
View file @
63f45764
...
...
@@ -42,6 +42,8 @@ public interface IDseBackend {
* if the input validation fails, or the DSE backend detects an error during the
* exploration.
*/
// TODO (FR, 2)
// TODO: Instead of hard-coding the timeout here, we should pass a StoppingCritereon, that can
// be max number of iterations, time value etc.
Optional
<
ExplorationSolution
>
executeDSE
(
ExplorationSpecification
spec
,
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment