Uploaded image for project: 'Savara'
  1. Savara
  2. SAVARA-345

Repositioning of introduces statements was not taking into account if the behaviour associated with the introduced role was in a sub-protocol

    Details

    • Type: Bug
    • Status: Closed (View Workflow)
    • Priority: Major
    • Resolution: Done
    • Affects Version/s: None
    • Fix Version/s: 2.1.0.M2
    • Component/s: None
    • Labels:
      None

      Description

      When the introduces statements were relocated (or localised) to the appropriate block containing the behaviour associated with the role, it was not taking into account that the behaviour may be located in sub-protocol.

      So in these cases, it was just leaving the introduces statement where it was, which resulted in the scope of that role being wider than it should be, and hence resulting in incorrect validation issues (i.e. that the role should be used within all choice paths, as it was associated with the run statement in one of the choice paths).

        Gliffy Diagrams

          Attachments

            Activity

              People

              • Assignee:
                objectiser Gary Brown
                Reporter:
                objectiser Gary Brown
              • Votes:
                0 Vote for this issue
                Watchers:
                1 Start watching this issue

                Dates

                • Created:
                  Updated:
                  Resolved: