]> matita.cs.unibo.it Git - helm.git/blob - helm/hbugs/test/HBUGS_MESSAGES.xml
- added support for shutdown of servers' socket on abnormal exits
[helm.git] / helm / hbugs / test / HBUGS_MESSAGES.xml
1
2   <!-- general purpose -->
3
4 <help />
5
6 <usage>usage string</usage>
7
8 <exception name='eccezione1'>corpo dell'exc</exception>
9
10   <!-- client -> broker -->
11
12 <register_client id='client_id' url='client_url' />
13
14 <unregister_client id='client_id' />
15
16 <list_tutors id='client_id' />
17
18 <subscribe id='client_id'>
19   <tutor id='tutor_id1' />
20   <tutor id='tutor_id2' />
21   <!-- .... -->
22   <tutor id='tutor_idN' />
23 </subscribe>
24
25 <state_change id='client_id'>
26   <!-- STATO -->
27 </state_change>
28
29   <!-- tutor -> broker -->
30
31 <register_tutor id='tutor_id' url='tutor_url'>
32   <hint_type>
33     <!-- HINT TYPE -->
34   </hint_type>
35   <description>
36     descrizione del tutor
37   </description>
38 </register_tutor>
39
40 <unregister_tutor id='tutor_id' />
41
42 <musing_started id='tutor_id' musing_id='musing_id' />
43
44 <musing_completed id='tutor_id' musing_id='musing_id'>
45   <!-- either -->
46   <sorry />
47
48   <!-- or -->
49   <eureka> extras </eureka>
50 </musing_completed>
51
52   <!-- broker -> client -->
53
54 <client_registered id='broker_id' />
55
56 <client_unregistered id='broker_id' />
57
58 <tutor_list id='broker_id'>
59   <tutor_dsc id='tutor_id1'> description 1 </tutor_dsc>
60   <tutor_dsc id='tutor_id2'> description 2 </tutor_dsc>
61   <!-- ... -->
62   <tutor_dsc id='tutor_idN'> description N </tutor_dsc>
63 </tutor_list>
64
65 <subscribed id='broker_id'>
66   <tutor_dsc id='tutor_id1'> description 1 </tutor_dsc>
67   <tutor_dsc id='tutor_id2'> description 2 </tutor_dsc>
68   <!-- ... -->
69   <tutor_dsc id='tutor_idN'> description N </tutor_dsc>
70 </subscribed>
71
72 <state_accepted id='broker_id'>
73   <stopped>
74     <musing id='musing_id1' />
75     <!-- ... -->
76     <musing id='musing_idN' />
77   </stopped>
78   <started>
79     <musing id='musing_id1' />
80     <!-- ... -->
81     <musing id='musing_idM' />
82   </started>
83 </state_accepted>
84
85 <hint id='broker_id'>
86   <!-- HINT parsata a seconda dell'hint type del tutor -->
87 </hint>
88
89   <!-- broker -> tutor -->
90
91 <tutor_registered id='broker_id' />
92
93 <tutor_unregistered id='broker_id' />
94
95 <start_musing id='broker_id'>
96   <!-- STATE -->
97 </start_musing>
98
99 <thanks id='broker_id' musing_id='musing_id' />
100
101 <abort_musing id='broker_id' musing_id='musing_id' />
102