ProductLineAnalysis -> ProductLineAnalysisBase

Issue-ref: 4240
Issue-URL: af3#4240

Signed-off-by: Andreas Bayha <bayha@fortiss.org>

ProductLineBaseAnalysis -> GenericProductLineAnalysis
ProductLineBaseTranslation -> GenericProductLineTranslation

Issue-ref: 4240
Issue-URL: af3#4240

Signed-off-by: Andreas Bayha <bayha@fortiss.org>

The product-line analysis can now define a scope that limits the
translated model elements.

Issue-ref: 4240
Issue-URL: af3#4240

Signed-off-by: Andreas Bayha <bayha@fortiss.org>

Signed-off-by: Andreas Bayha <bayha@fortiss.org>

There is a Job for every model and every constraint, now. Before, every
model changed canceled any previous check even for other models.

Issue-ref: 4309
Issue-URL: af3#4309

Signed-off-by: Andreas Bayha <bayha@fortiss.org>

The map if EClass to Z3 null elements can be accessed via a getter.

Issue-ref: 4240
Issue-URL: af3#4240

Signed-off-by: Andreas Bayha <bayha@fortiss.org>

Signed-off-by: Andreas Bayha <bayha@fortiss.org>

The Threads for asynchronous constraint checks are replaced with Eclipse
Jobs to indicate for the users whether an analysis is running.

Issue-ref: 4309
Issue-URL: af3#4309

Signed-off-by: Andreas Bayha <bayha@fortiss.org>

Signed-off-by: Andreas Bayha <bayha@fortiss.org>

Extended the IConstraintCheckerService and MarkerService to allow
registration and execution of asynchronous constraint checkers which do
not block the constraint checker service.

Issue-ref: 4309
Issue-URL: af3#4309

Signed-off-by: Andreas Bayha <bayha@fortiss.org>

Added a base class and several refactorings to pl constraints.

Issue-ref: 4240
Issue-URL: af3#4240

Signed-off-by: Andreas Bayha <bayha@fortiss.org>

Issue-ref: 4240
Issue-URL: af3#4240

Signed-off-by: Andreas Bayha <bayha@fortiss.org>

The analysis has been refined with meaningful violations as a result.
Those include the violating objects, the constraints and (once
implemented) the violating feature configuration.

Issue-ref: 4240
Issue-URL: af3#4240

Signed-off-by: Andreas Bayha <bayha@fortiss.org>

First version of running product line analysis.

Issue-ref: 4240
Issue-URL: af3#4240

Signed-off-by: Andreas Bayha <bayha@fortiss.org>

Objects which are referenced several times were also translated several
times. This has been fixed.

Issue-ref: 4240
Issue-URL: af3#4240

Signed-off-by: Andreas Bayha <bayha@fortiss.org>

There were issues with the translations of Enumerations without literals
which caused exceptions.

The infrastructure to resolve non-feature literals to featres only, was
added.

Issue-Ref: 4240
Issue-Url: af3#4240

Signed-off-by: Andreas Bayha <bayha@fortiss.org>

4307

See merge request !201

Issue-ref: 4307
Issue-URL: af3#4307

Signed-off-by: Andreas Bayha <bayha@fortiss.org>

4281

See merge request !192

4273

See merge request !189

Issue-ref: 4281
Issue-URL: af3#4281



Signed-off-by: Sebastian Bergemann <bergemann@fortiss.org>

Issue-ref: 4273
Issue-URL: af3#4273



Signed-off-by: Sebastian Bergemann <bergemann@fortiss.org>

Signed-off-by: Andreas Bayha <bayha@fortiss.org>

Signed-off-by: Andreas Bayha <bayha@fortiss.org>

4305: Introduce IContextMenuContributor::hiddenInNonExpertView()

Closes af3#4305

See merge request !200

Issue-Ref: 4305
Issue-Url: https://git.fortiss.org/af3/kernel/-/tree/4305



Signed-off-by: Sebastian Bergemann <bergemann@fortiss.org>

Add FX-based alert window that is scrollable (for external references)

Closes af3#4265

See merge request !199

Issue-Ref: 4305
Issue-Url: af3#4305



Signed-off-by: Simon Barner <barner@fortiss.org>

Issue-ref: 4265
Issue-URL: af3#4265

Signed-off-by: Andreas Bayha <bayha@fortiss.org>

Issue-ref: 4265
Issue-URL: af3#4265



Signed-off-by: Sebastian Bergemann <bergemann@fortiss.org>

Issue-ref: 4265
Issue-URL: af3#4265

Signed-off-by: Andreas Bayha <bayha@fortiss.org>

Issue-Ref: 4265
Issue-Url: af3#4265



Signed-off-by: Sebastian Bergemann <bergemann@fortiss.org>

Issue-Ref: 4265
Issue-Url: af3#4265



Signed-off-by: Sebastian Bergemann <bergemann@fortiss.org>

Issue-Ref: 4265
Issue-Url: af3#4265



Signed-off-by: Sebastian Bergemann <bergemann@fortiss.org>

4300: Add hiddenInNonExpertView() for editor (bindings)

Closes af3#4300

See merge request !198

* Minor documentation update

Issue-Ref: 4300
Issue-Url: af3#4300



Signed-off-by: Simon Barner <barner@fortiss.org>

Issue-Ref: 4300
Issue-Url: af3#4300



Signed-off-by: Sebastian Bergemann <bergemann@fortiss.org>

Issue-Ref: 4300
Issue-Url: af3#4300




Signed-off-by: Sebastian Bergemann <bergemann@fortiss.org>