sl@0: sl@0: (object Petal sl@0: version 35) sl@0: sl@0: (object Design "" sl@0: is_unit TRUE sl@0: file_name "d:\wserv\des\wserv.mdl" sl@0: is_loaded TRUE sl@0: defaults (object defaults sl@0: rightMargin 0.25 sl@0: leftMargin 0.25 sl@0: topMargin 0.25 sl@0: bottomMargin 0.5 sl@0: pageOverlap 0.25 sl@0: clipIconLabels TRUE sl@0: autoResize FALSE sl@0: snapToGrid TRUE sl@0: gridX 0 sl@0: gridY 0 sl@0: defaultFont (object Font sl@0: size 10 sl@0: face "Arial" sl@0: bold FALSE sl@0: italics FALSE sl@0: underline FALSE sl@0: strike FALSE sl@0: color 0 sl@0: default_color TRUE) sl@0: showMessageNum 3) sl@0: root_category (object Class_Category "" sl@0: exportControl "Public" sl@0: global TRUE sl@0: subsystem "" sl@0: logical_models (list unit_reference_list sl@0: (object Class "$UNNAMED$0") sl@0: (object Class "Client ") sl@0: (object Class_Category "GDI" sl@0: exportControl "Public" sl@0: logical_models (list unit_reference_list sl@0: (object Class "Bitmap Font" sl@0: statediagram (object State_Diagram "" sl@0: title "" sl@0: zoom 100 sl@0: max_height 28350 sl@0: max_width 21600 sl@0: origin_x 0 sl@0: origin_y 0 sl@0: items (list diagram_item_list))) sl@0: (object Class "Brush" sl@0: superclasses (list inheritance_relationship_list sl@0: (object Inheritance_Relationship sl@0: supplier "GDI object")) sl@0: statediagram (object State_Diagram "" sl@0: title "" sl@0: zoom 100 sl@0: max_height 28350 sl@0: max_width 21600 sl@0: origin_x 0 sl@0: origin_y 0 sl@0: items (list diagram_item_list))) sl@0: (object Class "Pen" sl@0: superclasses (list inheritance_relationship_list sl@0: (object Inheritance_Relationship sl@0: supplier "GDI object")) sl@0: statediagram (object State_Diagram "" sl@0: title "" sl@0: zoom 100 sl@0: max_height 28350 sl@0: max_width 21600 sl@0: origin_x 0 sl@0: origin_y 0 sl@0: items (list diagram_item_list))) sl@0: (object Class "CBackground") sl@0: (object Class "integer" sl@0: nonclass TRUE) sl@0: (object Class "CPenCursor") sl@0: (object Class "CTextCursor") sl@0: (object Class "$UNNAMED$1") sl@0: (object Class "$UNNAMED$2") sl@0: (object Class " WS Object" sl@0: statediagram (object State_Diagram "" sl@0: title "" sl@0: zoom 100 sl@0: max_height 28350 sl@0: max_width 21600 sl@0: origin_x 0 sl@0: origin_y 0 sl@0: items (list diagram_item_list))) sl@0: (object Class "Drawablex" sl@0: statediagram (object State_Diagram "" sl@0: title "" sl@0: zoom 100 sl@0: max_height 28350 sl@0: max_width 21600 sl@0: origin_x 0 sl@0: origin_y 0 sl@0: items (list diagram_item_list))) sl@0: (object Class "Font" sl@0: fields (list has_relationship_list sl@0: (object Has_Relationship sl@0: supplier "Bitmap Font" sl@0: supplier_cardinality (value cardinality "0..1") sl@0: client_cardinality (value cardinality "n")) sl@0: (object Has_Relationship sl@0: supplier "Vector font" sl@0: supplier_cardinality (value cardinality "0..1") sl@0: client_cardinality (value cardinality "n"))) sl@0: superclasses (list inheritance_relationship_list sl@0: (object Inheritance_Relationship sl@0: supplier "GDI object")) sl@0: statediagram (object State_Diagram "" sl@0: title "" sl@0: zoom 100 sl@0: max_height 28350 sl@0: max_width 21600 sl@0: origin_x 0 sl@0: origin_y 0 sl@0: items (list diagram_item_list))) sl@0: (object Class "Vector font" sl@0: statediagram (object State_Diagram "" sl@0: title "" sl@0: zoom 100 sl@0: max_height 28350 sl@0: max_width 21600 sl@0: origin_x 0 sl@0: origin_y 0 sl@0: items (list diagram_item_list))) sl@0: (object Class "$UNNAMED$3") sl@0: (object Class "Palette" sl@0: superclasses (list inheritance_relationship_list sl@0: (object Inheritance_Relationship sl@0: supplier "GDI object"))) sl@0: (object Class "Drawable GDI Data") sl@0: (object Class_Category "$UNNAMED$4" sl@0: exportControl "Public" sl@0: logical_models (list unit_reference_list) sl@0: logical_presentations (list unit_reference_list)) sl@0: (object Class_Category "$UNNAMED$5" sl@0: exportControl "Public" sl@0: logical_models (list unit_reference_list) sl@0: logical_presentations (list unit_reference_list)) sl@0: (object Class_Category "$UNNAMED$6" sl@0: exportControl "Public" sl@0: logical_models (list unit_reference_list) sl@0: logical_presentations (list unit_reference_list)) sl@0: (object Class_Category "$UNNAMED$7" sl@0: exportControl "Public" sl@0: logical_models (list unit_reference_list) sl@0: logical_presentations (list unit_reference_list))) sl@0: logical_presentations (list unit_reference_list sl@0: (object ClassDiagram "Main" sl@0: title "Main" sl@0: zoom 100 sl@0: max_height 28350 sl@0: max_width 21600 sl@0: origin_x 0 sl@0: origin_y 0 sl@0: items (list diagram_item_list sl@0: (object ClassView "Class" "Bitmap Font" @1 sl@0: location (2259, 1427) sl@0: label (object ItemLabel sl@0: location (2155, 1343) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Bitmap Font") sl@0: annotation 8) sl@0: (object ClassView "Class" "Brush" @2 sl@0: location (1228, 901) sl@0: label (object ItemLabel sl@0: location (1124, 817) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Brush") sl@0: annotation 8) sl@0: (object ClassView "Class" "Pen" @3 sl@0: location (1709, 904) sl@0: label (object ItemLabel sl@0: location (1605, 820) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Pen") sl@0: annotation 8) sl@0: (object ClassView "Class" "Font" @4 sl@0: location (2200, 904) sl@0: label (object ItemLabel sl@0: location (2096, 820) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Font") sl@0: annotation 8) sl@0: (object ClassView "Class" "Vector font" @5 sl@0: location (2659, 1429) sl@0: label (object ItemLabel sl@0: location (2555, 1345) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Vector font") sl@0: annotation 8) sl@0: (object HasView "" sl@0: client @4 sl@0: supplier @1) sl@0: (object HasView "" sl@0: client @4 sl@0: supplier @5) sl@0: (object ClassView "Class" "Palette" @6 sl@0: location (822, 915) sl@0: label (object ItemLabel sl@0: location (718, 831) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Palette") sl@0: annotation 8) sl@0: (object ClassView "Class" "Drawable GDI Data" @7 sl@0: location (340, 909) sl@0: label (object ItemLabel sl@0: location (236, 825) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Drawable GDI Data") sl@0: annotation 8))))) sl@0: (object Class_Category "Drawables" sl@0: visible_categories (list visibility_relationship_list sl@0: (object Visibility_Relationship sl@0: supplier "GDI Interface") sl@0: (object Visibility_Relationship sl@0: supplier "GDI")) sl@0: exportControl "Public" sl@0: logical_models (list unit_reference_list sl@0: (object Class "$UNNAMED$8") sl@0: (object Class "Backed up Window" sl@0: fields (list has_relationship_list sl@0: (object Has_Relationship sl@0: supplier "Backup Bitmap")) sl@0: superclasses (list inheritance_relationship_list sl@0: (object Inheritance_Relationship sl@0: supplier "Window")) sl@0: statediagram (object State_Diagram "" sl@0: title "" sl@0: zoom 100 sl@0: max_height 28350 sl@0: max_width 21600 sl@0: origin_x 0 sl@0: origin_y 0 sl@0: items (list diagram_item_list))) sl@0: (object Class "Window" sl@0: fields (list has_relationship_list sl@0: (object Has_Relationship sl@0: supplier "Update Region" sl@0: supplier_cardinality (value cardinality "1") sl@0: client_cardinality (value cardinality "1")) sl@0: (object Has_Relationship sl@0: supplier "Clipping region" sl@0: supplier_cardinality (value cardinality "1") sl@0: client_cardinality (value cardinality "1")) sl@0: (object Has_Relationship sl@0: supplier "Client region")) sl@0: superclasses (list inheritance_relationship_list sl@0: (object Inheritance_Relationship sl@0: supplier "Drawable")) sl@0: operations (list Operations sl@0: (object Operation "SetVisibility" sl@0: concurrency "Sequential" sl@0: opExportControl "Public" sl@0: uid 0)) sl@0: statediagram (object State_Diagram "" sl@0: title "" sl@0: zoom 100 sl@0: max_height 28350 sl@0: max_width 21600 sl@0: origin_x 0 sl@0: origin_y 0 sl@0: items (list diagram_item_list))) sl@0: (object Class "Bitmap" sl@0: fields (list has_relationship_list sl@0: (object Has_Relationship sl@0: supplier "Default region")) sl@0: superclasses (list inheritance_relationship_list sl@0: (object Inheritance_Relationship sl@0: supplier "Drawable")) sl@0: statediagram (object State_Diagram "" sl@0: title "" sl@0: zoom 100 sl@0: max_height 28350 sl@0: max_width 21600 sl@0: origin_x 0 sl@0: origin_y 0 sl@0: items (list diagram_item_list))) sl@0: (object Class "Backup Bitmap" sl@0: superclasses (list inheritance_relationship_list sl@0: (object Inheritance_Relationship sl@0: supplier "Bitmap")) sl@0: statediagram (object State_Diagram "" sl@0: title "" sl@0: zoom 100 sl@0: max_height 28350 sl@0: max_width 21600 sl@0: origin_x 0 sl@0: origin_y 0 sl@0: items (list diagram_item_list))) sl@0: (object Parameterized_Class "$UNNAMED$9") sl@0: (object Class_Utility "$UNNAMED$10") sl@0: (object Class "$UNNAMED$11") sl@0: (object Class "RootWindow" sl@0: superclasses (list inheritance_relationship_list sl@0: (object Inheritance_Relationship sl@0: supplier "Window")) sl@0: statediagram (object State_Diagram "" sl@0: title "" sl@0: zoom 100 sl@0: max_height 28350 sl@0: max_width 21600 sl@0: origin_x 0 sl@0: origin_y 0 sl@0: items (list diagram_item_list))) sl@0: (object Class "Update Region" sl@0: superclasses (list inheritance_relationship_list sl@0: (object Inheritance_Relationship sl@0: supplier "Region")) sl@0: statediagram (object State_Diagram "" sl@0: title "" sl@0: zoom 100 sl@0: max_height 28350 sl@0: max_width 21600 sl@0: origin_x 0 sl@0: origin_y 0 sl@0: items (list diagram_item_list))) sl@0: (object Class "Root window" sl@0: collaborators (list association_list sl@0: (object Association sl@0: supplier "Window" sl@0: supplier_cardinality (value cardinality "n") sl@0: client_cardinality (value cardinality "1")) sl@0: (object Association sl@0: supplier "Animator" sl@0: supplier_cardinality (value cardinality "1")))) sl@0: (object Class "Client region" sl@0: superclasses (list inheritance_relationship_list sl@0: (object Inheritance_Relationship sl@0: supplier "Region"))) sl@0: (object Class "Drawable" sl@0: fields (list has_relationship_list sl@0: (object Has_Relationship sl@0: supplier "Gdi Drawable")) sl@0: statediagram (object State_Diagram "" sl@0: title "" sl@0: zoom 100 sl@0: max_height 28350 sl@0: max_width 21600 sl@0: origin_x 0 sl@0: origin_y 0 sl@0: items (list diagram_item_list))) sl@0: (object Class "Gdi Drawable") sl@0: (object Class "Default region") sl@0: (object Mechanism @8 sl@0: logical_models (list unit_reference_list sl@0: (object Object "RootWindow" sl@0: collaborators (list link_list sl@0: (object Link sl@0: supplier "Alert Window") sl@0: (object Link sl@0: supplier "Client Windows")) sl@0: class "RootWindow" sl@0: persistence "Static" sl@0: multi FALSE) sl@0: (object Object "Client Windows" sl@0: collaborators (list link_list sl@0: (object Link sl@0: supplier "Temporary Status Window") sl@0: (object Link sl@0: supplier "Client Windows") sl@0: (object Link sl@0: supplier "Client Windows") sl@0: (object Link sl@0: supplier "Client Windows") sl@0: (object Link sl@0: supplier "Client Windows") sl@0: (object Link sl@0: supplier "Client Windows")) sl@0: class "Window" sl@0: persistence "Transient" sl@0: multi TRUE) sl@0: (object Object "Clients" sl@0: collaborators (list link_list sl@0: (object Link sl@0: supplier "Client Windows") sl@0: (object Link sl@0: supplier "Client Windows") sl@0: (object Link sl@0: supplier "Client Windows") sl@0: (object Link sl@0: supplier sl@0: |Pseudo sl@0: |Client sl@0: ) sl@0: (object Link sl@0: supplier "Client Windows")) sl@0: class "Session" sl@0: persistence "Transient" sl@0: multi TRUE) sl@0: (object Object "Window Server" sl@0: collaborators (list link_list sl@0: (object Link sl@0: supplier "Status Window") sl@0: (object Link sl@0: supplier "RootWindow" sl@0: supplier_containment "By Value" sl@0: client_containment "By Value")) sl@0: class "System Client" sl@0: persistence "Static" sl@0: multi FALSE) sl@0: (object Object "Foreground Client" sl@0: collaborators (list link_list sl@0: (object Link sl@0: supplier "Client Windows")) sl@0: class "Session" sl@0: persistence "Transient" sl@0: multi FALSE))) sl@0: (object Mechanism @9 sl@0: logical_models (list unit_reference_list sl@0: (object Object "Window" sl@0: collaborators (list link_list sl@0: (object Link sl@0: supplier "Window" sl@0: messages (list Messages sl@0: (object Message "Child" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "FromClientToSupplier" sl@0: sequence "" sl@0: ordinal 0))) sl@0: (object Link sl@0: supplier "Window" sl@0: messages (list Messages sl@0: (object Message "Sibling" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "FromClientToSupplier" sl@0: sequence "" sl@0: ordinal 1))) sl@0: (object Link sl@0: supplier "Window" sl@0: messages (list Messages sl@0: (object Message "Parent" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "FromClientToSupplier" sl@0: sequence "" sl@0: ordinal 2))) sl@0: (object Link sl@0: supplier "Window" sl@0: messages (list Messages sl@0: (object Message "Sibling" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "FromClientToSupplier" sl@0: sequence "" sl@0: ordinal 3))) sl@0: (object Link sl@0: supplier "Window" sl@0: messages (list Messages sl@0: (object Message "Parent" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "FromClientToSupplier" sl@0: sequence "" sl@0: ordinal 4))) sl@0: (object Link sl@0: supplier "Window") sl@0: (object Link sl@0: supplier "Window") sl@0: (object Link sl@0: supplier "Window") sl@0: (object Link sl@0: supplier "Window") sl@0: (object Link sl@0: supplier "Window") sl@0: (object Link sl@0: supplier "Window") sl@0: (object Link sl@0: supplier "Window") sl@0: (object Link sl@0: supplier "Window") sl@0: (object Link sl@0: supplier "Window" sl@0: messages (list Messages sl@0: (object Message "" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "ToClientFromSupplier" sl@0: sequence "" sl@0: ordinal 5) sl@0: (object Message "" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "ToClientFromSupplier" sl@0: sequence "" sl@0: ordinal 6) sl@0: (object Message "" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "ToClientFromSupplier" sl@0: sequence "" sl@0: ordinal 7) sl@0: (object Message "" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "ToClientFromSupplier" sl@0: sequence "" sl@0: ordinal 8) sl@0: (object Message "" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "ToClientFromSupplier" sl@0: sequence "" sl@0: ordinal 9) sl@0: (object Message "" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "ToClientFromSupplier" sl@0: sequence "" sl@0: ordinal 10) sl@0: (object Message "" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "ToClientFromSupplier" sl@0: sequence "" sl@0: ordinal 11) sl@0: (object Message "" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "ToClientFromSupplier" sl@0: sequence "" sl@0: ordinal 12) sl@0: (object Message "" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "ToClientFromSupplier" sl@0: sequence "" sl@0: ordinal 13) sl@0: (object Message "" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "ToClientFromSupplier" sl@0: sequence "" sl@0: ordinal 14) sl@0: (object Message "" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "ToClientFromSupplier" sl@0: sequence "" sl@0: ordinal 15) sl@0: (object Message "" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "ToClientFromSupplier" sl@0: sequence "" sl@0: ordinal 16) sl@0: (object Message "" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "ToClientFromSupplier" sl@0: sequence "" sl@0: ordinal 17) sl@0: (object Message "" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "ToClientFromSupplier" sl@0: sequence "" sl@0: ordinal 18) sl@0: (object Message "" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "ToClientFromSupplier" sl@0: sequence "" sl@0: ordinal 19) sl@0: (object Message "" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "ToClientFromSupplier" sl@0: sequence "" sl@0: ordinal 20) sl@0: (object Message "" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "ToClientFromSupplier" sl@0: sequence "" sl@0: ordinal 21) sl@0: (object Message "" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "ToClientFromSupplier" sl@0: sequence "" sl@0: ordinal 22) sl@0: (object Message "" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "ToClientFromSupplier" sl@0: sequence "" sl@0: ordinal 23) sl@0: (object Message "" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "ToClientFromSupplier" sl@0: sequence "" sl@0: ordinal 24) sl@0: (object Message "" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "ToClientFromSupplier" sl@0: sequence "" sl@0: ordinal 25) sl@0: (object Message "" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "ToClientFromSupplier" sl@0: sequence "" sl@0: ordinal 26) sl@0: (object Message "" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "ToClientFromSupplier" sl@0: sequence "" sl@0: ordinal 27) sl@0: (object Message "" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "ToClientFromSupplier" sl@0: sequence "" sl@0: ordinal 28) sl@0: (object Message "" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "ToClientFromSupplier" sl@0: sequence "" sl@0: ordinal 29) sl@0: (object Message "" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "ToClientFromSupplier" sl@0: sequence "" sl@0: ordinal 30) sl@0: (object Message "" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "ToClientFromSupplier" sl@0: sequence "" sl@0: ordinal 31)))) sl@0: class "Window" sl@0: persistence "Transient" sl@0: multi FALSE)))) sl@0: logical_presentations (list unit_reference_list sl@0: (object ClassDiagram "Main" sl@0: title "Main" sl@0: zoom 100 sl@0: max_height 28350 sl@0: max_width 21600 sl@0: origin_x 0 sl@0: origin_y 0 sl@0: items (list diagram_item_list sl@0: (object ClassView "Class" "Backed up Window" @10 sl@0: location (1126, 1425) sl@0: font (object Font sl@0: size 10 sl@0: face "helvetica" sl@0: bold FALSE sl@0: italics FALSE sl@0: underline FALSE sl@0: strike FALSE sl@0: color 0 sl@0: default_color TRUE) sl@0: label (object ItemLabel sl@0: location (1024, 1343) sl@0: nlines 2 sl@0: max_width 236 sl@0: justify 0 sl@0: label "Backed up Window") sl@0: width 343 sl@0: height 249 sl@0: annotation 8) sl@0: (object ClassView "Class" "Window" @11 sl@0: location (1125, 838) sl@0: label (object ItemLabel sl@0: location (1021, 754) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Window") sl@0: annotation 8) sl@0: (object InheritView "" sl@0: client @10 sl@0: supplier @11) sl@0: (object ClassView "Class" "Bitmap" @12 sl@0: location (1744, 832) sl@0: label (object ItemLabel sl@0: location (1640, 748) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Bitmap") sl@0: annotation 8) sl@0: (object ClassView "Class" "Backup Bitmap" @13 sl@0: location (1743, 1424) sl@0: label (object ItemLabel sl@0: location (1636, 1337) sl@0: nlines 2 sl@0: max_width 249 sl@0: justify 0 sl@0: label "Backup Bitmap") sl@0: width 362 sl@0: height 262 sl@0: annotation 8) sl@0: (object InheritView "" sl@0: client @13 sl@0: supplier @12) sl@0: (object ClassView "Class" "RootWindow" @14 sl@0: location (1434, 1145) sl@0: label (object ItemLabel sl@0: location (1330, 1061) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "RootWindow") sl@0: annotation 8) sl@0: (object InheritView "" sl@0: client @14 sl@0: supplier @11) sl@0: (object ClassView "Class" "Update Region" @15 sl@0: location (319, 1158) sl@0: label (object ItemLabel sl@0: location (215, 1074) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Update Region") sl@0: annotation 8) sl@0: (object HasView "" sl@0: client @10 sl@0: supplier @13) sl@0: (object HasView "" sl@0: client @11 sl@0: supplier @15) sl@0: (object ClassView "Class" "Client region" @16 sl@0: location (450, 842) sl@0: label (object ItemLabel sl@0: location (346, 758) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Client region") sl@0: annotation 8) sl@0: (object HasView "" sl@0: client @11 sl@0: supplier @16) sl@0: (object ClassView "Class" "Drawable" @17 sl@0: location (1390, 426) sl@0: label (object ItemLabel sl@0: location (1286, 342) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Drawable") sl@0: annotation 8) sl@0: (object InheritView "" sl@0: client @11 sl@0: supplier @17) sl@0: (object InheritView "" sl@0: client @12 sl@0: supplier @17) sl@0: (object ClassView "Class" "Gdi Drawable" @18 sl@0: location (2325, 846) sl@0: label (object ItemLabel sl@0: location (2221, 762) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Gdi Drawable") sl@0: annotation 8) sl@0: (object HasView "" sl@0: client @17 sl@0: supplier @18) sl@0: (object ClassView "Class" "Default region" @19 sl@0: location (2287, 1226) sl@0: label (object ItemLabel sl@0: location (2183, 1142) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Default region") sl@0: annotation 8) sl@0: (object HasView "" sl@0: client @12 sl@0: supplier @19))) sl@0: (object ObjectDiagram "Protea top level window structure" sl@0: mechanism_ref @8 sl@0: title "Protea top level window structure" sl@0: zoom 100 sl@0: max_height 28350 sl@0: max_width 21600 sl@0: origin_x 0 sl@0: origin_y 0 sl@0: items (list diagram_item_list sl@0: (object ObjectView "RootWindow" @20 sl@0: location (334, 1068) sl@0: label (object ItemLabel sl@0: location (230, 984) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "RootWindow") sl@0: subobjects 0 sl@0: x_offset 0 sl@0: y_offset 0) sl@0: (object ObjectView "Client Windows" @21 sl@0: location (703, 1520) sl@0: label (object ItemLabel sl@0: location (599, 1436) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Client Windows") sl@0: subobjects 0 sl@0: x_offset -0.078125 sl@0: y_offset 0.110406) sl@0: (object ObjectView "Clients" @22 sl@0: location (1500, 523) sl@0: label (object ItemLabel sl@0: location (1273, 330) sl@0: nlines 2 sl@0: max_width 540 sl@0: justify 0 sl@0: label "Clients") sl@0: width 783 sl@0: height 567 sl@0: subobjects 1 sl@0: x_offset 0 sl@0: y_offset 0) sl@0: (object ObjectView "Client Windows" @23 sl@0: location (1337, 1507) sl@0: label (object ItemLabel sl@0: location (1233, 1423) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Client Windows") sl@0: subobjects 0 sl@0: x_offset -0.08 sl@0: y_offset 0.11) sl@0: (object ObjectView "Window Server" @24 sl@0: location (340, 642) sl@0: label (object ItemLabel sl@0: location (236, 558) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Window Server") sl@0: subobjects 0 sl@0: x_offset 0 sl@0: y_offset 0) sl@0: (object ObjectView "Client Windows" @25 sl@0: location (1928, 1510) sl@0: label (object ItemLabel sl@0: location (1824, 1426) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Client Windows") sl@0: subobjects 0 sl@0: x_offset -0.08 sl@0: y_offset 0.11) sl@0: (object ObjectView "Client Windows" @26 sl@0: location (2522, 1517) sl@0: label (object ItemLabel sl@0: location (2418, 1433) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Client Windows") sl@0: subobjects 0 sl@0: x_offset -0.08 sl@0: y_offset 0.11) sl@0: (object ObjectView "Client Windows" @27 sl@0: location (203, 1526) sl@0: label (object ItemLabel sl@0: location (99, 1442) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Client Windows") sl@0: subobjects 0 sl@0: x_offset -0.08 sl@0: y_offset 0.11) sl@0: (object ObjectView "Foreground Client" @28 sl@0: location (1438, 585) sl@0: label (object ItemLabel sl@0: location (1335, 499) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Foreground Client") sl@0: subobjects 0 sl@0: x_offset -0.08 sl@0: y_offset 0.11) sl@0: (object LinkView "" @29 sl@0: client @20 sl@0: supplier @27) sl@0: (object LinkView "" @30 sl@0: client @21 sl@0: supplier @23) sl@0: (object LinkView "" @31 sl@0: client @23 sl@0: supplier @25) sl@0: (object LinkView "" @32 sl@0: client @25 sl@0: supplier @26) sl@0: (object LinkView "" @33 sl@0: client @21 sl@0: supplier @27) sl@0: (object LinkView "" @34 sl@0: client @22 sl@0: supplier @23) sl@0: (object LinkView "" @35 sl@0: client @22 sl@0: supplier @25) sl@0: (object LinkView "" @36 sl@0: client @22 sl@0: supplier @26) sl@0: (object LinkView "" @37 sl@0: client @22 sl@0: supplier @27) sl@0: (object LinkView "" @38 sl@0: client @24 sl@0: supplier @20) sl@0: (object LinkView "" @39 sl@0: client @28 sl@0: supplier @21))) sl@0: (object ObjectDiagram "Basic window tree structure" sl@0: mechanism_ref @9 sl@0: title "Basic window tree structure" sl@0: zoom 100 sl@0: max_height 28350 sl@0: max_width 21600 sl@0: origin_x 0 sl@0: origin_y 0 sl@0: items (list diagram_item_list sl@0: (object ObjectView "Window" @40 sl@0: location (715, 272) sl@0: label (object ItemLabel sl@0: location (611, 188) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Window") sl@0: subobjects 0 sl@0: x_offset 0 sl@0: y_offset 0) sl@0: (object ObjectView "Window" @41 sl@0: location (553, 814) sl@0: label (object ItemLabel sl@0: location (449, 730) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Window") sl@0: subobjects 0 sl@0: x_offset 0 sl@0: y_offset 0) sl@0: (object ObjectView "Window" @42 sl@0: location (1306, 814) sl@0: label (object ItemLabel sl@0: location (1202, 730) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Window") sl@0: subobjects 0 sl@0: x_offset 0 sl@0: y_offset 0) sl@0: (object ObjectView "Window" @43 sl@0: location (2090, 814) sl@0: label (object ItemLabel sl@0: location (1986, 730) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Window") sl@0: subobjects 0 sl@0: x_offset 0 sl@0: y_offset 0) sl@0: (object ObjectView "Window" @44 sl@0: location (1306, 1345) sl@0: label (object ItemLabel sl@0: location (1202, 1261) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Window") sl@0: subobjects 0 sl@0: x_offset 0 sl@0: y_offset 0) sl@0: (object ObjectView "Window" @45 sl@0: location (553, 1366) sl@0: label (object ItemLabel sl@0: location (449, 1282) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Window") sl@0: subobjects 0 sl@0: x_offset 0 sl@0: y_offset 0) sl@0: (object ObjectView "Window" @46 sl@0: location (1306, 1823) sl@0: label (object ItemLabel sl@0: location (1202, 1739) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Window") sl@0: subobjects 0 sl@0: x_offset 0 sl@0: y_offset 0) sl@0: (object ObjectView "Window" @47 sl@0: location (1868, 1346) sl@0: label (object ItemLabel sl@0: location (1764, 1262) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Window") sl@0: subobjects 0 sl@0: x_offset 0 sl@0: y_offset 0) sl@0: (object LinkView "" @48 sl@0: client @40 sl@0: supplier @41) sl@0: (object MessView "" sl@0: location (667, 551) sl@0: label (object SegLabel sl@0: location (731, 558) sl@0: anchor_loc 1 sl@0: nlines 1 sl@0: max_width 450 sl@0: justify 0 sl@0: label "Child" sl@0: pctDist 0.407895 sl@0: height 64 sl@0: orientation 0) sl@0: object_arc @48 sl@0: pctDist 0.494941 sl@0: height 35 sl@0: orientation 0 sl@0: dir 1 sl@0: origin (684, 494) sl@0: terminus (650, 608)) sl@0: (object LinkView "" @49 sl@0: client @41 sl@0: supplier @42) sl@0: (object MessView "" sl@0: location (917, 785) sl@0: label (object SegLabel sl@0: location (917, 741) sl@0: anchor_loc 1 sl@0: nlines 1 sl@0: max_width 450 sl@0: justify 0 sl@0: label "Sibling" sl@0: pctDist 0.5 sl@0: height 45 sl@0: orientation 0) sl@0: object_arc @49 sl@0: pctDist 0.5 sl@0: height 30 sl@0: orientation 0 sl@0: dir 1 sl@0: origin (857, 785) sl@0: terminus (977, 785)) sl@0: (object LinkView "" @50 sl@0: client @41 sl@0: supplier @40 sl@0: vertices (list Points sl@0: (572, 705) sl@0: (597, 569) sl@0: (665, 398))) sl@0: (object MessView "" sl@0: location (578, 538) sl@0: label (object SegLabel sl@0: location (485, 541) sl@0: anchor_loc 1 sl@0: nlines 1 sl@0: max_width 450 sl@0: justify 0 sl@0: label "Parent" sl@0: pctDist 0.199365 sl@0: height 87 sl@0: orientation 0) sl@0: object_arc @50 sl@0: pctDist 0.5 sl@0: height 30 sl@0: orientation 0 sl@0: dir 1 sl@0: origin (556, 593) sl@0: terminus (600, 483)) sl@0: (object LinkView "" @51 sl@0: client @42 sl@0: supplier @43) sl@0: (object MessView "" sl@0: location (1676, 783) sl@0: label (object SegLabel sl@0: location (1676, 748) sl@0: anchor_loc 1 sl@0: nlines 1 sl@0: max_width 450 sl@0: justify 0 sl@0: label "Sibling" sl@0: pctDist 0.5 sl@0: height 36 sl@0: orientation 0) sl@0: object_arc @51 sl@0: pctDist 0.478058 sl@0: height 32 sl@0: orientation 0 sl@0: dir 1 sl@0: origin (1616, 783) sl@0: terminus (1736, 783)) sl@0: (object LinkView "" @52 sl@0: client @42 sl@0: supplier @40) sl@0: (object MessView "" sl@0: location (1076, 554) sl@0: label (object SegLabel sl@0: location (1053, 580) sl@0: anchor_loc 1 sl@0: nlines 1 sl@0: max_width 450 sl@0: justify 0 sl@0: label "Parent" sl@0: pctDist 0.5 sl@0: height 36 sl@0: orientation 0) sl@0: object_arc @52 sl@0: pctDist 0.368275 sl@0: height 37 sl@0: orientation 1 sl@0: dir 1 sl@0: origin (1119, 594) sl@0: terminus (1033, 514)) sl@0: (object LinkView "" @53 sl@0: client @43 sl@0: supplier @40) sl@0: (object MessView "" sl@0: location (1478, 528) sl@0: object_arc @53 sl@0: pctDist 0.451966 sl@0: height 42 sl@0: orientation 1 sl@0: dir 1 sl@0: origin (1533, 549) sl@0: terminus (1423, 507)) sl@0: (object LinkView "" @54 sl@0: client @41 sl@0: supplier @45) sl@0: (object MessView "" sl@0: location (583, 1095) sl@0: object_arc @54 sl@0: pctDist 0.5 sl@0: height 30 sl@0: orientation 0 sl@0: dir 1 sl@0: origin (583, 1035) sl@0: terminus (583, 1155)) sl@0: (object LinkView "" @55 sl@0: client @45 sl@0: supplier @41 sl@0: vertices (list Points sl@0: (537, 1265) sl@0: (519, 1159) sl@0: (519, 1000) sl@0: (532, 932))) sl@0: (object MessView "" sl@0: location (485, 1074) sl@0: object_arc @55 sl@0: pctDist 0.577381 sl@0: height 35 sl@0: orientation 0 sl@0: dir 1 sl@0: origin (485, 1133) sl@0: terminus (485, 1015)) sl@0: (object LinkView "" @56 sl@0: client @42 sl@0: supplier @44) sl@0: (object MessView "" sl@0: location (1336, 1084) sl@0: object_arc @56 sl@0: pctDist 0.5 sl@0: height 30 sl@0: orientation 0 sl@0: dir 1 sl@0: origin (1336, 1024) sl@0: terminus (1336, 1144)) sl@0: (object LinkView "" @57 sl@0: client @44 sl@0: supplier @46) sl@0: (object MessView "" sl@0: location (1336, 1588) sl@0: object_arc @57 sl@0: pctDist 0.5 sl@0: height 30 sl@0: orientation 0 sl@0: dir 1 sl@0: origin (1336, 1528) sl@0: terminus (1336, 1648)) sl@0: (object LinkView "" @58 sl@0: client @44 sl@0: supplier @47) sl@0: (object MessView "" sl@0: location (1575, 1316) sl@0: object_arc @58 sl@0: pctDist 0.5 sl@0: height 30 sl@0: orientation 0 sl@0: dir 1 sl@0: origin (1515, 1316) sl@0: terminus (1635, 1316)) sl@0: (object LinkView "" @59 sl@0: client @47 sl@0: supplier @42) sl@0: (object MessView "" sl@0: location (1553, 1089) sl@0: object_arc @59 sl@0: pctDist 0.5 sl@0: height 30 sl@0: orientation 0 sl@0: dir 1 sl@0: origin (1596, 1129) sl@0: terminus (1510, 1049)) sl@0: (object LinkView "" @60 sl@0: client @44 sl@0: supplier @42 sl@0: vertices (list Points sl@0: (1273, 1241) sl@0: (1240, 1140) sl@0: (1244, 1006) sl@0: (1267, 938))) sl@0: (object MessView "" sl@0: location (1212, 1091) sl@0: object_arc @60 sl@0: pctDist 0.5 sl@0: height 30 sl@0: orientation 0 sl@0: dir 1 sl@0: origin (1210, 1150) sl@0: terminus (1214, 1032)) sl@0: (object LinkView "" @61 sl@0: client @46 sl@0: supplier @44 sl@0: vertices (list Points sl@0: (1286, 1721) sl@0: (1269, 1640) sl@0: (1265, 1537) sl@0: (1282, 1464))) sl@0: (object MessView "" sl@0: location (1227, 1588) sl@0: object_arc @61 sl@0: pctDist 0.524425 sl@0: height 41 sl@0: orientation 0 sl@0: dir 1 sl@0: origin (1228, 1647) sl@0: terminus (1226, 1529)))))) sl@0: (object Class_Category "Top level" sl@0: visible_categories (list visibility_relationship_list sl@0: (object Visibility_Relationship sl@0: supplier "GDI Interface") sl@0: (object Visibility_Relationship sl@0: supplier "Drawables") sl@0: (object Visibility_Relationship sl@0: supplier "AGDI") sl@0: (object Visibility_Relationship sl@0: supplier "XGDI")) sl@0: exportControl "Public" sl@0: logical_models (list unit_reference_list sl@0: (object Class "$UNNAMED$12") sl@0: (object Class "Invalid window list" sl@0: superclasses (list inheritance_relationship_list sl@0: (object Inheritance_Relationship sl@0: supplier "Variable arrayx")) sl@0: collaborators (list association_list sl@0: (object Association sl@0: supplier "Root window" sl@0: supplier_cardinality (value cardinality "1") sl@0: client_cardinality (value cardinality "1"))) sl@0: statediagram (object State_Diagram "" sl@0: title "" sl@0: zoom 100 sl@0: max_height 28350 sl@0: max_width 21600 sl@0: origin_x 0 sl@0: origin_y 0 sl@0: items (list diagram_item_list))) sl@0: (object Class_Utility "$UNNAMED$13") sl@0: (object Class "Heartbeat" sl@0: collaborators (list association_list sl@0: (object Association sl@0: supplier "Animatorx" sl@0: supplier_cardinality (value cardinality "n") sl@0: client_cardinality (value cardinality "1")) sl@0: (object Association sl@0: supplier "GDI Controllerx") sl@0: (object Association sl@0: supplier "Animator" sl@0: supplier_cardinality (value cardinality "1") sl@0: client_cardinality (value cardinality "1"))) sl@0: concurrency "Active" sl@0: statediagram (object State_Diagram "" sl@0: title "" sl@0: zoom 100 sl@0: max_height 28350 sl@0: max_width 21600 sl@0: origin_x 0 sl@0: origin_y 0 sl@0: items (list diagram_item_list))) sl@0: (object Class "Event queue" sl@0: statediagram (object State_Diagram "" sl@0: title "" sl@0: zoom 100 sl@0: max_height 28350 sl@0: max_width 21600 sl@0: origin_x 0 sl@0: origin_y 0 sl@0: items (list diagram_item_list))) sl@0: (object Class "Session" sl@0: fields (list has_relationship_list sl@0: (object Has_Relationship sl@0: supplier "Invalid window list" sl@0: supplier_cardinality (value cardinality "1") sl@0: client_cardinality (value cardinality "1")) sl@0: (object Has_Relationship sl@0: supplier "Clockx" sl@0: supplier_cardinality (value cardinality "n") sl@0: client_cardinality (value cardinality "1")) sl@0: (object Has_Relationship sl@0: supplier "Bitmap sequencex" sl@0: supplier_cardinality (value cardinality "n") sl@0: client_cardinality (value cardinality "1")) sl@0: (object Has_Relationship sl@0: supplier "Spritex" sl@0: supplier_cardinality (value cardinality "0..1") sl@0: client_cardinality (value cardinality "1")) sl@0: (object Has_Relationship sl@0: supplier "Text Cursorx" sl@0: supplier_cardinality (value cardinality "0,1") sl@0: client_cardinality (value cardinality "1")) sl@0: (object Has_Relationship sl@0: supplier "Event queue" sl@0: supplier_cardinality (value cardinality "1") sl@0: client_cardinality (value cardinality "1")) sl@0: (object Has_Relationship sl@0: supplier "Drawable") sl@0: (object Has_Relationship sl@0: supplier "Graphics context") sl@0: (object Has_Relationship sl@0: supplier "Temp graphics contextx") sl@0: (object Has_Relationship sl@0: supplier "GDI Controllerx") sl@0: (object Has_Relationship sl@0: supplier "Animator" sl@0: supplier_cardinality (value cardinality "1") sl@0: client_cardinality (value cardinality "1")) sl@0: (object Has_Relationship sl@0: supplier "Root window" sl@0: supplier_cardinality (value cardinality "1") sl@0: client_cardinality (value cardinality "1")) sl@0: (object Has_Relationship sl@0: supplier "GDI object") sl@0: (object Has_Relationship sl@0: supplier "GDI controller" sl@0: supplier_cardinality (value cardinality "1") sl@0: client_cardinality (value cardinality "1")) sl@0: (object Has_Relationship sl@0: supplier "Capture key list")) sl@0: collaborators (list association_list sl@0: (object Association sl@0: label "Current GC" sl@0: supplier "Graphics context" sl@0: supplier_cardinality (value cardinality "1") sl@0: client_cardinality (value cardinality "0,1"))) sl@0: statediagram (object State_Diagram "" sl@0: title "" sl@0: zoom 100 sl@0: max_height 28350 sl@0: max_width 21600 sl@0: origin_x 0 sl@0: origin_y 0 sl@0: items (list diagram_item_list))) sl@0: (object Class "Capture key list" sl@0: statediagram (object State_Diagram "" sl@0: title "" sl@0: zoom 100 sl@0: max_height 28350 sl@0: max_width 21600 sl@0: origin_x 0 sl@0: origin_y 0 sl@0: items (list diagram_item_list))) sl@0: (object Class "Pointer" sl@0: collaborators (list association_list sl@0: (object Association sl@0: supplier "Session" sl@0: supplier_cardinality (value cardinality "n") sl@0: client_cardinality (value cardinality "1")) sl@0: (object Association sl@0: supplier "Root window" sl@0: supplier_cardinality (value cardinality "n") sl@0: client_cardinality (value cardinality "1"))) sl@0: used_nodes (list uses_relationship_list sl@0: (object Uses_Relationship sl@0: supplier "Pointer cursor")) sl@0: concurrency "Active") sl@0: (object Class "Keyboard" sl@0: collaborators (list association_list sl@0: (object Association sl@0: supplier "Session" sl@0: supplier_cardinality (value cardinality "n") sl@0: client_cardinality (value cardinality "1"))) sl@0: concurrency "Active") sl@0: (object Class "Window server" sl@0: fields (list has_relationship_list sl@0: (object Has_Relationship sl@0: supplier "Session" sl@0: supplier_cardinality (value cardinality "n") sl@0: client_cardinality (value cardinality "1"))) sl@0: concurrency "Active") sl@0: (object Class "Text Cursor" sl@0: superclasses (list inheritance_relationship_list sl@0: (object Inheritance_Relationship sl@0: supplier "Animatorx")) sl@0: statediagram (object State_Diagram "" sl@0: title "" sl@0: zoom 100 sl@0: max_height 28350 sl@0: max_width 21600 sl@0: origin_x 0 sl@0: origin_y 0 sl@0: items (list diagram_item_list))) sl@0: (object Class "AGDI controller") sl@0: (object Mechanism @62 sl@0: logical_models (list unit_reference_list sl@0: (object Object "Pointer dispatcher" sl@0: collaborators (list link_list sl@0: (object Link sl@0: supplier "Clients" sl@0: messages (list Messages sl@0: (object Message "" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "FromClientToSupplier" sl@0: sequence "" sl@0: ordinal 2))) sl@0: (object Link sl@0: supplier "Pointer decoder" sl@0: messages (list Messages sl@0: (object Message "" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "FromClientToSupplier" sl@0: sequence "" sl@0: ordinal 3) sl@0: (object Message "" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "ToClientFromSupplier" sl@0: sequence "" sl@0: ordinal 4)))) sl@0: persistence "Transient" sl@0: multi FALSE) sl@0: (object Object "Keyboard" sl@0: collaborators (list link_list sl@0: (object Link sl@0: supplier "Foreground Client" sl@0: messages (list Messages sl@0: (object Message "Key ups & downs" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "FromClientToSupplier" sl@0: sequence "" sl@0: ordinal 0)))) sl@0: persistence "Transient" sl@0: multi FALSE) sl@0: (object Object "Clients" sl@0: collaborators (list link_list sl@0: (object Link sl@0: supplier "Client commands")) sl@0: persistence "Transient" sl@0: multi TRUE) sl@0: (object Object "Heartbeat" sl@0: collaborators (list link_list sl@0: (object Link sl@0: supplier "Animate list" sl@0: messages (list Messages sl@0: (object Message "Animate cursor" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "FromClientToSupplier" sl@0: sequence "" sl@0: ordinal 1)))) sl@0: persistence "Transient" sl@0: multi FALSE) sl@0: (object Object "Foreground Client" sl@0: collaborators (list link_list sl@0: (object Link sl@0: supplier "Heartbeat")) sl@0: persistence "Transient" sl@0: multi FALSE) sl@0: (object Object "Client commands" sl@0: collaborators (list link_list sl@0: (object Link sl@0: supplier "Clients" sl@0: messages (list Messages sl@0: (object Message "" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "FromClientToSupplier" sl@0: sequence "" sl@0: ordinal 5) sl@0: (object Message "" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "ToClientFromSupplier" sl@0: sequence "" sl@0: ordinal 6)))) sl@0: persistence "Transient" sl@0: multi FALSE) sl@0: (object Object "Pointer decoder" sl@0: persistence "Transient" sl@0: multi FALSE) sl@0: (object Object "Animate list" sl@0: collaborators (list link_list sl@0: (object Link sl@0: supplier "Clients" sl@0: messages (list Messages sl@0: (object Message "" sl@0: frequency "Aperiodic" sl@0: synchronization "Simple" sl@0: dir "FromClientToSupplier" sl@0: sequence "" sl@0: ordinal 7)))) sl@0: persistence "Transient" sl@0: multi FALSE)))) sl@0: logical_presentations (list unit_reference_list sl@0: (object ClassDiagram "Main" sl@0: title "Main" sl@0: zoom 100 sl@0: max_height 28350 sl@0: max_width 21600 sl@0: origin_x 0 sl@0: origin_y 0 sl@0: items (list diagram_item_list sl@0: (object ClassView "Class" "Invalid window list" @63 sl@0: location (913, 1391) sl@0: label (object ItemLabel sl@0: location (811, 1308) sl@0: nlines 2 sl@0: max_width 236 sl@0: justify 0 sl@0: label "Invalid window list") sl@0: width 343 sl@0: height 250 sl@0: annotation 8) sl@0: (object ClassView "Class" "Event queue" @64 sl@0: location (1962, 757) sl@0: label (object ItemLabel sl@0: location (1858, 673) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Event queue") sl@0: annotation 8) sl@0: (object ClassView "Class" "Heartbeat" @65 sl@0: location (244, 170) sl@0: label (object ItemLabel sl@0: location (140, 86) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Heartbeat") sl@0: annotation 10) sl@0: (object ClassView "Class" "Session" @66 sl@0: location (1684, 1494) sl@0: label (object ItemLabel sl@0: location (1580, 1410) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Session") sl@0: annotation 8) sl@0: (object HasView "" sl@0: client @66 sl@0: supplier @64) sl@0: (object ClassView "Class" "Capture key list" @67 sl@0: location (2440, 498) sl@0: label (object ItemLabel sl@0: location (2336, 414) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Capture key list") sl@0: annotation 8) sl@0: (object ClassView "Class" "Pointer" @68 sl@0: location (712, 176) sl@0: label (object ItemLabel sl@0: location (608, 92) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Pointer") sl@0: annotation 10) sl@0: (object ClassView "Class" "Keyboard" @69 sl@0: location (2453, 957) sl@0: label (object ItemLabel sl@0: location (2349, 873) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Keyboard") sl@0: annotation 10) sl@0: (object ClassView "Class" "Window server" @70 sl@0: location (1759, 292) sl@0: label (object ItemLabel sl@0: location (1655, 208) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Window server") sl@0: annotation 10) sl@0: (object HasView "" sl@0: client @66 sl@0: supplier @63) sl@0: (object ClassView "Class" "Animator" @71 sl@0: location (278, 1782) sl@0: label (object ItemLabel sl@0: location (174, 1698) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Animator") sl@0: annotation 8) sl@0: (object AssociationView "" sl@0: client @65 sl@0: supplier @71) sl@0: (object HasView "" sl@0: client @66 sl@0: supplier @71) sl@0: (object ClassView "Class" "Root window" @72 sl@0: location (712, 976) sl@0: label (object ItemLabel sl@0: location (608, 892) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Root window") sl@0: annotation 8) sl@0: (object HasView "" sl@0: client @66 sl@0: supplier @72) sl@0: (object AssociationView "" sl@0: client @63 sl@0: supplier @72) sl@0: (object AssociationView "" sl@0: client @72 sl@0: supplier @71) sl@0: (object HasView "" sl@0: client @66 sl@0: supplier @67) sl@0: (object ClassView "Class" "Pointer cursor" @73 sl@0: location (459, 700) sl@0: label (object ItemLabel sl@0: location (355, 616) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Pointer cursor") sl@0: annotation 8) sl@0: (object UsesView "" sl@0: client @68 sl@0: supplier @73) sl@0: (object HasView "" sl@0: client @71 sl@0: supplier @73) sl@0: (object HasView "" sl@0: client @70 sl@0: supplier @66) sl@0: (object AssociationView "" sl@0: client @69 sl@0: supplier @66) sl@0: (object AssociationView "" sl@0: client @68 sl@0: supplier @66) sl@0: (object AssociationView "" sl@0: client @68 sl@0: supplier @72))) sl@0: (object ObjectDiagram "Event handling" sl@0: mechanism_ref @62 sl@0: title "Event handling" sl@0: zoom 94 sl@0: max_height 28350 sl@0: max_width 21600 sl@0: origin_x 0 sl@0: origin_y 0 sl@0: items (list diagram_item_list sl@0: (object ObjectView "Pointer dispatcher" @74 sl@0: location (1430, 339) sl@0: label (object ItemLabel sl@0: location (1326, 255) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Pointer dispatcher") sl@0: subobjects 0 sl@0: x_offset 0 sl@0: y_offset 0) sl@0: (object ObjectView "Keyboard" @75 sl@0: location (306, 613) sl@0: label (object ItemLabel sl@0: location (202, 529) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Keyboard") sl@0: subobjects 0 sl@0: x_offset -0.08 sl@0: y_offset 0.11) sl@0: (object ObjectView "Clients" @76 sl@0: location (964, 1683) sl@0: label (object ItemLabel sl@0: location (737, 1490) sl@0: nlines 2 sl@0: max_width 540 sl@0: justify 0 sl@0: label "Clients") sl@0: width 783 sl@0: height 567 sl@0: subobjects 1 sl@0: x_offset 0 sl@0: y_offset 0) sl@0: (object ObjectView "Heartbeat" @77 sl@0: location (2667, 621) sl@0: label (object ItemLabel sl@0: location (2563, 537) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Heartbeat") sl@0: subobjects 0 sl@0: x_offset 0 sl@0: y_offset 0) sl@0: (object ObjectView "Foreground Client" @78 sl@0: location (904, 1678) sl@0: label (object ItemLabel sl@0: location (800, 1595) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Foreground Client") sl@0: width 349 sl@0: height 250 sl@0: subobjects 0 sl@0: x_offset -0.076628 sl@0: y_offset -0.007055) sl@0: (object ObjectView "Client commands" @79 sl@0: location (885, 578) sl@0: label (object ItemLabel sl@0: location (781, 494) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Client commands") sl@0: subobjects 0 sl@0: x_offset 0 sl@0: y_offset 0) sl@0: (object ObjectView "Pointer decoder" @80 sl@0: location (1557, 850) sl@0: label (object ItemLabel sl@0: location (1453, 766) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Pointer decoder") sl@0: subobjects 0 sl@0: x_offset 0.033206 sl@0: y_offset -0.661376) sl@0: (object ObjectView "Animate list" @81 sl@0: location (2165, 930) sl@0: label (object ItemLabel sl@0: location (2061, 846) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Animate list") sl@0: subobjects 0 sl@0: x_offset 0 sl@0: y_offset 0) sl@0: (object LinkView "" @82 sl@0: client @74 sl@0: supplier @76) sl@0: (object MessView "" sl@0: location (1307, 761) sl@0: object_arc @82 sl@0: pctDist 0.308797 sl@0: height 22 sl@0: orientation 0 sl@0: dir 1 sl@0: origin (1326, 704) sl@0: terminus (1288, 818)) sl@0: (object LinkView "" @83 sl@0: client @74 sl@0: supplier @80) sl@0: (object MessView "" sl@0: location (1522, 587) sl@0: object_arc @83 sl@0: pctDist 0.5 sl@0: height 30 sl@0: orientation 0 sl@0: dir 1 sl@0: origin (1507, 529) sl@0: terminus (1537, 645)) sl@0: (object MessView "" sl@0: location (1465, 600) sl@0: object_arc @83 sl@0: pctDist 0.5 sl@0: height 30 sl@0: orientation 1 sl@0: dir -1 sl@0: origin (1479, 657) sl@0: terminus (1451, 543)) sl@0: (object LinkView "" @84 sl@0: client @75 sl@0: supplier @78) sl@0: (object MessView "Key ups & downs" sl@0: location (623, 1120) sl@0: label (object SegLabel sl@0: location (627, 1054) sl@0: anchor_loc 1 sl@0: nlines 1 sl@0: max_width 450 sl@0: justify 0 sl@0: label "Key ups & downs" sl@0: pctDist 0.032819 sl@0: height 37 sl@0: orientation 0) sl@0: object_arc @84 sl@0: pctDist 0.501153 sl@0: height 29 sl@0: orientation 0 sl@0: dir 1 sl@0: origin (594, 1068) sl@0: terminus (652, 1172)) sl@0: (object LinkView "" @85 sl@0: client @77 sl@0: supplier @81) sl@0: (object MessView "Animate cursor" sl@0: location (2453, 725) sl@0: label (object SegLabel sl@0: location (2472, 755) sl@0: anchor_loc 1 sl@0: nlines 1 sl@0: max_width 450 sl@0: justify 0 sl@0: label "Animate cursor" sl@0: pctDist 0.5 sl@0: height 36 sl@0: orientation 0) sl@0: object_arc @85 sl@0: pctDist 0.423651 sl@0: height 25 sl@0: orientation 1 sl@0: dir 1 sl@0: origin (2503, 693) sl@0: terminus (2403, 757)) sl@0: (object LinkView "" @86 sl@0: client @79 sl@0: supplier @76) sl@0: (object MessView "" sl@0: location (951, 1070) sl@0: object_arc @86 sl@0: pctDist 0.5 sl@0: height 30 sl@0: orientation 0 sl@0: dir 1 sl@0: origin (946, 1010) sl@0: terminus (956, 1130)) sl@0: (object MessView "" sl@0: location (892, 1073) sl@0: object_arc @86 sl@0: pctDist 0.5 sl@0: height 30 sl@0: orientation 1 sl@0: dir -1 sl@0: origin (896, 1132) sl@0: terminus (888, 1014)) sl@0: (object LinkView "" @87 sl@0: client @81 sl@0: supplier @76) sl@0: (object MessView "" sl@0: location (1737, 1153) sl@0: object_arc @87 sl@0: pctDist 0.401609 sl@0: height 39 sl@0: orientation 1 sl@0: dir 1 sl@0: origin (1787, 1121) sl@0: terminus (1687, 1185)))))) sl@0: (object Class_Category "OLIB" sl@0: exportControl "Public" sl@0: logical_models (list unit_reference_list) sl@0: logical_presentations (list unit_reference_list sl@0: (object ClassDiagram "Main" sl@0: title "Main" sl@0: zoom 100 sl@0: max_height 28350 sl@0: max_width 21600 sl@0: origin_x 0 sl@0: origin_y 0 sl@0: items (list diagram_item_list)))) sl@0: (object Class_Category "AGDI" sl@0: visible_categories (list visibility_relationship_list sl@0: (object Visibility_Relationship sl@0: supplier "GDI Interface") sl@0: (object Visibility_Relationship sl@0: supplier "GDI") sl@0: (object Visibility_Relationship sl@0: supplier "Drawables")) sl@0: exportControl "Public" sl@0: logical_models (list unit_reference_list sl@0: (object Class "Animated DLL Interface" sl@0: superclasses (list inheritance_relationship_list sl@0: (object Inheritance_Relationship sl@0: supplier "Animator")) sl@0: statediagram (object State_Diagram "" sl@0: title "" sl@0: zoom 100 sl@0: max_height 28350 sl@0: max_width 21600 sl@0: origin_x 0 sl@0: origin_y 0 sl@0: items (list diagram_item_list))) sl@0: (object Class "Bitmap sequence" sl@0: superclasses (list inheritance_relationship_list sl@0: (object Inheritance_Relationship sl@0: supplier "Animator"))) sl@0: (object Class "Sprite" sl@0: superclasses (list inheritance_relationship_list sl@0: (object Inheritance_Relationship sl@0: supplier "Animator")) sl@0: statediagram (object State_Diagram "" sl@0: title "" sl@0: zoom 100 sl@0: max_height 28350 sl@0: max_width 21600 sl@0: origin_x 0 sl@0: origin_y 0 sl@0: items (list diagram_item_list))) sl@0: (object Class "Text cursor" sl@0: superclasses (list inheritance_relationship_list sl@0: (object Inheritance_Relationship sl@0: supplier "Animator"))) sl@0: (object Class "AGDI Controller" sl@0: fields (list has_relationship_list sl@0: (object Has_Relationship sl@0: supplier "Animator" sl@0: supplier_cardinality (value cardinality "n") sl@0: client_cardinality (value cardinality "1")))) sl@0: (object Class "Animator" sl@0: fields (list has_relationship_list sl@0: (object Has_Relationship sl@0: supplier "Pointer cursor")) sl@0: collaborators (list association_list sl@0: (object Association sl@0: supplier "Graphics context" sl@0: supplier_cardinality (value cardinality "1") sl@0: client_cardinality (value cardinality "n")) sl@0: (object Association sl@0: supplier "Drawable" sl@0: supplier_cardinality (value cardinality "1") sl@0: client_cardinality (value cardinality "n")) sl@0: (object Association sl@0: supplier "GDI object" sl@0: supplier_cardinality (value cardinality "n") sl@0: client_cardinality (value cardinality "n")))) sl@0: (object Class "Pointer cursor" sl@0: superclasses (list inheritance_relationship_list sl@0: (object Inheritance_Relationship sl@0: supplier "Sprite")))) sl@0: logical_presentations (list unit_reference_list sl@0: (object ClassDiagram "Main" sl@0: title "Main" sl@0: zoom 100 sl@0: max_height 28350 sl@0: max_width 21600 sl@0: origin_x 0 sl@0: origin_y 0 sl@0: items (list diagram_item_list sl@0: (object ClassView "Class" "Animated DLL Interface" @88 sl@0: location (444, 1156) sl@0: label (object ItemLabel sl@0: location (340, 1072) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Animated DLL Interface") sl@0: annotation 8) sl@0: (object ClassView "Class" "Sprite" @89 sl@0: location (1650, 1142) sl@0: label (object ItemLabel sl@0: location (1546, 1058) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Sprite") sl@0: annotation 8) sl@0: (object ClassView "Class" "Text cursor" @90 sl@0: location (1034, 1167) sl@0: label (object ItemLabel sl@0: location (930, 1083) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Text cursor") sl@0: annotation 8) sl@0: (object ClassView "Class" "Animator" @91 sl@0: location (569, 589) sl@0: label (object ItemLabel sl@0: location (465, 505) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Animator") sl@0: annotation 8) sl@0: (object InheritView "" sl@0: client @89 sl@0: supplier @91) sl@0: (object InheritView "" sl@0: client @90 sl@0: supplier @91) sl@0: (object InheritView "" sl@0: client @88 sl@0: supplier @91) sl@0: (object ClassView "Class" "Pointer cursor" @92 sl@0: location (1840, 1610) sl@0: label (object ItemLabel sl@0: location (1736, 1526) sl@0: nlines 2 sl@0: max_width 240 sl@0: justify 0 sl@0: label "Pointer cursor") sl@0: annotation 8) sl@0: (object InheritView "" sl@0: client @92 sl@0: supplier @89))))) sl@0: (object Class_Category "Test code using AGDI interface" sl@0: visible_categories (list visibility_relationship_list sl@0: (object Visibility_Relationship sl@0: supplier "GDI") sl@0: (object Visibility_Relationship sl@0: supplier "Drawables")) sl@0: exportControl "Public" sl@0: logical_models (list unit_reference_list) sl@0: logical_presentations (list unit_reference_list)) sl@0: (object Class_Category "Dummy test window server " sl@0: visible_categories (list visibility_relationship_list sl@0: (object Visibility_Relationship sl@0: supplier "GDI Interface") sl@0: (object Visibility_Relationship sl@0: supplier "Drawables") sl@0: (object Visibility_Relationship sl@0: supplier "AGDI")) sl@0: exportControl "Public" sl@0: logical_models (list unit_reference_list) sl@0: logical_presentations (list unit_reference_list)) sl@0: (object Class_Category "XGDI" sl@0: visible_categories (list visibility_relationship_list sl@0: (object Visibility_Relationship sl@0: supplier "GDI Interface") sl@0: (object Visibility_Relationship sl@0: supplier "Drawables") sl@0: (object Visibility_Relationship sl@0: supplier "GDI")) sl@0: exportControl "Public" sl@0: logical_models (list unit_reference_list) sl@0: logical_presentations (list unit_reference_list))) sl@0: logical_presentations (list unit_reference_list sl@0: (object ClassDiagram "Main" sl@0: title "Main" sl@0: zoom 100 sl@0: max_height 28350 sl@0: max_width 21600 sl@0: origin_x 0 sl@0: origin_y 0 sl@0: items (list diagram_item_list sl@0: (object CategoryView "GDI" @93 sl@0: location (525, 1050) sl@0: font (object Font sl@0: size 12 sl@0: face "helvetica" sl@0: bold FALSE sl@0: italics FALSE sl@0: underline FALSE sl@0: strike FALSE sl@0: color 0 sl@0: default_color TRUE) sl@0: label (object ItemLabel sl@0: location (381, 966) sl@0: nlines 2 sl@0: max_width 288 sl@0: justify 0 sl@0: label "GDI") sl@0: width 300 sl@0: height 180) sl@0: (object CategoryView "Drawables" @94 sl@0: location (740, 439) sl@0: font (object Font sl@0: size 12 sl@0: face "helvetica" sl@0: bold FALSE sl@0: italics FALSE sl@0: underline FALSE sl@0: strike FALSE sl@0: color 0 sl@0: default_color TRUE) sl@0: label (object ItemLabel sl@0: location (596, 355) sl@0: nlines 2 sl@0: max_width 288 sl@0: justify 0 sl@0: label "Drawables") sl@0: width 300 sl@0: height 180) sl@0: (object CategoryView "Top level" @95 sl@0: location (528, 158) sl@0: font (object Font sl@0: size 12 sl@0: face "helvetica" sl@0: bold FALSE sl@0: italics FALSE sl@0: underline FALSE sl@0: strike FALSE sl@0: color 0 sl@0: default_color TRUE) sl@0: label (object ItemLabel sl@0: location (384, 74) sl@0: nlines 2 sl@0: max_width 288 sl@0: justify 0 sl@0: label "Top level") sl@0: width 300 sl@0: height 180) sl@0: (object CategoryView "AGDI" @96 sl@0: location (1209, 437) sl@0: label (object ItemLabel sl@0: location (1065, 353) sl@0: nlines 2 sl@0: max_width 288 sl@0: justify 0 sl@0: label "AGDI") sl@0: width 300 sl@0: height 180) sl@0: (object ImportView "" sl@0: client @95 sl@0: supplier @94) sl@0: (object ImportView "" sl@0: client @95 sl@0: supplier @96) sl@0: (object CategoryView "Drawables" @97 sl@0: location (1911, 1251) sl@0: font (object Font sl@0: size 12 sl@0: face "helvetica" sl@0: bold FALSE sl@0: italics FALSE sl@0: underline FALSE sl@0: strike FALSE sl@0: color 0 sl@0: default_color TRUE) sl@0: label (object ItemLabel sl@0: location (1767, 1167) sl@0: nlines 2 sl@0: max_width 288 sl@0: justify 0 sl@0: label "Drawables") sl@0: width 300 sl@0: height 180) sl@0: (object CategoryView "GDI" @98 sl@0: location (1656, 1840) sl@0: font (object Font sl@0: size 12 sl@0: face "helvetica" sl@0: bold FALSE sl@0: italics FALSE sl@0: underline FALSE sl@0: strike FALSE sl@0: color 0 sl@0: default_color TRUE) sl@0: label (object ItemLabel sl@0: location (1512, 1756) sl@0: nlines 2 sl@0: max_width 288 sl@0: justify 0 sl@0: label "GDI") sl@0: width 300 sl@0: height 180) sl@0: (object CategoryView "Test code using AGDI interface" @99 sl@0: location (2401, 1249) sl@0: label (object ItemLabel sl@0: location (2238, 1155) sl@0: nlines 2 sl@0: max_width 326 sl@0: justify 0 sl@0: label "Test code using AGDI interface") sl@0: width 338 sl@0: height 200) sl@0: (object CategoryView "XGDI" @100 sl@0: location (234, 437) sl@0: label (object ItemLabel sl@0: location (90, 353) sl@0: nlines 2 sl@0: max_width 288 sl@0: justify 0 sl@0: label "XGDI") sl@0: width 300 sl@0: height 180) sl@0: (object ImportView "" sl@0: client @95 sl@0: supplier @100) sl@0: (object ImportView "" sl@0: client @100 sl@0: supplier @94) sl@0: (object ImportView "" sl@0: client @97 sl@0: supplier @98) sl@0: (object ImportView "" sl@0: client @99 sl@0: supplier @98) sl@0: (object ImportView "" sl@0: client @99 sl@0: supplier @97) sl@0: (object ImportView "" sl@0: client @94 sl@0: supplier @93) sl@0: (object ImportView "" sl@0: client @100 sl@0: supplier @93) sl@0: (object ImportView "" sl@0: client @96 sl@0: supplier @93) sl@0: (object ImportView "" sl@0: client @96 sl@0: supplier @94))))) sl@0: root_subsystem (object SubSystem "" sl@0: physical_models (list unit_reference_list sl@0: (object module "$UNNAMED$14" "SubType" "Specification" sl@0: visible_modules (list dependency_list sl@0: (object Dependency_Relationship sl@0: supplier "$UNNAMED$15" sl@0: supplier_is_spec TRUE) sl@0: (object Dependency_Relationship sl@0: supplier "$UNNAMED$16" sl@0: supplier_is_spec TRUE))) sl@0: (object module "$UNNAMED$15" "PackageType" "Specification" sl@0: visible_modules (list dependency_list sl@0: (object Dependency_Relationship sl@0: supplier "$UNNAMED$16" sl@0: supplier_is_spec TRUE))) sl@0: (object module "$UNNAMED$17" "PackageType" "Specification" sl@0: visible_modules (list dependency_list sl@0: (object Dependency_Relationship sl@0: supplier_is_spec TRUE))) sl@0: (object module "$UNNAMED$16" "TaskType" "Specification" sl@0: visible_modules (list dependency_list sl@0: (object Dependency_Relationship sl@0: supplier_is_spec TRUE))) sl@0: (object module "$UNNAMED$18" "PackageType" "Specification") sl@0: (object module "$UNNAMED$19" "SubType" "Specification") sl@0: (object module "$UNNAMED$20" "TaskType" "Specification") sl@0: (object SubSystem "$UNNAMED$21" sl@0: physical_models (list unit_reference_list) sl@0: physical_presentations (list unit_reference_list)) sl@0: (object SubSystem "$UNNAMED$22" sl@0: physical_models (list unit_reference_list) sl@0: physical_presentations (list unit_reference_list))) sl@0: physical_presentations (list unit_reference_list sl@0: (object Module_Diagram "Main" sl@0: title "Main" sl@0: zoom 100 sl@0: max_height 28350 sl@0: max_width 21600 sl@0: origin_x 0 sl@0: origin_y 0 sl@0: items (list diagram_item_list)))) sl@0: process_structure (object Processes sl@0: ProcsNDevs (list sl@0: (object Processor "Processor" sl@0: connections (list connection_list sl@0: (object Connection_Relationship sl@0: supplier "VDU" sl@0: supplier_is_device TRUE)) sl@0: characteristics "" sl@0: scheduling "Preemptive" sl@0: processes (list processes)) sl@0: (object Device "Keyboard" sl@0: connections (list connection_list sl@0: (object Connection_Relationship sl@0: supplier "Processor" sl@0: supplier_is_device FALSE)) sl@0: characteristics "") sl@0: (object Device "VDU" sl@0: characteristics "") sl@0: (object Device "Pointing device" sl@0: connections (list connection_list sl@0: (object Connection_Relationship sl@0: supplier "Processor" sl@0: supplier_is_device FALSE)) sl@0: characteristics "") sl@0: (object Process_Diagram "" sl@0: title "" sl@0: zoom 100 sl@0: max_height 28350 sl@0: max_width 21600 sl@0: origin_x 0 sl@0: origin_y 0 sl@0: items (list diagram_item_list sl@0: (object ProcessorView "Processor" @101 sl@0: location (1334, 544) sl@0: label (object ItemLabel sl@0: location (1156, 449) sl@0: nlines 2 sl@0: max_width 246 sl@0: justify 0 sl@0: label "Processor") sl@0: width 360 sl@0: height 300 sl@0: annotation 0) sl@0: (object DeviceView "Keyboard" @102 sl@0: location (853, 409) sl@0: label (object ItemLabel sl@0: location (675, 314) sl@0: nlines 2 sl@0: max_width 246 sl@0: justify 0 sl@0: label "Keyboard") sl@0: width 360 sl@0: height 300 sl@0: annotation 0) sl@0: (object DeviceView "VDU" @103 sl@0: location (1968, 543) sl@0: label (object ItemLabel sl@0: location (1790, 448) sl@0: nlines 2 sl@0: max_width 246 sl@0: justify 0 sl@0: label "VDU") sl@0: width 360 sl@0: height 300 sl@0: annotation 0) sl@0: (object DeviceView "Pointing device" @104 sl@0: location (443, 668) sl@0: label (object ItemLabel sl@0: location (265, 573) sl@0: nlines 2 sl@0: max_width 246 sl@0: justify 0 sl@0: label "Pointing device") sl@0: width 360 sl@0: height 300 sl@0: annotation 0) sl@0: (object ConnectionView "" sl@0: client @101 sl@0: supplier @103) sl@0: (object ConnectionView "" sl@0: client @104 sl@0: supplier @101) sl@0: (object ConnectionView "" sl@0: client @102 sl@0: supplier @101))))) sl@0: properties (object Properties))