/* 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: Glenn De Jonghe Model name: TestGuard Model description: Testing the guard.*/ // package "TestGuard" var TestGuard = {}; (function() { var Class1 = 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(); // user defined attributes this.member1 = 0; // call user defined constructor Class1.prototype.user_defined_constructor.call(this); }; Class1.prototype = new Object(); (function() { var proto = new RuntimeClassBase(); for (prop in proto) { Class1.prototype[prop] = proto[prop]; } })(); Class1.prototype.user_defined_constructor = function() { }; Class1.prototype.user_defined_destructor = function() { }; // builds Statechart structure Class1.prototype.build_statechart_structure = function() { // state this.states[""] = new State(0, this); // state /state_1 this.states["/state_1"] = new State(1, this); this.states["/state_1"].setEnter(this._state_1_enter); // state /state_2 this.states["/state_2"] = new State(2, this); // state /state_3 this.states["/state_3"] = new State(3, this); this.states["/state_3"].setEnter(this._state_3_enter); // add children this.states[""].addChild(this.states["/state_1"]); this.states[""].addChild(this.states["/state_2"]); this.states[""].addChild(this.states["/state_3"]); this.states[""].fixTree(); this.states[""].default_state = this.states["/state_1"]; // transition /state_1 var _state_1_0 = new Transition(this, this.states["/state_1"], [this.states["/state_2"]]); _state_1_0.setTrigger(null); this.states["/state_1"].addTransition(_state_1_0); // transition /state_2 var _state_2_0 = new Transition(this, this.states["/state_2"], [this.states["/state_1"]]); _state_2_0.setTrigger(null); _state_2_0.setGuard(this._state_2_0_guard); this.states["/state_2"].addTransition(_state_2_0); var _state_2_1 = new Transition(this, this.states["/state_2"], [this.states["/state_3"]]); _state_2_1.setTrigger(null); _state_2_1.setGuard(this._state_2_1_guard); this.states["/state_2"].addTransition(_state_2_1); }; Class1.prototype._state_1_enter = function() { this.member1 = this.member1 + 1; }; Class1.prototype._state_3_enter = function() { this.big_step.outputEvent(new Event("received", "test_output", [this.member1])); }; Class1.prototype._state_2_0_guard = function(parameters) { return this.member1 < 3; }; Class1.prototype._state_2_1_guard = function(parameters) { return this.member1 >= 3; }; Class1.prototype.initializeStatechart = function() { // enter default state this.default_targets = this.states["/state_1"].getEffectiveTargetStates(); RuntimeClassBase.prototype.initializeStatechart.call(this); }; // add symbol 'Class1' to package 'TestGuard' TestGuard.Class1 = Class1; 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 === "Class1") { var instance = new Class1(this.controller); instance.associations = new Object(); } else { throw new Error("Cannot instantiate class " + class_name); } return instance; }; // add symbol 'ObjectManager' to package 'TestGuard' TestGuard.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("Class1", 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 'TestGuard' TestGuard.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 'TestGuard' TestGuard.InputEvent = InputEvent; var Test = function() { }; Test.prototype.input_events = new Array(); Test.prototype.expected_events = [[new Event("received", "test_output", [3])]]; // add symbol 'Test' to package 'TestGuard' TestGuard.Test = Test; })();