windowing/windowserver/DES/WSERV2.MDL
changeset 0 5d03bc08d59c
child 116 171fae344dd4
equal deleted inserted replaced
-1:000000000000 0:5d03bc08d59c
       
     1 
       
     2 (object Petal
       
     3     version    	35)
       
     4 
       
     5 (object Design "<Top Level>"
       
     6     is_unit    	TRUE
       
     7     file_name  	"d:\wserv\des\wserv2.mdl"
       
     8     is_loaded  	TRUE
       
     9     defaults   	(object defaults
       
    10 	rightMargin 	0.25
       
    11 	leftMargin 	0.25
       
    12 	topMargin  	0.25
       
    13 	bottomMargin 	0.5
       
    14 	pageOverlap 	0.25
       
    15 	clipIconLabels 	TRUE
       
    16 	autoResize 	FALSE
       
    17 	snapToGrid 	TRUE
       
    18 	gridX      	0
       
    19 	gridY      	0
       
    20 	defaultFont 	(object Font
       
    21 	    size       	10
       
    22 	    face       	"Arial"
       
    23 	    bold       	FALSE
       
    24 	    italics    	FALSE
       
    25 	    underline  	FALSE
       
    26 	    strike     	FALSE
       
    27 	    color      	0
       
    28 	    default_color 	TRUE)
       
    29 	showMessageNum 	3)
       
    30     root_category 	(object Class_Category "<Top Level>"
       
    31 	exportControl 	"Public"
       
    32 	global     	TRUE
       
    33 	subsystem  	"<Top Level>"
       
    34 	logical_models 	(list unit_reference_list
       
    35 	    (object Class_Category "Server"
       
    36 		visible_categories 	(list visibility_relationship_list
       
    37 		    (object Visibility_Relationship
       
    38 			supplier   	"DebugLog")
       
    39 		    (object Visibility_Relationship
       
    40 			supplier   	"Gdi")
       
    41 		    (object Visibility_Relationship
       
    42 			supplier   	"KeyBoard")
       
    43 		    (object Visibility_Relationship
       
    44 			supplier   	"GdiDevice"))
       
    45 		exportControl 	"Public"
       
    46 		logical_models 	(list unit_reference_list
       
    47 		    (object Class "WsTop"
       
    48 			used_nodes 	(list uses_relationship_list
       
    49 			    (object Uses_Relationship
       
    50 				supplier   	"Gdi Device"
       
    51 				supplier_cardinality 	(value cardinality "1")
       
    52 				client_cardinality 	(value cardinality "1"))
       
    53 			    (object Uses_Relationship
       
    54 				supplier   	"ScreenGdi"
       
    55 				supplier_cardinality 	(value cardinality "1")
       
    56 				client_cardinality 	(value cardinality "1"))
       
    57 			    (object Uses_Relationship
       
    58 				supplier   	"Root Window"
       
    59 				supplier_cardinality 	(value cardinality "1")
       
    60 				client_cardinality 	(value cardinality "1"))
       
    61 			    (object Uses_Relationship
       
    62 				supplier   	"Pointer"
       
    63 				supplier_cardinality 	(value cardinality "1")
       
    64 				client_cardinality 	(value cardinality "1"))
       
    65 			    (object Uses_Relationship
       
    66 				supplier   	"WinDebugLog"
       
    67 				supplier_cardinality 	(value cardinality "1")
       
    68 				client_cardinality 	(value cardinality "1"))
       
    69 			    (object Uses_Relationship
       
    70 				supplier   	"WindowServer"
       
    71 				supplier_cardinality 	(value cardinality "1")
       
    72 				client_cardinality 	(value cardinality "1"))
       
    73 			    (object Uses_Relationship
       
    74 				supplier   	"Periodic"
       
    75 				supplier_cardinality 	(value cardinality "1")
       
    76 				client_cardinality 	(value cardinality "1"))))
       
    77 		    (object Class "ScreenGdiDevice")
       
    78 		    (object Class "ScreenGdi"
       
    79 			collaborators 	(list association_list
       
    80 			    (object Association
       
    81 				supplier   	"Gdi Device")))
       
    82 		    (object Class "Pointer"
       
    83 			collaborators 	(list association_list
       
    84 			    (object Association
       
    85 				label      	"Current window"
       
    86 				supplier   	"Window"
       
    87 				supplier_cardinality 	(value cardinality "1")
       
    88 				client_cardinality 	(value cardinality "0..1"))
       
    89 			    (object Association
       
    90 				label      	"Grab window"
       
    91 				supplier   	"Window"
       
    92 				supplier_cardinality 	(value cardinality "1")
       
    93 				client_cardinality 	(value cardinality "0..1"))))
       
    94 		    (object Class "WinDebugLog")
       
    95 		    (object Class "WindowServer"
       
    96 			used_nodes 	(list uses_relationship_list
       
    97 			    (object Uses_Relationship
       
    98 				supplier   	"Session"
       
    99 				supplier_cardinality 	(value cardinality "0..n")
       
   100 				client_cardinality 	(value cardinality "1"))))
       
   101 		    (object Class "Periodic")
       
   102 		    (object Class "Session"
       
   103 			used_nodes 	(list uses_relationship_list
       
   104 			    (object Uses_Relationship
       
   105 				supplier   	"Drawable"
       
   106 				supplier_cardinality 	(value cardinality "0..n")
       
   107 				client_cardinality 	(value cardinality "1"))
       
   108 			    (object Uses_Relationship
       
   109 				supplier   	"Gc"
       
   110 				supplier_cardinality 	(value cardinality "0..n")
       
   111 				client_cardinality 	(value cardinality "1"))
       
   112 			    (object Uses_Relationship
       
   113 				supplier   	"Text Cursor"
       
   114 				supplier_cardinality 	(value cardinality "1")
       
   115 				client_cardinality 	(value cardinality "1"))
       
   116 			    (object Uses_Relationship
       
   117 				supplier   	"Event Queue"
       
   118 				supplier_cardinality 	(value cardinality "1")
       
   119 				client_cardinality 	(value cardinality "1"))))
       
   120 		    (object Class "WindowBase"
       
   121 			superclasses 	(list inheritance_relationship_list
       
   122 			    (object Inheritance_Relationship
       
   123 				supplier   	"Drawable")))
       
   124 		    (object Class "Gc")
       
   125 		    (object Class "Drawable")
       
   126 		    (object Class "Group Window"
       
   127 			superclasses 	(list inheritance_relationship_list
       
   128 			    (object Inheritance_Relationship
       
   129 				supplier   	"WindowBase")))
       
   130 		    (object Class "Window"
       
   131 			superclasses 	(list inheritance_relationship_list
       
   132 			    (object Inheritance_Relationship
       
   133 				supplier   	"WindowBase")))
       
   134 		    (object Class "Root Window"
       
   135 			superclasses 	(list inheritance_relationship_list
       
   136 			    (object Inheritance_Relationship
       
   137 				supplier   	"Window")))
       
   138 		    (object Class "Client Window"
       
   139 			superclasses 	(list inheritance_relationship_list
       
   140 			    (object Inheritance_Relationship
       
   141 				supplier   	"Window")))
       
   142 		    (object Class "Text Cursor"
       
   143 			collaborators 	(list association_list
       
   144 			    (object Association
       
   145 				supplier   	"Window"
       
   146 				supplier_cardinality 	(value cardinality "0..1")
       
   147 				client_cardinality 	(value cardinality "0..1"))))
       
   148 		    (object Class "Event Queue"))
       
   149 		logical_presentations 	(list unit_reference_list
       
   150 		    (object ClassDiagram "Main"
       
   151 			title      	"Main"
       
   152 			zoom       	100
       
   153 			max_height 	28350
       
   154 			max_width  	21600
       
   155 			origin_x   	0
       
   156 			origin_y   	800
       
   157 			items      	(list diagram_item_list
       
   158 			    (object ClassView "Class" "WsTop" @1
       
   159 				location   	(1515, 632)
       
   160 				label      	(object ItemLabel
       
   161 				    location   	(1411, 548)
       
   162 				    nlines     	2
       
   163 				    max_width  	240
       
   164 				    justify    	0
       
   165 				    label      	"WsTop")
       
   166 				annotation 	8)
       
   167 			    (object ClassView "Class" "Gdi Device" @2
       
   168 				location   	(2237, 514)
       
   169 				label      	(object ItemLabel
       
   170 				    location   	(2133, 430)
       
   171 				    nlines     	2
       
   172 				    max_width  	240
       
   173 				    justify    	0
       
   174 				    label      	"Gdi Device")
       
   175 				annotation 	8)
       
   176 			    (object ClassView "Class" "ScreenGdi" @3
       
   177 				location   	(2268, 876)
       
   178 				label      	(object ItemLabel
       
   179 				    location   	(2164, 792)
       
   180 				    nlines     	2
       
   181 				    max_width  	240
       
   182 				    justify    	0
       
   183 				    label      	"ScreenGdi")
       
   184 				annotation 	8)
       
   185 			    (object ClassView "Class" "Pointer" @4
       
   186 				location   	(1828, 1132)
       
   187 				label      	(object ItemLabel
       
   188 				    location   	(1724, 1048)
       
   189 				    nlines     	2
       
   190 				    max_width  	240
       
   191 				    justify    	0
       
   192 				    label      	"Pointer")
       
   193 				annotation 	8)
       
   194 			    (object ClassView "Class" "WinDebugLog" @5
       
   195 				location   	(706, 713)
       
   196 				label      	(object ItemLabel
       
   197 				    location   	(602, 629)
       
   198 				    nlines     	2
       
   199 				    max_width  	240
       
   200 				    justify    	0
       
   201 				    label      	"WinDebugLog")
       
   202 				annotation 	8)
       
   203 			    (object ClassView "Class" "WindowServer" @6
       
   204 				location   	(1265, 1078)
       
   205 				label      	(object ItemLabel
       
   206 				    location   	(1161, 994)
       
   207 				    nlines     	2
       
   208 				    max_width  	240
       
   209 				    justify    	0
       
   210 				    label      	"WindowServer")
       
   211 				annotation 	8)
       
   212 			    (object ClassView "Class" "Periodic" @7
       
   213 				location   	(787, 1076)
       
   214 				label      	(object ItemLabel
       
   215 				    location   	(683, 992)
       
   216 				    nlines     	2
       
   217 				    max_width  	240
       
   218 				    justify    	0
       
   219 				    label      	"Periodic")
       
   220 				annotation 	8)
       
   221 			    (object ClassView "Class" "Session" @8
       
   222 				location   	(1147, 1474)
       
   223 				label      	(object ItemLabel
       
   224 				    location   	(1043, 1390)
       
   225 				    nlines     	2
       
   226 				    max_width  	240
       
   227 				    justify    	0
       
   228 				    label      	"Session")
       
   229 				annotation 	8)
       
   230 			    (object UsesView ""
       
   231 				client     	@6
       
   232 				supplier   	@8)
       
   233 			    (object AssociationView ""
       
   234 				client     	@3
       
   235 				supplier   	@2)
       
   236 			    (object ClassView "Class" "WindowBase" @9
       
   237 				location   	(1806, 2201)
       
   238 				label      	(object ItemLabel
       
   239 				    location   	(1702, 2117)
       
   240 				    nlines     	2
       
   241 				    max_width  	240
       
   242 				    justify    	0
       
   243 				    label      	"WindowBase")
       
   244 				annotation 	8)
       
   245 			    (object ClassView "Class" "Gc" @10
       
   246 				location   	(353, 1663)
       
   247 				label      	(object ItemLabel
       
   248 				    location   	(249, 1579)
       
   249 				    nlines     	2
       
   250 				    max_width  	240
       
   251 				    justify    	0
       
   252 				    label      	"Gc")
       
   253 				annotation 	8)
       
   254 			    (object ClassView "Class" "Drawable" @11
       
   255 				location   	(1515, 1880)
       
   256 				label      	(object ItemLabel
       
   257 				    location   	(1411, 1796)
       
   258 				    nlines     	2
       
   259 				    max_width  	240
       
   260 				    justify    	0
       
   261 				    label      	"Drawable")
       
   262 				annotation 	8)
       
   263 			    (object InheritView ""
       
   264 				client     	@9
       
   265 				supplier   	@11)
       
   266 			    (object UsesView ""
       
   267 				client     	@8
       
   268 				supplier   	@11)
       
   269 			    (object UsesView ""
       
   270 				client     	@8
       
   271 				supplier   	@10)
       
   272 			    (object ClassView "Class" "Group Window" @12
       
   273 				location   	(1512, 2477)
       
   274 				label      	(object ItemLabel
       
   275 				    location   	(1408, 2393)
       
   276 				    nlines     	2
       
   277 				    max_width  	240
       
   278 				    justify    	0
       
   279 				    label      	"Group Window")
       
   280 				annotation 	8)
       
   281 			    (object ClassView "Class" "Window" @13
       
   282 				location   	(1981, 2499)
       
   283 				label      	(object ItemLabel
       
   284 				    location   	(1877, 2415)
       
   285 				    nlines     	2
       
   286 				    max_width  	240
       
   287 				    justify    	0
       
   288 				    label      	"Window")
       
   289 				annotation 	8)
       
   290 			    (object ClassView "Class" "Root Window" @14
       
   291 				location   	(2293, 2904)
       
   292 				label      	(object ItemLabel
       
   293 				    location   	(2189, 2820)
       
   294 				    nlines     	2
       
   295 				    max_width  	240
       
   296 				    justify    	0
       
   297 				    label      	"Root Window")
       
   298 				annotation 	8)
       
   299 			    (object ClassView "Class" "Client Window" @15
       
   300 				location   	(1775, 2922)
       
   301 				label      	(object ItemLabel
       
   302 				    location   	(1671, 2838)
       
   303 				    nlines     	2
       
   304 				    max_width  	240
       
   305 				    justify    	0
       
   306 				    label      	"Client Window")
       
   307 				annotation 	8)
       
   308 			    (object InheritView ""
       
   309 				client     	@13
       
   310 				supplier   	@9)
       
   311 			    (object InheritView ""
       
   312 				client     	@12
       
   313 				supplier   	@9)
       
   314 			    (object InheritView ""
       
   315 				client     	@15
       
   316 				supplier   	@13)
       
   317 			    (object InheritView ""
       
   318 				client     	@14
       
   319 				supplier   	@13)
       
   320 			    (object AssociationView "Current window"
       
   321 				label      	(object ItemLabel
       
   322 				    location   	(1993, 1802)
       
   323 				    anchor_loc 	1
       
   324 				    nlines     	1
       
   325 				    max_width  	450
       
   326 				    justify    	0
       
   327 				    label      	"Current window")
       
   328 				client     	@4
       
   329 				supplier   	@13
       
   330 				vertices   	(list Points
       
   331 				    (1862, 1224)
       
   332 				    (1962, 1487)
       
   333 				    (2018, 2050)
       
   334 				    (1988, 2397)))
       
   335 			    (object AssociationView "Grab window"
       
   336 				label      	(object ItemLabel
       
   337 				    location   	(2158, 1751)
       
   338 				    anchor_loc 	1
       
   339 				    nlines     	1
       
   340 				    max_width  	450
       
   341 				    justify    	0
       
   342 				    label      	"Grab window")
       
   343 				client     	@4
       
   344 				supplier   	@13
       
   345 				vertices   	(list Points
       
   346 				    (1897, 1207)
       
   347 				    (2153, 1481)
       
   348 				    (2162, 1956)
       
   349 				    (2022, 2375)))
       
   350 			    (object UsesView ""
       
   351 				client     	@1
       
   352 				supplier   	@2)
       
   353 			    (object UsesView ""
       
   354 				client     	@1
       
   355 				supplier   	@3)
       
   356 			    (object UsesView ""
       
   357 				client     	@1
       
   358 				supplier   	@14
       
   359 				vertices   	(list Points
       
   360 				    (1627, 715)
       
   361 				    (2318, 1231)
       
   362 				    (2293, 2804)))
       
   363 			    (object UsesView ""
       
   364 				client     	@1
       
   365 				supplier   	@4)
       
   366 			    (object UsesView ""
       
   367 				client     	@1
       
   368 				supplier   	@5)
       
   369 			    (object UsesView ""
       
   370 				client     	@1
       
   371 				supplier   	@6)
       
   372 			    (object UsesView ""
       
   373 				client     	@1
       
   374 				supplier   	@7)
       
   375 			    (object ClassView "Class" "Text Cursor" @16
       
   376 				location   	(906, 2822)
       
   377 				label      	(object ItemLabel
       
   378 				    location   	(802, 2738)
       
   379 				    nlines     	2
       
   380 				    max_width  	240
       
   381 				    justify    	0
       
   382 				    label      	"Text Cursor")
       
   383 				annotation 	8)
       
   384 			    (object UsesView ""
       
   385 				client     	@8
       
   386 				supplier   	@16)
       
   387 			    (object AssociationView ""
       
   388 				client     	@16
       
   389 				supplier   	@13)
       
   390 			    (object ClassView "Class" "Event Queue" @17
       
   391 				location   	(340, 2037)
       
   392 				label      	(object ItemLabel
       
   393 				    location   	(236, 1953)
       
   394 				    nlines     	2
       
   395 				    max_width  	240
       
   396 				    justify    	0
       
   397 				    label      	"Event Queue")
       
   398 				annotation 	8)
       
   399 			    (object UsesView ""
       
   400 				client     	@8
       
   401 				supplier   	@17)))))
       
   402 	    (object Class_Category "DebugLog"
       
   403 		exportControl 	"Public"
       
   404 		logical_models 	(list unit_reference_list)
       
   405 		logical_presentations 	(list unit_reference_list))
       
   406 	    (object Class_Category "KeyBoard"
       
   407 		exportControl 	"Public"
       
   408 		logical_models 	(list unit_reference_list)
       
   409 		logical_presentations 	(list unit_reference_list))
       
   410 	    (object Class_Category "Gdi"
       
   411 		exportControl 	"Public"
       
   412 		logical_models 	(list unit_reference_list
       
   413 		    (object Class "Gdi Device"))
       
   414 		logical_presentations 	(list unit_reference_list
       
   415 		    (object ClassDiagram "Main"
       
   416 			title      	"Main"
       
   417 			zoom       	100
       
   418 			max_height 	28350
       
   419 			max_width  	21600
       
   420 			origin_x   	0
       
   421 			origin_y   	0
       
   422 			items      	(list diagram_item_list
       
   423 			    (object ClassView "Class" "Gdi Device" @18
       
   424 				location   	(756, 766)
       
   425 				label      	(object ItemLabel
       
   426 				    location   	(652, 682)
       
   427 				    nlines     	2
       
   428 				    max_width  	240
       
   429 				    justify    	0
       
   430 				    label      	"Gdi Device")
       
   431 				annotation 	8))))))
       
   432 	logical_presentations 	(list unit_reference_list
       
   433 	    (object ClassDiagram "Main"
       
   434 		title      	"Main"
       
   435 		zoom       	100
       
   436 		max_height 	28350
       
   437 		max_width  	21600
       
   438 		origin_x   	0
       
   439 		origin_y   	0
       
   440 		items      	(list diagram_item_list
       
   441 		    (object CategoryView "Server" @19
       
   442 			location   	(1022, 187)
       
   443 			label      	(object ItemLabel
       
   444 			    location   	(878, 103)
       
   445 			    nlines     	2
       
   446 			    max_width  	288
       
   447 			    justify    	0
       
   448 			    label      	"Server")
       
   449 			width      	300
       
   450 			height     	180)
       
   451 		    (object CategoryView "DebugLog" @20
       
   452 			location   	(538, 593)
       
   453 			label      	(object ItemLabel
       
   454 			    location   	(394, 509)
       
   455 			    nlines     	2
       
   456 			    max_width  	288
       
   457 			    justify    	0
       
   458 			    label      	"DebugLog")
       
   459 			width      	300
       
   460 			height     	180)
       
   461 		    (object CategoryView "KeyBoard" @21
       
   462 			location   	(1688, 593)
       
   463 			label      	(object ItemLabel
       
   464 			    location   	(1544, 509)
       
   465 			    nlines     	2
       
   466 			    max_width  	288
       
   467 			    justify    	0
       
   468 			    label      	"KeyBoard")
       
   469 			width      	300
       
   470 			height     	180)
       
   471 		    (object CategoryView "Gdi" @22
       
   472 			location   	(919, 587)
       
   473 			label      	(object ItemLabel
       
   474 			    location   	(775, 503)
       
   475 			    nlines     	2
       
   476 			    max_width  	288
       
   477 			    justify    	0
       
   478 			    label      	"Gdi")
       
   479 			width      	300
       
   480 			height     	180)
       
   481 		    (object ImportView ""
       
   482 			client     	@19
       
   483 			supplier   	@20)
       
   484 		    (object ImportView ""
       
   485 			client     	@19
       
   486 			supplier   	@22)
       
   487 		    (object ImportView ""
       
   488 			client     	@19
       
   489 			supplier   	@21)))))
       
   490     root_subsystem 	(object SubSystem "<Top Level>"
       
   491 	physical_models 	(list unit_reference_list)
       
   492 	physical_presentations 	(list unit_reference_list
       
   493 	    (object Module_Diagram "Main"
       
   494 		title      	"Main"
       
   495 		zoom       	100
       
   496 		max_height 	28350
       
   497 		max_width  	21600
       
   498 		origin_x   	0
       
   499 		origin_y   	0
       
   500 		items      	(list diagram_item_list))))
       
   501     process_structure 	(object Processes
       
   502 	ProcsNDevs 	(list
       
   503 	    (object Process_Diagram ""
       
   504 		title      	""
       
   505 		zoom       	100
       
   506 		max_height 	28350
       
   507 		max_width  	21600
       
   508 		origin_x   	0
       
   509 		origin_y   	0
       
   510 		items      	(list diagram_item_list))))
       
   511     properties 	(object Properties))