The FWTriggerOperation Stereotype

This section defines the constraints applicable to the <<FWTriggerOperation>> stereotype. Each constraint is defined in a dedicated subsection.

FinalModifierConstraint

Description: Trigger operations that control the state transitions must be defined as final and denoted by the <<FwTriggerOperation>> stereotype.

OCL:

This constraint cannot be easily described by OCL.

UML2 API:

for(Iterator stereotypes = object.getAppliedStereotypes().iterator();

stereotypes.hasNext();){

Stereotype s = (Stereotype)stereotypes.next();

if(s.getName().equals("FwTriggerOperation") & !object.isLeaf()){

validatorHelper.errMessage("The trigger operation " + object.getName() +

" is not defined as final");

return false;

}

}

return true;