Table of Contents

Interface IDestructionOccurrenceSpecification

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

The public interface for DestructionOccurrenceSpecification

[DefaultImplementationType(typeof(DestructionOccurrenceSpecification))]
[XmlDefaultImplementationType(typeof(DestructionOccurrenceSpecification))]
[ModelRepresentationClass("http://www.eclipse.org/uml2/5.0.0/UML#//DestructionOccurrenceSpecification")]
public interface IDestructionOccurrenceSpecification : IMessageOccurrenceSpecification, IMessageEnd, IOccurrenceSpecification, IInteractionFragment, INamedElement, IElement, IEModelElement, IModelElement, INotifyPropertyChanged, INotifyPropertyChanging
Inherited Members

Methods

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

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