]> matita.cs.unibo.it Git - helm.git/blob - components/hbugs/test/HBUGS_MESSAGES.xml
Esempi di auto.
[helm.git] / components / hbugs / test / HBUGS_MESSAGES.xml
1 <test>
2
3     <!-- general purpose -->
4
5   <help />
6
7   <usage>usage string</usage>
8
9   <exception name='eccezione1'>corpo dell'exc</exception>
10
11     <!-- client -> broker -->
12
13   <register_client id='client_id' url='client_url' />
14
15   <unregister_client id='client_id' />
16
17   <list_tutors id='client_id' />
18
19   <subscribe id='client_id'>
20     <tutor id='tutor_id1' />
21     <tutor id='tutor_id2' />
22     <!-- .... -->
23     <tutor id='tutor_idN' />
24   </subscribe>
25
26   <state_change id='client_id'> <!-- new state received -->
27     <gTopLevelStatus>
28       <CurrentGoal>0</CurrentGoal>
29       <ConstantType>
30       </ConstantType>
31       <CurrentProof>
32       </CurrentProof>
33     </gTopLevelStatus>
34   </state_change>
35
36   <state_change id='client_id'> <!-- no state received: proof is completed -->
37     <gTopLevelStatus />
38   </state_change>
39
40   <wow id="client_id" />
41
42     <!-- tutor -> broker -->
43
44   <register_tutor id='tutor_id' url='tutor_url'>
45     <hint_type>
46       <!-- HINT TYPE -->
47     </hint_type>
48     <description>
49       descrizione del tutor
50     </description>
51   </register_tutor>
52
53   <unregister_tutor id='tutor_id' />
54
55   <musing_started id='tutor_id' musing_id='musing_id' />
56
57   <musing_aborted id='tutor_id' musing_id='musing_id' />
58
59   <musing_completed id='tutor_id' musing_id='musing_id'>
60     <sorry />
61   </musing_completed>
62
63   <musing_completed id='tutor_id' musing_id='musing_id'>
64     <eureka>
65       <ring />
66     </eureka>
67   </musing_completed>
68
69   <musing_completed id='tutor_id' musing_id='musing_id'>
70     <eureka>
71       <hints>
72         <ring />
73         <fourier />
74       </hints>
75     </eureka>
76   </musing_completed>
77
78     <!-- broker -> client -->
79
80   <client_registered id='broker_id' />
81
82   <client_unregistered id='broker_id' />
83
84   <tutor_list id='broker_id'>
85     <tutor_dsc id='tutor_id1'> description 1 </tutor_dsc>
86     <tutor_dsc id='tutor_id2'> description 2 </tutor_dsc>
87     <!-- ... -->
88     <tutor_dsc id='tutor_idN'> description N </tutor_dsc>
89   </tutor_list>
90
91   <subscribed id='broker_id'>
92     <tutor_dsc id='tutor_id1'> description 1 </tutor_dsc>
93     <tutor_dsc id='tutor_id2'> description 2 </tutor_dsc>
94     <!-- ... -->
95     <tutor_dsc id='tutor_idN'> description N </tutor_dsc>
96   </subscribed>
97
98   <state_accepted id='broker_id'>
99     <stopped>
100       <musing id='musing_id1' />
101       <!-- ... -->
102       <musing id='musing_idN' />
103     </stopped>
104     <started>
105       <musing id='musing_id1' />
106       <!-- ... -->
107       <musing id='musing_idM' />
108     </started>
109   </state_accepted>
110
111   <hint id='broker_id'>
112     <ring />
113   </hint>
114
115   <hint id='broker_id'>
116     <hints>
117       <ring />
118       <fourier />
119     </hints>
120   </hint>
121
122     <!-- broker -> tutor -->
123
124   <tutor_registered id='broker_id' />
125
126   <tutor_unregistered id='broker_id' />
127
128   <start_musing id='broker_id'>
129     <gTopLevelStatus>
130       <CurrentGoal>0</CurrentGoal>
131       <ConstantType>
132       </ConstantType>
133       <CurrentProof>
134       </CurrentProof>
135     </gTopLevelStatus>
136   </start_musing>
137
138   <abort_musing id='broker_id' musing_id='musing_id' />
139
140   <thanks id='broker_id' musing_id='musing_id' />
141
142   <too_late id='broker_id' musing_id='musing_id' />
143
144 </test>