Table of Contents

Interface IInstanceSpecification

Namespace
NMF.Interop.Uml
Assembly
NMF.UMLInterop.dll

The public interface for InstanceSpecification

[DefaultImplementationType(typeof(InstanceSpecification))]
[XmlDefaultImplementationType(typeof(InstanceSpecification))]
[ModelRepresentationClass("http://www.eclipse.org/uml2/5.0.0/UML#//InstanceSpecification")]
public interface IInstanceSpecification : IDeployedArtifact, IPackageableElement, IParameterableElement, IDeploymentTarget, INamedElement, IElement, IEModelElement, 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. <p>From package UML::Classification.</p>

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

Property Value

ISetExpression<IClassifier>

Slot

A Slot giving the value or values of a StructuralFeature of the instance. An InstanceSpecification can have one Slot per StructuralFeature of its Classifiers, including inherited features. It is not necessary to model a Slot for every StructuralFeature, in which case the InstanceSpecification is a partial description. <p>From package UML::Classification.</p>

[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. <p>From package UML::Classification.</p>

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

Property Value

IValueSpecification

Methods

Defining_feature(object, object)

The definingFeature of each slot is a StructuralFeature related to a classifier of the InstanceSpecification, including direct attributes, inherited attributes, private attributes in generalizations, and memberEnds of Associations, but excluding redefined StructuralFeatures. slot->forAll(s | classifier->exists (c | c.allSlottableFeatures()->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

Deployment_artifact(object, object)

An InstanceSpecification can act as a DeployedArtifact if it represents an instance of an Artifact. deploymentForArtifact->notEmpty() implies classifier->exists(oclIsKindOf(Artifact))

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

Deployment_target(object, object)

An InstanceSpecification can act as a DeploymentTarget if it represents an instance of a Node and functions as a part in the internal structure of an encompassing Node. deployment->notEmpty() implies classifier->exists(node | node.oclIsKindOf(Node) and Node.allInstances()->exists(n | n.part->exists(p | p.type = node)))

bool Deployment_target(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)

No more than one slot in an InstanceSpecification may have the same definingFeature. classifier->forAll(c | (c.allSlottableFeatures()->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