Interface IActivityPartition
The public interface for ActivityPartition
[DefaultImplementationType(typeof(ActivityPartition))]
[XmlDefaultImplementationType(typeof(ActivityPartition))]
[ModelRepresentationClass("http://www.eclipse.org/uml2/5.0.0/UML#//ActivityPartition")]
public interface IActivityPartition : IActivityGroup, IActivityContent, INamedElement, IElement, IEModelElement, IModelElement, INotifyPropertyChanged, INotifyPropertyChanging
- Inherited Members
Properties
Edge
ActivityEdges immediately contained in the ActivityPartition. <p>From package UML::Activities.</p>
[XmlElementName("edge")]
[XmlAttribute(true)]
[XmlOpposite("inPartition")]
ISetExpression<IActivityEdge> Edge { get; }
Property Value
IsDimension
Indicates whether the ActivityPartition groups other ActivityPartitions along a dimension. <p>From package UML::Activities.</p>
[TypeConverter(typeof(LowercaseBooleanConverter))]
[XmlElementName("isDimension")]
[XmlAttribute(true)]
bool IsDimension { get; set; }
Property Value
IsExternal
Indicates whether the ActivityPartition represents an entity to which the partitioning structure does not apply. <p>From package UML::Activities.</p>
[TypeConverter(typeof(LowercaseBooleanConverter))]
[XmlElementName("isExternal")]
[XmlAttribute(true)]
bool IsExternal { get; set; }
Property Value
Node
ActivityNodes immediately contained in the ActivityPartition. <p>From package UML::Activities.</p>
[XmlElementName("node")]
[XmlAttribute(true)]
[XmlOpposite("inPartition")]
ISetExpression<IActivityNode> Node { get; }
Property Value
Represents
An Element represented by the functionality modeled within the ActivityPartition. <p>From package UML::Activities.</p>
[XmlElementName("represents")]
[XmlAttribute(true)]
IElement Represents { get; set; }
Property Value
Subpartition
Other ActivityPartitions immediately contained in this ActivityPartition (as its subgroups). <p>From package UML::Activities.</p>
[Browsable(false)]
[XmlElementName("subpartition")]
[XmlAttribute(false)]
[Containment]
[XmlOpposite("superPartition")]
IOrderedSetExpression<IActivityPartition> Subpartition { get; }
Property Value
SuperPartition
Other ActivityPartitions immediately containing this ActivityPartition (as its superGroups). <p>From package UML::Activities.</p>
[Browsable(false)]
[XmlElementName("superPartition")]
[XmlAttribute(true)]
[XmlOpposite("subpartition")]
IActivityPartition SuperPartition { get; set; }
Property Value
Methods
Dimension_not_contained(object, object)
An ActvivityPartition with isDimension = true may not be contained by another ActivityPartition. isDimension implies superPartition->isEmpty()
bool Dimension_not_contained(object diagnostics, object context)
Parameters
diagnostics
objectThe chain of diagnostics to which problems are to be appended.
context
objectThe cache of context-specific information.
Returns
Represents_classifier(object, object)
If a non-external ActivityPartition represents a Classifier and has a superPartition, then the superPartition must represent a Classifier, and the Classifier of the subpartition must be nested (nestedClassifier or ownedBehavior) in the Classifier represented by the superPartition, or be at the contained end of a composition Association with the Classifier represented by the superPartition. (not isExternal and represents.oclIsKindOf(Classifier) and superPartition->notEmpty()) implies ( let representedClassifier : Classifier = represents.oclAsType(Classifier) in superPartition.represents.oclIsKindOf(Classifier) and let representedSuperClassifier : Classifier = superPartition.represents.oclAsType(Classifier) in (representedSuperClassifier.oclIsKindOf(BehavioredClassifier) and representedClassifier.oclIsKindOf(Behavior) and representedSuperClassifier.oclAsType(BehavioredClassifier).ownedBehavior->includes(representedClassifier.oclAsType(Behavior))) or (representedSuperClassifier.oclIsKindOf(Class) and representedSuperClassifier.oclAsType(Class).nestedClassifier->includes(representedClassifier)) or (Association.allInstances()->exists(a | a.memberEnd->exists(end1 | end1.isComposite and end1.type = representedClassifier and a.memberEnd->exists(end2 | end1<>end2 and end2.type = representedSuperClassifier)))) )
bool Represents_classifier(object diagnostics, object context)
Parameters
diagnostics
objectThe chain of diagnostics to which problems are to be appended.
context
objectThe cache of context-specific information.
Returns
Represents_property(object, object)
If an ActivityPartition represents a Property and has a superPartition representing a Classifier, then all the other non-external subpartitions of the superPartition must represent Properties directly owned by the same Classifier. (represents.oclIsKindOf(Property) and superPartition->notEmpty() and superPartition.represents.oclIsKindOf(Classifier)) implies ( let representedClassifier : Classifier = superPartition.represents.oclAsType(Classifier) in superPartition.subpartition->reject(isExternal)->forAll(p | p.represents.oclIsKindOf(Property) and p.owner=representedClassifier) )
bool Represents_property(object diagnostics, object context)
Parameters
diagnostics
objectThe chain of diagnostics to which problems are to be appended.
context
objectThe cache of context-specific information.
Returns
Represents_property_and_is_contained(object, object)
If an ActivityPartition represents a Property and has a superPartition, then the Property must be of a Classifier represented by the superPartition, or of a Classifier that is the type of a Property represented by the superPartition. (represents.oclIsKindOf(Property) and superPartition->notEmpty()) implies ( (superPartition.represents.oclIsKindOf(Classifier) and represents.owner = superPartition.represents) or (superPartition.represents.oclIsKindOf(Property) and represents.owner = superPartition.represents.oclAsType(Property).type) )
bool Represents_property_and_is_contained(object diagnostics, object context)
Parameters
diagnostics
objectThe chain of diagnostics to which problems are to be appended.
context
objectThe cache of context-specific information.