|
@@ -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 Sep 6 10:13:32 2017
|
|
|
+Date: Wed Sep 6 11:00:01 2017
|
|
|
|
|
|
Model author: Yentl Van Tendeloo
|
|
|
Model name: MvK Server
|
|
@@ -1934,7 +1934,7 @@ class Modelverse(RuntimeClassBase):
|
|
|
self.raiseInternalEvent(Event("exception", None, ['UnknownOperation', 'Operation is unknown']))
|
|
|
|
|
|
def _initialized_behaviour_wait_for_action_0_guard(self, parameters):
|
|
|
- return self.actions[None]
|
|
|
+ return self.context is None and self.actions[None]
|
|
|
|
|
|
def _initialized_behaviour_wait_for_action_modelling_0_exec(self, parameters):
|
|
|
print("Got unexpected operation: " + str(self.actions[self.context].pop(0)))
|
|
@@ -2218,7 +2218,7 @@ class Modelverse(RuntimeClassBase):
|
|
|
return self.expect_response('Success')
|
|
|
|
|
|
def _initialized_behaviour_operations_model_render_0_exec(self, parameters):
|
|
|
- self.raiseInternalEvent(Event("result", None, [self.split_response(self.responses.pop(0))[0]]))
|
|
|
+ self.raiseInternalEvent(Event("result", None, [json.loads(self.split_response(self.responses.pop(0))[0])]))
|
|
|
|
|
|
def _initialized_behaviour_operations_model_render_0_guard(self, parameters):
|
|
|
return self.expect_response_partial('Success: ', pop=False)
|