de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping Class Reference

Implementation for the variability interpretation of AXLang feature2application mappings. More...

List of all members.

Public Member Functions
AxlFormula	applicationModelVariabilityFormula ()
AxlFormulaCollection	applicationModelVariabilityFormulaCollection ()
AbstractF2ArchitectureMapping	axlModel ()
	AxlVariabilityVisitorF2AMapping (AbstractF2ArchitectureMapping model) throws SolverException
	AxlVariabilityVisitorF2AMapping () throws SolverException
	Constructor.
boolean	checkConsistency () throws SolverException
	fires the consistency checking of the f2a mapping.
boolean	checkConsistencyConfigured () throws SolverException
boolean	checkConsistencyConfiguredConstrained () throws SolverException
boolean	checkConsistencyF2AMapping () throws SolverException
boolean	checkConsistencyIteratively () throws SolverException
boolean	checkConsistencyIterativelyConfigured () throws SolverException
boolean	checkConsistencyIterativelyUnconfigured () throws SolverException
boolean	checkConsistencyUnconfigured () throws SolverException
boolean	checkConsistencyUnconfiguredConstrained () throws SolverException
void	computeValidConfigurations () throws SolverException
	Compute the valid configurations for the unconfigured model (with the help of BDDs).
void	computeValidConfigurationsConfigured () throws SolverException
	Compute the valid configurations for the configured model (with the help of BDDs).
AxlFormula	configuredConstrainedFeatureModelVariabilityFormula ()
AxlFormulaCollection	configuredConstrainedFeatureModelVariabilityFormulaCollection ()
AxlFormula	configuredConstrainedVariabilityFormula ()
AxlFormulaCollection	configuredConstrainedVariabilityFormulaCollection ()
AxlFormula	configuredUnconstrainedFeatureModelVariabilityFormula ()
AxlFormulaCollection	configuredUnconstrainedFeatureModelVariabilityFormulaCollection ()
AxlFormula	configuredUnconstrainedVariabilityFormula ()
AxlFormulaCollection	configuredUnconstrainedVariabilityFormulaCollection ()
AxlFormula	featureModelVariabilityFormula ()
AxlFormulaCollection	featureModelVariabilityFormulaCollection ()
Configuration	getConfiguration ()
	Return the configuration which was set for the visitor; null if none.
void	interpret () throws SolverException
	Interpret the f2a mapping and build the formula.
void	setVisitorApplicationModel (AxlVariabilityVisitorApplicationModel visitorApplicationModel) throws SolverException
	assigns the configuration to the corresponding application model (in form of AxlVariabilityVisitorApplicationModel)
void	setVisitorFeatureConfiguration (AxlVariabilityVisitorFeatureConfiguration visitorFeatureConfiguration) throws SolverException
	assigns a configuration to the corresponding feature model (in form of AxlBddVisitorFeatureModel)
void	setVisitorFeatureModel (AxlVariabilityVisitorFeatureModel visitorFeatureModel) throws SolverException
	assigns the corresponding feature model (in form of AxlBddVisitorFeatureModel)
AxlFormula	unconfiguredConstrainedFeatureModelVariabilityFormula ()
AxlFormulaCollection	unconfiguredConstrainedFeatureModelVariabilityFormulaCollection ()
AxlFormula	unconfiguredConstrainedVariabilityFormula ()
AxlFormulaCollection	unconfiguredConstrainedVariabilityFormulaCollection ()
AxlFormula	unconfiguredUnconstrainedVariabilityFormula ()
AxlFormulaCollection	unconfiguredUnconstrainedVariabilityFormulaCollection ()
Protected Member Functions
void	checkPreconditionOfSetAxlModel (IAXLangElement model) throws SolverException
void	clear ()
void	constructorInitializer ()
void	setTheFileName ()
	Sets the name of the CSV output file for this metrics: Schema: "AxlProjectName_-_ModelName_[]|[with_[ThereIsNoConfiguration|ConfigurationName]]_-_Configurations".
AxlFormula	translateF2XLink (Feature2ArchitectureLink f2xLink) throws SolverException
	Translates an f2a mapping link to an AxlFormula.
void	translateMappingModel (AbstractF2ArchitectureMapping f2aMappingModel) throws SolverException
	Translates an aXLang f2a mapping model to an AxlFormula.
void	translateModel (IAXLangElement model) throws SolverException
	Translates an aXLang f2a mapping model to an AxlFormula.
Private Attributes
boolean	isConfiguredMode = false
AxlFormulaCollection	theApplicationModelVarFormulaCollection
AxlFormulaCollection	theConfiguredConstrainedFeatureModelVarFormulaCollection
AxlFormulaCollection	theConfiguredConstrainedVarFormulaCollection
AxlFormulaCollection	theConfiguredUnconstrainedFeatureModelVarFormulaCollection
AxlFormulaCollection	theConfiguredUnconstrainedVarFormulaCollection
AxlFormulaCollection	theUnconfiguredConstrainedFeatureModelVarFormulaCollection
AxlFormulaCollection	theUnconfiguredConstrainedVarFormulaCollection
AxlFormulaCollection	theUnconfiguredUnconstrainedFeatureModelVarFormulaCollection
AxlFormulaCollection	theUnconfiguredUnconstrainedVarFormulaCollection
AxlVariabilityVisitorApplicationModel	theVisitorApplicationModel
AxlVariabilityVisitorFeatureConfiguration	theVisitorFeatureConfiguration
AxlVariabilityVisitorFeatureModel	theVisitorFeatureModel

---

Detailed Description

Implementation for the variability interpretation of AXLang feature2application mappings.

Author:

smann

Version:

0.9.0

Since:

0.9.0

---

Constructor & Destructor Documentation

de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.AxlVariabilityVisitorF2AMapping

(

)

throws SolverException

Constructor.

Exceptions:

SolverException

de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.AxlVariabilityVisitorF2AMapping

(

AbstractF2ArchitectureMapping

model

)

throws SolverException

---

Member Function Documentation

AxlFormula de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.applicationModelVariabilityFormula

(

)

AxlFormulaCollection de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.applicationModelVariabilityFormulaCollection

(

)

AbstractF2ArchitectureMapping de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.axlModel

(

)

Getter/setter axlModel the assigned aXLang submodel

Reimplemented from de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitor.

boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.checkConsistency

(

)

throws SolverException [virtual]

fires the consistency checking of the f2a mapping.

Returns:

the result of the check the models are already set!

Implements de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitor.

boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.checkConsistencyConfigured

(

)

throws SolverException

boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.checkConsistencyConfiguredConstrained

(

)

throws SolverException

boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.checkConsistencyF2AMapping

(

)

throws SolverException

boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.checkConsistencyIteratively

(

)

throws SolverException

Reimplemented from de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitor.

boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.checkConsistencyIterativelyConfigured

(

)

throws SolverException

boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.checkConsistencyIterativelyUnconfigured

(

)

throws SolverException

boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.checkConsistencyUnconfigured

(

)

throws SolverException

boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.checkConsistencyUnconfiguredConstrained

(

)

throws SolverException

void de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.checkPreconditionOfSetAxlModel

(

IAXLangElement

model

)

throws SolverException [protected, virtual]

Implementation of the precondition check for setModel() method (a hook method)

Parameters:

model,:

a f2a mapping

Exceptions:

SolverException

Implements de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitor.

void de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.clear

(

)

[protected]

Reimplemented from de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitor.

void de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.computeValidConfigurations

(

)

throws SolverException [virtual]

Compute the valid configurations for the unconfigured model (with the help of BDDs).

Implements de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitor.

void de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.computeValidConfigurationsConfigured

(

)

throws SolverException

Compute the valid configurations for the configured model (with the help of BDDs).

AxlFormula de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.configuredConstrainedFeatureModelVariabilityFormula

(

)

AxlFormulaCollection de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.configuredConstrainedFeatureModelVariabilityFormulaCollection

(

)

AxlFormula de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.configuredConstrainedVariabilityFormula

(

)

AxlFormulaCollection de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.configuredConstrainedVariabilityFormulaCollection

(

)

AxlFormula de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.configuredUnconstrainedFeatureModelVariabilityFormula

(

)

AxlFormulaCollection de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.configuredUnconstrainedFeatureModelVariabilityFormulaCollection

(

)

AxlFormula de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.configuredUnconstrainedVariabilityFormula

(

)

AxlFormulaCollection de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.configuredUnconstrainedVariabilityFormulaCollection

(

)

void de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.constructorInitializer

(

)

[protected]

Reimplemented from de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitor.

AxlFormula de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.featureModelVariabilityFormula

(

)

AxlFormulaCollection de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.featureModelVariabilityFormulaCollection

(

)

Configuration de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.getConfiguration

(

)

Return the configuration which was set for the visitor; null if none.

void de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.interpret

(

)

throws SolverException

Interpret the f2a mapping and build the formula.

Reimplemented from de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitor.

void de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.setTheFileName

(

)

[protected]

Sets the name of the CSV output file for this metrics: Schema: "AxlProjectName_-_ModelName_[]|[with_[ThereIsNoConfiguration|ConfigurationName]]_-_Configurations".

Todo:

initial implementation

Reimplemented from de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitor.

void de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.setVisitorApplicationModel

(

AxlVariabilityVisitorApplicationModel

visitorApplicationModel

)

throws SolverException

assigns the configuration to the corresponding application model (in form of AxlVariabilityVisitorApplicationModel)

Parameters:

visitorApplicationModel

Exceptions:

SolverException

void de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.setVisitorFeatureConfiguration

(

AxlVariabilityVisitorFeatureConfiguration

visitorFeatureConfiguration

)

throws SolverException

assigns a configuration to the corresponding feature model (in form of AxlBddVisitorFeatureModel)

Parameters:

featureModelFeatureConfiguration

AxlVariabilityVisitorFeatureModel and AxlVariabilityVisitorApplicationModel have been already set

Exceptions:

SolverException

void de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.setVisitorFeatureModel

(

AxlVariabilityVisitorFeatureModel

visitorFeatureModel

)

throws SolverException

assigns the corresponding feature model (in form of AxlBddVisitorFeatureModel)

Parameters:

theVisitorFeatureModel

Exceptions:

SolverException

AxlFormula de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.translateF2XLink

(

Feature2ArchitectureLink

f2xLink

)

throws SolverException [protected]

Translates an f2a mapping link to an AxlFormula.

Parameters:

f2a

mapping link : corresponding feature model, application model and configuration have been already translated.

void de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.translateMappingModel

(

AbstractF2ArchitectureMapping

f2aMappingModel

)

throws SolverException [protected]

Translates an aXLang f2a mapping model to an AxlFormula.

Parameters:

f2amappping

model to be translated : corresponding feature model, application model and configuration have been already translated.

void de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.translateModel

(

IAXLangElement

model

)

throws SolverException [protected, virtual]

Translates an aXLang f2a mapping model to an AxlFormula.

Parameters:

f2amappping

model to be translated : corresponding feature model, application model and configuration have been already translated.

Implements de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitor.

AxlFormula de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.unconfiguredConstrainedFeatureModelVariabilityFormula

(

)

AxlFormulaCollection de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.unconfiguredConstrainedFeatureModelVariabilityFormulaCollection

(

)

AxlFormula de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.unconfiguredConstrainedVariabilityFormula

(

)

AxlFormulaCollection de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.unconfiguredConstrainedVariabilityFormulaCollection

(

)

AxlFormula de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.unconfiguredUnconstrainedVariabilityFormula

(

)

AxlFormulaCollection de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.unconfiguredUnconstrainedVariabilityFormulaCollection

(

)

---

Member Data Documentation

boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.isConfiguredMode = false [private]

AxlFormulaCollection de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.theApplicationModelVarFormulaCollection [private]

AxlFormulaCollection de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.theConfiguredConstrainedFeatureModelVarFormulaCollection [private]

AxlFormulaCollection de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.theConfiguredConstrainedVarFormulaCollection [private]

AxlFormulaCollection de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.theConfiguredUnconstrainedFeatureModelVarFormulaCollection [private]

AxlFormulaCollection de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.theConfiguredUnconstrainedVarFormulaCollection [private]

AxlFormulaCollection de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.theUnconfiguredConstrainedFeatureModelVarFormulaCollection [private]

AxlFormulaCollection de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.theUnconfiguredConstrainedVarFormulaCollection [private]

AxlFormulaCollection de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.theUnconfiguredUnconstrainedFeatureModelVarFormulaCollection [private]

AxlFormulaCollection de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.theUnconfiguredUnconstrainedVarFormulaCollection [private]

AxlVariabilityVisitorApplicationModel de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.theVisitorApplicationModel [private]

AxlVariabilityVisitorFeatureConfiguration de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.theVisitorFeatureConfiguration [private]

AxlVariabilityVisitorFeatureModel de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping.theVisitorFeatureModel [private]