In order to have a workarea that has only necessary data, the user can delete unused GDS elements in the workarea through the Check Model tool, see the Check Model User’s Guide, or by searching and deleting unused elements. However, the deleted GDS elements may be required later. Statemate also supports a “Filtered Check Out” operation which loads only the necessary data only into the workarea.
A read-only GDS in the workarea is marked as “reduced” when deleting elements from it (“r” for reduced in the files list, replacing the “m” for modified). A reduced GDS can neither be saved to the databank nor locked. To improve workflow, the reduced GDSs can be removed automatically from the workarea using the Configuration > Reduce Workarea option in the Chart view. For more information, see Reducing the Workarea.
Selecting “Filtered Check Out from Databank” while in the “Charts” tab reloads deleted elements from all reduced GDSs, which may solve the resolution of currently unresolved elements in the workarea.
Once marked as reduced, the GDS keeps this status, even after adding elements or modifying existing elements. Only the “Check out from Databank” (either in update or read only mode), “Import” or “Delete from Workarea” operation changes this status.
● This operation may add unused elements to the workarea for elements that their resolution is not conclusive in the filtered check-out calculation.
● In the case of conflicting type definitions, the resolution results of a filtered workarea may be different from the resolution results of a complete workarea. For example, consider the following case:
Enum Type OneType {one, two, three}
Enum Type SecondType {one, two, three}
Expression: X := one;
When bothOneType
andSecondType
definitions exist in the workarea, andX
is undefined, the right-hand side “one
” is unresolved. However, if only one of the two type definitions is loaded to the workarea, the tool resolves the right-hand side “one
” to the loaded type.