Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Zed_lines
SourceSets of line positions.
This module implement sets of line positions. They allow to efficiently find the beginning of a line and to convert offset to line and column number.
Exception raised when trying to access a position outside the bounds of a set.
Type of sets of line positions.
of_rope rope
returns the set of newline positions in rope
.
Returns the width of the given string.
Returns the width of the given string. If error encounted, returns the width of the legit part
line_index set ofs
returns the line number of the line containing ofs
.
line_start set idx
returns the offset of the beginning of the idx
th line of set
.
line_stop set idx
returns the offset of the end of the idx
th line of set
.
line_length set idx
returns the length of the idx
th line of set
.
remove set offet length
removes length
characters at offset
in set.
replace set offset length repl
replaces the subset at offset offset
and length length
by repl
in set
.