de.fraunhofer.isst.axbench.operations.checker.solver.handler_and_operations.AxlSolverHandlerBdd_ProjectCut Class Reference

Old implementation: aXLang models are translated directly into BDDs in order to check the variability for consistency. More...

List of all members.

Public Member Functions
	AxlSolverHandlerBdd_ProjectCut ()
	Constructor.
void	clear ()
Object	executionHook (ExecutionEvent event) throws ExecutionException
	execute. executes the analysis by open an dialog to select models
boolean	executionMode_SelectSpecificModels ()
	Override the superclass' method: All models should be taken into evaluation.
Protected Member Functions
String	getResultMessageBoxText ()
StringBuffer	getResultsOverview ()
String	getTaskText ()
void	step4a_checkTheFeatureModels () throws SolverException
void	step4b_checkTheConfigurations () throws SolverException
void	step4c_checkTheApplicationModels () throws SolverException
void	step4d_checkTheF2aMappings () throws SolverException

---

Detailed Description

Old implementation: aXLang models are translated directly into BDDs in order to check the variability for consistency.

Todo:

NOCH NICHT AUF AXLOPERATION VORBEREITET

Author:

smann

Version:

0.9.0

Since:

0.9.0

---

Constructor & Destructor Documentation

de.fraunhofer.isst.axbench.operations.checker.solver.handler_and_operations.AxlSolverHandlerBdd_ProjectCut.AxlSolverHandlerBdd_ProjectCut

(

)

Constructor.

---

Member Function Documentation

void de.fraunhofer.isst.axbench.operations.checker.solver.handler_and_operations.AxlSolverHandlerBdd_ProjectCut.clear

(

)

Reimplemented from de.fraunhofer.isst.axbench.operations.checker.solver.handler_and_operations.AxlSolverHandler_Abstract.

Object de.fraunhofer.isst.axbench.operations.checker.solver.handler_and_operations.AxlSolverHandlerBdd_ProjectCut.executionHook

(

ExecutionEvent

event

)

throws ExecutionException

execute. executes the analysis by open an dialog to select models

Reimplemented from de.fraunhofer.isst.axbench.operations.checker.solver.handler_and_operations.AxlSolverHandler_Abstract.

boolean de.fraunhofer.isst.axbench.operations.checker.solver.handler_and_operations.AxlSolverHandlerBdd_ProjectCut.executionMode_SelectSpecificModels

(

)

[virtual]

Override the superclass' method: All models should be taken into evaluation.

Returns:

false

Implements de.fraunhofer.isst.axbench.operations.checker.solver.handler_and_operations.AxlSolverHandler_Abstract.

String de.fraunhofer.isst.axbench.operations.checker.solver.handler_and_operations.AxlSolverHandlerBdd_ProjectCut.getResultMessageBoxText

(

)

[protected, virtual]

Implements de.fraunhofer.isst.axbench.operations.checker.solver.handler_and_operations.AxlSolverHandler_Abstract.

StringBuffer de.fraunhofer.isst.axbench.operations.checker.solver.handler_and_operations.AxlSolverHandlerBdd_ProjectCut.getResultsOverview

(

)

[protected, virtual]

Implements de.fraunhofer.isst.axbench.operations.checker.solver.handler_and_operations.AxlSolverHandler_Abstract.

String de.fraunhofer.isst.axbench.operations.checker.solver.handler_and_operations.AxlSolverHandlerBdd_ProjectCut.getTaskText

(

)

[protected, virtual]

Implements de.fraunhofer.isst.axbench.operations.checker.solver.handler_and_operations.AxlSolverHandler_Abstract.

void de.fraunhofer.isst.axbench.operations.checker.solver.handler_and_operations.AxlSolverHandlerBdd_ProjectCut.step4a_checkTheFeatureModels

(

)

throws SolverException [protected, virtual]

Implements de.fraunhofer.isst.axbench.operations.checker.solver.handler_and_operations.AxlSolverHandler_Abstract.

void de.fraunhofer.isst.axbench.operations.checker.solver.handler_and_operations.AxlSolverHandlerBdd_ProjectCut.step4b_checkTheConfigurations

(

)

throws SolverException [protected, virtual]

Implements de.fraunhofer.isst.axbench.operations.checker.solver.handler_and_operations.AxlSolverHandler_Abstract.

void de.fraunhofer.isst.axbench.operations.checker.solver.handler_and_operations.AxlSolverHandlerBdd_ProjectCut.step4c_checkTheApplicationModels

(

)

throws SolverException [protected, virtual]

Implements de.fraunhofer.isst.axbench.operations.checker.solver.handler_and_operations.AxlSolverHandler_Abstract.

void de.fraunhofer.isst.axbench.operations.checker.solver.handler_and_operations.AxlSolverHandlerBdd_ProjectCut.step4d_checkTheF2aMappings

(

)

throws SolverException [protected, virtual]

Implements de.fraunhofer.isst.axbench.operations.checker.solver.handler_and_operations.AxlSolverHandler_Abstract.