Abstract Class UML 2.4.1::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.
Direct Superclasses: NamedElementDirect Subclasses: Transition,
State,
Region,
RedefinableTemplateSignature,
Feature,
ExtensionPoint,
Classifier,
ActivityNode,
ActivityEdgeClass Precedence List: RedefinableElement,
NamedElement,
ElementProperties:
isLeaf : Boolean (1 1); -- source
RedefinableElement redefinedElement :
RedefinableElement (0 *); -- source
RedefinableElement redefinitionContext :
Classifier (0 *); -- source
RedefinableElement clientDependency :
Dependency (0 *); -- source
NamedElement name : String (0 1); -- source
NamedElement nameExpression :
StringExpression (0 1); -- source
NamedElement namespace :
Namespace (0 1); -- source
NamedElement qualifiedName : String (0 1); -- source
NamedElement visibility :
VisibilityKind (0 1); -- source
NamedElementDetermines where the NamedElement appears within different Namespaces within
the overall model, and its accessibility.
ownedComment :
Comment (0 *); -- source
Element ownedElement :
Element (0 *); -- source
Element owner :
Element (0 1); -- source
ElementConstraints:
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))
Signature: redefinition_consistent() : Boolean;
Description: A redefining element must be consistent with each redefined element.
Expression: self.redefinedElement->forAll(re | re.isConsistentWith(self))
Signature: non_leaf_redefinition() : Boolean;
Description: A redefinable element can only redefine non-leaf redefinable elements
Expression: self.redefinedElement->forAll(not isLeaf)
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.1
Expression: result = true
Original: 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
redefinee.isRedefinitionContextValid(self)
Send questions or comments to
[email protected].