Public Member Functions | Protected Attributes | Private Attributes

de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver Class Reference

AxlSolver for aXLang models. in development. More...

List of all members.

Public Member Functions

 AxlSolver ()
 Constructor.
void changeSolverImpToBdd () throws SolverException
void changeSolverImpToDefault () throws SolverException
void changeSolverImpToSpass () throws SolverException
boolean checkConsistency () throws SolverException
 Fires the consistency checking of an AXLang project with respect to a consistent set of related, selected models.
AxlVariabilityVisitorApplicationModel getVisitorApplicationModel ()
AxlVariabilityVisitorF2AMapping getVisitorF2AMapping ()
AxlVariabilityVisitorFeatureConfiguration getVisitorFeatureConfiguration ()
AxlVariabilityVisitorFeatureModel getVisitorFeatureModel ()
void interpret () throws SolverException
 Interprets the variability of an AXLang project with respect to the set of selected sub-models.
boolean isSmDebugging ()
 Switch for debug purposes.
boolean isSmSystemOut ()
 Switch for system outs of subresults. (until there is something more beautiful available).
void setSelectedModels (Collection< IAXLangElement > models) throws SolverException
 Sets the selected models of an AXLang project for checking.
void setSmDebugging (boolean value)
 Set the switch for debug purposes.
void setSmSystemOut (boolean value)
 Set the switch for system outs of subresults.

Protected Attributes

AxlVariabilityVisitorApplicationModel theVisitorApplicationModel
AxlVariabilityVisitorF2AMapping theVisitorF2AMapping
AxlVariabilityVisitorFeatureConfiguration theVisitorFeatureConfiguration
AxlVariabilityVisitorFeatureModel theVisitorFeatureModel

Private Attributes

boolean smDebugging = false
 switch for system outs for debugging
boolean smSystemOut = true
 switch to display results as system outs

Detailed Description

AxlSolver for aXLang models. in development.

This class implements the Solver interface. It can be used for consistency checking of models.

Author:
smann
Version:
0.9.0
Since:
0.9.0

Constructor & Destructor Documentation

de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.AxlSolver (  ) 

Constructor.


Member Function Documentation

void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.changeSolverImpToBdd (  )  throws SolverException
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.changeSolverImpToDefault (  )  throws SolverException
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.changeSolverImpToSpass (  )  throws SolverException
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.checkConsistency (  )  throws SolverException

Fires the consistency checking of an AXLang project with respect to a consistent set of related, selected models.

Parameters:
collection of AXLang models. The set should include: a feature model, a feature model configuration, an application model as well as a f2a mapping.
Returns:
the result of the check
Todo:
: The following models are not considered currently: resource model, f2rmapping // TODO

Implements de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.ISolver.

AxlVariabilityVisitorApplicationModel de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.getVisitorApplicationModel (  ) 
AxlVariabilityVisitorF2AMapping de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.getVisitorF2AMapping (  ) 
AxlVariabilityVisitorFeatureConfiguration de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.getVisitorFeatureConfiguration (  ) 
AxlVariabilityVisitorFeatureModel de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.getVisitorFeatureModel (  ) 
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.interpret (  )  throws SolverException

Interprets the variability of an AXLang project with respect to the set of selected sub-models.

Returns:
the result of the check

Implements de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.ISolver.

boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.isSmDebugging (  ) 

Switch for debug purposes.

Returns:
smDebugging

Implements de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.ISolver.

boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.isSmSystemOut (  ) 

Switch for system outs of subresults. (until there is something more beautiful available).

Returns:
smSystemOut

Implements de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.ISolver.

void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.setSelectedModels ( Collection< IAXLangElement models  )  throws SolverException

Sets the selected models of an AXLang project for checking.

Parameters:
collection of AXLang models. The set should include: a feature model, a feature model configuration, an application model as well as a f2a mapping.

Implements de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.ISolver.

void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.setSmDebugging ( boolean  value  ) 
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.setSmSystemOut ( boolean  value  ) 

Set the switch for system outs of subresults.

Implements de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.ISolver.


Member Data Documentation

switch for system outs for debugging

switch to display results as system outs