range2Str static method

String range2Str(
  1. RangeList range
)

Implementation

static String range2Str(RangeList range) {
  String escape(int char) {
    if (char >= 32 && char <= 127) {
      return String.fromCharCode(char);
    } else {
      return char.toString();
    }
  }

  final start = range.start;
  final end = range.end;
  if (start == end) {
    return '[${escape(start)}]';
  } else {
    return '[${escape(start)}-${escape(end)}]';
  }
}