]> matita.cs.unibo.it Git - helm.git/blob - helm/hbugs/test/messages_raw.xml
98a956cd1cdb766258ed0aeea3baaff249b4c4f6
[helm.git] / helm / hbugs / test / messages_raw.xml
1 <help />
2 <usage>usage string</usage>
3 <exception name='eccezione1'>corpo dell'exc</exception>
4 <register_client id='client_id' url='client_url' />
5 <unregister_client id='client_id' />
6 <list_tutors id='client_id' />
7 <subscribe id='client_id'> <tutor id='tutor_id1' /> <tutor id='tutor_id2' /> <!-- .... --> <tutor id='tutor_idN' /> </subscribe>
8 <state_change id='client_id'> <!-- STATO --> </state_change>
9 <register_tutor id='tutor_id' url='tutor_url'> <hint_type> <!-- HINT TYPE --> </hint_type> <description> descrizione del tutor </description> </register_tutor>
10 <unregister_tutor id='tutor_id' />
11 <musing_started id='tutor_id' musing_id='musing_id' />
12 <musing_aborted id='tutor_id' musing_id='musing_id' />
13 <musing_completed id='tutor_id' musing_id='musing_id'> <sorry /> </musing_completed>
14 <musing_completed id='tutor_id' musing_id='musing_id'> <eureka> extras </eureka> </musing_completed>
15 <client_registered id='broker_id' />
16 <client_unregistered id='broker_id' />
17 <tutor_list id='broker_id'> <tutor_dsc id='tutor_id1'> description 1 </tutor_dsc> <tutor_dsc id='tutor_id2'> description 2 </tutor_dsc> <!-- ... --> <tutor_dsc id='tutor_idN'> description N </tutor_dsc> </tutor_list>
18 <subscribed id='broker_id'> <tutor_dsc id='tutor_id1'> description 1 </tutor_dsc> <tutor_dsc id='tutor_id2'> description 2 </tutor_dsc> <!-- ... --> <tutor_dsc id='tutor_idN'> description N </tutor_dsc> </subscribed>
19 <state_accepted id='broker_id'> <stopped> <musing id='musing_id1' /> <!-- ... --> <musing id='musing_idN' /> </stopped> <started> <musing id='musing_id1' /> <!-- ... --> <musing id='musing_idM' /> </started> </state_accepted>
20 <hint id='broker_id'> <!-- HINT parsata a seconda dell'hint type del tutor --> </hint>
21 <tutor_registered id='broker_id' />
22 <tutor_unregistered id='broker_id' />
23 <start_musing id='broker_id'> <!-- STATE --> </start_musing>
24 <thanks id='broker_id' musing_id='musing_id' />
25 <abort_musing id='broker_id' musing_id='musing_id' />