commit | a8412336926a28d0604eb311b41bd609852f5ea3 | [log] [tgz] |
---|---|---|
author | Natalie Weizenbaum <nweiz@google.com> | Tue Jul 09 16:35:39 2024 -0700 |
committer | GitHub <noreply@github.com> | Tue Jul 09 16:35:39 2024 -0700 |
tree | 05d43bca507488be062d5d626f2779e3fa14fd00 | |
parent | fa4c6940b98bc27f2a69127915e47ca3656601b9 [diff] |
Add a `SpanScanner.spanFromPosition()` method (dart-lang/string_scanner#78) Tracking raw ints can be more efficient than tracking `LineScannerState` objects, and allows users to do small manual manipulations on the resulting positions.