Issue-ref: 4285
Issue-URL: af3#4285



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

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>

To be removed in af3#4328

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



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

Added support for taking into account depending elements from the
DependingElementService for the analysis.

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>

Improved optimization by collecting all incoming references during
initial traversing of the model.

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>

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>

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>

Removed unused and commented out code. Added comments.

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



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

Removed unused and commented out code. Added comments.

Issue-ref: 4146
Issue-URL: af3#4146



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

Added "island optimization" option to EMT translation which translates
only optional islands of a configurable size within the model.

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



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

Fixed issue with presence conditions (pc) which were not copied before
being used in new pc.

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



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

Added translation of EMF to SMT that is optimized by translating only
specified classes and references.

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



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

First complete implementation of EMFProductLineTranslation (optimized
translation for product-line analysis)

Issue-ref: 4240
Issue-Url: af3#4240



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

Issue-ref: 4278
Issue-URL: af3#4278



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

Issue-ref: 4257
Issue-URL: af3#4257



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

Started optimized implementation with collection of relevant objects.

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



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

Alternative features were not translated correctly to SMT for the
product-line analysis.

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>

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>

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>

The Check for legal feature names now also checks that the name is
non-empty.

Issue-ref: 4257
Issue-URL: af3#4257

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

Feature names are now checked to be unique among all literals.

Issue-ref: 4278
Issue-URL: af3#4278

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

Issue-Ref: 3862
Issue-Url: af3#3862



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

Fixed review comments.

Issue-ref: 3862
Issue-URL: af3#3862

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

Issue-Ref: 3862
Issue-Url: af3#3862



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

Feature names are now also checked for equality of keywords.

Issue-Ref: 3862
Issue-Url: af3#3862

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

Migrated and refactroed generic product-line analysis to the tooling
kernel.

Issue-Ref: 4240
Issue-Url: #4240

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

The presence of all objects for the translation is now correctly
translated.

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

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

The base analysis also translates the generic feature models, now.

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


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