getRequestInputInterruptIds function

List<String> getRequestInputInterruptIds(
  1. Event event
)

Returns request-input interrupt ids contained in event.

Implementation

List<String> getRequestInputInterruptIds(Event event) {
  return event
      .getFunctionCalls()
      .where((FunctionCall call) => call.name == requestInputFunctionCallName)
      .map((FunctionCall call) => call.id)
      .whereType<String>()
      .toList(growable: false);
}