Package org.btrplace.model.constraint
Class SplitChecker
java.lang.Object
org.btrplace.model.constraint.AllowAllConstraintChecker<Split>
org.btrplace.model.constraint.SplitChecker
- All Implemented Interfaces:
SatConstraintChecker<Split>
public class SplitChecker extends AllowAllConstraintChecker<Split>
Checker for the
Split
constraint- Author:
- Fabien Hermenier
- See Also:
Split
-
Constructor Summary
Constructors Constructor Description SplitChecker(Split s)
Make a new checker. -
Method Summary
Modifier and Type Method Description boolean
endsWith(Model mo)
Notify for the model that is reached once the reconfiguration has been applied.boolean
startRunningVMPlacement(RunningVMPlacement a)
Allow all theRunningVMPlacement
actions.boolean
startsWith(Model mo)
Notify for the model at the source of the reconfiguration.
-
Constructor Details
-
SplitChecker
Make a new checker.- Parameters:
s
- the associated constraint
-
-
Method Details
-
endsWith
Description copied from interface:SatConstraintChecker
Notify for the model that is reached once the reconfiguration has been applied.- Specified by:
endsWith
in interfaceSatConstraintChecker<Split>
- Overrides:
endsWith
in classAllowAllConstraintChecker<Split>
- Parameters:
mo
- the model- Returns:
true
iff the model is valid wrt. the constraint
-
startRunningVMPlacement
Description copied from class:AllowAllConstraintChecker
Allow all theRunningVMPlacement
actions.- Overrides:
startRunningVMPlacement
in classAllowAllConstraintChecker<Split>
- Parameters:
a
- the action to allow- Returns:
true
-
startsWith
Description copied from interface:SatConstraintChecker
Notify for the model at the source of the reconfiguration.- Specified by:
startsWith
in interfaceSatConstraintChecker<Split>
- Overrides:
startsWith
in classAllowAllConstraintChecker<Split>
- Parameters:
mo
- the model- Returns:
true
iff the model is valid wrt. the constraint
-