kill方法
- {int priority = beforeNextEvent}
请求隔离器关闭。
请求隔离器自己终止。该priority
参数指定何时发生。
当提供priority
时,它必须是immediate或beforeNextEvent(默认值)之一。关闭的时间取决于优先级。
immediate
:隔离器尽可能快地关闭。控制消息按顺序处理,所以从这个隔离器之前发送的所有控制事件都将被处理。关闭不应晚于beforeNextEvent
。如果系统有方法在更早的时间干净地关闭,即使在执行其他事件期间,也可能早点发生。beforeNextEvent
:关闭被安排在控制返回接收隔离器的事件循环的下一个时间点,在当前事件和任何已安排的控制事件完成后。
如果terminateCapability为null
,或它不是由controlPort指定的隔离器的终止能力,接收隔离器会忽略关闭请求。
实现
external void kill({int priority = beforeNextEvent});