Interface IInstanceSpecification
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
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
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
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
diagnosticsobjectThe chain of diagnostics to which problems are to be appended.
contextobjectThe cache of context-specific information.
Returns
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
diagnosticsobjectThe chain of diagnostics to which problems are to be appended.
contextobjectThe cache of context-specific information.
Returns
Events
Defining_featureCalled
Gets fired after the operation defining_feature got called
event EventHandler<OperationCallEventArgs> Defining_featureCalled
Event Type
Defining_featureCalling
Gets fired before the operation defining_feature gets called
event EventHandler<OperationCallEventArgs> Defining_featureCalling
Event Type
SpecificationChanged
Gets fired when the Specification property changed its value
event EventHandler<ValueChangedEventArgs> SpecificationChanged
Event Type
SpecificationChanging
Gets fired before the Specification property changes its value
event EventHandler<ValueChangedEventArgs> SpecificationChanging
Event Type
Structural_featureCalled
Gets fired after the operation structural_feature got called
event EventHandler<OperationCallEventArgs> Structural_featureCalled
Event Type
Structural_featureCalling
Gets fired before the operation structural_feature gets called
event EventHandler<OperationCallEventArgs> Structural_featureCalling