public class PreserveChecker extends AllowAllConstraintChecker<Preserve>
Preserve
constraintPreserve
Constructor and Description |
---|
PreserveChecker(Preserve p)
Make a new checker.
|
Modifier and Type | Method and Description |
---|---|
boolean |
consume(AllocateEvent a)
Notify for the beginning of an event.
|
boolean |
endsWith(Model mo)
Notify for the model that is reached once the reconfiguration has been applied.
|
boolean |
start(Allocate a)
Notify for the beginning of an action.
|
boolean |
startsWith(Model mo)
Notify for the model at the source of the reconfiguration.
|
public PreserveChecker(Preserve p)
p
- the associated constraintpublic boolean consume(AllocateEvent a)
SatConstraintChecker
consume
in interface SatConstraintChecker<Preserve>
consume
in class AllowAllConstraintChecker<Preserve>
a
- the event that will be executedtrue
iff the action execution is valid wrt. the constraintpublic boolean start(Allocate a)
SatConstraintChecker
start
in interface SatConstraintChecker<Preserve>
start
in class AllowAllConstraintChecker<Preserve>
a
- the action that will be executedtrue
iff the action execution is valid wrt. the constraintpublic boolean startsWith(Model mo)
SatConstraintChecker
startsWith
in interface SatConstraintChecker<Preserve>
startsWith
in class AllowAllConstraintChecker<Preserve>
mo
- the modeltrue
iff the model is valid wrt. the constraintpublic boolean endsWith(Model mo)
SatConstraintChecker
endsWith
in interface SatConstraintChecker<Preserve>
endsWith
in class AllowAllConstraintChecker<Preserve>
mo
- the modeltrue
iff the model is valid wrt. the constraintCopyright © 2015 University of Nice-Sophia Antipolis. All Rights Reserved.