-redef interface Object
-
- # Check signals for safe operation
- # will callback receiver of raised signals
- # can callback any instance of SignalHandler, not just this one
- protected fun check_signals: Bool is extern import SignalHandler.receive_signal `{
- int sig;
- int raised_something = 0;
-
- for (sig = 0; sig < 32; sig ++)
- if (nit_signals_list[sig].raised) {
- nit_signals_list[sig].raised = 0;
- raised_something = 1;
- SignalHandler handler = (SignalHandler)nit_signals_list[sig].handler;
- SignalHandler_receive_signal(handler, sig);
- }
+# Check signals for safe operation
+# will callback receiver of raised signals
+# can callback any instance of SignalHandler, not just this one
+fun check_signals: Bool is extern import SignalHandler.receive_signal `{
+ int sig;
+ int raised_something = 0;
+
+ for (sig = 0; sig < 32; sig ++)
+ if (nit_signals_list[sig].raised) {
+ nit_signals_list[sig].raised = 0;
+ raised_something = 1;
+ SignalHandler handler = (SignalHandler)nit_signals_list[sig].handler;
+ SignalHandler_receive_signal(handler, sig);
+ }