public class SpreadChecker extends AllowAllConstraintChecker<Spread>
Spread
constraintBan
Constructor and Description |
---|
SpreadChecker(Spread s)
Make a new checker.
|
Modifier and Type | Method and Description |
---|---|
void |
end(KillVM a)
Notify for the end of an action.
|
void |
end(MigrateVM a)
Notify for the end of an action.
|
void |
end(ShutdownVM a)
Notify for the end of an action.
|
void |
end(SuspendVM a)
Notify for the end of an action.
|
boolean |
endsWith(Model mo)
Notify for the model that is reached once the reconfiguration has been applied.
|
boolean |
startRunningVMPlacement(RunningVMPlacement a)
Allow all the
RunningVMPlacement actions. |
boolean |
startsWith(Model mo)
Notify for the model at the source of the reconfiguration.
|
public SpreadChecker(Spread s)
s
- the associated constraintpublic boolean startsWith(Model mo)
SatConstraintChecker
startsWith
in interface SatConstraintChecker<Spread>
startsWith
in class AllowAllConstraintChecker<Spread>
mo
- the modeltrue
iff the model is valid wrt. the constraintpublic boolean startRunningVMPlacement(RunningVMPlacement a)
AllowAllConstraintChecker
RunningVMPlacement
actions.startRunningVMPlacement
in class AllowAllConstraintChecker<Spread>
a
- the action to allowtrue
public void end(MigrateVM a)
AllowAllConstraintChecker
endRunningVMPlacement(a)
end
in interface SatConstraintChecker<Spread>
end
in class AllowAllConstraintChecker<Spread>
a
- the executed that will be executedpublic void end(ShutdownVM a)
SatConstraintChecker
end
in interface SatConstraintChecker<Spread>
end
in class AllowAllConstraintChecker<Spread>
a
- the action that endspublic void end(SuspendVM a)
SatConstraintChecker
end
in interface SatConstraintChecker<Spread>
end
in class AllowAllConstraintChecker<Spread>
a
- the action that endspublic void end(KillVM a)
SatConstraintChecker
end
in interface SatConstraintChecker<Spread>
end
in class AllowAllConstraintChecker<Spread>
a
- the action that endspublic boolean endsWith(Model mo)
SatConstraintChecker
endsWith
in interface SatConstraintChecker<Spread>
endsWith
in class AllowAllConstraintChecker<Spread>
mo
- the modeltrue
iff the model is valid wrt. the constraintCopyright © 2015 University of Nice-Sophia Antipolis. All Rights Reserved.