(range: CharRangeRepr, maxCount = Infinity)
| 670 | } |
| 671 | |
| 672 | export function toCodePoints(range: CharRangeRepr, maxCount = Infinity): number[] { |
| 673 | let r1 = begin(range); |
| 674 | let r2 = end(range); |
| 675 | let a = []; |
| 676 | while (r1 <= r2 && a.length < maxCount) { |
| 677 | a.push(r1++); |
| 678 | } |
| 679 | return a; |
| 680 | } |
| 681 | } |
| 682 | |
| 683 | /** |