Public Member Functions | Protected Member Functions | Private Attributes

de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureConfiguration Class Reference

Implementation of abstract class BDDModel for AXLang feature configurations. More...

List of all members.

Public Member Functions

 AxlBddVisitorFeatureConfiguration (BddSolverImp bddSolver) throws SolverException
 Constructor.
Configuration axlModel ()
boolean checkConsistency () throws SolverException
 fires the consistency checking of a configuration to an *already translated feature model*.
boolean checkConsistency (int mode) throws SolverException
 fires the consistency checking of a configuration to an already translated feature model.
BDD getBddConfiguredFeatureModel ()
void setAxlBddVisitorFeatureModel (AxlBddVisitorFeatureModel visitorFeatureModel) throws SolverException
 assigns the configuration to the corresponding feature model (in form of AxlBddVisitorFeatureModel)

Protected Member Functions

void checkPreconditionOfSetAxlModel (IAXLangElement model) throws SolverException
IAxlVarSet getAxlBddVarSet ()
boolean hasNoChildren (IAXLangElement parent) throws SolverException
 Hook-Methode für translateIAXLangElementAtomic(): überprüft, ob ein IAXLAngElement keine relevanten Kinder hat.
BDD translateConfiguration (Configuration model) throws SolverException
 Translating a configuration to a corresponding BDD Precondition: corresponding feature model has been already translated into a BDD, i.e. class attribute modelBddVarSet has been already built and contains the configured features reads/uses attributes: modelBddVarSet, bddFactory.
BDD translateModel (IAXLangElement model) throws SolverException
 Translates an aXLang configuration model to a BDD structure (kann noch refaktorisiert werden) reads/uses attributes: bddFactory creates/reads/writes attributes: modelBddVarSet.

Private Attributes

BDD theConfiguredFeatureModelBdd
AxlBddVisitorFeatureModel theVisitorFeatureModel

Detailed Description

Implementation of abstract class BDDModel for AXLang feature configurations.

Author:
smann
Version:
0.9.0
Since:
0.9.0

Constructor & Destructor Documentation

de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureConfiguration.AxlBddVisitorFeatureConfiguration ( BddSolverImp  bddSolver  )  throws SolverException

Constructor.

Parameters:
bddSolver 
Exceptions:
SolverException 

Member Function Documentation

Configuration de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureConfiguration.axlModel (  ) 

Get the assigned aXLang application model

Reimplemented from de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitor.

boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureConfiguration.checkConsistency (  )  throws SolverException [virtual]

fires the consistency checking of a configuration to an *already translated feature model*.

Parameters:
- 
Returns:
the result of the check

Implements de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitor.

boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureConfiguration.checkConsistency ( int  mode  )  throws SolverException

fires the consistency checking of a configuration to an already translated feature model.

Parameters:
feature configuration
check mode: <0 ... conf model already translated!, check together with feature model 0 ... translate and check confmodel alone; >0 ... translate confmodel and check together with feature model
Returns:
the result of the check
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureConfiguration.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.impold.AxlBddVisitor.

IAxlVarSet de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureConfiguration.getAxlBddVarSet (  )  [protected]
BDD de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureConfiguration.getBddConfiguredFeatureModel (  ) 

Getter

Returns:
the BDD of the configured feature model
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureConfiguration.hasNoChildren ( IAXLangElement  parent  )  throws SolverException [protected, virtual]

Hook-Methode für translateIAXLangElementAtomic(): überprüft, ob ein IAXLAngElement keine relevanten Kinder hat.

Implements de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitor.

void de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureConfiguration.setAxlBddVisitorFeatureModel ( AxlBddVisitorFeatureModel  visitorFeatureModel  )  throws SolverException

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

Parameters:
theVisitorFeatureModel 
Exceptions:
SolverException 
BDD de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureConfiguration.translateConfiguration ( Configuration  model  )  throws SolverException [protected]

Translating a configuration to a corresponding BDD Precondition: corresponding feature model has been already translated into a BDD, i.e. class attribute modelBddVarSet has been already built and contains the configured features reads/uses attributes: modelBddVarSet, bddFactory.

precondition: corresponding feature model has been already translated to the BDD, i.e. feaModelBddVarSet is created and not empty.

Parameters:
model,: the configuration to a feature model
Returns:
a BDD of the configuration; a true BDD if configuration is empty
BDD de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureConfiguration.translateModel ( IAXLangElement  model  )  throws SolverException [protected, virtual]

Translates an aXLang configuration model to a BDD structure (kann noch refaktorisiert werden) reads/uses attributes: bddFactory creates/reads/writes attributes: modelBddVarSet.

Parameters:
model,: zu übersetzendes Konfigurationsmodell, ansonsten Exception

Implements de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitor.


Member Data Documentation