Interface IRedefinableElement
The public interface for RedefinableElement
[DefaultImplementationType(typeof(RedefinableElement))]
[XmlDefaultImplementationType(typeof(RedefinableElement))]
[ModelRepresentationClass("http://schema.omg.org/spec/MOF/2.0/cmof.xml#//RedefinableElement")]
public interface IRedefinableElement : INamedElement, IElement, IModelElement, INotifyPropertyChanged, INotifyPropertyChanging
- Inherited Members
Methods
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
bool IsConsistentWith(IRedefinableElement redefinee)
Parameters
redefinee
IRedefinableElement
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)))
bool IsRedefinitionContextValid(IRedefinableElement redefinable)
Parameters
redefinable
IRedefinableElement
Returns
Redefinition_consistent(object, object)
A redefining element must be consistent with each redefined element. self.redefinedElement->forAll(re | re.isConsistentWith(self))
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))
bool Redefinition_context_valid(object diagnostics, object context)