kill方法

void kill(
  1. {int priority = beforeNextEvent}
)

请求隔离器关闭。

请求隔离器自己终止。该priority参数指定何时发生。

当提供priority时,它必须是immediatebeforeNextEvent(默认值)之一。关闭的时间取决于优先级。

  • immediate:隔离器尽可能快地关闭。控制消息按顺序处理,所以从这个隔离器之前发送的所有控制事件都将被处理。关闭不应晚于beforeNextEvent。如果系统有方法在更早的时间干净地关闭,即使在执行其他事件期间,也可能早点发生。
  • beforeNextEvent:关闭被安排在控制返回接收隔离器的事件循环的下一个时间点,在当前事件和任何已安排的控制事件完成后。

如果terminateCapabilitynull,或它不是由controlPort指定的隔离器的终止能力,接收隔离器会忽略关闭请求。

实现

external void kill({int priority = beforeNextEvent});