]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/hbugs/test/HBUGS_MESSAGES.xml
added 'test' dir with a serialization/deserialization test for messages
[helm.git] / helm / hbugs / test / HBUGS_MESSAGES.xml
diff --git a/helm/hbugs/test/HBUGS_MESSAGES.xml b/helm/hbugs/test/HBUGS_MESSAGES.xml
new file mode 100644 (file)
index 0000000..f6ee836
--- /dev/null
@@ -0,0 +1,102 @@
+
+  <!-- general purpose -->
+
+<help />
+
+<usage>usage string</usage>
+
+<exception name='eccezione1'>corpo dell'exc</exception>
+
+  <!-- client -> broker -->
+
+<register_client id='client_id' url='client_url' />
+
+<unregister_client id='client_id' />
+
+<list_tutors id='client_id' />
+
+<subscribe id='client_id'>
+  <tutor id='tutor_id1' />
+  <tutor id='tutor_id2' />
+  <!-- .... -->
+  <tutor id='tutor_idN' />
+</subscribe>
+
+<state_change id='client_id'>
+  <!-- STATO -->
+</state_change>
+
+  <!-- tutor -> broker -->
+
+<register_tutor id='tutor_id' url='tutor_url'>
+  <hint_type>
+    <!-- HINT TYPE -->
+  </hint_type>
+  <description>
+    descrizione del tutor
+  </description>
+</register_tutor>
+
+<unregister_tutor id='tutor_id' />
+
+<musing_started id='tutor_id' musing_id='musing_id' />
+
+<musing_completed id='tutor_id' musing_id='musing_id'>
+  <!-- either -->
+  <sorry />
+
+  <!-- or -->
+  <eureka> extras </eureka>
+</musing_completed>
+
+  <!-- broker -> client -->
+
+<client_registered id='broker_id' />
+
+<client_unregistered id='broker_id' />
+
+<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>
+
+<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>
+
+<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>
+
+<hint id='broker_id'>
+  <!-- HINT parsata a seconda dell'hint type del tutor -->
+</hint>
+
+  <!-- broker -> tutor -->
+
+<tutor_registered id='broker_id' />
+
+<tutor_unregistered id='broker_id' />
+
+<start_musing id='broker_id'>
+  <!-- STATE -->
+</start_musing>
+
+<thanks id='broker_id' musing_id='musing_id' />
+
+<abort_musing id='broker_id' musing_id='musing_id' />
+