Skip to content
Snippets Groups Projects
Commit e0072368 authored by Alexander Diewald's avatar Alexander Diewald
Browse files

Integrate a DSE backend selection mechanism in the DSE perspective.

* Exploration.alg:
  * Register the .alg plugin via an IStattup extension to avoid dependencies on this plugin.
  * Create a objective and a constraint evaluator that can handle DSML expressions.
  * Adjust the opt4j extensions.
  * Temporally introduce the MappingEncoding marker interface to support the DSML evaluators (--> allocation expressions).
  * Fix some minor bugs and warnings.
  * Move the porting utils to the alg plugin (previously in alg.ui).
  * Move the plot code to the alg plugin (previously in alg.ui) until the transition to the AF3 visualization framework is finished.
* Exploration.smt:
  * Create a backend implementation for the smt-based exploration.
  * Minor adjustments (I/O) to comply with the backend mechanism.
* Exploration:
  * Package renaming of the DSE backend mechanism.
  * Make the DSE backend mechanism independent of the eclipse extension mechanism.
  * Integrate the Exploration solution Classes in the EMF model.
  * Minor adjustments of the DSE backend API.
* Exploration.ui:
  * Add a combobox to select the DSE backend for the Deployment synthesis
  * Adjust the GUI backends to comply with the DSE backend interfaces.
refs 2939
parent f68540fd
No related branches found
No related tags found
No related merge requests found
eclipse.preferences.version=1
org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8
org.eclipse.jdt.core.compiler.codegen.targetPlatform=9
org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
org.eclipse.jdt.core.compiler.compliance=1.8
org.eclipse.jdt.core.compiler.compliance=9
org.eclipse.jdt.core.compiler.debug.lineNumber=generate
org.eclipse.jdt.core.compiler.debug.localVariable=generate
org.eclipse.jdt.core.compiler.debug.sourceFile=generate
......@@ -83,7 +83,7 @@ org.eclipse.jdt.core.compiler.problem.unusedParameterWhenOverridingConcrete=disa
org.eclipse.jdt.core.compiler.problem.unusedPrivateMember=warning
org.eclipse.jdt.core.compiler.problem.unusedWarningToken=warning
org.eclipse.jdt.core.compiler.problem.varargsArgumentNeedCast=warning
org.eclipse.jdt.core.compiler.source=1.8
org.eclipse.jdt.core.compiler.source=9
org.eclipse.jdt.core.formatter.align_type_members_on_columns=false
org.eclipse.jdt.core.formatter.alignment_for_arguments_in_allocation_expression=16
org.eclipse.jdt.core.formatter.alignment_for_arguments_in_annotation=48
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment