Table of Contents

Interface IInstanceSpecification

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

The public interface for InstanceSpecification

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

Properties

Classifier

The classifier or classifiers of the represented instance. If multiple classifiers are specified, the instance is classified by all of them.

[XmlElementName("classifier")]
[XmlAttribute(true)]
ISetExpression<IClassifier> Classifier { get; }

Property Value

ISetExpression<IClassifier>

Slot

A slot giving the value or values of a structural feature of the instance. An instance specification can have one slot per structural feature of its classifiers, including inherited features. It is not necessary to model a slot for each structural feature, in which case the instance specification is a partial description.

[Browsable(false)]
[XmlElementName("slot")]
[XmlAttribute(false)]
[Containment]
[XmlOpposite("owningInstance")]
IOrderedSetExpression<ISlot> Slot { get; }

Property Value

IOrderedSetExpression<ISlot>

Specification

A specification of how to compute, derive, or construct the instance.

[Browsable(false)]
[XmlElementName("specification")]
[XmlAttribute(false)]
[Containment]
IValueSpecification Specification { get; set; }

Property Value

IValueSpecification

Methods

Defining_feature(object, object)

The defining feature of each slot is a structural feature (directly or inherited) of a classifier of the instance specification. slot->forAll(s | classifier->exists (c | c.allFeatures()->includes (s.definingFeature)))

bool Defining_feature(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

Structural_feature(object, object)

One structural feature (including the same feature inherited from multiple classifiers) is the defining feature of at most one slot in an instance specification. classifier->forAll(c | (c.allFeatures()->forAll(f | slot->select(s | s.definingFeature = f)->size() <= 1)))

bool Structural_feature(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