helm/ocaml/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>