|
@@ -1,7 +1,7 @@
|
|
|
"""
|
|
|
Generated by Statechart compiler by Glenn De Jonghe, Joeri Exelmans, Simon Van Mierlo, and Yentl Van Tendeloo (for the inspiration)
|
|
|
|
|
|
-Date: Wed Jun 6 11:45:45 2018
|
|
|
+Date: Wed Jun 6 14:51:29 2018
|
|
|
|
|
|
Model author: Yentl Van Tendeloo
|
|
|
Model name: MvK Server
|
|
@@ -1933,12 +1933,9 @@ class Modelverse(RuntimeClassBase):
|
|
|
self.address = (self.address[0], int(self.address[1]))
|
|
|
|
|
|
self.i = 0
|
|
|
- taskname = self.controller.taskname
|
|
|
- if taskname is None:
|
|
|
- self.skip_init = False
|
|
|
+ self.taskname = self.controller.taskname
|
|
|
+ if self.taskname is None:
|
|
|
self.taskname = "task_manager"
|
|
|
- else:
|
|
|
- self.skip_init = True
|
|
|
|
|
|
self.controller.taskname = self.taskname
|
|
|
|
|
@@ -2251,7 +2248,7 @@ class Modelverse(RuntimeClassBase):
|
|
|
self.responses.pop(0)
|
|
|
|
|
|
def _initialized_behaviour_operations_15_guard(self, parameters):
|
|
|
- return self.expect_response_partial('No conformance relation can be found ', pop=False)
|
|
|
+ return self.expect_response_partial('Conformance hierarchy unknown for: ', pop=False)
|
|
|
|
|
|
def _initialized_behaviour_operations_16_exec(self, parameters):
|
|
|
#print("Unknown Error: " + self.responses[0])
|
|
@@ -2443,6 +2440,7 @@ class Modelverse(RuntimeClassBase):
|
|
|
|
|
|
def _initialized_http_mapper_init_2_exec(self, parameters):
|
|
|
data = parameters[0]
|
|
|
+ #print("Got input (%s): %s" % (self.taskname, data))
|
|
|
if self.taskname == "task_manager":
|
|
|
self.controller.taskname = self.taskname = json.loads(data)
|
|
|
else:
|
|
@@ -2455,6 +2453,7 @@ class Modelverse(RuntimeClassBase):
|
|
|
|
|
|
def _initialized_http_mapper_init_3_exec(self, parameters):
|
|
|
data = parameters[0]
|
|
|
+ #print("Got input (%s): %s" % (self.taskname, data))
|
|
|
if self.taskname == "task_manager":
|
|
|
self.controller.taskname = self.taskname = json.loads(data)
|
|
|
else:
|
|
@@ -2481,14 +2480,14 @@ class Modelverse(RuntimeClassBase):
|
|
|
self.i += 1
|
|
|
|
|
|
def _initialized_behaviour_init_waiting_http_client_0_guard(self, parameters):
|
|
|
- return self.skip_init or self.i == 0
|
|
|
+ return self.i == 0
|
|
|
|
|
|
def _initialized_behaviour_init_waiting_http_client_1_exec(self, parameters):
|
|
|
- self.big_step.outputEventOM(Event("narrow_cast", None, [self, self.http_clients[1], Event("HTTP_input", None, [urlencode({"op": "get_output", "taskname": self.taskname}), "parent"])]))
|
|
|
self.i += 1
|
|
|
+ self.big_step.outputEventOM(Event("narrow_cast", None, [self, self.http_clients[1], Event("HTTP_input", None, [urlencode({"op": "get_output", "taskname": self.taskname}), "parent"])]))
|
|
|
|
|
|
def _initialized_behaviour_init_waiting_http_client_1_guard(self, parameters):
|
|
|
- return (not self.skip_init) and self.i == 1
|
|
|
+ return self.i == 1
|
|
|
|
|
|
def _initialized_behaviour_init_waiting_http_client_2_exec(self, parameters):
|
|
|
self.raiseInternalEvent(Event("exception", None, ['NetworkException', 'Connection timeout']))
|
|
@@ -2743,58 +2742,58 @@ class Modelverse(RuntimeClassBase):
|
|
|
return self.expect_response('Success', pop=True)
|
|
|
|
|
|
def _initialized_behaviour_operations_permission_modify_0_exec(self, parameters):
|
|
|
- self.raiseInternalEvent(Event("result", None, [self.responses.pop(0)]))
|
|
|
+ self.raiseInternalEvent(Event("result", None, [None]))
|
|
|
|
|
|
def _initialized_behaviour_operations_permission_modify_0_guard(self, parameters):
|
|
|
- return self.expect_response_partial('Success: ', pop=False)
|
|
|
+ return self.expect_response('Success')
|
|
|
|
|
|
def _initialized_behaviour_operations_permission_owner_0_exec(self, parameters):
|
|
|
- self.raiseInternalEvent(Event("result", None, [self.responses.pop(0)]))
|
|
|
+ self.raiseInternalEvent(Event("result", None, [None]))
|
|
|
|
|
|
def _initialized_behaviour_operations_permission_owner_0_guard(self, parameters):
|
|
|
- return self.expect_response_partial('Success: ', pop=False)
|
|
|
+ return self.expect_response('Success')
|
|
|
|
|
|
def _initialized_behaviour_operations_permission_group_0_exec(self, parameters):
|
|
|
- self.raiseInternalEvent(Event("result", None, [self.responses.pop(0)]))
|
|
|
+ self.raiseInternalEvent(Event("result", None, [None]))
|
|
|
|
|
|
def _initialized_behaviour_operations_permission_group_0_guard(self, parameters):
|
|
|
- return self.expect_response_partial('Success: ', pop=False)
|
|
|
+ return self.expect_response('Success')
|
|
|
|
|
|
def _initialized_behaviour_operations_group_create_0_exec(self, parameters):
|
|
|
- self.raiseInternalEvent(Event("result", None, [self.responses.pop(0)]))
|
|
|
+ self.raiseInternalEvent(Event("result", None, [None]))
|
|
|
|
|
|
def _initialized_behaviour_operations_group_create_0_guard(self, parameters):
|
|
|
- return self.expect_response_partial('Success: ', pop=False)
|
|
|
+ return self.expect_response('Success')
|
|
|
|
|
|
def _initialized_behaviour_operations_group_delete_0_exec(self, parameters):
|
|
|
- self.raiseInternalEvent(Event("result", None, [self.responses.pop(0)]))
|
|
|
+ self.raiseInternalEvent(Event("result", None, [None]))
|
|
|
|
|
|
def _initialized_behaviour_operations_group_delete_0_guard(self, parameters):
|
|
|
- return self.expect_response_partial('Success: ', pop=False)
|
|
|
+ return self.expect_response('Success')
|
|
|
|
|
|
def _initialized_behaviour_operations_group_owner_add_0_exec(self, parameters):
|
|
|
- self.raiseInternalEvent(Event("result", None, [self.responses.pop(0)]))
|
|
|
+ self.raiseInternalEvent(Event("result", None, [None]))
|
|
|
|
|
|
def _initialized_behaviour_operations_group_owner_add_0_guard(self, parameters):
|
|
|
- return self.expect_response_partial('Success: ', pop=False)
|
|
|
+ return self.expect_response('Success')
|
|
|
|
|
|
def _initialized_behaviour_operations_group_owner_delete_0_exec(self, parameters):
|
|
|
- self.raiseInternalEvent(Event("result", None, [self.responses.pop(0)]))
|
|
|
+ self.raiseInternalEvent(Event("result", None, [None]))
|
|
|
|
|
|
def _initialized_behaviour_operations_group_owner_delete_0_guard(self, parameters):
|
|
|
- return self.expect_response_partial('Success: ', pop=False)
|
|
|
+ return self.expect_response('Success')
|
|
|
|
|
|
def _initialized_behaviour_operations_group_join_0_exec(self, parameters):
|
|
|
- self.raiseInternalEvent(Event("result", None, [self.responses.pop(0)]))
|
|
|
+ self.raiseInternalEvent(Event("result", None, [None]))
|
|
|
|
|
|
def _initialized_behaviour_operations_group_join_0_guard(self, parameters):
|
|
|
- return self.expect_response_partial('Success: ', pop=False)
|
|
|
+ return self.expect_response('Success')
|
|
|
|
|
|
def _initialized_behaviour_operations_group_kick_0_exec(self, parameters):
|
|
|
- self.raiseInternalEvent(Event("result", None, [self.responses.pop(0)]))
|
|
|
+ self.raiseInternalEvent(Event("result", None, [None]))
|
|
|
|
|
|
def _initialized_behaviour_operations_group_kick_0_guard(self, parameters):
|
|
|
- return self.expect_response_partial('Success: ', pop=False)
|
|
|
+ return self.expect_response('Success')
|
|
|
|
|
|
def _initialized_behaviour_operations_group_list_0_exec(self, parameters):
|
|
|
self.raiseInternalEvent(Event("result", None, [set(self.split_response(self.responses.pop(0)))]))
|
|
@@ -2803,16 +2802,16 @@ class Modelverse(RuntimeClassBase):
|
|
|
return self.expect_response_partial('Success: ', pop=False)
|
|
|
|
|
|
def _initialized_behaviour_operations_admin_promote_0_exec(self, parameters):
|
|
|
- self.raiseInternalEvent(Event("result", None, [self.responses.pop(0)]))
|
|
|
+ self.raiseInternalEvent(Event("result", None, [None]))
|
|
|
|
|
|
def _initialized_behaviour_operations_admin_promote_0_guard(self, parameters):
|
|
|
- return self.expect_response_partial('Success: ', pop=False)
|
|
|
+ return self.expect_response('Success')
|
|
|
|
|
|
def _initialized_behaviour_operations_admin_demote_0_exec(self, parameters):
|
|
|
- self.raiseInternalEvent(Event("result", None, [self.responses.pop(0)]))
|
|
|
+ self.raiseInternalEvent(Event("result", None, [None]))
|
|
|
|
|
|
def _initialized_behaviour_operations_admin_demote_0_guard(self, parameters):
|
|
|
- return self.expect_response_partial('Success: ', pop=False)
|
|
|
+ return self.expect_response('Success')
|
|
|
|
|
|
def _initialized_behaviour_operations_conformance_delete_0_exec(self, parameters):
|
|
|
self.raiseInternalEvent(Event("result", None, [None]))
|
|
@@ -3374,7 +3373,7 @@ class Modelverse(RuntimeClassBase):
|
|
|
self.actions.pop(0)
|
|
|
|
|
|
def _initialized_behaviour_going_manual_OK_1_guard(self, parameters):
|
|
|
- return self.expect_response_partial('No conformance relation can be found ', pop=False)
|
|
|
+ return self.expect_response_partial('Conformance hierarchy unknown for: ', pop=False)
|
|
|
|
|
|
def _initialized_behaviour_leaving_manual_0_guard(self, parameters):
|
|
|
return self.expect_response('Success', pop=True)
|