Abstract Class UML 2.5::RedefinableElement
Description:
A RedefinableElement 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
NamedElement
ownedComment :
Comment (0 *); -- source
ElementThe Comments owned by this Element.
{
composite}
Subsets: Element.ownedElement

ownedElement :
Element (0 *); -- source
Element
owner :
Element (0 1); -- source
ElementConstraints:
No additional constraints.
Operations:
Signature: isRedefinitionContextValid(redefinedElement : 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.
Expression: result = (redefinitionContext->exists(c | c.allParents()->includesAll(redefinedElement.redefinitionContext)))
Signature: isConsistentWith(redefiningElement : 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)
Send questions or comments to
[email protected].