Table of Contents

Interface IRedefinableElement

Namespace
NMF.Interop.Cmof
Assembly
NMF.UMLInterop.dll

The public interface for RedefinableElement

[DefaultImplementationType(typeof(RedefinableElement))]
[XmlDefaultImplementationType(typeof(RedefinableElement))]
[ModelRepresentationClass("http://www.omg.org/spec/MOF/20131001/cmof.xmi#//RedefinableElement")]
public interface IRedefinableElement : INamedElement, IElement, IObject, IModelElement, INotifyPropertyChanged, INotifyPropertyChanging
Inherited Members

Properties

IsLeaf

Indicates whether it is possible to further redefine a RedefinableElement. If the value is true, then it is not possible to further redefine the RedefinableElement. Note that this property is preserved through package merge operations; that is, the capability to redefine a RedefinableElement (i.e., isLeaf=false) must be preserved in the resulting RedefinableElement of a package merge operation where a RedefinableElement with isLeaf=false is merged with a matching RedefinableElement with isLeaf=true: the resulting RedefinableElement will have isLeaf=false. Default value is false.

[TypeConverter(typeof(LowercaseBooleanConverter))]
[XmlElementName("isLeaf")]
[XmlAttribute(true)]
bool IsLeaf { get; set; }

Property Value

bool

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. redefinee.isRedefinitionContextValid(self) result = false

bool IsConsistentWith(IRedefinableElement redefinee)

Parameters

redefinee IRedefinableElement

Returns

bool

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 = redefinitionContext->exists(c | c.allParents()->includes(redefined.redefinitionContext)))

bool IsRedefinitionContextValid(IRedefinableElement redefined)

Parameters

redefined IRedefinableElement

Returns

bool

Non_leaf_redefinition(object, object)

A redefinable element can only redefine non-leaf redefinable elements self.redefinedElement->forAll(not isLeaf)

bool Non_leaf_redefinition(object diagnostics, object context)

Parameters

diagnostics object

The chain of diagnostics to which problems are to be appended.

context object

The cache of context-specific information.

Returns

bool

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

diagnostics object

The chain of diagnostics to which problems are to be appended.

context object

The cache of context-specific information.

Returns

bool

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)

Parameters

diagnostics object

The chain of diagnostics to which problems are to be appended.

context object

The cache of context-specific information.

Returns

bool
Edit this page