()
| 137 | } |
| 138 | } |
| 139 | function scheduleDiscreteEvent() { |
| 140 | if (isFiringMessageEvent) { |
| 141 | hasPendingDiscreteEvent = true; |
| 142 | } else { |
| 143 | log('Discrete Event'); |
| 144 | } |
| 145 | } |
| 146 | function scheduleContinuousEvent() { |
| 147 | if (isFiringMessageEvent) { |
| 148 | hasPendingContinuousEvent = true; |