Class DestructionOccurrenceSpecification
A DestructionOccurenceSpecification models the destruction of an object. <p>From package UML::Interactions.</p>
[XmlNamespace("http://www.eclipse.org/uml2/5.0.0/UML")]
[XmlNamespacePrefix("uml")]
[ModelRepresentationClass("http://www.eclipse.org/uml2/5.0.0/UML#//DestructionOccurrenceSpecification")]
public class DestructionOccurrenceSpecification : MessageOccurrenceSpecification, IDestructionOccurrenceSpecification, IMessageOccurrenceSpecification, IMessageEnd, IOccurrenceSpecification, IInteractionFragment, INamedElement, IElement, IEModelElement, IModelElement, INotifyPropertyChanged, INotifyPropertyChanging
- Inheritance
-
DestructionOccurrenceSpecification
- Implements
- Inherited Members
Properties
ClassInstance
Gets the Class model for this type
public static IClass ClassInstance { get; }
Property Value
Methods
GetClass()
Gets the Class for this model element
public override IClass GetClass()
Returns
No_occurrence_specifications_below(object, object)
No other OccurrenceSpecifications on a given Lifeline in an InteractionOperand may appear below a DestructionOccurrenceSpecification. let o : InteractionOperand = enclosingOperand in o->notEmpty() and let peerEvents : OrderedSet(OccurrenceSpecification) = covered.events->select(enclosingOperand = o) in peerEvents->last() = self
public bool No_occurrence_specifications_below(object diagnostics, object context)
Parameters
diagnostics
objectThe chain of diagnostics to which problems are to be appended.
context
objectThe cache of context-specific information.