sl@0: 
sl@0: (object Petal
sl@0:     version    	35)
sl@0: 
sl@0: (object Design "<Top Level>"
sl@0:     is_unit    	TRUE
sl@0:     file_name  	"d:\wserv\des\wserv2.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 "<Top Level>"
sl@0: 	exportControl 	"Public"
sl@0: 	global     	TRUE
sl@0: 	subsystem  	"<Top Level>"
sl@0: 	logical_models 	(list unit_reference_list
sl@0: 	    (object Class_Category "Server"
sl@0: 		visible_categories 	(list visibility_relationship_list
sl@0: 		    (object Visibility_Relationship
sl@0: 			supplier   	"DebugLog")
sl@0: 		    (object Visibility_Relationship
sl@0: 			supplier   	"Gdi")
sl@0: 		    (object Visibility_Relationship
sl@0: 			supplier   	"KeyBoard")
sl@0: 		    (object Visibility_Relationship
sl@0: 			supplier   	"GdiDevice"))
sl@0: 		exportControl 	"Public"
sl@0: 		logical_models 	(list unit_reference_list
sl@0: 		    (object Class "WsTop"
sl@0: 			used_nodes 	(list uses_relationship_list
sl@0: 			    (object Uses_Relationship
sl@0: 				supplier   	"Gdi Device"
sl@0: 				supplier_cardinality 	(value cardinality "1")
sl@0: 				client_cardinality 	(value cardinality "1"))
sl@0: 			    (object Uses_Relationship
sl@0: 				supplier   	"ScreenGdi"
sl@0: 				supplier_cardinality 	(value cardinality "1")
sl@0: 				client_cardinality 	(value cardinality "1"))
sl@0: 			    (object Uses_Relationship
sl@0: 				supplier   	"Root Window"
sl@0: 				supplier_cardinality 	(value cardinality "1")
sl@0: 				client_cardinality 	(value cardinality "1"))
sl@0: 			    (object Uses_Relationship
sl@0: 				supplier   	"Pointer"
sl@0: 				supplier_cardinality 	(value cardinality "1")
sl@0: 				client_cardinality 	(value cardinality "1"))
sl@0: 			    (object Uses_Relationship
sl@0: 				supplier   	"WinDebugLog"
sl@0: 				supplier_cardinality 	(value cardinality "1")
sl@0: 				client_cardinality 	(value cardinality "1"))
sl@0: 			    (object Uses_Relationship
sl@0: 				supplier   	"WindowServer"
sl@0: 				supplier_cardinality 	(value cardinality "1")
sl@0: 				client_cardinality 	(value cardinality "1"))
sl@0: 			    (object Uses_Relationship
sl@0: 				supplier   	"Periodic"
sl@0: 				supplier_cardinality 	(value cardinality "1")
sl@0: 				client_cardinality 	(value cardinality "1"))))
sl@0: 		    (object Class "ScreenGdiDevice")
sl@0: 		    (object Class "ScreenGdi"
sl@0: 			collaborators 	(list association_list
sl@0: 			    (object Association
sl@0: 				supplier   	"Gdi Device")))
sl@0: 		    (object Class "Pointer"
sl@0: 			collaborators 	(list association_list
sl@0: 			    (object Association
sl@0: 				label      	"Current window"
sl@0: 				supplier   	"Window"
sl@0: 				supplier_cardinality 	(value cardinality "1")
sl@0: 				client_cardinality 	(value cardinality "0..1"))
sl@0: 			    (object Association
sl@0: 				label      	"Grab window"
sl@0: 				supplier   	"Window"
sl@0: 				supplier_cardinality 	(value cardinality "1")
sl@0: 				client_cardinality 	(value cardinality "0..1"))))
sl@0: 		    (object Class "WinDebugLog")
sl@0: 		    (object Class "WindowServer"
sl@0: 			used_nodes 	(list uses_relationship_list
sl@0: 			    (object Uses_Relationship
sl@0: 				supplier   	"Session"
sl@0: 				supplier_cardinality 	(value cardinality "0..n")
sl@0: 				client_cardinality 	(value cardinality "1"))))
sl@0: 		    (object Class "Periodic")
sl@0: 		    (object Class "Session"
sl@0: 			used_nodes 	(list uses_relationship_list
sl@0: 			    (object Uses_Relationship
sl@0: 				supplier   	"Drawable"
sl@0: 				supplier_cardinality 	(value cardinality "0..n")
sl@0: 				client_cardinality 	(value cardinality "1"))
sl@0: 			    (object Uses_Relationship
sl@0: 				supplier   	"Gc"
sl@0: 				supplier_cardinality 	(value cardinality "0..n")
sl@0: 				client_cardinality 	(value cardinality "1"))
sl@0: 			    (object Uses_Relationship
sl@0: 				supplier   	"Text Cursor"
sl@0: 				supplier_cardinality 	(value cardinality "1")
sl@0: 				client_cardinality 	(value cardinality "1"))
sl@0: 			    (object Uses_Relationship
sl@0: 				supplier   	"Event Queue"
sl@0: 				supplier_cardinality 	(value cardinality "1")
sl@0: 				client_cardinality 	(value cardinality "1"))))
sl@0: 		    (object Class "WindowBase"
sl@0: 			superclasses 	(list inheritance_relationship_list
sl@0: 			    (object Inheritance_Relationship
sl@0: 				supplier   	"Drawable")))
sl@0: 		    (object Class "Gc")
sl@0: 		    (object Class "Drawable")
sl@0: 		    (object Class "Group Window"
sl@0: 			superclasses 	(list inheritance_relationship_list
sl@0: 			    (object Inheritance_Relationship
sl@0: 				supplier   	"WindowBase")))
sl@0: 		    (object Class "Window"
sl@0: 			superclasses 	(list inheritance_relationship_list
sl@0: 			    (object Inheritance_Relationship
sl@0: 				supplier   	"WindowBase")))
sl@0: 		    (object Class "Root Window"
sl@0: 			superclasses 	(list inheritance_relationship_list
sl@0: 			    (object Inheritance_Relationship
sl@0: 				supplier   	"Window")))
sl@0: 		    (object Class "Client Window"
sl@0: 			superclasses 	(list inheritance_relationship_list
sl@0: 			    (object Inheritance_Relationship
sl@0: 				supplier   	"Window")))
sl@0: 		    (object Class "Text Cursor"
sl@0: 			collaborators 	(list association_list
sl@0: 			    (object Association
sl@0: 				supplier   	"Window"
sl@0: 				supplier_cardinality 	(value cardinality "0..1")
sl@0: 				client_cardinality 	(value cardinality "0..1"))))
sl@0: 		    (object Class "Event Queue"))
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   	800
sl@0: 			items      	(list diagram_item_list
sl@0: 			    (object ClassView "Class" "WsTop" @1
sl@0: 				location   	(1515, 632)
sl@0: 				label      	(object ItemLabel
sl@0: 				    location   	(1411, 548)
sl@0: 				    nlines     	2
sl@0: 				    max_width  	240
sl@0: 				    justify    	0
sl@0: 				    label      	"WsTop")
sl@0: 				annotation 	8)
sl@0: 			    (object ClassView "Class" "Gdi Device" @2
sl@0: 				location   	(2237, 514)
sl@0: 				label      	(object ItemLabel
sl@0: 				    location   	(2133, 430)
sl@0: 				    nlines     	2
sl@0: 				    max_width  	240
sl@0: 				    justify    	0
sl@0: 				    label      	"Gdi Device")
sl@0: 				annotation 	8)
sl@0: 			    (object ClassView "Class" "ScreenGdi" @3
sl@0: 				location   	(2268, 876)
sl@0: 				label      	(object ItemLabel
sl@0: 				    location   	(2164, 792)
sl@0: 				    nlines     	2
sl@0: 				    max_width  	240
sl@0: 				    justify    	0
sl@0: 				    label      	"ScreenGdi")
sl@0: 				annotation 	8)
sl@0: 			    (object ClassView "Class" "Pointer" @4
sl@0: 				location   	(1828, 1132)
sl@0: 				label      	(object ItemLabel
sl@0: 				    location   	(1724, 1048)
sl@0: 				    nlines     	2
sl@0: 				    max_width  	240
sl@0: 				    justify    	0
sl@0: 				    label      	"Pointer")
sl@0: 				annotation 	8)
sl@0: 			    (object ClassView "Class" "WinDebugLog" @5
sl@0: 				location   	(706, 713)
sl@0: 				label      	(object ItemLabel
sl@0: 				    location   	(602, 629)
sl@0: 				    nlines     	2
sl@0: 				    max_width  	240
sl@0: 				    justify    	0
sl@0: 				    label      	"WinDebugLog")
sl@0: 				annotation 	8)
sl@0: 			    (object ClassView "Class" "WindowServer" @6
sl@0: 				location   	(1265, 1078)
sl@0: 				label      	(object ItemLabel
sl@0: 				    location   	(1161, 994)
sl@0: 				    nlines     	2
sl@0: 				    max_width  	240
sl@0: 				    justify    	0
sl@0: 				    label      	"WindowServer")
sl@0: 				annotation 	8)
sl@0: 			    (object ClassView "Class" "Periodic" @7
sl@0: 				location   	(787, 1076)
sl@0: 				label      	(object ItemLabel
sl@0: 				    location   	(683, 992)
sl@0: 				    nlines     	2
sl@0: 				    max_width  	240
sl@0: 				    justify    	0
sl@0: 				    label      	"Periodic")
sl@0: 				annotation 	8)
sl@0: 			    (object ClassView "Class" "Session" @8
sl@0: 				location   	(1147, 1474)
sl@0: 				label      	(object ItemLabel
sl@0: 				    location   	(1043, 1390)
sl@0: 				    nlines     	2
sl@0: 				    max_width  	240
sl@0: 				    justify    	0
sl@0: 				    label      	"Session")
sl@0: 				annotation 	8)
sl@0: 			    (object UsesView ""
sl@0: 				client     	@6
sl@0: 				supplier   	@8)
sl@0: 			    (object AssociationView ""
sl@0: 				client     	@3
sl@0: 				supplier   	@2)
sl@0: 			    (object ClassView "Class" "WindowBase" @9
sl@0: 				location   	(1806, 2201)
sl@0: 				label      	(object ItemLabel
sl@0: 				    location   	(1702, 2117)
sl@0: 				    nlines     	2
sl@0: 				    max_width  	240
sl@0: 				    justify    	0
sl@0: 				    label      	"WindowBase")
sl@0: 				annotation 	8)
sl@0: 			    (object ClassView "Class" "Gc" @10
sl@0: 				location   	(353, 1663)
sl@0: 				label      	(object ItemLabel
sl@0: 				    location   	(249, 1579)
sl@0: 				    nlines     	2
sl@0: 				    max_width  	240
sl@0: 				    justify    	0
sl@0: 				    label      	"Gc")
sl@0: 				annotation 	8)
sl@0: 			    (object ClassView "Class" "Drawable" @11
sl@0: 				location   	(1515, 1880)
sl@0: 				label      	(object ItemLabel
sl@0: 				    location   	(1411, 1796)
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     	@9
sl@0: 				supplier   	@11)
sl@0: 			    (object UsesView ""
sl@0: 				client     	@8
sl@0: 				supplier   	@11)
sl@0: 			    (object UsesView ""
sl@0: 				client     	@8
sl@0: 				supplier   	@10)
sl@0: 			    (object ClassView "Class" "Group Window" @12
sl@0: 				location   	(1512, 2477)
sl@0: 				label      	(object ItemLabel
sl@0: 				    location   	(1408, 2393)
sl@0: 				    nlines     	2
sl@0: 				    max_width  	240
sl@0: 				    justify    	0
sl@0: 				    label      	"Group Window")
sl@0: 				annotation 	8)
sl@0: 			    (object ClassView "Class" "Window" @13
sl@0: 				location   	(1981, 2499)
sl@0: 				label      	(object ItemLabel
sl@0: 				    location   	(1877, 2415)
sl@0: 				    nlines     	2
sl@0: 				    max_width  	240
sl@0: 				    justify    	0
sl@0: 				    label      	"Window")
sl@0: 				annotation 	8)
sl@0: 			    (object ClassView "Class" "Root Window" @14
sl@0: 				location   	(2293, 2904)
sl@0: 				label      	(object ItemLabel
sl@0: 				    location   	(2189, 2820)
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 ClassView "Class" "Client Window" @15
sl@0: 				location   	(1775, 2922)
sl@0: 				label      	(object ItemLabel
sl@0: 				    location   	(1671, 2838)
sl@0: 				    nlines     	2
sl@0: 				    max_width  	240
sl@0: 				    justify    	0
sl@0: 				    label      	"Client Window")
sl@0: 				annotation 	8)
sl@0: 			    (object InheritView ""
sl@0: 				client     	@13
sl@0: 				supplier   	@9)
sl@0: 			    (object InheritView ""
sl@0: 				client     	@12
sl@0: 				supplier   	@9)
sl@0: 			    (object InheritView ""
sl@0: 				client     	@15
sl@0: 				supplier   	@13)
sl@0: 			    (object InheritView ""
sl@0: 				client     	@14
sl@0: 				supplier   	@13)
sl@0: 			    (object AssociationView "Current window"
sl@0: 				label      	(object ItemLabel
sl@0: 				    location   	(1993, 1802)
sl@0: 				    anchor_loc 	1
sl@0: 				    nlines     	1
sl@0: 				    max_width  	450
sl@0: 				    justify    	0
sl@0: 				    label      	"Current window")
sl@0: 				client     	@4
sl@0: 				supplier   	@13
sl@0: 				vertices   	(list Points
sl@0: 				    (1862, 1224)
sl@0: 				    (1962, 1487)
sl@0: 				    (2018, 2050)
sl@0: 				    (1988, 2397)))
sl@0: 			    (object AssociationView "Grab window"
sl@0: 				label      	(object ItemLabel
sl@0: 				    location   	(2158, 1751)
sl@0: 				    anchor_loc 	1
sl@0: 				    nlines     	1
sl@0: 				    max_width  	450
sl@0: 				    justify    	0
sl@0: 				    label      	"Grab window")
sl@0: 				client     	@4
sl@0: 				supplier   	@13
sl@0: 				vertices   	(list Points
sl@0: 				    (1897, 1207)
sl@0: 				    (2153, 1481)
sl@0: 				    (2162, 1956)
sl@0: 				    (2022, 2375)))
sl@0: 			    (object UsesView ""
sl@0: 				client     	@1
sl@0: 				supplier   	@2)
sl@0: 			    (object UsesView ""
sl@0: 				client     	@1
sl@0: 				supplier   	@3)
sl@0: 			    (object UsesView ""
sl@0: 				client     	@1
sl@0: 				supplier   	@14
sl@0: 				vertices   	(list Points
sl@0: 				    (1627, 715)
sl@0: 				    (2318, 1231)
sl@0: 				    (2293, 2804)))
sl@0: 			    (object UsesView ""
sl@0: 				client     	@1
sl@0: 				supplier   	@4)
sl@0: 			    (object UsesView ""
sl@0: 				client     	@1
sl@0: 				supplier   	@5)
sl@0: 			    (object UsesView ""
sl@0: 				client     	@1
sl@0: 				supplier   	@6)
sl@0: 			    (object UsesView ""
sl@0: 				client     	@1
sl@0: 				supplier   	@7)
sl@0: 			    (object ClassView "Class" "Text Cursor" @16
sl@0: 				location   	(906, 2822)
sl@0: 				label      	(object ItemLabel
sl@0: 				    location   	(802, 2738)
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 UsesView ""
sl@0: 				client     	@8
sl@0: 				supplier   	@16)
sl@0: 			    (object AssociationView ""
sl@0: 				client     	@16
sl@0: 				supplier   	@13)
sl@0: 			    (object ClassView "Class" "Event Queue" @17
sl@0: 				location   	(340, 2037)
sl@0: 				label      	(object ItemLabel
sl@0: 				    location   	(236, 1953)
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 UsesView ""
sl@0: 				client     	@8
sl@0: 				supplier   	@17)))))
sl@0: 	    (object Class_Category "DebugLog"
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 "KeyBoard"
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 "Gdi"
sl@0: 		exportControl 	"Public"
sl@0: 		logical_models 	(list unit_reference_list
sl@0: 		    (object Class "Gdi Device"))
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" "Gdi Device" @18
sl@0: 				location   	(756, 766)
sl@0: 				label      	(object ItemLabel
sl@0: 				    location   	(652, 682)
sl@0: 				    nlines     	2
sl@0: 				    max_width  	240
sl@0: 				    justify    	0
sl@0: 				    label      	"Gdi Device")
sl@0: 				annotation 	8))))))
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 "Server" @19
sl@0: 			location   	(1022, 187)
sl@0: 			label      	(object ItemLabel
sl@0: 			    location   	(878, 103)
sl@0: 			    nlines     	2
sl@0: 			    max_width  	288
sl@0: 			    justify    	0
sl@0: 			    label      	"Server")
sl@0: 			width      	300
sl@0: 			height     	180)
sl@0: 		    (object CategoryView "DebugLog" @20
sl@0: 			location   	(538, 593)
sl@0: 			label      	(object ItemLabel
sl@0: 			    location   	(394, 509)
sl@0: 			    nlines     	2
sl@0: 			    max_width  	288
sl@0: 			    justify    	0
sl@0: 			    label      	"DebugLog")
sl@0: 			width      	300
sl@0: 			height     	180)
sl@0: 		    (object CategoryView "KeyBoard" @21
sl@0: 			location   	(1688, 593)
sl@0: 			label      	(object ItemLabel
sl@0: 			    location   	(1544, 509)
sl@0: 			    nlines     	2
sl@0: 			    max_width  	288
sl@0: 			    justify    	0
sl@0: 			    label      	"KeyBoard")
sl@0: 			width      	300
sl@0: 			height     	180)
sl@0: 		    (object CategoryView "Gdi" @22
sl@0: 			location   	(919, 587)
sl@0: 			label      	(object ItemLabel
sl@0: 			    location   	(775, 503)
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 ImportView ""
sl@0: 			client     	@19
sl@0: 			supplier   	@20)
sl@0: 		    (object ImportView ""
sl@0: 			client     	@19
sl@0: 			supplier   	@22)
sl@0: 		    (object ImportView ""
sl@0: 			client     	@19
sl@0: 			supplier   	@21)))))
sl@0:     root_subsystem 	(object SubSystem "<Top Level>"
sl@0: 	physical_models 	(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 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:     properties 	(object Properties))