Model Operation Warnings

Cradle-5.2.1 includes a new set of warnings that are produced if an operation such as:

• Renumbering a diagram
• Deleting a diagram
• Reordering a diagram
• Renumbering a diagram symbol
• Copying a diagram
• Deleting a diagram symbol

is to be performed with a scope that might cause a model to become disconnected. This new mechanism detects the context of the diagram or symbol and compares it the scope selected by the user. It will produce a variety of warnings, such as:

• A diagram has an equivalent specification which has not been included in the scope
• A diagram has symbol definitions which have not been included in the scope
• A diagram has child diagrams which have not been included in the scope
• A symbol has a definition which has not been included in the scope
• A symbol has child diagram(s) which have not been included in the scope

For example:

These new warnings describe the problem that has been detected and suggest a method to overcome it. Selecting Cancel aborts the operation so the suggested action can be taken. Following the suggestion avoids the model becoming disconnected.

Once the user has corrected the scope, Cradle-5.2.1 applies further checks to ensure that the operation will complete successfully. For example, reordering a diagram with Hierarchy scope also renumbers specifications, child diagrams and their specifications. The user needs RW access to these items and needs to be able to lock them, which is only possible if some other user is not currently editing any of the items.

The results of such checks are displayed in warnings such as:

These warnings list items that will not be updated by the operation even though the scope and other options are set. In such cases, the operation should be performed by a user with RW access to the items, or the model should be partitioned as previously described.

These warnings are controlled by a user preference that can be accessed by selecting Tools → Customise → UI Control → Editors: