Skip to main content

IExecutionSpecification.IsDestruction Property

Namespace: NextDesign.Core

Description​

whether this execution specification is a discard section

If this execution specification's start message is a discard message, then this execution specification is identified as a discard interval.
If the start message is not a discard message or if there is no start message, it will not be a discard section.
In an interaction, it is not possible to add an execution specification (receive a message) after the discard section in the same lifeline.
This property can be used when checking whether messages can be added after this execution specification when changing the interaction model. 

bool IsDestruction { get; }

type​

  • bool
Last updated on