(association.oclIsUndefined() and (not owner.oclIsKindOf(Interaction))) implies name <> ''
ssageSort=MessageSort::synchCall implies (not () and (Operation)) Or self.oclIsKindOf(Pseudostate) or self.oclIsKindOf(ConnectionPointReference)) and (not self.oclIsKindOf(ConnectionPointReference)) and (k.oclIsUndefined() or not (k=PseudostateKind::initial or k=PseudostateKind::entryPoint or k=PseudostateKind::exitPoint)))) (((self.oclIsKindOf(State) and self.oclAsType(State).submachine.oclIsUndefined() and self.oclAsType(State).region- >isEmpty() Let k : PseudostateKind = self.oclAsType(Pseudostate).kind in Or self.oclIsKindOf(Pseudostate) or self.oclIsKindOf(ConnectionPointReference))Īnd (not (self.oclIsKindOf(ConnectionPointReference) or self.oclIsKindOf(FinalState) or (self.oclIsKindOf(Pseudostate) and (self.oclAsType(Pseudostate).kind=PseudostateKind::exitPoint or self.oclAsType(Pseudostate).kind=PseudostateKind::entryPoint or self.oclAsType(Pseudostate).kind=PseudostateKind::terminate or self.oclAsType(Pseudostate).kind=PseudostateKind::deepHistory or self.oclAsType(Pseudostate).kind=PseudostateKind::shallowHistory))))) ((self.oclIsKindOf(State) and self.oclAsType(State).submachine.oclIsUndefined() and self.oclAsType(State).region- >isEmpty() mberEnd - >forAll ( n | (not n.lowerValue.oclIsUndefined()) or (not n.upperValue.oclIsUndefined())) (not self.oclIsKindOf(EnumerationLiteral)) implies classifier- >notEmpty() OwnedParameter- >forAll(n|n.direction <> ParameterDirectionKind::return implies not type.oclIsUndefined())
0 Comments
Leave a Reply. |