From 369e430b05534e694183b6faa8e4e0e540973158 Mon Sep 17 00:00:00 2001 From: Ariel Davis Date: Sat, 6 May 2023 15:42:15 -0700 Subject: [PATCH] Improve doc --- lib/line-index/src/lib.rs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/lib/line-index/src/lib.rs b/lib/line-index/src/lib.rs index 2c71e8e763..23f9d989c0 100644 --- a/lib/line-index/src/lib.rs +++ b/lib/line-index/src/lib.rs @@ -214,7 +214,9 @@ impl LineIndex { Some(LineCol { line: line_col.line, col }) } - /// Returns an iterator over the ranges for the lines. + /// Given a range [start, end), returns a sorted iterator of non-empty ranges [start, x1), [x1, + /// x2), ..., [xn, end) where all the xi, which are positions of newlines, are inside the range + /// [start, end). pub fn lines(&self, range: TextRange) -> impl Iterator + '_ { let lo = self.newlines.partition_point(|&it| it < range.start()); let hi = self.newlines.partition_point(|&it| it <= range.end());