root/examples/ThreeLittlePigs/threeLitlePigs.html

167177
11
        <title> Code to Diagram - Sequence Diagram </title>
11
        <title> Code to Diagram - Sequence Diagram </title>
12
		<style type="text/css">
12
		<style type="text/css">
13
            /*<![CDATA[*/
13
            /*<![CDATA[*/
14
              /**/.diagram_box
14
              /**/.sequenceDiagram
15
{
15
{
16
    width: 100%;
17
    overflow: auto;
18
}
19
.sequenceDiagram
20
{
21
    float: left;
16
    float: left;
22
    width: 2000px;
17
    width: 2000px;
23
    overflow: auto;
24
}
18
}
25
.sequenceDiagram *
19
.sequenceDiagram *
26
{
20
{
...
...
43
{
37
{
44
    float: left;
38
    float: left;
45
    width: 442px;
39
    width: 442px;
46
    /*height: codetodiagram:slice_height;*/
47
    text-align: center;
40
    text-align: center;
48
    height: 10%;
41
    height: 10%;
49
}
42
}
...
...
115
{
108
{
116
    width: 10%;
109
    width: 10%;
117
}
110
}
111
.sequenceDiagram .detail
112
{
113
    width: 100%;
114
    float: left;
115
    border-color: rgb( 200 , 200 ,255 );
116
    border-width: 1px;
117
    border-style: solid;
118
    background-color: rgb( 240, 240 , 240 );
119
    overflow: hidden;
120
    margin: 20px;
121
    cursor:pointer;
122
}
123
.sequenceDiagram .detail.closed ol
124
{
125
    display: none;
126
}
118
.sequenceDiagram .detail li
127
.sequenceDiagram .detail li
119
{
128
{
129
    display:block;
130
    width: 80%;
120
    float: left;
131
    float: left;
121
    width: 100%;
132
    background-color: white;
122
133
    border-style: solid;
134
    border-color: #DDDDFF;
135
    border-width: 1px;
136
    margin-bottom: 10px;
137
    padding: 5px;
123
}
138
}
139
.sequenceDiagram .detail li div.message
140
{
141
    list-style-position: inside;
142
    display:list-item;
143
    padding: 5px;
144
    width: 80%;
145
    float: left;
146
    clear: right;
147
}
148
.sequenceDiagram .detail ol
149
{
150
    list-style-position: outside;
151
}
124
.sequenceDiagram .line.body
152
.sequenceDiagram .line.body
125
{
153
{
126
    height: 55px;
154
    height: 55px;
...
...
155
{
183
{
156
    text-decoration: none;
184
    text-decoration: none;
157
}
185
}
158
.line
186
.sequenceDiagram .line
159
{
187
{
160
    display: block;
188
    display: block;
161
    float: left;
189
    float: left;
162
    width: 100%;
190
    width: 100%;
163
    height: 100%;
191
    height: 100%;
164
}
192
}
165
.slice , .row , .actor
193
.sequenceDiagram .slice , .sequenceDiagram .row , .sequenceDiagram .actor
166
{
194
{
167
    width: 100%;
195
    width: 100%;
168
}
196
}
...
...
170
{
198
{
171
    border-color: orange;
199
    border-color: orange;
172
}
200
}
201
.sequenceDiagram .line.body:hover .return .message
202
{
203
    border-color: orange;
204
}
173
.sequenceDiagram .line.body .call .message
205
.sequenceDiagram .line.body .call .message
174
{
206
{
175
    border-width: 0px;
207
    border-width: 0px;
...
...
191
    border-bottom-width: 1px;
223
    border-bottom-width: 1px;
192
    border-color: black;
224
    border-color: black;
193
}
225
}
194
.row
226
.sequenceDiagram .row
195
{
227
{
196
    float: left;
228
    float: left;
197
    display: block;
229
    display: block;
198
    width: 95%;
230
    width: 95%;
199
    overflow: hidden;
231
    overflow: hidden;
200
}
232
}
201
.call , .return
233
.sequenceDiagram .call ,
234
.sequenceDiagram .return
202
{
235
{
203
    background-position: right center;
236
    background-position: right center;
204
    margin-right: 0px;
237
    margin-right: 0px;
205
    margin-left: 0px;
238
    margin-left: 0px;
206
    background-repeat: no-repeat;
239
    background-repeat: no-repeat;
207
}
240
}
208
.row.reverse
241
.sequenceDiagram .row.reverse
209
{
242
{
210
    background-position: left center;
243
    background-position: left center;
211
}
244
}
212
.row.call.regular ,
245
.sequenceDiagram .row.call.regular ,
213
.row.call.regular.start.short
246
.sequenceDiagram .row.call.regular.start.short
214
{
247
{
215
    background-image: url( "../../public//images/row_call.gif" );
248
    background-image: url( "../../public//images/row_call.gif" );
216
}
249
}
217
.row.call.reverse
250
.sequenceDiagram .line.body:hover .row.call.regular ,
251
.sequenceDiagram .line.body:hover .row.call.regular.start.short
218
{
252
{
219
    background-image: url( "../../public//images/row_call_back.gif" );
253
    background-image: url( "../../public//images/row_call_hover.gif" );
220
}
254
}
221
.actor.middle.call
255
.sequenceDiagram .row.call.reverse
222
{
256
{
223
    
257
    background-image: url( "../../public//images/row_call_back.gif" );
224
}
258
}
225
.actor.middle.return
259
.sequenceDiagram .line.body:hover .row.call.reverse
226
{
260
{
227
    
261
    background-image: url( "../../public//images/row_call_back_hover.gif" );
228
}
262
}
229
.row.return.reverse ,
263
.sequenceDiagram .row.return.reverse ,
230
.row.return.reverse.start.large
264
.sequenceDiagram .row.return.reverse.start.large
231
{
265
{
232
    background-image: url( "../../public//images/row_return.gif" );
266
    background-image: url( "../../public//images/row_return.gif" );
233
}
267
}
234
.row.return.regular ,
268
.sequenceDiagram .line.body:hover .row.return.reverse ,
235
.row.return.regular.start.large
269
.sequenceDiagram  .line.body:hover .row.return.reverse.start.large
236
{
270
{
271
    background-image: url( "../../public//images/row_return_hover.gif" );
272
}
273
.sequenceDiagram .row.return.regular ,
274
.sequenceDiagram .row.return.regular.start.large
275
{
237
    background-image: url( "../../public//images/row_return_back.gif" );
276
    background-image: url( "../../public//images/row_return_back.gif" );
238
}
277
}
239
.row.call.regular.short.recursive.start
278
.sequenceDiagram .line.body:hover .row.return.regular ,
279
.sequenceDiagram .line.body:hover .row.return.regular.start.large
240
{
280
{
281
    background-image: url( "../../public//images/row_return_back_hover.gif" );
282
}
283
.sequenceDiagram .row.call.regular.short.recursive.start
284
{
241
    background-image: url( "../../public//images/row_call_back.gif" );
285
    background-image: url( "../../public//images/row_call_back.gif" );
242
    background-position: left center;
286
    background-position: left center;
243
}
287
}
244
.row.return.regular.short.recursive.start
288
.sequenceDiagram .line.body:hover .row.call.regular.short.recursive.start
245
{
289
{
290
    background-image: url( "../../public//images/row_call_back_hover.gif" );
291
}
292
.sequenceDiagram .row.return.regular.short.recursive.start
293
{
246
    background-image: url( "../../public//images/row_return.gif" );
294
    background-image: url( "../../public//images/row_return.gif" );
247
    background-position: left center;
295
    background-position: left center;
248
}
296
}
249
.row.large ,
297
.sequenceDiagram .line.body:hover .row.return.regular.short.recursive.start
250
.row.return.reverse.end ,
251
.row.call.large.middle ,
252
.row.return.large.middle ,
253
.row.call.reverse.end ,
254
.row.call.regular.start ,
255
.row.return.regular.large.start 
256
{
298
{
299
    background-image: url( "../../public//images/row_return_hover.gif" );
300
}
301
.sequenceDiagram .row.large ,
302
.sequenceDiagram .row.return.reverse.end ,
303
.sequenceDiagram .row.call.large.middle ,
304
.sequenceDiagram .row.return.large.middle ,
305
.sequenceDiagram .row.call.reverse.end ,
306
.sequenceDiagram .row.call.regular.start ,
307
.sequenceDiagram .row.return.regular.large.start ,
308
.sequenceDiagram .line.body:hover .row.large ,
309
.sequenceDiagram .line.body:hover .row.return.reverse.end ,
310
.sequenceDiagram .line.body:hover .row.call.large.middle ,
311
.sequenceDiagram .line.body:hover .row.return.large.middle ,
312
.sequenceDiagram .line.body:hover .row.call.reverse.end ,
313
.sequenceDiagram .line.body:hover .row.call.regular.start ,
314
.sequenceDiagram .line.body:hover .row.return.regular.large.start
315
{
257
    background-image: none;
316
    background-image: none;
258
}
317
}
259
.actor .logo img
318
.sequenceDiagram .actor .logo img
260
{
319
{
261
    height: 61px;
320
    height: 61px;
262
    width: 61px;
321
    width: 61px;
322
}
323
.tab
324
{
325
    float: left;
326
    width: 100%;
327
    padding-top: 40px;
328
}
329
.button_bar input
330
{
331
    font-size: 11px;
332
    background-color: #EEEEFF;  
333
}
334
.tab h3
335
{
336
    padding: 3px;
337
    font-size: 13px;
338
    margin: 5px;
339
    background-color: rgb( 250 , 250 , 255 );
340
    font-family: cursive;
341
    border-style: solid;
342
    color: rgb( 50 , 50 , 155 );
343
    border-color: rgb( 150 , 150 , 255 );
344
    border-width: 1px;
345
}
346
.validate
347
{
348
    float: left;
349
    width: 100%;
350
}
351
.validate *
352
{
353
    text-decoration: none;
354
    border-style: none;
263
}/**/
355
}/**/
264
            /*]]>*/
356
            /*]]>*/
265
		</style>
357
		</style>
...
...
268
        <!-- diagram -->
360
        <!-- diagram -->
269
<div class="diagram_box">
361
<div class="diagram_box">
270
    <div class='sequenceDiagram'>
362
    <div class='sequenceDiagram'>
271
        <style type="text/css">
363
        <script type="text/javascript">
272
            /*<![CDATA[*/
364
            /*<![CDATA[*/
273
                
365
            window.strStyle = '/**/';
366
            try
367
            {
368
                var objHead = document.getElementsByTagName("head")[0];
369
                var objStyle= document.createElement( "style" );
370
                objStyle.type = "text/css";
371
                objStyle.rel = "stylesheet";
372
                objStyle.media = "screen";
373
                objStyle.innerHTML = window.strStyle
374
                objHead.appendChild( objStyle );
375
            }
376
            catch( e )
377
            {
378
                try
379
                {
380
                    setTimeout(
381
                        function()
382
                        {
383
                            var objBody = document.body;
384
                            objBody.innerHTML += '<' + 'sty' + 'le type="text/css" media="screen" >' + window.strStyle + '<' + '/sty' + 'le>';
385
                        }
386
                        ,
387
                        10
388
                    );
389
                }
390
                catch( e )
391
                {
392
                    alert( e.message );
393
                }
394
            }
274
            /*]]>*/
395
            /*]]>*/
275
        </style>
396
        </script>
276
        <!-- actors -->
397
        <!-- actors -->
277
<div class="line head">
398
<div class="line head">
278
    <!-- actor -->
399
    <!-- actor -->
279
<div class="actor user " >
400
<div class="actor user " >
280
    <div class="logo">
401
    <div class="logo">
281
        <img src="../../public/images/user.gif"/>
402
        <img alt="user" src="../../public/images/user.gif"/>
282
    </div>
403
    </div>
283
    <div class="name">
404
    <div class="name">
284
        <span title="user">user</span>
405
        <span title="user">user</span>
...
...
287
<!-- end actor --><!-- actor -->
408
<!-- end actor --><!-- actor -->
288
<div class="actor boundary " >
409
<div class="actor boundary " >
289
    <div class="logo">
410
    <div class="logo">
290
        <img src="../../public/images/boundary.gif"/>
411
        <img alt="boundary" src="../../public/images/boundary.gif"/>
291
    </div>
412
    </div>
292
    <div class="name">
413
    <div class="name">
293
        <span title="History(1)">History(1)</span>
414
        <span title="History(1)">History(1)</span>
...
...
296
<!-- end actor --><!-- actor -->
417
<!-- end actor --><!-- actor -->
297
<div class="actor controller " >
418
<div class="actor controller " >
298
    <div class="logo">
419
    <div class="logo">
299
        <img src="../../public/images/controller.gif"/>
420
        <img alt="controller" src="../../public/images/controller.gif"/>
300
    </div>
421
    </div>
301
    <div class="name">
422
    <div class="name">
302
        <span title="LittlePig(1)">LittlePig(1)</span>
423
        <span title="LittlePig(1)">LittlePig(1)</span>
...
...
305
<!-- end actor --><!-- actor -->
426
<!-- end actor --><!-- actor -->
306
<div class="actor controller " >
427
<div class="actor controller " >
307
    <div class="logo">
428
    <div class="logo">
308
        <img src="../../public/images/controller.gif"/>
429
        <img alt="controller" src="../../public/images/controller.gif"/>
309
    </div>
430
    </div>
310
    <div class="name">
431
    <div class="name">
311
        <span title="LittlePig(2)">LittlePig(2)</span>
432
        <span title="LittlePig(2)">LittlePig(2)</span>
...
...
314
<!-- end actor --><!-- actor -->
435
<!-- end actor --><!-- actor -->
315
<div class="actor controller " >
436
<div class="actor controller " >
316
    <div class="logo">
437
    <div class="logo">
317
        <img src="../../public/images/controller.gif"/>
438
        <img alt="controller" src="../../public/images/controller.gif"/>
318
    </div>
439
    </div>
319
    <div class="name">
440
    <div class="name">
320
        <span title="LittlePig(3)">LittlePig(3)</span>
441
        <span title="LittlePig(3)">LittlePig(3)</span>
...
...
323
<!-- end actor --><!-- actor -->
444
<!-- end actor --><!-- actor -->
324
<div class="actor entity " >
445
<div class="actor entity " >
325
    <div class="logo">
446
    <div class="logo">
326
        <img src="../../public/images/entity.gif"/>
447
        <img alt="entity" src="../../public/images/entity.gif"/>
327
    </div>
448
    </div>
328
    <div class="name">
449
    <div class="name">
329
        <span title="House(1)">House(1)</span>
450
        <span title="House(1)">House(1)</span>
...
...
332
<!-- end actor --><!-- actor -->
453
<!-- end actor --><!-- actor -->
333
<div class="actor entity " >
454
<div class="actor entity " >
334
    <div class="logo">
455
    <div class="logo">
335
        <img src="../../public/images/entity.gif"/>
456
        <img alt="entity" src="../../public/images/entity.gif"/>
336
    </div>
457
    </div>
337
    <div class="name">
458
    <div class="name">
338
        <span title="House(2)">House(2)</span>
459
        <span title="House(2)">House(2)</span>
...
...
341
<!-- end actor --><!-- actor -->
462
<!-- end actor --><!-- actor -->
342
<div class="actor entity " >
463
<div class="actor entity " >
343
    <div class="logo">
464
    <div class="logo">
344
        <img src="../../public/images/entity.gif"/>
465
        <img alt="entity" src="../../public/images/entity.gif"/>
345
    </div>
466
    </div>
346
    <div class="name">
467
    <div class="name">
347
        <span title="House(3)">House(3)</span>
468
        <span title="House(3)">House(3)</span>
...
...
350
<!-- end actor --><!-- actor -->
471
<!-- end actor --><!-- actor -->
351
<div class="actor user " >
472
<div class="actor user " >
352
    <div class="logo">
473
    <div class="logo">
353
        <img src="../../public/images/user.gif"/>
474
        <img alt="user" src="../../public/images/user.gif"/>
354
    </div>
475
    </div>
355
    <div class="name">
476
    <div class="name">
356
        <span title="Wolf(1)">Wolf(1)</span>
477
        <span title="Wolf(1)">Wolf(1)</span>
...
...
360
</div>
481
</div>
361
<!-- end actors -->
482
<!-- end actors -->
362
        <!-- messages -->
483
        <!-- messages -->
363
<div class="line body">
484
<div class="line body" title="Once upon a time" onclick="javascript:">
364
    <div class="message_header">
485
    <div class="message_header">
365
        &nbsp;
486
        &nbsp;
366
    </div>
487
    </div>
488
    <div class="slice regular">
489
    <!-- line before -->
490
    <div class="actor">
491
        <div class="name">
492
            <span title="user">&nbsp;</span>
493
        </div>
494
    </div>
495
    <div class="row">
496
        <div class="message">
497
            <span>&nbsp;</span>
498
        </div>
499
    </div>
500
</div>
501
<!-- end line before --><!-- line start -->
502
<div class="slice regular">
503
    <div class="actor start">
504
        <div class="name">
505
            <span title="History(1)">&nbsp;</span>
506
        </div>
507
    </div>
508
    <div class="row codetodiagram:message_type codetodiagram:reverse codetodiagram:large codetodiagram:recursive start ">
509
        <div class="message">
510
            <span>
511
                <a href="#message_codetodiagram:message_id" class="noLink">
512
                    weeeeeeeeeeeeeeeeee
513
                    <strong><codetodiagram:message_position/></strong>.
514
                    <codetodiagram:message_text/>
515
                </a>
516
            </span>
517
            </>
518
        </div>
519
    </div>
520
</div>
521
<!-- end line start --><div class="slice regular">
522
    <!-- line after -->
523
    <div class="actor after0 ">
524
        <div class="name">
525
            <span title="LittlePig(1)">&nbsp;</span>
526
        </div>
527
    </div>
528
    <div class="row">
529
        <div class="message">
530
            <span>&nbsp;</span>
531
        </div>
532
    </div>
533
</div>
534
<!-- end line after --><div class="slice regular">
535
    <!-- line after -->
536
    <div class="actor after0 ">
537
        <div class="name">
538
            <span title="LittlePig(2)">&nbsp;</span>
539
        </div>
540
    </div>
541
    <div class="row">
542
        <div class="message">
543
            <span>&nbsp;</span>
544
        </div>
545
    </div>
546
</div>
547
<!-- end line after --><div class="slice regular">
548
    <!-- line after -->
549
    <div class="actor after0 ">
550
        <div class="name">
551
            <span title="LittlePig(3)">&nbsp;</span>
552
        </div>
553
    </div>
554
    <div class="row">
555
        <div class="message">
556
            <span>&nbsp;</span>
557
        </div>
558
    </div>
559
</div>
560
<!-- end line after --><div class="slice regular">
561
    <!-- line after -->
562
    <div class="actor after0 ">
563
        <div class="name">
564
            <span title="House(1)">&nbsp;</span>
565
        </div>
566
    </div>
567
    <div class="row">
568
        <div class="message">
569
            <span>&nbsp;</span>
570
        </div>
571
    </div>
572
</div>
573
<!-- end line after --><div class="slice regular">
574
    <!-- line after -->
575
    <div class="actor after0 ">
576
        <div class="name">
577
            <span title="House(2)">&nbsp;</span>
578
        </div>
579
    </div>
580
    <div class="row">
581
        <div class="message">
582
            <span>&nbsp;</span>
583
        </div>
584
    </div>
585
</div>
586
<!-- end line after --><div class="slice regular">
587
    <!-- line after -->
588
    <div class="actor after0 ">
589
        <div class="name">
590
            <span title="House(3)">&nbsp;</span>
591
        </div>
592
    </div>
593
    <div class="row">
594
        <div class="message">
595
            <span>&nbsp;</span>
596
        </div>
597
    </div>
598
</div>
599
<!-- end line after --><div class="slice final">
600
    <!-- line after -->
601
    <div class="actor after0 ">
602
        <div class="name">
603
            <span title="Wolf(1)">&nbsp;</span>
604
        </div>
605
    </div>
606
    <div class="row">
607
        <div class="message">
608
            <span>&nbsp;</span>
609
        </div>
610
    </div>
611
</div>
612
<!-- end line after -->
613
</div>
614
<!-- end messages --><!-- messages -->
615
<div class="line body" title="user create new History(1)" onclick="javascript:window.location = '#message_1'">
616
    <div class="message_header">
617
        &nbsp;
618
    </div>
367
    <!-- line start -->
619
    <!-- line start -->
368
<div class="slice regular">
620
<div class="slice regular">
369
    <div class="actor start">
621
    <div class="actor start">
...
...
381
            </span>
633
            </span>
382
            <!-- line values -->
634
            <!-- line values -->
383
<div class="parameters">
635
<div class="parameters">
384
    <ul>
636
    
385
        
386
    </ul>
387
</div>
637
</div>
388
<!-- end line values -->
638
<!-- end line values -->
389
        </div>
639
        </div>
...
...
496
<!-- end line after -->
746
<!-- end line after -->
497
</div>
747
</div>
498
<!-- end messages --><!-- messages -->
748
<!-- end messages --><!-- messages -->
499
<div class="line body">
749
<div class="line body" title="History(1) create new LittlePig(1)" onclick="javascript:window.location = '#message_2'">
500
    <div class="message_header">
750
    <div class="message_header">
501
        &nbsp;
751
        &nbsp;
502
    </div>
752
    </div>
...
...
530
            </span>
780
            </span>
531
            <!-- line values -->
781
            <!-- line values -->
532
<div class="parameters">
782
<div class="parameters">
533
    <ul>
783
    
534
        
535
    </ul>
536
</div>
784
</div>
537
<!-- end line values -->
785
<!-- end line values -->
538
        </div>
786
        </div>
...
...
632
<!-- end line after -->
880
<!-- end line after -->
633
</div>
881
</div>
634
<!-- end messages --><!-- messages -->
882
<!-- end messages --><!-- messages -->
635
<div class="line body">
883
<div class="line body" title="History(1) create new LittlePig(2)" onclick="javascript:window.location = '#message_3'">
636
    <div class="message_header">
884
    <div class="message_header">
637
        &nbsp;
885
        &nbsp;
638
    </div>
886
    </div>
...
...
666
            </span>
914
            </span>
667
            <!-- line values -->
915
            <!-- line values -->
668
<div class="parameters">
916
<div class="parameters">
669
    <ul>
917
    
670
        
671
    </ul>
672
</div>
918
</div>
673
<!-- end line values -->
919
<!-- end line values -->
674
        </div>
920
        </div>
...
...
768
<!-- end line after -->
1014
<!-- end line after -->
769
</div>
1015
</div>
770
<!-- end messages --><!-- messages -->
1016
<!-- end messages --><!-- messages -->
771
<div class="line body">
1017
<div class="line body" title="History(1) create new LittlePig(3)" onclick="javascript:window.location = '#message_4'">
772
    <div class="message_header">
1018
    <div class="message_header">
773
        &nbsp;
1019
        &nbsp;
774
    </div>
1020
    </div>
...
...
802
            </span>
1048
            </span>
803
            <!-- line values -->
1049
            <!-- line values -->
804
<div class="parameters">
1050
<div class="parameters">
805
    <ul>
1051
    
806
        
807
    </ul>
808
</div>
1052
</div>
809
<!-- end line values -->
1053
<!-- end line values -->
810
        </div>
1054
        </div>
...
...
904
<!-- end line after -->
1148
<!-- end line after -->
905
</div>
1149
</div>
906
<!-- end messages --><!-- messages -->
1150
<!-- end messages --><!-- messages -->
907
<div class="line body">
1151
<div class="line body" title="History(1) call LittlePig(1)-&gt;buildHouse( $strType )" onclick="javascript:window.location = '#message_5'">
908
    <div class="message_header">
1152
    <div class="message_header">
909
        &nbsp;
1153
        &nbsp;
910
    </div>
1154
    </div>
...
...
938
            </span>
1182
            </span>
939
            <!-- line values -->
1183
            <!-- line values -->
940
<div class="parameters">
1184
<div class="parameters">
941
    <ul>
1185
    <ul><!-- value -->
942
        <!-- value -->
943
<li>
1186
<li>
944
    <strong>
1187
    <strong>
945
            $strType
1188
            $strType
...
...
955
</code>
1198
</code>
956
    </div>
1199
    </div>
957
</li>
1200
</li>
958
<!-- end value -->
1201
<!-- end value --></ul>
959
    </ul>
960
</div>
1202
</div>
961
<!-- end line values -->
1203
<!-- end line values -->
962
        </div>
1204
        </div>
...
...
1056
<!-- end line after -->
1298
<!-- end line after -->
1057
</div>
1299
</div>
1058
<!-- end messages --><!-- messages -->
1300
<!-- end messages --><!-- messages -->
1059
<div class="line body">
1301
<div class="line body" title="LittlePig(1) create new House(1)" onclick="javascript:window.location = '#message_6'">
1060
    <div class="message_header">
1302
    <div class="message_header">
1061
        &nbsp;
1303
        &nbsp;
1062
    </div>
1304
    </div>
...
...
1103
            </span>
1345
            </span>
1104
            <!-- line values -->
1346
            <!-- line values -->
1105
<div class="parameters">
1347
<div class="parameters">
1106
    <ul>
1348
    
1107
        
1108
    </ul>
1109
</div>
1349
</div>
1110
<!-- end line values -->
1350
<!-- end line values -->
1111
        </div>
1351
        </div>
...
...
1192
<!-- end line after -->
1432
<!-- end line after -->
1193
</div>
1433
</div>
1194
<!-- end messages --><!-- messages -->
1434
<!-- end messages --><!-- messages -->
1195
<div class="line body">
1435
<div class="line body" title="LittlePig(1) call House(1)-&gt;setType( $strType )" onclick="javascript:window.location = '#message_7'">
1196
    <div class="message_header">
1436
    <div class="message_header">
1197
        &nbsp;
1437
        &nbsp;
1198
    </div>
1438
    </div>
...
...
1239
            </span>
1479
            </span>
1240
            <!-- line values -->
1480
            <!-- line values -->
1241
<div class="parameters">
1481
<div class="parameters">
1242
    <ul>
1482
    <ul><!-- value -->
1243
        <!-- value -->
1244
<li>
1483
<li>
1245
    <strong>
1484
    <strong>
1246
            $strType
1485
            $strType
...
...
1256
</code>
1495
</code>
1257
    </div>
1496
    </div>
1258
</li>
1497
</li>
1259
<!-- end value -->
1498
<!-- end value --></ul>
1260
    </ul>
1261
</div>
1499
</div>
1262
<!-- end line values -->
1500
<!-- end line values -->
1263
        </div>
1501
        </div>
...
...
1344
<!-- end line after -->
1582
<!-- end line after -->
1345
</div>
1583
</div>
1346
<!-- end messages --><!-- messages -->
1584
<!-- end messages --><!-- messages -->
1347
<div class="line body">
1585
<div class="line body" title="LittlePig(1) receive from House(1)-&gt;setType( $strType )" onclick="javascript:window.location = '#message_8'">
1348
    <div class="message_header">
1586
    <div class="message_header">
1349
        &nbsp;
1587
        &nbsp;
1350
    </div>
1588
    </div>
...
...
1391
            </span>
1629
            </span>
1392
            <!-- line values -->
1630
            <!-- line values -->
1393
<div class="parameters">
1631
<div class="parameters">
1394
    <ul>
1632
    <ul><!-- value -->
1395
        <!-- value -->
1396
<li>
1633
<li>
1397
    <strong>
1634
    <strong>
1398
            return
1635
            return
...
...
1408
</code>
1645
</code>
1409
    </div>
1646
    </div>
1410
</li>
1647
</li>
1411
<!-- end value -->
1648
<!-- end value --></ul>
1412
    </ul>
1413
</div>
1649
</div>
1414
<!-- end line values -->
1650
<!-- end line values -->
1415
        </div>
1651
        </div>
...
...
1496
<!-- end line after -->
1732
<!-- end line after -->
1497
</div>
1733
</div>
1498
<!-- end messages --><!-- messages -->
1734
<!-- end messages --><!-- messages -->
1499
<div class="line body">
1735
<div class="line body" title="LittlePig(1) call House(1)-&gt;setPig( $objPig )" onclick="javascript:window.location = '#message_9'">
1500
    <div class="message_header">
1736
    <div class="message_header">
1501
        &nbsp;
1737
        &nbsp;
1502
    </div>
1738
    </div>
...
...
1543
            </span>
1779
            </span>
1544
            <!-- line values -->
1780
            <!-- line values -->
1545
<div class="parameters">
1781
<div class="parameters">
1546
    <ul>
1782
    <ul><!-- value -->
1547
        <!-- value -->
1548
<li>
1783
<li>
1549
    <strong>
1784
    <strong>
1550
            $objPig
1785
            $objPig
...
...
1560
</code>
1795
</code>
1561
    </div>
1796
    </div>
1562
</li>
1797
</li>
1563
<!-- end value -->
1798
<!-- end value --></ul>
1564
    </ul>
1565
</div>
1799
</div>
1566
<!-- end line values -->
1800
<!-- end line values -->
1567
        </div>
1801
        </div>
...
...
1648
<!-- end line after -->
1882
<!-- end line after -->
1649
</div>
1883
</div>
1650
<!-- end messages --><!-- messages -->
1884
<!-- end messages --><!-- messages -->
1651
<div class="line body">
1885
<div class="line body" title="LittlePig(1) receive from House(1)-&gt;setPig( $objPig )" onclick="javascript:window.location = '#message_10'">
1652
    <div class="message_header">
1886
    <div class="message_header">
1653
        &nbsp;
1887
        &nbsp;
1654
    </div>
1888
    </div>
...
...
1695
            </span>
1929
            </span>
1696
            <!-- line values -->
1930
            <!-- line values -->
1697
<div class="parameters">
1931
<div class="parameters">
1698
    <ul>
1932
    <ul><!-- value -->
1699
        <!-- value -->
1700
<li>
1933
<li>
1701
    <strong>
1934
    <strong>
1702
            return
1935
            return
...
...
1712
</code>
1945
</code>
1713
    </div>
1946
    </div>
1714
</li>
1947
</li>
1715
<!-- end value -->
1948
<!-- end value --></ul>
1716
    </ul>
1717
</div>
1949
</div>
1718
<!-- end line values -->
1950
<!-- end line values -->
1719
        </div>
1951
        </div>
...
...
1800
<!-- end line after -->
2032
<!-- end line after -->
1801
</div>
2033
</div>
1802
<!-- end messages --><!-- messages -->
2034
<!-- end messages --><!-- messages -->
1803
<div class="line body">
2035
<div class="line body" title="History(1) receive from LittlePig(1)-&gt;buildHouse( $strType )" onclick="javascript:window.location = '#message_11'">
1804
    <div class="message_header">
2036
    <div class="message_header">
1805
        &nbsp;
2037
        &nbsp;
1806
    </div>
2038
    </div>
...
...
1834
            </span>
2066
            </span>
1835
            <!-- line values -->
2067
            <!-- line values -->
1836
<div class="parameters">
2068
<div class="parameters">
1837
    <ul>
2069
    <ul><!-- value -->
1838
        <!-- value -->
1839
<li>
2070
<li>
1840
    <strong>
2071
    <strong>
1841
            return
2072
            return
...
...
1851
</code>
2082
</code>
1852
    </div>
2083
    </div>
1853
</li>
2084
</li>
1854
<!-- end value -->
2085
<!-- end value --></ul>
1855
    </ul>
1856
</div>
2086
</div>
1857
<!-- end line values -->
2087
<!-- end line values -->
1858
        </div>
2088
        </div>
...
...
1952
<!-- end line after -->
2182
<!-- end line after -->
1953
</div>
2183
</div>
1954
<!-- end messages --><!-- messages -->
2184
<!-- end messages --><!-- messages -->
1955
<div class="line body">
2185
<div class="line body" title="History(1) call LittlePig(2)-&gt;buildHouse( $strType )" onclick="javascript:window.location = '#message_12'">
1956
    <div class="message_header">
2186
    <div class="message_header">
1957
        &nbsp;
2187
        &nbsp;
1958
    </div>
2188
    </div>
...
...
1986
            </span>
2216
            </span>
1987
            <!-- line values -->
2217
            <!-- line values -->
1988
<div class="parameters">
2218
<div class="parameters">
1989
    <ul>
2219
    <ul><!-- value -->
1990
        <!-- value -->
1991
<li>
2220
<li>
1992
    <strong>
2221
    <strong>
1993
            $strType
2222
            $strType
...
...
2003
</code>
2232
</code>
2004
    </div>
2233
    </div>
2005
</li>
2234
</li>
2006
<!-- end value -->
2235
<!-- end value --></ul>
2007
    </ul>
2008
</div>
2236
</div>
2009
<!-- end line values -->
2237
<!-- end line values -->
2010
        </div>
2238
        </div>
...
...
2104
<!-- end line after -->
2332
<!-- end line after -->
2105
</div>
2333
</div>
2106
<!-- end messages --><!-- messages -->
2334
<!-- end messages --><!-- messages -->
2107
<div class="line body">
2335
<div class="line body" title="LittlePig(2) create new House(2)" onclick="javascript:window.location = '#message_13'">
2108
    <div class="message_header">
2336
    <div class="message_header">
2109
        &nbsp;
2337
        &nbsp;
2110
    </div>
2338
    </div>
...
...
2164
            </span>
2392
            </span>
2165
            <!-- line values -->
2393
            <!-- line values -->
2166
<div class="parameters">
2394
<div class="parameters">
2167
    <ul>
2395
    
2168
        
2169
    </ul>
2170
</div>
2396
</div>
2171
<!-- end line values -->
2397
<!-- end line values -->
2172
        </div>
2398
        </div>
...
...
2240
<!-- end line after -->
2466
<!-- end line after -->
2241
</div>
2467
</div>
2242
<!-- end messages --><!-- messages -->
2468
<!-- end messages --><!-- messages -->
2243
<div class="line body">
2469
<div class="line body" title="LittlePig(2) call House(2)-&gt;setType( $strType )" onclick="javascript:window.location = '#message_14'">
2244
    <div class="message_header">
2470
    <div class="message_header">
2245
        &nbsp;
2471
        &nbsp;
2246
    </div>
2472
    </div>
...
...
2300
            </span>
2526
            </span>
2301
            <!-- line values -->
2527
            <!-- line values -->
2302
<div class="parameters">
2528
<div class="parameters">
2303
    <ul>
2529
    <ul><!-- value -->
2304
        <!-- value -->
2305
<li>
2530
<li>
2306
    <strong>
2531
    <strong>
2307
            $strType
2532
            $strType
...
...
2317
</code>
2542
</code>
2318
    </div>
2543
    </div>
2319
</li>
2544
</li>
2320
<!-- end value -->
2545
<!-- end value --></ul>
2321
    </ul>
2322
</div>
2546
</div>
2323
<!-- end line values -->
2547
<!-- end line values -->
2324
        </div>
2548
        </div>
...
...
2392
<!-- end line after -->
2616
<!-- end line after -->
2393
</div>
2617
</div>
2394
<!-- end messages --><!-- messages -->
2618
<!-- end messages --><!-- messages -->
2395
<div class="line body">
2619
<div class="line body" title="LittlePig(2) receive from House(2)-&gt;setType( $strType )" onclick="javascript:window.location = '#message_15'">
2396
    <div class="message_header">
2620
    <div class="message_header">
2397
        &nbsp;
2621
        &nbsp;
2398
    </div>
2622
    </div>
...
...
2452
            </span>
2676
            </span>
2453
            <!-- line values -->
2677
            <!-- line values -->
2454
<div class="parameters">
2678
<div class="parameters">
2455
    <ul>
2679
    <ul><!-- value -->
2456
        <!-- value -->
2457
<li>
2680
<li>
2458
    <strong>
2681
    <strong>
2459
            return
2682
            return
...
...
2469
</code>
2692
</code>
2470
    </div>
2693
    </div>
2471
</li>
2694
</li>
2472
<!-- end value -->
2695
<!-- end value --></ul>
2473
    </ul>
2474
</div>
2696
</div>
2475
<!-- end line values -->
2697
<!-- end line values -->
2476
        </div>
2698
        </div>
...
...
2544
<!-- end line after -->
2766
<!-- end line after -->
2545
</div>
2767
</div>
2546
<!-- end messages --><!-- messages -->
2768
<!-- end messages --><!-- messages -->
2547
<div class="line body">
2769
<div class="line body" title="LittlePig(2) call House(2)-&gt;setPig( $objPig )" onclick="javascript:window.location = '#message_16'">
2548
    <div class="message_header">
2770
    <div class="message_header">
2549
        &nbsp;
2771
        &nbsp;
2550
    </div>
2772
    </div>
...
...
2604
            </span>
2826
            </span>
2605
            <!-- line values -->
2827
            <!-- line values -->
2606
<div class="parameters">
2828
<div class="parameters">
2607
    <ul>
2829
    <ul><!-- value -->
2608
        <!-- value -->
2609
<li>
2830
<li>
2610
    <strong>
2831
    <strong>
2611
            $objPig
2832
            $objPig
...
...
2621
</code>
2842
</code>
2622
    </div>
2843
    </div>
2623
</li>
2844
</li>
2624
<!-- end value -->
2845
<!-- end value --></ul>
2625
    </ul>
2626
</div>
2846
</div>
2627
<!-- end line values -->
2847
<!-- end line values -->
2628
        </div>
2848
        </div>
...
...
2696
<!-- end line after -->
2916
<!-- end line after -->
2697
</div>
2917
</div>
2698
<!-- end messages --><!-- messages -->
2918
<!-- end messages --><!-- messages -->
2699
<div class="line body">
2919
<div class="line body" title="LittlePig(2) receive from House(2)-&gt;setPig( $objPig )" onclick="javascript:window.location = '#message_17'">
2700
    <div class="message_header">
2920
    <div class="message_header">
2701
        &nbsp;
2921
        &nbsp;
2702
    </div>
2922
    </div>
...
...
2756
            </span>
2976
            </span>
2757
            <!-- line values -->
2977
            <!-- line values -->
2758
<div class="parameters">
2978
<div class="parameters">
2759
    <ul>
2979
    <ul><!-- value -->
2760
        <!-- value -->
2761
<li>
2980
<li>
2762
    <strong>
2981
    <strong>
2763
            return
2982
            return
...
...
2773
</code>
2992
</code>
2774
    </div>
2993
    </div>
2775
</li>
2994
</li>
2776
<!-- end value -->
2995
<!-- end value --></ul>
2777
    </ul>
2778
</div>
2996
</div>
2779
<!-- end line values -->
2997
<!-- end line values -->
2780
        </div>
2998
        </div>
...
...
2848
<!-- end line after -->
3066
<!-- end line after -->
2849
</div>
3067
</div>
2850
<!-- end messages --><!-- messages -->
3068
<!-- end messages --><!-- messages -->
2851
<div class="line body">
3069
<div class="line body" title="History(1) receive from LittlePig(2)-&gt;buildHouse( $strType )" onclick="javascript:window.location = '#message_18'">
2852
    <div class="message_header">
3070
    <div class="message_header">
2853
        &nbsp;
3071
        &nbsp;
2854
    </div>
3072
    </div>
...
...
2882
            </span>
3100
            </span>
2883
            <!-- line values -->
3101
            <!-- line values -->
2884
<div class="parameters">
3102
<div class="parameters">
2885
    <ul>
3103
    <ul><!-- value -->
2886
        <!-- value -->
2887
<li>
3104
<li>
2888
    <strong>
3105
    <strong>
2889
            return
3106
            return
...
...
2899
</code>
3116
</code>
2900
    </div>
3117
    </div>
2901
</li>
3118
</li>
2902
<!-- end value -->
3119
<!-- end value --></ul>
2903
    </ul>
2904
</div>
3120
</div>
2905
<!-- end line values -->
3121
<!-- end line values -->
2906
        </div>
3122
        </div>
...
...
3000
<!-- end line after -->
3216
<!-- end line after -->
3001
</div>
3217
</div>
3002
<!-- end messages --><!-- messages -->
3218
<!-- end messages --><!-- messages -->
3003
<div class="line body">
3219
<div class="line body" title="History(1) call LittlePig(3)-&gt;buildHouse( $strType )" onclick="javascript:window.location = '#message_19'">
3004
    <div class="message_header">
3220
    <div class="message_header">
3005
        &nbsp;
3221
        &nbsp;
3006
    </div>
3222
    </div>
...
...
3034
            </span>
3250
            </span>
3035
            <!-- line values -->
3251
            <!-- line values -->
3036
<div class="parameters">
3252
<div class="parameters">
3037
    <ul>
3253
    <ul><!-- value -->
3038
        <!-- value -->
3039
<li>
3254
<li>
3040
    <strong>
3255
    <strong>
3041
            $strType
3256
            $strType
...
...
3051
</code>
3266
</code>
3052
    </div>
3267
    </div>
3053
</li>
3268
</li>
3054
<!-- end value -->
3269
<!-- end value --></ul>
3055
    </ul>
3056
</div>
3270
</div>
3057
<!-- end line values -->
3271
<!-- end line values -->
3058
        </div>
3272
        </div>
...
...
3152
<!-- end line after -->
3366
<!-- end line after -->
3153
</div>
3367
</div>
3154
<!-- end messages --><!-- messages -->
3368
<!-- end messages --><!-- messages -->
3155
<div class="line body">
3369
<div class="line body" title="LittlePig(3) create new House(3)" onclick="javascript:window.location = '#message_20'">
3156
    <div class="message_header">
3370
    <div class="message_header">
3157
        &nbsp;
3371
        &nbsp;
3158
    </div>
3372
    </div>
...
...
3225
            </span>
3439
            </span>
3226
            <!-- line values -->
3440
            <!-- line values -->
3227
<div class="parameters">
3441
<div class="parameters">
3228
    <ul>
3442
    
3229
        
3230
    </ul>
3231
</div>
3443
</div>
3232
<!-- end line values -->
3444
<!-- end line values -->
3233
        </div>
3445
        </div>
...
...
3288
<!-- end line after -->
3500
<!-- end line after -->
3289
</div>
3501
</div>
3290
<!-- end messages --><!-- messages -->
3502
<!-- end messages --><!-- messages -->
3291
<div class="line body">
3503
<div class="line body" title="LittlePig(3) call House(3)-&gt;setType( $strType )" onclick="javascript:window.location = '#message_21'">
3292
    <div class="message_header">
3504
    <div class="message_header">
3293
        &nbsp;
3505
        &nbsp;
3294
    </div>
3506
    </div>
...
...
3361
            </span>
3573
            </span>
3362
            <!-- line values -->
3574
            <!-- line values -->
3363
<div class="parameters">
3575
<div class="parameters">
3364
    <ul>
3576
    <ul><!-- value -->
3365
        <!-- value -->
3366
<li>
3577
<li>
3367
    <strong>
3578
    <strong>
3368
            $strType
3579
            $strType
...
...
3378
</code>
3589
</code>
3379
    </div>
3590
    </div>
3380
</li>
3591
</li>
3381
<!-- end value -->
3592
<!-- end value --></ul>
3382
    </ul>
3383
</div>
3593
</div>
3384
<!-- end line values -->
3594
<!-- end line values -->
3385
        </div>
3595
        </div>
...
...
3440
<!-- end line after -->
3650
<!-- end line after -->
3441
</div>
3651
</div>
3442
<!-- end messages --><!-- messages -->
3652
<!-- end messages --><!-- messages -->
3443
<div class="line body">
3653
<div class="line body" title="LittlePig(3) receive from House(3)-&gt;setType( $strType )" onclick="javascript:window.location = '#message_22'">
3444
    <div class="message_header">
3654
    <div class="message_header">
3445
        &nbsp;
3655
        &nbsp;
3446
    </div>
3656
    </div>
...
...
3513
            </span>
3723
            </span>
3514
            <!-- line values -->
3724
            <!-- line values -->
3515
<div class="parameters">
3725
<div class="parameters">
3516
    <ul>
3726
    <ul><!-- value -->
3517
        <!-- value -->
3518
<li>
3727
<li>
3519
    <strong>
3728
    <strong>
3520
            return
3729
            return
...
...
3530
</code>
3739
</code>
3531
    </div>
3740
    </div>
3532
</li>
3741
</li>
3533
<!-- end value -->
3742
<!-- end value --></ul>
3534
    </ul>
3535
</div>
3743
</div>
3536
<!-- end line values -->
3744
<!-- end line values -->
3537
        </div>
3745
        </div>
...
...
3592
<!-- end line after -->
3800
<!-- end line after -->
3593
</div>
3801
</div>
3594
<!-- end messages --><!-- messages -->
3802
<!-- end messages --><!-- messages -->
3595
<div class="line body">
3803
<div class="line body" title="LittlePig(3) call House(3)-&gt;setPig( $objPig )" onclick="javascript:window.location = '#message_23'">
3596
    <div class="message_header">
3804
    <div class="message_header">
3597
        &nbsp;
3805
        &nbsp;
3598
    </div>
3806
    </div>
...
...
3665
            </span>
3873
            </span>
3666
            <!-- line values -->
3874
            <!-- line values -->
3667
<div class="parameters">
3875
<div class="parameters">
3668
    <ul>
3876
    <ul><!-- value -->
3669
        <!-- value -->
3670
<li>
3877
<li>
3671
    <strong>
3878
    <strong>
3672
            $objPig
3879
            $objPig
...
...
3682
</code>
3889
</code>
3683
    </div>
3890
    </div>
3684
</li>
3891
</li>
3685
<!-- end value -->
3892
<!-- end value --></ul>
3686
    </ul>
3687
</div>
3893
</div>
3688
<!-- end line values -->
3894
<!-- end line values -->
3689
        </div>
3895
        </div>
...
...
3744
<!-- end line after -->
3950
<!-- end line after -->
3745
</div>
3951
</div>
3746
<!-- end messages --><!-- messages -->
3952
<!-- end messages --><!-- messages -->
3747
<div class="line body">
3953
<div class="line body" title="LittlePig(3) receive from House(3)-&gt;setPig( $objPig )" onclick="javascript:window.location = '#message_24'">
3748
    <div class="message_header">
3954
    <div class="message_header">
3749
        &nbsp;
3955
        &nbsp;
3750
    </div>
3956
    </div>
...
...
3817
            </span>
4023
            </span>
3818
            <!-- line values -->
4024
            <!-- line values -->
3819
<div class="parameters">
4025
<div class="parameters">
3820
    <ul>
4026
    <ul><!-- value -->
3821
        <!-- value -->
3822
<li>
4027
<li>
3823
    <strong>
4028
    <strong>
3824
            return
4029
            return
...
...
3834
</code>
4039
</code>
3835
    </div>
4040
    </div>
3836
</li>
4041
</li>
3837
<!-- end value -->
4042
<!-- end value --></ul>
3838
    </ul>
3839
</div>
4043
</div>
3840
<!-- end line values -->
4044
<!-- end line values -->
3841
        </div>
4045
        </div>
...
...
3896
<!-- end line after -->
4100
<!-- end line after -->
3897
</div>
4101
</div>
3898
<!-- end messages --><!-- messages -->
4102
<!-- end messages --><!-- messages -->
3899
<div class="line body">
4103
<div class="line body" title="History(1) receive from LittlePig(3)-&gt;buildHouse( $strType )" onclick="javascript:window.location = '#message_25'">
3900
    <div class="message_header">
4104
    <div class="message_header">
3901
        &nbsp;
4105
        &nbsp;
3902
    </div>
4106
    </div>
...
...
3930
            </span>
4134
            </span>
3931
            <!-- line values -->
4135
            <!-- line values -->
3932
<div class="parameters">
4136
<div class="parameters">
3933
    <ul>
4137
    <ul><!-- value -->
3934
        <!-- value -->
3935
<li>
4138
<li>
3936
    <strong>
4139
    <strong>
3937
            return
4140
            return
...
...
3947
</code>
4150
</code>
3948
    </div>
4151
    </div>
3949
</li>
4152
</li>
3950
<!-- end value -->
4153
<!-- end value --></ul>
3951
    </ul>
3952
</div>
4154
</div>
3953
<!-- end line values -->
4155
<!-- end line values -->
3954
        </div>
4156
        </div>
...
...
4048
<!-- end line after -->
4250
<!-- end line after -->
4049
</div>
4251
</div>
4050
<!-- end messages --><!-- messages -->
4252
<!-- end messages --><!-- messages -->
4051
<div class="line body">
4253
<div class="line body" title="History(1) create new Wolf(1)" onclick="javascript:window.location = '#message_26'">
4052
    <div class="message_header">
4254
    <div class="message_header">
4053
        &nbsp;
4255
        &nbsp;
4054
    </div>
4256
    </div>
...
...
4082
            </span>
4284
            </span>
4083
            <!-- line values -->
4285
            <!-- line values -->
4084
<div class="parameters">
4286
<div class="parameters">
4085
    <ul>
4287
    
4086
        
4087
    </ul>
4088
</div>
4288
</div>
4089
<!-- end line values -->
4289
<!-- end line values -->
4090
        </div>
4290
        </div>
...
...
4184
<!-- end line after -->
4384
<!-- end line after -->
4185
</div>
4385
</div>
4186
<!-- end messages --><!-- messages -->
4386
<!-- end messages --><!-- messages -->
4187
<div class="line body">
4387
<div class="line body" title="History(1) call LittlePig(1)-&gt;getHouse(  )" onclick="javascript:window.location = '#message_27'">
4188
    <div class="message_header">
4388
    <div class="message_header">
4189
        &nbsp;
4389
        &nbsp;
4190
    </div>
4390
    </div>
...
...
4218
            </span>
4418
            </span>
4219
            <!-- line values -->
4419
            <!-- line values -->
4220
<div class="parameters">
4420
<div class="parameters">
4221
    <ul>
4421
    
4222
        
4223
    </ul>
4224
</div>
4422
</div>
4225
<!-- end line values -->
4423
<!-- end line values -->
4226
        </div>
4424
        </div>
...
...
4320
<!-- end line after -->
4518
<!-- end line after -->
4321
</div>
4519
</div>
4322
<!-- end messages --><!-- messages -->
4520
<!-- end messages --><!-- messages -->
4323
<div class="line body">
4521
<div class="line body" title="History(1) receive from LittlePig(1)-&gt;getHouse(  )" onclick="javascript:window.location = '#message_28'">
4324
    <div class="message_header">
4522
    <div class="message_header">
4325
        &nbsp;
4523
        &nbsp;
4326
    </div>
4524
    </div>
...
...
4354
            </span>
4552
            </span>
4355
            <!-- line values -->
4553
            <!-- line values -->
4356
<div class="parameters">
4554
<div class="parameters">
4357
    <ul>
4555
    <ul><!-- value -->
4358
        <!-- value -->
4359
<li>
4556
<li>
4360
    <strong>
4557
    <strong>
4361
            return
4558
            return
...
...
4371
</code>
4568
</code>
4372
    </div>
4569
    </div>
4373
</li>
4570
</li>
4374
<!-- end value -->
4571
<!-- end value --></ul>
4375
    </ul>
4376
</div>
4572
</div>
4377
<!-- end line values -->
4573
<!-- end line values -->
4378
        </div>
4574
        </div>
...
...
4472
<!-- end line after -->
4668
<!-- end line after -->
4473
</div>
4669
</div>
4474
<!-- end messages --><!-- messages -->
4670
<!-- end messages --><!-- messages -->
4475
<div class="line body">
4671
<div class="line body" title="History(1) call Wolf(1)-&gt;blowIt( $objHouse )" onclick="javascript:window.location = '#message_29'">
4476
    <div class="message_header">
4672
    <div class="message_header">
4477
        &nbsp;
4673
        &nbsp;
4478
    </div>
4674
    </div>
...
...
4506
            </span>
4702
            </span>
4507
            <!-- line values -->
4703
            <!-- line values -->
4508
<div class="parameters">
4704
<div class="parameters">
4509
    <ul>
4705
    <ul><!-- value -->
4510
        <!-- value -->
4511
<li>
4706
<li>
4512
    <strong>
4707
    <strong>
4513
            $objHouse
4708
            $objHouse
...
...
4523
</code>
4718
</code>
4524
    </div>
4719
    </div>
4525
</li>
4720
</li>
4526
<!-- end value -->
4721
<!-- end value --></ul>
4527
    </ul>
4528
</div>
4722
</div>
4529
<!-- end line values -->
4723
<!-- end line values -->
4530
        </div>
4724
        </div>
...
...
4624
<!-- end line after -->
4818
<!-- end line after -->
4625
</div>
4819
</div>
4626
<!-- end messages --><!-- messages -->
4820
<!-- end messages --><!-- messages -->
4627
<div class="line body">
4821
<div class="line body" title="Wolf(1) call House(1)-&gt;getBlowBy( $objWolf )" onclick="javascript:window.location = '#message_30'">
4628
    <div class="message_header">
4822
    <div class="message_header">
4629
        &nbsp;
4823
        &nbsp;
4630
    </div>
4824
    </div>
...
...
4710
            </span>
4904
            </span>
4711
            <!-- line values -->
4905
            <!-- line values -->
4712
<div class="parameters">
4906
<div class="parameters">
4713
    <ul>
4907
    <ul><!-- value -->
4714
        <!-- value -->
4715
<li>
4908
<li>
4716
    <strong>
4909
    <strong>
4717
            $objWolf
4910
            $objWolf
...
...
4727
</code>
4920
</code>
4728
    </div>
4921
    </div>
4729
</li>
4922
</li>
4730
<!-- end value -->
4923
<!-- end value --></ul>
4731
    </ul>
4732
</div>
4924
</div>
4733
<!-- end line values -->
4925
<!-- end line values -->
4734
        </div>
4926
        </div>
...
...
4776
<!-- end line after -->
4968
<!-- end line after -->
4777
</div>
4969
</div>
4778
<!-- end messages --><!-- messages -->
4970
<!-- end messages --><!-- messages -->
4779
<div class="line body">
4971
<div class="line body" title="House(1) call House(1)-&gt;getType(  )" onclick="javascript:window.location = '#message_31'">
4780
    <div class="message_header">
4972
    <div class="message_header">
4781
        &nbsp;
4973
        &nbsp;
4782
    </div>
4974
    </div>
...
...
4862
            </span>
5054
            </span>
4863
            <!-- line values -->
5055
            <!-- line values -->
4864
<div class="parameters">
5056
<div class="parameters">
4865
    <ul>
5057
    
4866
        
4867
    </ul>
4868
</div>
5058
</div>
4869
<!-- end line values -->
5059
<!-- end line values -->
4870
        </div>
5060
        </div>
...
...
4912
<!-- end line after -->
5102
<!-- end line after -->
4913
</div>
5103
</div>
4914
<!-- end messages --><!-- messages -->
5104
<!-- end messages --><!-- messages -->
4915
<div class="line body">
5105
<div class="line body" title="House(1) receive from House(1)-&gt;getType(  )" onclick="javascript:window.location = '#message_32'">
4916
    <div class="message_header">
5106
    <div class="message_header">
4917
        &nbsp;
5107
        &nbsp;
4918
    </div>
5108
    </div>
...
...
4998
            </span>
5188
            </span>
4999
            <!-- line values -->
5189
            <!-- line values -->
5000
<div class="parameters">
5190
<div class="parameters">
5001
    <ul>
5191
    <ul><!-- value -->
5002
        <!-- value -->
5003
<li>
5192
<li>
5004
    <strong>
5193
    <strong>
5005
            return
5194
            return
...
...
5015
</code>
5204
</code>
5016
    </div>
5205
    </div>
5017
</li>
5206
</li>
5018
<!-- end value -->
5207
<!-- end value --></ul>
5019
    </ul>
5020
</div>
5208
</div>
5021
<!-- end line values -->
5209
<!-- end line values -->
5022
        </div>
5210
        </div>
...
...
5064
<!-- end line after -->
5252
<!-- end line after -->
5065
</div>
5253
</div>
5066
<!-- end messages --><!-- messages -->
5254
<!-- end messages --><!-- messages -->
5067
<div class="line body">
5255
<div class="line body" title="House(1) call House(1)-&gt;colapse(  )" onclick="javascript:window.location = '#message_33'">
5068
    <div class="message_header">
5256
    <div class="message_header">
5069
        &nbsp;
5257
        &nbsp;
5070
    </div>
5258
    </div>
...
...
5150
            </span>
5338
            </span>
5151
            <!-- line values -->
5339
            <!-- line values -->
5152
<div class="parameters">
5340
<div class="parameters">
5153
    <ul>
5341
    
5154
        
5155
    </ul>
5156
</div>
5342
</div>
5157
<!-- end line values -->
5343
<!-- end line values -->
5158
        </div>
5344
        </div>
...
...
5200
<!-- end line after -->
5386
<!-- end line after -->
5201
</div>
5387
</div>
5202
<!-- end messages --><!-- messages -->
5388
<!-- end messages --><!-- messages -->
5203
<div class="line body">
5389
<div class="line body" title="House(1) receive from House(1)-&gt;colapse(  )" onclick="javascript:window.location = '#message_34'">
5204
    <div class="message_header">
5390
    <div class="message_header">
5205
        &nbsp;
5391
        &nbsp;
5206
    </div>
5392
    </div>
...
...
5286
            </span>
5472
            </span>
5287
            <!-- line values -->
5473
            <!-- line values -->
5288
<div class="parameters">
5474
<div class="parameters">
5289
    <ul>
5475
    <ul><!-- value -->
5290
        <!-- value -->
5291
<li>
5476
<li>
5292
    <strong>
5477
    <strong>
5293
            return
5478
            return
...
...
5303
</code>
5488
</code>
5304
    </div>
5489
    </div>
5305
</li>
5490
</li>
5306
<!-- end value -->
5491
<!-- end value --></ul>
5307
    </ul>
5308
</div>
5492
</div>
5309
<!-- end line values -->
5493
<!-- end line values -->
5310
        </div>
5494
        </div>
...
...
5352
<!-- end line after -->
5536
<!-- end line after -->
5353
</div>
5537
</div>
5354
<!-- end messages --><!-- messages -->
5538
<!-- end messages --><!-- messages -->
5355
<div class="line body">
5539
<div class="line body" title="House(1) call House(1)-&gt;isColapsed(  )" onclick="javascript:window.location = '#message_35'">
5356
    <div class="message_header">
5540
    <div class="message_header">
5357
        &nbsp;
5541
        &nbsp;
5358
    </div>
5542
    </div>
...
...
5438
            </span>
5622
            </span>
5439
            <!-- line values -->
5623
            <!-- line values -->
5440
<div class="parameters">
5624
<div class="parameters">
5441
    <ul>
5625
    
5442
        
5443
    </ul>
5444
</div>
5626
</div>
5445
<!-- end line values -->
5627
<!-- end line values -->
5446
        </div>
5628
        </div>
...
...
5488
<!-- end line after -->
5670
<!-- end line after -->
5489
</div>
5671
</div>
5490
<!-- end messages --><!-- messages -->
5672
<!-- end messages --><!-- messages -->
5491
<div class="line body">
5673
<div class="line body" title="House(1) receive from House(1)-&gt;isColapsed(  )" onclick="javascript:window.location = '#message_36'">
5492
    <div class="message_header">
5674
    <div class="message_header">
5493
        &nbsp;
5675
        &nbsp;
5494
    </div>
5676
    </div>
...
...
5574
            </span>
5756
            </span>
5575
            <!-- line values -->
5757
            <!-- line values -->
5576
<div class="parameters">
5758
<div class="parameters">
5577
    <ul>
5759
    <ul><!-- value -->
5578
        <!-- value -->
5579
<li>
5760
<li>
5580
    <strong>
5761
    <strong>
5581
            return
5762
            return
...
...
5591
</code>
5772
</code>
5592
    </div>
5773
    </div>
5593
</li>
5774
</li>
5594
<!-- end value -->
5775
<!-- end value --></ul>
5595
    </ul>
5596
</div>
5776
</div>
5597
<!-- end line values -->
5777
<!-- end line values -->
5598
        </div>
5778
        </div>
...
...
5640
<!-- end line after -->
5820
<!-- end line after -->
5641
</div>
5821
</div>
5642
<!-- end messages --><!-- messages -->
5822
<!-- end messages --><!-- messages -->
5643
<div class="line body">
5823
<div class="line body" title="Wolf(1) receive from House(1)-&gt;getBlowBy( $objWolf )" onclick="javascript:window.location = '#message_37'">
5644
    <div class="message_header">
5824
    <div class="message_header">
5645
        &nbsp;
5825
        &nbsp;
5646
    </div>
5826
    </div>
...
...
5726
            </span>
5906
            </span>
5727
            <!-- line values -->
5907
            <!-- line values -->
5728
<div class="parameters">
5908
<div class="parameters">
5729
    <ul>
5909
    <ul><!-- value -->
5730
        <!-- value -->
5731
<li>
5910
<li>
5732
    <strong>
5911
    <strong>
5733
            return
5912
            return
...
...
5743
</code>
5922
</code>
5744
    </div>
5923
    </div>
5745
</li>
5924
</li>
5746
<!-- end value -->
5925
<!-- end value --></ul>
5747
    </ul>
5748
</div>
5926
</div>
5749
<!-- end line values -->
5927
<!-- end line values -->
5750
        </div>
5928
        </div>
...
...
5792
<!-- end line after -->
5970
<!-- end line after -->
5793
</div>
5971
</div>
5794
<!-- end messages --><!-- messages -->
5972
<!-- end messages --><!-- messages -->
5795
<div class="line body">
5973
<div class="line body" title="Wolf(1) call House(1)-&gt;getPig(  )" onclick="javascript:window.location = '#message_38'">
5796
    <div class="message_header">
5974
    <div class="message_header">
5797
        &nbsp;
5975
        &nbsp;
5798
    </div>
5976
    </div>
...
...
5878
            </span>
6056
            </span>
5879
            <!-- line values -->
6057
            <!-- line values -->
5880
<div class="parameters">
6058
<div class="parameters">
5881
    <ul>
6059
    
5882
        
5883
    </ul>
5884
</div>
6060
</div>
5885
<!-- end line values -->
6061
<!-- end line values -->
5886
        </div>
6062
        </div>
...
...
5928
<!-- end line after -->
6104
<!-- end line after -->
5929
</div>
6105
</div>
5930
<!-- end messages --><!-- messages -->
6106
<!-- end messages --><!-- messages -->
5931
<div class="line body">
6107
<div class="line body" title="Wolf(1) receive from House(1)-&gt;getPig(  )" onclick="javascript:window.location = '#message_39'">
5932
    <div class="message_header">
6108
    <div class="message_header">
5933
        &nbsp;
6109
        &nbsp;
5934
    </div>
6110
    </div>
...
...
6014
            </span>
6190
            </span>
6015
            <!-- line values -->
6191
            <!-- line values -->
6016
<div class="parameters">
6192
<div class="parameters">
6017
    <ul>
6193
    <ul><!-- value -->
6018
        <!-- value -->
6019
<li>
6194
<li>
6020
    <strong>
6195
    <strong>
6021
            return
6196
            return
...
...
6031
</code>
6206
</code>
6032
    </div>
6207
    </div>
6033
</li>
6208
</li>
6034
<!-- end value -->
6209
<!-- end value --></ul>
6035
    </ul>
6036
</div>
6210
</div>
6037
<!-- end line values -->
6211
<!-- end line values -->
6038
        </div>
6212
        </div>
...
...
6080
<!-- end line after -->
6254
<!-- end line after -->
6081
</div>
6255
</div>
6082
<!-- end messages --><!-- messages -->
6256
<!-- end messages --><!-- messages -->
6083
<div class="line body">
6257
<div class="line body" title="Wolf(1) call LittlePig(1)-&gt;isKilled(  )" onclick="javascript:window.location = '#message_40'">
6084
    <div class="message_header">
6258
    <div class="message_header">
6085
        &nbsp;
6259
        &nbsp;
6086
    </div>
6260
    </div>
...
...
6127
            </span>
6301
            </span>
6128
            <!-- line values -->
6302
            <!-- line values -->
6129
<div class="parameters">
6303
<div class="parameters">
6130
    <ul>
6304
    
6131
        
6132
    </ul>
6133
</div>
6305
</div>
6134
<!-- end line values -->
6306
<!-- end line values -->
6135
        </div>
6307
        </div>
...
...
6216
<!-- end line after -->
6388
<!-- end line after -->
6217
</div>
6389
</div>
6218
<!-- end messages --><!-- messages -->
6390
<!-- end messages --><!-- messages -->
6219
<div class="line body">
6391
<div class="line body" title="Wolf(1) call LittlePig(1)-&gt;isEaten(  )" onclick="javascript:window.location = '#message_41'">
6220
    <div class="message_header">
6392
    <div class="message_header">
6221
        &nbsp;
6393
        &nbsp;
6222
    </div>
6394
    </div>
...
...
6263
            </span>
6435
            </span>
6264
            <!-- line values -->
6436
            <!-- line values -->
6265
<div class="parameters">
6437
<div class="parameters">
6266
    <ul>
6438
    
6267
        
6268
    </ul>
6269
</div>
6439
</div>
6270
<!-- end line values -->
6440
<!-- end line values -->
6271
        </div>
6441
        </div>
...
...
6352
<!-- end line after -->
6522
<!-- end line after -->
6353
</div>
6523
</div>
6354
<!-- end messages --><!-- messages -->
6524
<!-- end messages --><!-- messages -->
6355
<div class="line body">
6525
<div class="line body" title="History(1) call LittlePig(2)-&gt;getHouse(  )" onclick="javascript:window.location = '#message_42'">
6356
    <div class="message_header">
6526
    <div class="message_header">
6357
        &nbsp;
6527
        &nbsp;
6358
    </div>
6528
    </div>
...
...
6386
            </span>
6556
            </span>
6387
            <!-- line values -->
6557
            <!-- line values -->
6388
<div class="parameters">
6558
<div class="parameters">
6389
    <ul>
6559
    
6390
        
6391
    </ul>
6392
</div>
6560
</div>
6393
<!-- end line values -->
6561
<!-- end line values -->
6394
        </div>
6562
        </div>
...
...
6488
<!-- end line after -->
6656
<!-- end line after -->
6489
</div>
6657
</div>
6490
<!-- end messages --><!-- messages -->
6658
<!-- end messages --><!-- messages -->
6491
<div class="line body">
6659
<div class="line body" title="History(1) receive from LittlePig(2)-&gt;getHouse(  )" onclick="javascript:window.location = '#message_43'">
6492
    <div class="message_header">
6660
    <div class="message_header">
6493
        &nbsp;
6661
        &nbsp;
6494
    </div>
6662
    </div>
...
...
6522
            </span>
6690
            </span>
6523
            <!-- line values -->
6691
            <!-- line values -->
6524
<div class="parameters">
6692
<div class="parameters">
6525
    <ul>
6693
    <ul><!-- value -->
6526
        <!-- value -->
6527
<li>
6694
<li>
6528
    <strong>
6695
    <strong>
6529
            return
6696
            return
...
...
6539
</code>
6706
</code>
6540
    </div>
6707
    </div>
6541
</li>
6708
</li>
6542
<!-- end value -->
6709
<!-- end value --></ul>
6543
    </ul>
6544
</div>
6710
</div>
6545
<!-- end line values -->
6711
<!-- end line values -->
6546
        </div>
6712
        </div>
...
...
6640
<!-- end line after -->
6806
<!-- end line after -->
6641
</div>
6807
</div>
6642
<!-- end messages --><!-- messages -->
6808
<!-- end messages --><!-- messages -->
6643
<div class="line body">
6809
<div class="line body" title="History(1) call Wolf(1)-&gt;blowIt( $objHouse )" onclick="javascript:window.location = '#message_44'">
6644
    <div class="message_header">
6810
    <div class="message_header">
6645
        &nbsp;
6811
        &nbsp;
6646
    </div>
6812
    </div>
...
...
6674
            </span>
6840
            </span>
6675
            <!-- line values -->
6841
            <!-- line values -->
6676
<div class="parameters">
6842
<div class="parameters">
6677
    <ul>
6843
    <ul><!-- value -->
6678
        <!-- value -->
6679
<li>
6844
<li>
6680
    <strong>
6845
    <strong>
6681
            $objHouse
6846
            $objHouse
...
...
6691
</code>
6856
</code>
6692
    </div>
6857
    </div>
6693
</li>
6858
</li>
6694
<!-- end value -->
6859
<!-- end value --></ul>
6695
    </ul>
6696
</div>
6860
</div>
6697
<!-- end line values -->
6861
<!-- end line values -->
6698
        </div>
6862
        </div>
...
...
6792
<!-- end line after -->
6956
<!-- end line after -->
6793
</div>
6957
</div>
6794
<!-- end messages --><!-- messages -->
6958
<!-- end messages --><!-- messages -->
6795
<div class="line body">
6959
<div class="line body" title="Wolf(1) call House(2)-&gt;getBlowBy( $objWolf )" onclick="javascript:window.location = '#message_45'">
6796
    <div class="message_header">
6960
    <div class="message_header">
6797
        &nbsp;
6961
        &nbsp;
6798
    </div>
6962
    </div>
...
...
6891
            </span>
7055
            </span>
6892
            <!-- line values -->
7056
            <!-- line values -->
6893
<div class="parameters">
7057
<div class="parameters">
6894
    <ul>
7058
    <ul><!-- value -->
6895
        <!-- value -->
6896
<li>
7059
<li>
6897
    <strong>
7060
    <strong>
6898
            $objWolf
7061
            $objWolf
...
...
6908
</code>
7071
</code>
6909
    </div>
7072
    </div>
6910
</li>
7073
</li>
6911
<!-- end value -->
7074
<!-- end value --></ul>
6912
    </ul>
6913
</div>
7075
</div>
6914
<!-- end line values -->
7076
<!-- end line values -->
6915
        </div>
7077
        </div>
...
...
6944
<!-- end line after -->
7106
<!-- end line after -->
6945
</div>
7107
</div>
6946
<!-- end messages --><!-- messages -->
7108
<!-- end messages --><!-- messages -->
6947
<div class="line body">
7109
<div class="line body" title="House(2) call House(2)-&gt;getType(  )" onclick="javascript:window.location = '#message_46'">
6948
    <div class="message_header">
7110
    <div class="message_header">
6949
        &nbsp;
7111
        &nbsp;
6950
    </div>
7112
    </div>
...
...
7043
            </span>
7205
            </span>
7044
            <!-- line values -->
7206
            <!-- line values -->
7045
<div class="parameters">
7207
<div class="parameters">
7046
    <ul>
7208
    
7047
        
7048
    </ul>
7049
</div>
7209
</div>
7050
<!-- end line values -->
7210
<!-- end line values -->
7051
        </div>
7211
        </div>
...
...
7080
<!-- end line after -->
7240
<!-- end line after -->
7081
</div>
7241
</div>
7082
<!-- end messages --><!-- messages -->
7242
<!-- end messages --><!-- messages -->
7083
<div class="line body">
7243
<div class="line body" title="House(2) receive from House(2)-&gt;getType(  )" onclick="javascript:window.location = '#message_47'">
7084
    <div class="message_header">
7244
    <div class="message_header">
7085
        &nbsp;
7245
        &nbsp;
7086
    </div>
7246
    </div>
...
...
7179
            </span>
7339
            </span>
7180
            <!-- line values -->
7340
            <!-- line values -->
7181
<div class="parameters">
7341
<div class="parameters">
7182
    <ul>
7342
    <ul><!-- value -->
7183
        <!-- value -->
7184
<li>
7343
<li>
7185
    <strong>
7344
    <strong>
7186
            return
7345
            return
...
...
7196
</code>
7355
</code>
7197
    </div>
7356
    </div>
7198
</li>
7357
</li>
7199
<!-- end value -->
7358
<!-- end value --></ul>
7200
    </ul>
7201
</div>
7359
</div>
7202
<!-- end line values -->
7360
<!-- end line values -->
7203
        </div>
7361
        </div>
...
...
7232
<!-- end line after -->
7390
<!-- end line after -->
7233
</div>
7391
</div>
7234
<!-- end messages --><!-- messages -->
7392
<!-- end messages --><!-- messages -->
7235
<div class="line body">
7393
<div class="line body" title="House(2) call House(2)-&gt;colapse(  )" onclick="javascript:window.location = '#message_48'">
7236
    <div class="message_header">
7394
    <div class="message_header">
7237
        &nbsp;
7395
        &nbsp;
7238
    </div>
7396
    </div>
...
...
7331
            </span>
7489
            </span>
7332
            <!-- line values -->
7490
            <!-- line values -->
7333
<div class="parameters">
7491
<div class="parameters">
7334
    <ul>
7492
    
7335
        
7336
    </ul>
7337
</div>
7493
</div>
7338
<!-- end line values -->
7494
<!-- end line values -->
7339
        </div>
7495
        </div>
...
...
7368
<!-- end line after -->
7524
<!-- end line after -->
7369
</div>
7525
</div>
7370
<!-- end messages --><!-- messages -->
7526
<!-- end messages --><!-- messages -->
7371
<div class="line body">
7527
<div class="line body" title="House(2) receive from House(2)-&gt;colapse(  )" onclick="javascript:window.location = '#message_49'">
7372
    <div class="message_header">
7528
    <div class="message_header">
7373
        &nbsp;
7529
        &nbsp;
7374
    </div>
7530
    </div>
...
...
7467
            </span>
7623
            </span>
7468
            <!-- line values -->
7624
            <!-- line values -->
7469
<div class="parameters">
7625
<div class="parameters">
7470
    <ul>
7626
    <ul><!-- value -->
7471
        <!-- value -->
7472
<li>
7627
<li>
7473
    <strong>
7628
    <strong>
7474
            return
7629
            return
...
...
7484
</code>
7639
</code>
7485
    </div>
7640
    </div>
7486
</li>
7641
</li>
7487
<!-- end value -->
7642
<!-- end value --></ul>
7488
    </ul>
7489
</div>
7643
</div>
7490
<!-- end line values -->
7644
<!-- end line values -->
7491
        </div>
7645
        </div>
...
...
7520
<!-- end line after -->
7674
<!-- end line after -->
7521
</div>
7675
</div>
7522
<!-- end messages --><!-- messages -->
7676
<!-- end messages --><!-- messages -->
7523
<div class="line body">
7677
<div class="line body" title="House(2) call House(2)-&gt;isColapsed(  )" onclick="javascript:window.location = '#message_50'">
7524
    <div class="message_header">
7678
    <div class="message_header">
7525
        &nbsp;
7679
        &nbsp;
7526
    </div>
7680
    </div>
...
...
7619
            </span>
7773
            </span>
7620
            <!-- line values -->
7774
            <!-- line values -->
7621
<div class="parameters">
7775
<div class="parameters">
7622
    <ul>
7776
    
7623
        
7624
    </ul>
7625
</div>
7777
</div>
7626
<!-- end line values -->
7778
<!-- end line values -->
7627
        </div>
7779
        </div>
...
...
7656
<!-- end line after -->
7808
<!-- end line after -->
7657
</div>
7809
</div>
7658
<!-- end messages --><!-- messages -->
7810
<!-- end messages --><!-- messages -->
7659
<div class="line body">
7811
<div class="line body" title="House(2) receive from House(2)-&gt;isColapsed(  )" onclick="javascript:window.location = '#message_51'">
7660
    <div class="message_header">
7812
    <div class="message_header">
7661
        &nbsp;
7813
        &nbsp;
7662
    </div>
7814
    </div>
...
...
7755
            </span>
7907
            </span>
7756
            <!-- line values -->
7908
            <!-- line values -->
7757
<div class="parameters">
7909
<div class="parameters">
7758
    <ul>
7910
    <ul><!-- value -->
7759
        <!-- value -->
7760
<li>
7911
<li>
7761
    <strong>
7912
    <strong>
7762
            return
7913
            return
...
...
7772
</code>
7923
</code>
7773
    </div>
7924
    </div>
7774
</li>
7925
</li>
7775
<!-- end value -->
7926
<!-- end value --></ul>
7776
    </ul>
7777
</div>
7927
</div>
7778
<!-- end line values -->
7928
<!-- end line values -->
7779
        </div>
7929
        </div>
...
...
7808
<!-- end line after -->
7958
<!-- end line after -->
7809
</div>
7959
</div>
7810
<!-- end messages --><!-- messages -->
7960
<!-- end messages --><!-- messages -->
7811
<div class="line body">
7961
<div class="line body" title="Wolf(1) receive from House(2)-&gt;getBlowBy( $objWolf )" onclick="javascript:window.location = '#message_52'">
7812
    <div class="message_header">
7962
    <div class="message_header">
7813
        &nbsp;
7963
        &nbsp;
7814
    </div>
7964
    </div>
...
...
7907
            </span>
8057
            </span>
7908
            <!-- line values -->
8058
            <!-- line values -->
7909
<div class="parameters">
8059
<div class="parameters">
7910
    <ul>
8060
    <ul><!-- value -->
7911
        <!-- value -->
7912
<li>
8061
<li>
7913
    <strong>
8062
    <strong>
7914
            return
8063
            return
...
...
7924
</code>
8073
</code>
7925
    </div>
8074
    </div>
7926
</li>
8075
</li>
7927
<!-- end value -->
8076
<!-- end value --></ul>
7928
    </ul>
7929
</div>
8077
</div>
7930
<!-- end line values -->
8078
<!-- end line values -->
7931
        </div>
8079
        </div>
...
...
7960
<!-- end line after -->
8108
<!-- end line after -->
7961
</div>
8109
</div>
7962
<!-- end messages --><!-- messages -->
8110
<!-- end messages --><!-- messages -->
7963
<div class="line body">
8111
<div class="line body" title="Wolf(1) call House(2)-&gt;getPig(  )" onclick="javascript:window.location = '#message_53'">
7964
    <div class="message_header">
8112
    <div class="message_header">
7965
        &nbsp;
8113
        &nbsp;
7966
    </div>
8114
    </div>
...
...
8059
            </span>
8207
            </span>
8060
            <!-- line values -->
8208
            <!-- line values -->
8061
<div class="parameters">
8209
<div class="parameters">
8062
    <ul>
8210
    
8063
        
8064
    </ul>
8065
</div>
8211
</div>
8066
<!-- end line values -->
8212
<!-- end line values -->
8067
        </div>
8213
        </div>
...
...
8096
<!-- end line after -->
8242
<!-- end line after -->
8097
</div>
8243
</div>
8098
<!-- end messages --><!-- messages -->
8244
<!-- end messages --><!-- messages -->
8099
<div class="line body">
8245
<div class="line body" title="Wolf(1) receive from House(2)-&gt;getPig(  )" onclick="javascript:window.location = '#message_54'">
8100
    <div class="message_header">
8246
    <div class="message_header">
8101
        &nbsp;
8247
        &nbsp;
8102
    </div>
8248
    </div>
...
...
8195
            </span>
8341
            </span>
8196
            <!-- line values -->
8342
            <!-- line values -->
8197
<div class="parameters">
8343
<div class="parameters">
8198
    <ul>
8344
    <ul><!-- value -->
8199
        <!-- value -->
8200
<li>
8345
<li>
8201
    <strong>
8346
    <strong>
8202
            return
8347
            return
...
...
8212
</code>
8357
</code>
8213
    </div>
8358
    </div>
8214
</li>
8359
</li>
8215
<!-- end value -->
8360
<!-- end value --></ul>
8216
    </ul>
8217
</div>
8361
</div>
8218
<!-- end line values -->
8362
<!-- end line values -->
8219
        </div>
8363
        </div>
...
...
8248
<!-- end line after -->
8392
<!-- end line after -->
8249
</div>
8393
</div>
8250
<!-- end messages --><!-- messages -->
8394
<!-- end messages --><!-- messages -->
8251
<div class="line body">
8395
<div class="line body" title="Wolf(1) call LittlePig(2)-&gt;isKilled(  )" onclick="javascript:window.location = '#message_55'">
8252
    <div class="message_header">
8396
    <div class="message_header">
8253
        &nbsp;
8397
        &nbsp;
8254
    </div>
8398
    </div>
...
...
8308
            </span>
8452
            </span>
8309
            <!-- line values -->
8453
            <!-- line values -->
8310
<div class="parameters">
8454
<div class="parameters">
8311
    <ul>
8455
    
8312
        
8313
    </ul>
8314
</div>
8456
</div>
8315
<!-- end line values -->
8457
<!-- end line values -->
8316
        </div>
8458
        </div>
...
...
8384
<!-- end line after -->
8526
<!-- end line after -->
8385
</div>
8527
</div>
8386
<!-- end messages --><!-- messages -->
8528
<!-- end messages --><!-- messages -->
8387
<div class="line body">
8529
<div class="line body" title="Wolf(1) call LittlePig(2)-&gt;isEaten(  )" onclick="javascript:window.location = '#message_56'">
8388
    <div class="message_header">
8530
    <div class="message_header">
8389
        &nbsp;
8531
        &nbsp;
8390
    </div>
8532
    </div>
...
...
8444
            </span>
8586
            </span>
8445
            <!-- line values -->
8587
            <!-- line values -->
8446
<div class="parameters">
8588
<div class="parameters">
8447
    <ul>
8589
    
8448
        
8449
    </ul>
8450
</div>
8590
</div>
8451
<!-- end line values -->
8591
<!-- end line values -->
8452
        </div>
8592
        </div>
...
...
8520
<!-- end line after -->
8660
<!-- end line after -->
8521
</div>
8661
</div>
8522
<!-- end messages --><!-- messages -->
8662
<!-- end messages --><!-- messages -->
8523
<div class="line body">
8663
<div class="line body" title="History(1) call LittlePig(3)-&gt;getHouse(  )" onclick="javascript:window.location = '#message_57'">
8524
    <div class="message_header">
8664
    <div class="message_header">
8525
        &nbsp;
8665
        &nbsp;
8526
    </div>
8666
    </div>
...
...
8554
            </span>
8694
            </span>
8555
            <!-- line values -->
8695
            <!-- line values -->
8556
<div class="parameters">
8696
<div class="parameters">
8557
    <ul>
8697
    
8558
        
8559
    </ul>
8560
</div>
8698
</div>
8561
<!-- end line values -->
8699
<!-- end line values -->
8562
        </div>
8700
        </div>
...
...
8656
<!-- end line after -->
8794
<!-- end line after -->
8657
</div>
8795
</div>
8658
<!-- end messages --><!-- messages -->
8796
<!-- end messages --><!-- messages -->
8659
<div class="line body">
8797
<div class="line body" title="History(1) receive from LittlePig(3)-&gt;getHouse(  )" onclick="javascript:window.location = '#message_58'">
8660
    <div class="message_header">
8798
    <div class="message_header">
8661
        &nbsp;
8799
        &nbsp;
8662
    </div>
8800
    </div>
...
...
8690
            </span>
8828
            </span>
8691
            <!-- line values -->
8829
            <!-- line values -->
8692
<div class="parameters">
8830
<div class="parameters">
8693
    <ul>
8831
    <ul><!-- value -->
8694
        <!-- value -->
8695
<li>
8832
<li>
8696
    <strong>
8833
    <strong>
8697
            return
8834
            return
...
...
8707
</code>
8844
</code>
8708
    </div>
8845
    </div>
8709
</li>
8846
</li>
8710
<!-- end value -->
8847
<!-- end value --></ul>
8711
    </ul>
8712
</div>
8848
</div>
8713
<!-- end line values -->
8849
<!-- end line values -->
8714
        </div>
8850
        </div>
...
...
8808
<!-- end line after -->
8944
<!-- end line after -->
8809
</div>
8945
</div>
8810
<!-- end messages --><!-- messages -->
8946
<!-- end messages --><!-- messages -->
8811
<div class="line body">
8947
<div class="line body" title="History(1) call Wolf(1)-&gt;blowIt( $objHouse )" onclick="javascript:window.location = '#message_59'">
8812
    <div class="message_header">
8948
    <div class="message_header">
8813
        &nbsp;
8949
        &nbsp;
8814
    </div>
8950
    </div>
...
...
8842
            </span>
8978
            </span>
8843
            <!-- line values -->
8979
            <!-- line values -->
8844
<div class="parameters">
8980
<div class="parameters">
8845
    <ul>
8981
    <ul><!-- value -->
8846
        <!-- value -->
8847
<li>
8982
<li>
8848
    <strong>
8983
    <strong>
8849
            $objHouse
8984
            $objHouse
...
...
8859
</code>
8994
</code>
8860
    </div>
8995
    </div>
8861
</li>
8996
</li>
8862
<!-- end value -->
8997
<!-- end value --></ul>
8863
    </ul>
8864
</div>
8998
</div>
8865
<!-- end line values -->
8999
<!-- end line values -->
8866
        </div>
9000
        </div>
...
...
8960
<!-- end line after -->
9094
<!-- end line after -->
8961
</div>
9095
</div>
8962
<!-- end messages --><!-- messages -->
9096
<!-- end messages --><!-- messages -->
8963
<div class="line body">
9097
<div class="line body" title="Wolf(1) call House(3)-&gt;getBlowBy( $objWolf )" onclick="javascript:window.location = '#message_60'">
8964
    <div class="message_header">
9098
    <div class="message_header">
8965
        &nbsp;
9099
        &nbsp;
8966
    </div>
9100
    </div>
...
...
9072
            </span>
9206
            </span>
9073
            <!-- line values -->
9207
            <!-- line values -->
9074
<div class="parameters">
9208
<div class="parameters">
9075
    <ul>
9209
    <ul><!-- value -->
9076
        <!-- value -->
9077
<li>
9210
<li>
9078
    <strong>
9211
    <strong>
9079
            $objWolf
9212
            $objWolf
...
...
9089
</code>
9222
</code>
9090
    </div>
9223
    </div>
9091
</li>
9224
</li>
9092
<!-- end value -->
9225
<!-- end value --></ul>
9093
    </ul>
9094
</div>
9226
</div>
9095
<!-- end line values -->
9227
<!-- end line values -->
9096
        </div>
9228
        </div>
...
...
9112
<!-- end line after -->
9244
<!-- end line after -->
9113
</div>
9245
</div>
9114
<!-- end messages --><!-- messages -->
9246
<!-- end messages --><!-- messages -->
9115
<div class="line body">
9247
<div class="line body" title="House(3) call House(3)-&gt;getType(  )" onclick="javascript:window.location = '#message_61'">
9116
    <div class="message_header">
9248
    <div class="message_header">
9117
        &nbsp;
9249
        &nbsp;
9118
    </div>
9250
    </div>
...
...
9224
            </span>
9356
            </span>
9225
            <!-- line values -->
9357
            <!-- line values -->
9226
<div class="parameters">
9358
<div class="parameters">
9227
    <ul>
9359
    
9228
        
9229
    </ul>
9230
</div>
9360
</div>
9231
<!-- end line values -->
9361
<!-- end line values -->
9232
        </div>
9362
        </div>
...
...
9248
<!-- end line after -->
9378
<!-- end line after -->
9249
</div>
9379
</div>
9250
<!-- end messages --><!-- messages -->
9380
<!-- end messages --><!-- messages -->
9251
<div class="line body">
9381
<div class="line body" title="House(3) receive from House(3)-&gt;getType(  )" onclick="javascript:window.location = '#message_62'">
9252
    <div class="message_header">
9382
    <div class="message_header">
9253
        &nbsp;
9383
        &nbsp;
9254
    </div>
9384
    </div>
...
...
9360
            </span>
9490
            </span>
9361
            <!-- line values -->
9491
            <!-- line values -->
9362
<div class="parameters">
9492
<div class="parameters">
9363
    <ul>
9493
    <ul><!-- value -->
9364
        <!-- value -->
9365
<li>
9494
<li>
9366
    <strong>
9495
    <strong>
9367
            return
9496
            return
...
...
9377
</code>
9506
</code>
9378
    </div>
9507
    </div>
9379
</li>
9508
</li>
9380
<!-- end value -->
9509
<!-- end value --></ul>
9381
    </ul>
9382
</div>
9510
</div>
9383
<!-- end line values -->
9511
<!-- end line values -->
9384
        </div>
9512
        </div>
...
...
9400
<!-- end line after -->
9528
<!-- end line after -->
9401
</div>
9529
</div>
9402
<!-- end messages --><!-- messages -->
9530
<!-- end messages --><!-- messages -->
9403
<div class="line body">
9531
<div class="line body" title="House(3) call House(3)-&gt;getPig(  )" onclick="javascript:window.location = '#message_63'">
9404
    <div class="message_header">
9532
    <div class="message_header">
9405
        &nbsp;
9533
        &nbsp;
9406
    </div>
9534
    </div>
...
...
9512
            </span>
9640
            </span>
9513
            <!-- line values -->
9641
            <!-- line values -->
9514
<div class="parameters">
9642
<div class="parameters">
9515
    <ul>
9643
    
9516
        
9517
    </ul>
9518
</div>
9644
</div>
9519
<!-- end line values -->
9645
<!-- end line values -->
9520
        </div>
9646
        </div>
...
...
9536
<!-- end line after -->
9662
<!-- end line after -->
9537
</div>
9663
</div>
9538
<!-- end messages --><!-- messages -->
9664
<!-- end messages --><!-- messages -->
9539
<div class="line body">
9665
<div class="line body" title="House(3) receive from House(3)-&gt;getPig(  )" onclick="javascript:window.location = '#message_64'">
9540
    <div class="message_header">
9666
    <div class="message_header">
9541
        &nbsp;
9667
        &nbsp;
9542
    </div>
9668
    </div>
...
...
9648
            </span>
9774
            </span>
9649
            <!-- line values -->
9775
            <!-- line values -->
9650
<div class="parameters">
9776
<div class="parameters">
9651
    <ul>
9777
    <ul><!-- value -->
9652
        <!-- value -->
9653
<li>
9778
<li>
9654
    <strong>
9779
    <strong>
9655
            return
9780
            return
...
...
9665
</code>
9790
</code>
9666
    </div>
9791
    </div>
9667
</li>
9792
</li>
9668
<!-- end value -->
9793
<!-- end value --></ul>
9669
    </ul>
9670
</div>
9794
</div>
9671
<!-- end line values -->
9795
<!-- end line values -->
9672
        </div>
9796
        </div>
...
...
9688
<!-- end line after -->
9812
<!-- end line after -->
9689
</div>
9813
</div>
9690
<!-- end messages --><!-- messages -->
9814
<!-- end messages --><!-- messages -->
9691
<div class="line body">
9815
<div class="line body" title="House(3) call LittlePig(3)-&gt;wakeUpBy( $objWolf )" onclick="javascript:window.location = '#message_65'">
9692
    <div class="message_header">
9816
    <div class="message_header">
9693
        &nbsp;
9817
        &nbsp;
9694
    </div>
9818
    </div>
...
...
9761
            </span>
9885
            </span>
9762
            <!-- line values -->
9886
            <!-- line values -->
9763
<div class="parameters">
9887
<div class="parameters">
9764
    <ul>
9888
    <ul><!-- value -->
9765
        <!-- value -->
9766
<li>
9889
<li>
9767
    <strong>
9890
    <strong>
9768
            $objWolf
9891
            $objWolf
...
...
9778
</code>
9901
</code>
9779
    </div>
9902
    </div>
9780
</li>
9903
</li>
9781
<!-- end value -->
9904
<!-- end value --></ul>
9782
    </ul>
9783
</div>
9905
</div>
9784
<!-- end line values -->
9906
<!-- end line values -->
9785
        </div>
9907
        </div>
...
...
9840
<!-- end line after -->
9962
<!-- end line after -->
9841
</div>
9963
</div>
9842
<!-- end messages --><!-- messages -->
9964
<!-- end messages --><!-- messages -->
9843
<div class="line body">
9965
<div class="line body" title="LittlePig(3) call Wolf(1)-&gt;isKilled(  )" onclick="javascript:window.location = '#message_66'">
9844
    <div class="message_header">
9966
    <div class="message_header">
9845
        &nbsp;
9967
        &nbsp;
9846
    </div>
9968
    </div>
...
...
9913
            </span>
10035
            </span>
9914
            <!-- line values -->
10036
            <!-- line values -->
9915
<div class="parameters">
10037
<div class="parameters">
9916
    <ul>
10038
    
9917
        
9918
    </ul>
9919
</div>
10039
</div>
9920
<!-- end line values -->
10040
<!-- end line values -->
9921
        </div>
10041
        </div>
...
...
9976
<!-- end line after -->
10096
<!-- end line after -->
9977
</div>
10097
</div>
9978
<!-- end messages --><!-- messages -->
10098
<!-- end messages --><!-- messages -->
9979
<div class="line body">
10099
<div class="line body" title="LittlePig(3) call LittlePig(3)-&gt;happyEverAfter(  )" onclick="javascript:window.location = '#message_67'">
9980
    <div class="message_header">
10100
    <div class="message_header">
9981
        &nbsp;
10101
        &nbsp;
9982
    </div>
10102
    </div>
...
...
10049
            </span>
10169
            </span>
10050
            <!-- line values -->
10170
            <!-- line values -->
10051
<div class="parameters">
10171
<div class="parameters">
10052
    <ul>
10172
    
10053
        
10054
    </ul>
10055
</div>
10173
</div>
10056
<!-- end line values -->
10174
<!-- end line values -->
10057
        </div>
10175
        </div>
...
...
10112
<!-- end line after -->
10230
<!-- end line after -->
10113
</div>
10231
</div>
10114
<!-- end messages --><!-- messages -->
10232
<!-- end messages --><!-- messages -->
10115
<div class="line body">
10233
<div class="line body" title="LittlePig(3) call LittlePig(3)-&gt;say( $strText )" onclick="javascript:window.location = '#message_68'">
10116
    <div class="message_header">
10234
    <div class="message_header">
10117
        &nbsp;
10235
        &nbsp;
10118
    </div>
10236
    </div>
...
...
10185
            </span>
10303
            </span>
10186
            <!-- line values -->
10304
            <!-- line values -->
10187
<div class="parameters">
10305
<div class="parameters">
10188
    <ul>
10306
    <ul><!-- value -->
10189
        <!-- value -->
10190
<li>
10307
<li>
10191
    <strong>
10308
    <strong>
10192
            $strText
10309
            $strText
...
...
10202
</code>
10319
</code>
10203
    </div>
10320
    </div>
10204
</li>
10321
</li>
10205
<!-- end value -->
10322
<!-- end value --></ul>
10206
    </ul>
10207
</div>
10323
</div>
10208
<!-- end line values -->
10324
<!-- end line values -->
10209
        </div>
10325
        </div>
...
...
10264
<!-- end line after -->
10380
<!-- end line after -->
10265
</div>
10381
</div>
10266
<!-- end messages --><!-- messages -->
10382
<!-- end messages --><!-- messages -->
10267
<div class="line body">
10383
<div class="line body" title="LittlePig(3) receive from LittlePig(3)-&gt;say( $strText )" onclick="javascript:window.location = '#message_69'">
10268
    <div class="message_header">
10384
    <div class="message_header">
10269
        &nbsp;
10385
        &nbsp;
10270
    </div>
10386
    </div>
...
...
10337
            </span>
10453
            </span>
10338
            <!-- line values -->
10454
            <!-- line values -->
10339
<div class="parameters">
10455
<div class="parameters">
10340
    <ul>
10456
    <ul><!-- value -->
10341
        <!-- value -->
10342
<li>
10457
<li>
10343
    <strong>
10458
    <strong>
10344
            return
10459
            return
...
...
10354
</code>
10469
</code>
10355
    </div>
10470
    </div>
10356
</li>
10471
</li>
10357
<!-- end value -->
10472
<!-- end value --></ul>
10358
    </ul>
10359
</div>
10473
</div>
10360
<!-- end line values -->
10474
<!-- end line values -->
10361
        </div>
10475
        </div>
...
...
10416
<!-- end line after -->
10530
<!-- end line after -->
10417
</div>
10531
</div>
10418
<!-- end messages --><!-- messages -->
10532
<!-- end messages --><!-- messages -->
10419
<div class="line body">
10533
<div class="line body" title="House(3) call House(3)-&gt;isColapsed(  )" onclick="javascript:window.location = '#message_70'">
10420
    <div class="message_header">
10534
    <div class="message_header">
10421
        &nbsp;
10535
        &nbsp;
10422
    </div>
10536
    </div>
...
...
10528
            </span>
10642
            </span>
10529
            <!-- line values -->
10643
            <!-- line values -->
10530
<div class="parameters">
10644
<div class="parameters">
10531
    <ul>
10645
    
10532
        
10533
    </ul>
10534
</div>
10646
</div>
10535
<!-- end line values -->
10647
<!-- end line values -->
10536
        </div>
10648
        </div>
...
...
10552
<!-- end line after -->
10664
<!-- end line after -->
10553
</div>
10665
</div>
10554
<!-- end messages --><!-- messages -->
10666
<!-- end messages --><!-- messages -->
10555
<div class="line body">
10667
<div class="line body" title="user" onclick="javascript:window.location = '#message_71'">
10556
    <div class="message_header">
10668
    <div class="message_header">
10557
        &nbsp;
10669
        &nbsp;
10558
    </div>
10670
    </div>
...
...
10573
            </span>
10685
            </span>
10574
            <!-- line values -->
10686
            <!-- line values -->
10575
<div class="parameters">
10687
<div class="parameters">
10576
    <ul>
10688
    
10577
        
10578
    </ul>
10579
</div>
10689
</div>
10580
<!-- end line values -->
10690
<!-- end line values -->
10581
        </div>
10691
        </div>
...
...
10688
<!-- end line after -->
10798
<!-- end line after -->
10689
</div>
10799
</div>
10690
<!-- end messages -->
10800
<!-- end messages -->
10691
        <div class="detail"><ol>
10801
        <script type="text/javascript">
10692
<li><div class="message" id="div_message_1">
10802
/*<![CDATA[*/
10803
    function showHideTab( objTab , intMinSize , intMaxSize )
10804
    {
10805
        if( window.countTab == undefined )
10806
        {
10807
            window.countTab = 1;
10808
            window.tabs = new Object();
10809
        }
10810
        if( !objTab.id)
10811
        {
10812
            objTab.id = "tab_" + window.countTab;
10813
            window.countTab++;
10814
            window.tabs[ objTab.id ] = 'open';
10815
        }
10816
10817
        objTab.className = "detail";
10818
        if( ( window.tabs[ objTab.id ] == 'open' ) || ( window.tabs[ objTab.id ] == 'stop_open' ) )
10819
        {
10820
            window.tabs[ objTab.id ] = 'close';
10821
        }
10822
        else
10823
        {
10824
            window.tabs[ objTab.id ] = 'open';
10825
        }
10826
        changeTab( objTab , intMinSize , intMaxSize );
10827
    }
10828
10829
    function changeTab( objTab , intMinSize , intMaxSize )
10830
    {
10831
        if( window.tabs[ objTab.id ] == 'open' )
10832
        {
10833
            openTab( objTab , intMaxSize  );
10834
            setTimeout( 'changeTab( document.getElementById("' + objTab.id + '" ) , ' + intMinSize + ' , ' + intMaxSize + ' )' , 3 );
10835
        }
10836
        if( window.tabs[ objTab.id ] == 'close' )
10837
        {
10838
            closeTab( objTab , intMinSize );
10839
            setTimeout( 'changeTab( document.getElementById("' + objTab.id + '" ) , ' + intMinSize + ' , ' + intMaxSize + ' )' , 3 );
10840
        }
10841
    }
10842
10843
    function closeTab( objTab , intMinSize )
10844
    {
10845
        if( objTab.clientHeight > intMinSize )
10846
        {
10847
            objTab.className = "detail closing";
10848
            objTab.style.height = Math.round( objTab.clientHeight * 70 / 100 - 1 ) + "px";
10849
            objTab.scrollTop = 0;
10850
        }
10851
        else
10852
        {
10853
            objTab.style.height = intMinSize + "px";
10854
            objTab.className = "detail closed";
10855
            window.tabs[ objTab.id ] = 'stop_close';
10856
        }
10857
    }
10858
10859
    function openTab( objTab , intMaxSize )
10860
    {
10861
        if( objTab.clientHeight < objTab.scrollHeight )
10862
        {
10863
            objTab.className = "detail opening";
10864
            objTab.style.height = Math.round( objTab.clientHeight * 1.3 ) + "px";
10865
        }
10866
        else
10867
        {
10868
            objTab.style.height = Math.round( objTab.clientHeight ) + "px";
10869
            window.tabs[ objTab.id ] = 'stop_open';
10870
            objTab.className = "detail opened";
10871
        }
10872
    }
10873
/*]]>*/
10874
</script>
10875
<div class="tab">
10876
    <div class="button_bar">
10877
    </div>
10878
    <div class="detail_tab">
10879
        <div class="detail">
10880
            <h3  onclick="javascript:showHideTab( this.parentNode , 40 , this.parentNode.scrollHeight )">
10881
                Details
10882
            </h3>
10883
            <ol>
10884
                <li><div class="message" id="div_message_1">
10693
<a name="message_1"><span class="detail_actor from">user</span> create new <span class="detail_actor
to">History(1)</span></a>
10885
<a name="message_1"><span class="detail_actor from">user</span> create new <span class="detail_actor
to">History(1)</span></a>
10694
<div class="values" >
10886
<div class="values" >
10695
</div></div></li>
10887
</div></div></li>
...
...
11183
<a name="message_71"><span class="detail_actor from">user</span> destroy <span class="detail_actor
to">History(1)</span></a>
11375
<a name="message_71"><span class="detail_actor from">user</span> destroy <span class="detail_actor
to">History(1)</span></a>
11184
<div class="values" >
11376
<div class="values" >
11185
</div></div></li>
11377
</div></div></li>
11186
</ol></div>
11187
11378
11379
            </ol>
11380
        </div>
11188
    </div>
11381
    </div>
11189
</div>
11382
</div>
11383
    </div>
11384
</div>
11385
<script type="text/javascript">
11386
    /*<![CDATA[*/
11387
    document.body.onload = function()
11388
    {
11389
        document.body.innerHTML += "";
11390
    };
11391
    setTimeout( function(){
11392
        document.body.innerHTML += "";
11393
    }, 100 );
11394
    /*]]>*/
11395
</script>
11190
<!-- end diagram -->
11396
<!-- end diagram -->
11397
        <div class="validate">
11398
            <p>
11399
                <a href="http://validator.w3.org/check?uri=referer">
11400
                    <img
11401
                    src="http://www.w3.org/Icons/valid-xhtml10-blue"
11402
                    alt="Valid XHTML 1.0 Transitional" height="31" width="88" />
11403
                </a>
11404
            </p>
11405
            <p>
11406
                <a href="http://jigsaw.w3.org/css-validator/check/referer">
11407
                    <img style="border:0;width:88px;height:31px"
11408
                    src="http://jigsaw.w3.org/css-validator/images/vcss-blue"
11409
                    alt="Valid CSS!" />
11410
                </a>
11411
            </p>
11412
        </div>
11191
    </body>
11413
    </body>
11192
</html>
11414
</html>
11193
<!-- end page -->
11415
<!-- end page -->