Abstract Class UML 2.3::RedefinableElement

Description:

A redefinable element is an element that, when defined in the context of
a classifier, can be redefined more specifically or differently in the
context of another classifier that specializes (directly or indirectly)
the context classifier.

Constraints:

Signature: redefinition_context_valid() : Boolean;Description: At least one of the redefinition contexts of the redefining element must
be a specialization of at least one of the redefinition contexts for each
redefined element.Expression: self.redefinedElement->forAll(e | self.isRedefinitionContextValid(e))

Operations:

Signature: isRedefinitionContextValid(redefined : RedefinableElement; ) : Boolean;Description: The query isRedefinitionContextValid() specifies whether the redefinition contexts of this RedefinableElement are properly related to the redefinition contexts of the specified RedefinableElement to allow this element to redefine the other. By default at least one of the redefinition contexts of this element must be a specialization of at least one of the redefinition contexts of the specified element.The OCL used here is not normative.Editor's notes: Use intersection/notEmpty, not includes. Removed extra close paren...MIWG: Replaced the body with TRUE, since it appears that redefinitionContext is a derived union with no subsetting properties. -- Carried over from UML 2.1.1Expression: result = trueOriginal: result = redefinitionContext->exists(c | c.allParents()->includes(redefined.redefinitionContext)))

Signature: isConsistentWith(redefinee : RedefinableElement; ) : Boolean;Description: The query isConsistentWith() specifies, for any two RedefinableElements in a context in which redefinition is possible, whether redefinition would be logically consistent. By default, this is false; this operation must be overridden for subclasses of RedefinableElement to define the consistency conditions.Expression: result = false