Handtuned MagicDraw UML 19.0 v9 -- Tree stereotype can only be applied on any class specialized from FTATree from FTA Library self.base_Class->asSet()->closure(general).name->includes('FTATree') OCL2.0 if not self.base_Class->isEmpty() then --DormantEvent stereotype can only be applied on any class specialized from DormantEvent from FTA Library self.base_Class->asSet()->closure(general).name->includes('DormantEvent') else --DormantEvent stereotype can only be applied on any property whose type is specialized from DormantEvent from FTA Library self.base_Property.type->asSet()->closure(general).name->includes('DormantEvent') endif OCL2.0 if not self.base_Class->isEmpty() then --BasicEvent stereotype can only be applied on any class specialized from BasicEvent from FTA Library self.base_Class->asSet()->closure(general).name->includes('BasicEvent') else --BasicEvent stereotype can only be applied on any property whose type is specialized from BasicEvent from FTA Library self.base_Property.type->asSet()->closure(general).name->includes('BasicEvent') endif OCL2.0 --BasicEvent + Undeveloped stereotype combination can be applied on any class specialized from UndevelopedEvent from FTA Library (Undeveloped.allInstances().base_Element->includesAll(self.base_Class) and not self.base_Class->isEmpty()) implies self.base_Class->asSet()->closure(general).name->includes('UndevelopedEvent') OCL2.0 if not self.base_Class->isEmpty() then --ConditionalEvent stereotype can only be applied on any class specialized from ConditionalEvent from FTA Library self.base_Class->asSet()->closure(general).name->includes('ConditionalEvent') else --ConditionalEvent stereotype can only be applied on any property whose type is specialized from ConditionalEvent from FTA Library self.base_Property.type->asSet()->closure(general).name->includes('ConditionalEvent') endif OCL2.0 if not self.base_Class->isEmpty() then --ZeroEvent stereotype can only be applied on any class specialized from ZeroEvent from FTA Library self.base_Class->asSet()->closure(general).name->includes('ZeroEvent') else --ZeroEvent stereotype can only be applied on any property whose type is specialized from ZeroEvent from FTA Library self.base_Property.type->asSet()->closure(general).name->includes('ZeroEvent') endif OCL2.0 if not self.base_Class->isEmpty() then --HouseEvent stereotype can only be applied on any class specialized from HouseEvent from FTA Library self.base_Class->asSet()->closure(general).name->includes('HouseEvent') else --HouseEvent stereotype can only be applied on any property whose type is specialized from HouseEvent from FTA Library self.base_Property.type->asSet()->closure(general).name->includes('HouseEvent') endif OCL2.0 if not self.base_Class->isEmpty() then --AND stereotype can only be applied on any class specialized from AND gate from FTA Library self.base_Class->asSet()->closure(general).name->includes('AND') else --AND stereotype can only be applied on any property whose type is specialized from AND from FTA Library self.base_Property.type->asSet()->closure(general).name->includes('AND') endif OCL2.0 if not self.base_Class->isEmpty() then --OR stereotype can only be applied on any class specialized from OR gate from FTA Library self.base_Class->asSet()->closure(general).name->includes('OR') else --OR stereotype can only be applied on any property whose type is specialized from OR from FTA Library self.base_Property.type->asSet()->closure(general).name->includes('OR') endif OCL2.0 if not self.base_Class->isEmpty() then --SEQ stereotype can only be applied on any class specialized from SEQ gate from FTA Library self.base_Class->asSet()->closure(general).name->includes('SEQ') else --SEQ stereotype can only be applied on any property whose type is specialized from SEQ from FTA Library self.base_Property.type->asSet()->closure(general).name->includes('SEQ') endif OCL2.0 if not self.base_Class->isEmpty() then --XOR stereotype can only be applied on any class specialized from XOR gate from FTA Library self.base_Class->asSet()->closure(general).name->includes('XOR') else --XOR stereotype can only be applied on any property whose type is specialized from XOR from FTA Library self.base_Property.type->asSet()->closure(general).name->includes('XOR') endif OCL2.0 if not self.base_Class->isEmpty() then --INHIBIT stereotype can only be applied on any class specialized from INHIBIT gate from FTA Library self.base_Class->asSet()->closure(general).name->includes('INHIBIT') else --INHIBIT stereotype can only be applied on any property whose type is specialized from INHIBIT from FTA Library self.base_Property.type->asSet()->closure(general).name->includes('INHIBIT') endif OCL2.0 if not self.base_Class->isEmpty() then --MAJORITY_VOTE stereotype can only be applied on any class specialized from MAJORITY_VOTE gate from FTA Library self.base_Class->asSet()->closure(general).name->includes('MAJORITY_VOTE') else --MAJORITY_VOTE stereotype can only be applied on any property whose type is specialized from MAJORITY_VOTE from FTA Library self.base_Property.type->asSet()->closure(general).name->includes('MAJORITY_VOTE') endif OCL2.0 if not self.base_Class->isEmpty() then --NOT stereotype can only be applied on any class specialized from NOT gate from FTA Library self.base_Class->asSet()->closure(general).name->includes('NOT') else --NOT stereotype can only be applied on any property whose type is specialized from NOT from FTA Library self.base_Property.type->asSet()->closure(general).name->includes('NOT') endif OCL2.0 if not self.base_Class->isEmpty() then --IntermediateEvent stereotype can only be applied on any class specialized from IntermediateEvent from FTA Library self.base_Class->asSet()->closure(general).name->includes('IntermediateEvent') else --IntermediateEvent stereotype can only be applied on any property whose type is specialized from IntermediateEvent from FTA Library self.base_Property.type->asSet()->closure(general).name->includes('IntermediateEvent') endif OCL2.0 if not self.base_Class->isEmpty() then --TopEvent stereotype can only be applied on any class specialized from TopEvent from FTA Library self.base_Class->asSet()->closure(general).name->includes('TopEvent') else --TopEvent stereotype can only be applied on any property whose type is specialized from TopEvent from FTA Library self.base_Property.type->asSet()->closure(general).name->includes('TopEvent') endif OCL2.0 -- type of TransferIn property must be TransferOut FTA Tree TransferOut.allInstances().base_Class->includesAll(self.base_Property.type) OCL2.0