Table of Contents

Interface IGeneralizationSet

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

The public interface for GeneralizationSet

[DefaultImplementationType(typeof(GeneralizationSet))]
[XmlDefaultImplementationType(typeof(GeneralizationSet))]
[ModelRepresentationClass("http://www.eclipse.org/uml2/5.0.0/UML#//GeneralizationSet")]
public interface IGeneralizationSet : IPackageableElement, IParameterableElement, INamedElement, IElement, IEModelElement, IModelElement, INotifyPropertyChanged, INotifyPropertyChanging
Inherited Members

Properties

Generalization

Designates the instances of Generalization that are members of this GeneralizationSet. <p>From package UML::Classification.</p>

[XmlElementName("generalization")]
[XmlAttribute(true)]
[XmlOpposite("generalizationSet")]
ISetExpression<IGeneralization> Generalization { get; }

Property Value

ISetExpression<IGeneralization>

IsCovering

Indicates (via the associated Generalizations) whether or not the set of specific Classifiers are covering for a particular general classifier. When isCovering is true, every instance of a particular general Classifier is also an instance of at least one of its specific Classifiers for the GeneralizationSet. When isCovering is false, there are one or more instances of the particular general Classifier that are not instances of at least one of its specific Classifiers defined for the GeneralizationSet. <p>From package UML::Classification.</p>

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

Property Value

bool

IsDisjoint

Indicates whether or not the set of specific Classifiers in a Generalization relationship have instance in common. If isDisjoint is true, the specific Classifiers for a particular GeneralizationSet have no members in common; that is, their intersection is empty. If isDisjoint is false, the specific Classifiers in a particular GeneralizationSet have one or more members in common; that is, their intersection is not empty. <p>From package UML::Classification.</p>

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

Property Value

bool

Powertype

Designates the Classifier that is defined as the power type for the associated GeneralizationSet, if there is one. <p>From package UML::Classification.</p>

[XmlElementName("powertype")]
[XmlAttribute(true)]
[XmlOpposite("powertypeExtent")]
IClassifier Powertype { get; set; }

Property Value

IClassifier

Methods

Generalization_same_classifier(object, object)

Every Generalization associated with a particular GeneralizationSet must have the same general Classifier. generalization->collect(general)->asSet()->size() <= 1

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

Maps_to_generalization_set(object, object)

The Classifier that maps to a GeneralizationSet may neither be a specific nor a general Classifier in any of the Generalization relationships defined for that GeneralizationSet. In other words, a power type may not be an instance of itself nor may its instances be its subclasses. powertype <> null implies generalization->forAll( gen | not (gen.general = powertype) and not gen.general.allParents()->includes(powertype) and not (gen.specific = powertype) and not powertype.allParents()->includes(gen.specific) )

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