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