Class ScheduleChecker
java.lang.Object
org.btrplace.model.constraint.AllowAllConstraintChecker<Schedule>
org.btrplace.safeplace.testing.verification.btrplace.ScheduleChecker
- All Implemented Interfaces:
SatConstraintChecker<Schedule>
public class ScheduleChecker extends AllowAllConstraintChecker<Schedule>
- Author:
- Fabien Hermenier
-
Constructor Summary
Constructors Constructor Description ScheduleChecker(Schedule c)
-
Method Summary
Modifier and Type Method Description boolean
start(Allocate e)
Notify for the beginning of an action.boolean
start(BootVM a)
Notify for the beginning of an action.boolean
start(ForgeVM a)
Notify for the beginning of an action.boolean
start(KillVM a)
Notify for the beginning of an action.boolean
start(MigrateVM a)
Notify for the beginning of an action.boolean
start(ResumeVM a)
Notify for the beginning of an action.boolean
start(ShutdownVM a)
Notify for the beginning of an action.boolean
start(SuspendVM a)
Notify for the beginning of an action.Methods inherited from class org.btrplace.model.constraint.AllowAllConstraintChecker
consume, consume, end, end, end, end, end, end, end, end, end, end, endRunningVMPlacement, endsWith, getConstraint, getNodes, getVMs, start, start, startRunningVMPlacement, startsWith, track
-
Constructor Details
-
Method Details
-
start
Description copied from interface:SatConstraintChecker
Notify for the beginning of an action.- Specified by:
start
in interfaceSatConstraintChecker<Schedule>
- Overrides:
start
in classAllowAllConstraintChecker<Schedule>
- Parameters:
a
- the executed that will be executed- Returns:
startRunningVMPlacement(a)
-
start
Description copied from interface:SatConstraintChecker
Notify for the beginning of an action.- Specified by:
start
in interfaceSatConstraintChecker<Schedule>
- Overrides:
start
in classAllowAllConstraintChecker<Schedule>
- Parameters:
a
- the executed that will be executed- Returns:
startRunningVMPlacement(a)
-
start
Description copied from interface:SatConstraintChecker
Notify for the beginning of an action.- Specified by:
start
in interfaceSatConstraintChecker<Schedule>
- Overrides:
start
in classAllowAllConstraintChecker<Schedule>
- Parameters:
a
- the action that will be executed- Returns:
true
iff the action execution is valid wrt. the constraint
-
start
Description copied from interface:SatConstraintChecker
Notify for the beginning of an action.- Specified by:
start
in interfaceSatConstraintChecker<Schedule>
- Overrides:
start
in classAllowAllConstraintChecker<Schedule>
- Parameters:
a
- the action that will be executed- Returns:
true
iff the action execution is valid wrt. the constraint
-
start
Description copied from interface:SatConstraintChecker
Notify for the beginning of an action.- Specified by:
start
in interfaceSatConstraintChecker<Schedule>
- Overrides:
start
in classAllowAllConstraintChecker<Schedule>
- Parameters:
a
- the action that will be executed- Returns:
true
iff the action execution is valid wrt. the constraint
-
start
Description copied from interface:SatConstraintChecker
Notify for the beginning of an action.- Specified by:
start
in interfaceSatConstraintChecker<Schedule>
- Overrides:
start
in classAllowAllConstraintChecker<Schedule>
- Parameters:
a
- the action that will be executed- Returns:
true
iff the action execution is valid wrt. the constraint
-
start
Description copied from interface:SatConstraintChecker
Notify for the beginning of an action.- Specified by:
start
in interfaceSatConstraintChecker<Schedule>
- Overrides:
start
in classAllowAllConstraintChecker<Schedule>
- Parameters:
a
- the action that will be executed- Returns:
true
iff the action execution is valid wrt. the constraint
-
start
Description copied from interface:SatConstraintChecker
Notify for the beginning of an action.- Specified by:
start
in interfaceSatConstraintChecker<Schedule>
- Overrides:
start
in classAllowAllConstraintChecker<Schedule>
- Parameters:
e
- the action that will be executed- Returns:
true
iff the action execution is valid wrt. the constraint
-