Package org.btrplace.model.constraint
Class KilledChecker
- All Implemented Interfaces:
SatConstraintChecker<Killed>
public class KilledChecker extends DenyMyVMsActions<Killed>
Checker for the
Killed
constraint- Author:
- Fabien Hermenier
- See Also:
Killed
-
Constructor Summary
Constructors Constructor Description KilledChecker(Killed k)
Make a new checker. -
Method Summary
Methods inherited from class org.btrplace.model.constraint.DenyMyVMsActions
consume, consume, start, start, start, start, startRunningVMPlacement
-
Constructor Details
-
KilledChecker
Make a new checker.- Parameters:
k
- the associated constraint
-
-
Method Details
-
start
Description copied from interface:SatConstraintChecker
Notify for the beginning of an action.- Specified by:
start
in interfaceSatConstraintChecker<Killed>
- Overrides:
start
in classDenyMyVMsActions<Killed>
- Parameters:
a
- the action that will be executed- Returns:
true
iff the action execution is valid wrt. the constraint
-
endsWith
Description copied from interface:SatConstraintChecker
Notify for the model that is reached once the reconfiguration has been applied.- Specified by:
endsWith
in interfaceSatConstraintChecker<Killed>
- Overrides:
endsWith
in classAllowAllConstraintChecker<Killed>
- Parameters:
mo
- the model- Returns:
true
iff the model is valid wrt. the constraint
-