range2Str static method
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)}]';
}
}