http_client.xml 8.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193
  1. <?xml version="1.0" encoding="UTF-8"?>
  2. <diagram author="Yentl Van Tendeloo" name="HTTP client">
  3. <description>
  4. HTTP client.
  5. </description>
  6. <top>
  7. import uuid
  8. </top>
  9. <inport name="socket_in"/>
  10. <outport name="socket_out"/>
  11. <inport name="request_in"/>
  12. <outport name="request_out"/>
  13. <class name="HTTPClient">
  14. <constructor>
  15. <body>
  16. <![CDATA[
  17. self.socket = None
  18. self.received_data = ""
  19. self.send_data = ""
  20. self.queue = []
  21. self.IDs = []
  22. ]]>
  23. </body>
  24. </constructor>
  25. <scxml initial="init">
  26. <state id="init">
  27. <onentry>
  28. <script>
  29. self.ID = str(uuid.uuid4())
  30. </script>
  31. <raise scope="output" event="create_socket" port="socket_out">
  32. <parameter expr="self.ID"/>
  33. </raise>
  34. </onentry>
  35. <transition port="socket_in" event="created_socket" cond="self.ID == ID" target="../waiting">
  36. <parameter name="socket"/>
  37. <parameter name="ID"/>
  38. <script>
  39. self.socket = socket
  40. </script>
  41. </transition>
  42. </state>
  43. <state id="waiting">
  44. <onentry>
  45. <raise scope="output" port="request_out" event="http_client_initialized"/>
  46. </onentry>
  47. <transition port="request_in" event="connect" target="../connecting">
  48. <parameter name="address"/>
  49. <parameter name="timeout"/>
  50. <script>
  51. self.address = address
  52. self.timeout = timeout
  53. </script>
  54. </transition>
  55. </state>
  56. <state id="connecting" initial="connecting">
  57. <state id="connecting">
  58. <onentry>
  59. <raise scope="output" event="connect_socket" port="socket_out">
  60. <parameter expr="self.socket"/>
  61. <parameter expr="self.address"/>
  62. </raise>
  63. </onentry>
  64. <transition port="socket_in" event="error_socket" target="../cooldown"/>
  65. <transition port="socket_in" event="connected_socket" cond="self.socket == socket" target="../../connected">
  66. <parameter name="socket"/>
  67. <raise scope="output" port="request_out" event="http_client_ready"/>
  68. </transition>
  69. </state>
  70. <state id="cooldown">
  71. <transition after="0.1" target="../connecting"/>
  72. </state>
  73. <transition after="self.timeout" target="../waiting">
  74. <raise scope="output" port="request_out" event="http_client_timeout"/>
  75. </transition>
  76. </state>
  77. <parallel id="connected">
  78. <state id="listening" initial="listen">
  79. <state id="listen">
  80. <onentry>
  81. <raise scope="output" port="socket_out" event="recv_socket">
  82. <parameter expr="self.socket"/>
  83. </raise>
  84. </onentry>
  85. <transition event="received_socket" port="socket_in" cond="(self.socket == socket) and (len(data) > 0)" target=".">
  86. <parameter name="socket"/>
  87. <parameter name="data"/>
  88. <script>
  89. self.received_data += data
  90. </script>
  91. </transition>
  92. <transition event="received_socket" port="socket_in" cond="(self.socket == socket) and (len(data) == 0)" target="../close">
  93. <parameter name="socket"/>
  94. <parameter name="data"/>
  95. </transition>
  96. </state>
  97. <state id="close">
  98. </state>
  99. </state>
  100. <state id="sending" initial="waiting_for_data">
  101. <state id="waiting_for_data">
  102. <transition cond="len(self.send_data) > 0" target="../transferring">
  103. <raise scope="output" port="socket_out" event="send_socket">
  104. <parameter expr="self.socket"/>
  105. <parameter expr="self.send_data"/>
  106. </raise>
  107. </transition>
  108. </state>
  109. <state id="transferring">
  110. <transition event="sent_socket" port="socket_in" cond="self.socket == socket" target="../waiting_for_data">
  111. <parameter name="socket"/>
  112. <parameter name="sent_bytes"/>
  113. <script>
  114. self.send_data = self.send_data[sent_bytes:]
  115. </script>
  116. </transition>
  117. </state>
  118. </state>
  119. <state id="queueing">
  120. <state id="queueing">
  121. <onentry>
  122. </onentry>
  123. <transition port="request_in" event="HTTP_input" target=".">
  124. <parameter name="data"/>
  125. <parameter name="ID"/>
  126. <script>
  127. self.send_data += "POST / HTTP/1.0\r\n"
  128. self.send_data += "Content-Length: %i\r\n" % len(str(data))
  129. self.send_data += "\r\n"
  130. self.send_data += data
  131. self.IDs.append(ID)
  132. </script>
  133. </transition>
  134. </state>
  135. </state>
  136. <state id="parsing" initial="wait_for_header">
  137. <state id="wait_for_header">
  138. <transition cond="'\r\n\r\n' in self.received_data" target="../wait_for_payload">
  139. <script>
  140. header, self.received_data = self.received_data.split("\r\n\r\n", 1)
  141. header = header.lower()
  142. if "content-length" in header:
  143. _, after = header.split("content-length:", 1)
  144. after, _ = after.split("\r\n", 1)
  145. after = after.strip()
  146. self.length = int(after)
  147. else:
  148. self.length = float('inf')
  149. </script>
  150. </transition>
  151. </state>
  152. <state id="wait_for_payload">
  153. <transition cond="len(self.received_data) >= self.length and self.IDs[0] is not None" target="../wait_for_header">
  154. <script>
  155. data = self.received_data[:self.length]
  156. self.received_data = self.received_data[self.length:]
  157. </script>
  158. <raise event="HTTP_output" scope="output" port="request_out">
  159. <parameter expr="data"/>
  160. <parameter expr="self.IDs.pop(0)"/>
  161. </raise>
  162. </transition>
  163. <transition cond="len(self.received_data) >= self.length and self.IDs[0] is None" target="../wait_for_header">
  164. <script>
  165. # Drop data
  166. self.received_data = self.received_data[self.length:]
  167. self.IDs.pop(0)
  168. </script>
  169. </transition>
  170. </state>
  171. </state>
  172. </parallel>
  173. </scxml>
  174. </class>
  175. </diagram>