Wiki
Clone wikiscenariotools-sml / ActiveInteraction
Event lists
Each ActiveInteraction instance has six lists of messageEvents. A short characterization of each list is given below.
Nr | Name | Description |
---|---|---|
0 | CoveredEvents | Events that were created from a ModalMessage fragment of the interaction, or from a fragment of the nested interactions |
1 | EnabledEvents | Events from covered that were created from the ModalMessage referenced by enabledFragment |
2 | ForbiddenEvents | Events that are created from the list of forbidden messages of the interaction's constraints |
3 | InterruptingEvents | Events that are created from the list of interrupt messages of the interaction's constraints |
4 | ConsideredEvents | Events that are created from the list of considered messages of the interaction's constraints |
5 | IgnoredEvents | Events that are created from the list of ignored messages of the interaction's constraints |
Updated