|
@@ -1,7 +1,7 @@
|
|
"""
|
|
"""
|
|
Generated by Statechart compiler by Glenn De Jonghe, Joeri Exelmans, Simon Van Mierlo, and Yentl Van Tendeloo (for the inspiration)
|
|
Generated by Statechart compiler by Glenn De Jonghe, Joeri Exelmans, Simon Van Mierlo, and Yentl Van Tendeloo (for the inspiration)
|
|
|
|
|
|
-Date: Thu Sep 7 10:09:32 2017
|
|
|
|
|
|
+Date: Thu Sep 14 14:05:43 2017
|
|
|
|
|
|
Model author: Yentl Van Tendeloo
|
|
Model author: Yentl Van Tendeloo
|
|
Model name: MvK Server
|
|
Model name: MvK Server
|
|
@@ -2906,22 +2906,22 @@ class Modelverse(RuntimeClassBase):
|
|
def _initialized_queue_queue_1_exec(self, parameters):
|
|
def _initialized_queue_queue_1_exec(self, parameters):
|
|
parameters = parameters[0]
|
|
parameters = parameters[0]
|
|
self.big_step.outputEvent(Event("result", "action_out", [self.current_ID, parameters]))
|
|
self.big_step.outputEvent(Event("result", "action_out", [self.current_ID, parameters]))
|
|
- self.big_step.outputEventOM(Event("broad_cast", None, [Event("mv_result", None, [self.current_ID, parameters])]))
|
|
|
|
|
|
+ self.big_step.outputEventOM(Event("broad_cast", None, [self, Event("mv_result", None, [self.current_ID, parameters])]))
|
|
|
|
|
|
def _initialized_queue_queue_2_exec(self, parameters):
|
|
def _initialized_queue_queue_2_exec(self, parameters):
|
|
parameters = parameters[0]
|
|
parameters = parameters[0]
|
|
self.big_step.outputEvent(Event("data_output", "action_out", [parameters]))
|
|
self.big_step.outputEvent(Event("data_output", "action_out", [parameters]))
|
|
- self.big_step.outputEventOM(Event("broad_cast", None, [Event("mv_data_output", None, [parameters])]))
|
|
|
|
|
|
+ self.big_step.outputEventOM(Event("broad_cast", None, [self, Event("mv_data_output", None, [parameters])]))
|
|
|
|
|
|
def _initialized_queue_queue_3_exec(self, parameters):
|
|
def _initialized_queue_queue_3_exec(self, parameters):
|
|
ID = parameters[0]
|
|
ID = parameters[0]
|
|
parameters = parameters[1]
|
|
parameters = parameters[1]
|
|
self.big_step.outputEvent(Event("exception", "action_out", [self.current_ID, ID, parameters]))
|
|
self.big_step.outputEvent(Event("exception", "action_out", [self.current_ID, ID, parameters]))
|
|
- self.big_step.outputEventOM(Event("broad_cast", None, [Event("mv_exception", None, [self.current_ID, ID, parameters])]))
|
|
|
|
|
|
+ self.big_step.outputEventOM(Event("broad_cast", None, [self, Event("mv_exception", None, [self.current_ID, ID, parameters])]))
|
|
|
|
|
|
def _initialized_queue_queue_4_exec(self, parameters):
|
|
def _initialized_queue_queue_4_exec(self, parameters):
|
|
self.big_step.outputEvent(Event("ready", "ready", []))
|
|
self.big_step.outputEvent(Event("ready", "ready", []))
|
|
- self.big_step.outputEventOM(Event("broad_cast", None, [Event("mv_ready", None, [])]))
|
|
|
|
|
|
+ self.big_step.outputEventOM(Event("broad_cast", None, [self, Event("mv_ready", None, [])]))
|
|
|
|
|
|
def _initialized_queue_queue_5_exec(self, parameters):
|
|
def _initialized_queue_queue_5_exec(self, parameters):
|
|
value = parameters[0]
|
|
value = parameters[0]
|
|
@@ -3147,7 +3147,7 @@ class HTTPClient(RuntimeClassBase):
|
|
self.big_step.outputEvent(Event("create_socket", "socket_out", [self.ID]))
|
|
self.big_step.outputEvent(Event("create_socket", "socket_out", [self.ID]))
|
|
|
|
|
|
def _waiting_enter(self):
|
|
def _waiting_enter(self):
|
|
- self.big_step.outputEventOM(Event("broad_cast", None, [Event("http_client_initialized", None, [])]))
|
|
|
|
|
|
+ self.big_step.outputEventOM(Event("broad_cast", None, [self, Event("http_client_initialized", None, [])]))
|
|
|
|
|
|
def _connecting_connecting_enter(self):
|
|
def _connecting_connecting_enter(self):
|
|
self.big_step.outputEvent(Event("connect_socket", "socket_out", [self.socket, self.address]))
|
|
self.big_step.outputEvent(Event("connect_socket", "socket_out", [self.socket, self.address]))
|
|
@@ -3165,7 +3165,7 @@ class HTTPClient(RuntimeClassBase):
|
|
pass
|
|
pass
|
|
|
|
|
|
def _connecting_0_exec(self, parameters):
|
|
def _connecting_0_exec(self, parameters):
|
|
- self.big_step.outputEventOM(Event("broad_cast", None, [Event("http_client_timeout", None, [])]))
|
|
|
|
|
|
+ self.big_step.outputEventOM(Event("broad_cast", None, [self, Event("http_client_timeout", None, [])]))
|
|
|
|
|
|
def _init_0_exec(self, parameters):
|
|
def _init_0_exec(self, parameters):
|
|
socket = parameters[0]
|
|
socket = parameters[0]
|
|
@@ -3185,7 +3185,7 @@ class HTTPClient(RuntimeClassBase):
|
|
|
|
|
|
def _connecting_connecting_1_exec(self, parameters):
|
|
def _connecting_connecting_1_exec(self, parameters):
|
|
socket = parameters[0]
|
|
socket = parameters[0]
|
|
- self.big_step.outputEventOM(Event("broad_cast", None, [Event("http_client_ready", None, [])]))
|
|
|
|
|
|
+ self.big_step.outputEventOM(Event("broad_cast", None, [self, Event("http_client_ready", None, [])]))
|
|
|
|
|
|
def _connecting_connecting_1_guard(self, parameters):
|
|
def _connecting_connecting_1_guard(self, parameters):
|
|
socket = parameters[0]
|
|
socket = parameters[0]
|
|
@@ -3248,7 +3248,7 @@ class HTTPClient(RuntimeClassBase):
|
|
def _connected_parsing_wait_for_payload_0_exec(self, parameters):
|
|
def _connected_parsing_wait_for_payload_0_exec(self, parameters):
|
|
data = self.received_data[:self.length]
|
|
data = self.received_data[:self.length]
|
|
self.received_data = self.received_data[self.length:]
|
|
self.received_data = self.received_data[self.length:]
|
|
- self.big_step.outputEventOM(Event("broad_cast", None, [Event("HTTP_output", None, [data, self.IDs.pop(0)])]))
|
|
|
|
|
|
+ self.big_step.outputEventOM(Event("broad_cast", None, [self, Event("HTTP_output", None, [data, self.IDs.pop(0)])]))
|
|
|
|
|
|
def _connected_parsing_wait_for_payload_0_guard(self, parameters):
|
|
def _connected_parsing_wait_for_payload_0_guard(self, parameters):
|
|
return len(self.received_data) >= self.length and self.IDs[0] is not None
|
|
return len(self.received_data) >= self.length and self.IDs[0] is not None
|