|
@@ -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: Thu Nov 23 08:18:26 2017
|
|
|
+Date: Thu Nov 23 11:56:08 2017
|
|
|
|
|
|
Model author: Yentl Van Tendeloo
|
|
|
Model name: MvK Server
|
|
@@ -2432,6 +2432,7 @@ class Modelverse(RuntimeClassBase):
|
|
|
|
|
|
def _initialized_behaviour_operations_model_overwrite_search_0_exec(self, parameters):
|
|
|
self.registered_metamodel[self.parameters[0]] = set(self.split_response(self.responses.pop(0))).pop()
|
|
|
+ print("Registering " + str(self.parameters[0]))
|
|
|
|
|
|
def _initialized_behaviour_operations_model_overwrite_search_0_guard(self, parameters):
|
|
|
return self.expect_response_partial('Success: ')
|
|
@@ -2441,7 +2442,6 @@ class Modelverse(RuntimeClassBase):
|
|
|
|
|
|
def _initialized_behaviour_operations_model_overwrite_send_model_0_exec(self, parameters):
|
|
|
self.raiseInternalEvent(Event("result", None, [None]))
|
|
|
- self.registered_metamodel[self.parameters[0]] = self.parameters[1]
|
|
|
|
|
|
def _initialized_behaviour_operations_model_overwrite_send_model_0_guard(self, parameters):
|
|
|
return self.expect_response('Success')
|