123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244 |
- /* Generated by Statechart compiler by Glenn De Jonghe, Joeri Exelmans, Simon Van Mierlo, and Yentl Van Tendeloo (for the inspiration)
- Date: Tue Aug 09 09:35:52 2016
- Model author: Yentl Van Tendeloo
- Model name: after_0
- Model description:
- Used for testing the AFTER(0) event---which should not block the deletion of the B instance.*/
- // package "after_0"
- var after_0 = {};
- (function() {
- var A = function(controller) {
- RuntimeClassBase.call(this, controller);
-
- this.semantics.big_step_maximality = StatechartSemantics.TakeMany;
- this.semantics.internal_event_lifeline = StatechartSemantics.Queue;
- this.semantics.input_event_lifeline = StatechartSemantics.FirstComboStep;
- this.semantics.priority = StatechartSemantics.SourceParent;
- this.semantics.concurrency = StatechartSemantics.Single;
-
- // build Statechart structure
- this.build_statechart_structure();
-
- // call user defined constructor
- A.prototype.user_defined_constructor.call(this);
- };
- A.prototype = new Object();
- (function() {
- var proto = new RuntimeClassBase();
- for (prop in proto) {
- A.prototype[prop] = proto[prop];
- }
- })();
- A.prototype.user_defined_constructor = function() {
- };
- A.prototype.user_defined_destructor = function() {
- };
- // builds Statechart structure
- A.prototype.build_statechart_structure = function() {
-
- // state <root>
- this.states[""] = new State(0, this);
-
- // state /x
- this.states["/x"] = new State(1, this);
- this.states["/x"].setEnter(this._x_enter);
-
- // state /ready
- this.states["/ready"] = new State(2, this);
- this.states["/ready"].setEnter(this._ready_enter);
-
- // state /done
- this.states["/done"] = new State(3, this);
-
- // add children
- this.states[""].addChild(this.states["/x"]);
- this.states[""].addChild(this.states["/ready"]);
- this.states[""].addChild(this.states["/done"]);
- this.states[""].fixTree();
- this.states[""].default_state = this.states["/x"];
-
- // transition /x
- var _x_0 = new Transition(this, this.states["/x"], [this.states["/ready"]]);
- _x_0.setTrigger(new Event("instance_created", null));
- this.states["/x"].addTransition(_x_0);
-
- // transition /ready
- var _ready_0 = new Transition(this, this.states["/ready"], [this.states["/done"]]);
- _ready_0.setAction(this._ready_0_exec);
- _ready_0.setTrigger(new Event("close", null));
- this.states["/ready"].addTransition(_ready_0);
- };
- A.prototype._x_enter = function() {
- this.big_step.outputEventOM(new Event("create_instance", null, [this, 'child', 'B']));
- this.big_step.outputEvent(new Event("creating_instance", "test_output", new Array()));
- };
- A.prototype._ready_enter = function() {
- this.big_step.outputEventOM(new Event("start_instance", null, [this, 'child[0]']));
- this.big_step.outputEvent(new Event("starting_instance", "test_output", new Array()));
- };
- A.prototype._ready_0_exec = function(parameters) {
- this.big_step.outputEventOM(new Event("delete_instance", null, [this, 'child[0]']));
- this.big_step.outputEvent(new Event("deleting_instance", "test_output", new Array()));
- };
- A.prototype.initializeStatechart = function() {
- // enter default state
- this.default_targets = this.states["/x"].getEffectiveTargetStates();
- RuntimeClassBase.prototype.initializeStatechart.call(this);
- };
- // add symbol 'A' to package 'after_0'
- after_0.A = A;
- var B = function(controller) {
- RuntimeClassBase.call(this, controller);
-
- this.semantics.big_step_maximality = StatechartSemantics.TakeMany;
- this.semantics.internal_event_lifeline = StatechartSemantics.Queue;
- this.semantics.input_event_lifeline = StatechartSemantics.FirstComboStep;
- this.semantics.priority = StatechartSemantics.SourceParent;
- this.semantics.concurrency = StatechartSemantics.Single;
-
- // build Statechart structure
- this.build_statechart_structure();
-
- // call user defined constructor
- B.prototype.user_defined_constructor.call(this);
- };
- B.prototype = new Object();
- (function() {
- var proto = new RuntimeClassBase();
- for (prop in proto) {
- B.prototype[prop] = proto[prop];
- }
- })();
- B.prototype.user_defined_constructor = function() {
- };
- B.prototype.user_defined_destructor = function() {
- };
- // builds Statechart structure
- B.prototype.build_statechart_structure = function() {
-
- // state <root>
- this.states[""] = new State(0, this);
-
- // state /z
- this.states["/z"] = new State(1, this);
- this.states["/z"].setEnter(this._z_enter);
- this.states["/z"].setExit(this._z_exit);
-
- // add children
- this.states[""].addChild(this.states["/z"]);
- this.states[""].fixTree();
- this.states[""].default_state = this.states["/z"];
-
- // transition /z
- var _z_0 = new Transition(this, this.states["/z"], [this.states["/z"]]);
- _z_0.setAction(this._z_0_exec);
- _z_0.setTrigger(new Event("_0after"));
- this.states["/z"].addTransition(_z_0);
- };
- B.prototype._z_enter = function() {
- this.addTimer(0, 0);
- };
- B.prototype._z_exit = function() {
- this.removeTimer(0);
- };
- B.prototype._z_0_exec = function(parameters) {
- this.big_step.outputEventOM(new Event("broad_cast", null, [new Event("close", null, new Array())]));
- this.big_step.outputEvent(new Event("after_0", "test_output", new Array()));
- };
- B.prototype.initializeStatechart = function() {
- // enter default state
- this.default_targets = this.states["/z"].getEffectiveTargetStates();
- RuntimeClassBase.prototype.initializeStatechart.call(this);
- };
- // add symbol 'B' to package 'after_0'
- after_0.B = B;
- var ObjectManager = function(controller) {
- ObjectManagerBase.call(this, controller);
- };
- ObjectManager.prototype = new Object();
- (function() {
- var proto = new ObjectManagerBase();
- for (prop in proto) {
- ObjectManager.prototype[prop] = proto[prop];
- }
- })();
- ObjectManager.prototype.instantiate = function(class_name, construct_params) {
- if (class_name === "A") {
- var instance = new A(this.controller);
- instance.associations = new Object();
- instance.associations["child"] = new Association("B", 0, 1);
- } else if (class_name === "B") {
- var instance = new B(this.controller);
- instance.associations = new Object();
- instance.associations["parent"] = new Association("A", 1, 1);
- } else {
- throw new Error("Cannot instantiate class " + class_name);
- }
- return instance;
- };
- // add symbol 'ObjectManager' to package 'after_0'
- after_0.ObjectManager = ObjectManager;
- var Controller = function(event_loop_callbacks, finished_callback, behind_schedule_callback) {
- if (finished_callback === undefined) finished_callback = null;
- if (behind_schedule_callback === undefined) behind_schedule_callback = null;
- EventLoopControllerBase.call(this, new ObjectManager(this), event_loop_callbacks, finished_callback, behind_schedule_callback);
- this.addOutputPort("test_output");
- this.object_manager.createInstance("A", new Array());
- };
- Controller.prototype = new Object();
- (function() {
- var proto = new EventLoopControllerBase();
- for (prop in proto) {
- Controller.prototype[prop] = proto[prop];
- }
- })();
- // add symbol 'Controller' to package 'after_0'
- after_0.Controller = Controller;
- var InputEvent = function(name, port, parameters, time_offset) {
- this.name = name;
- this.port = port;
- this.parameters = parameters;
- this.time_offset = time_offset;
- };
- // add symbol 'InputEvent' to package 'after_0'
- after_0.InputEvent = InputEvent;
- var Test = function() {
- };
- Test.prototype.input_events = new Array();
- Test.prototype.expected_events = [[new Event("creating_instance", "test_output", new Array())], [new Event("starting_instance", "test_output", new Array())], [new Event("after_0", "test_output", new Array())], [new Event("deleting_instance", "test_output", new Array()), new Event("after_0", "test_output", new Array())]];
- // add symbol 'Test' to package 'after_0'
- after_0.Test = Test;
- })();
|