Class RedefinableElement
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.
[AlternativeNamespace("http://schema.omg.org/spec/mof/2.0/emof.xmi")]
[XmlNamespace("http://schema.omg.org/spec/MOF/2.0/cmof.xml")]
[XmlNamespacePrefix("cmof")]
[ModelRepresentationClass("http://schema.omg.org/spec/MOF/2.0/cmof.xml#//RedefinableElement")]
public abstract class RedefinableElement : NamedElement, IRedefinableElement, INamedElement, IElement, IModelElement, INotifyPropertyChanged, INotifyPropertyChanging- Inheritance
-
RedefinableElement
- Implements
- Derived
- Inherited Members
Properties
ClassInstance
Gets the Class model for this type
public static IClass ClassInstance { get; }Property Value
Methods
GetClass()
Gets the Class for this model element
public override IClass GetClass()Returns
IsConsistentWith(IRedefinableElement)
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. result = false
public bool IsConsistentWith(IRedefinableElement redefinee)Parameters
redefineeIRedefinableElement
Returns
IsRedefinitionContextValid(IRedefinableElement)
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. result = self.redefinitionContext->exists(c | redefinable.redefinitionContext->exists(r | c.allParents()->includes(r)))
public bool IsRedefinitionContextValid(IRedefinableElement redefinable)Parameters
redefinableIRedefinableElement
Returns
Redefinition_consistent(object, object)
A redefining element must be consistent with each redefined element. self.redefinedElement->forAll(re | re.isConsistentWith(self))
public bool Redefinition_consistent(object diagnostics, object context)Parameters
Returns
Redefinition_context_valid(object, object)
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. self.redefinedElement->forAll(e | self.isRedefinitionContextValid(e))
public bool Redefinition_context_valid(object diagnostics, object context)