pub fn next_line(&self, pos: BytePos) {
        // the new charpos must be > the last one (or it's the first one).
        let mut lines = self.lines.borrow_mut();
        let line_len = lines.len();
        assert!(line_len == 0 || ((*lines)[line_len - 1] < pos));
        lines.push(pos);
    }
/// EFFECT: register a start-of-line offset in the
/// table of line-beginnings.
/// UNCHECKED INVARIANT: these offsets must be added in the right
/// order and must be in the right places; there is shared knowledge
/// about what ends a line between this file and parse.rs
/// WARNING: pos param here is the offset relative to start of CodeMap,
/// and CodeMap will append a newline when adding a filemap without a newline at the end,
/// so the safe way to call this is with value calculated as
/// filemap.start_pos + newline_offset_relative_to_the_start_of_filemap.
register a start-of-line offset in the
table of line-beginnings.
UNCHECKED INVARIANT: these offsets must be added in the right
order and must be in the right places; there is shared knowledge
about what ends a line between this file and parse.rs
WARNING: pos param here is the offset relative to start of CodeMap,
and CodeMap will append a newline when adding a filemap without a newline at the end,
so the safe way to call this is with value calculated as
filemap.start_pos + newline_offset_relative_to_the_start_of_filemap.
register a start - of - line offset in the table of line - beginnings . UNCHECKED INVARIANT : these offsets must be added in the right order and must be in the right places ; there is shared knowledge about what ends a line between this file and parse . rs WARNING : pos param here is the offset relative to start of CodeMap and CodeMap will append a newline when adding a filemap without a newline at the end so the safe way to call this is with value calculated as filemap . start_pos + newline_offset_relative_to_the_start_of_filemap .
pub fn next_line(&self, pos: BytePos) {
        // the new charpos must be > the last one (or it's the first one).
        let mut lines = self.lines.borrow_mut();
        let line_len = lines.len();
        assert!(line_len == 0 || ((*lines)[line_len - 1] < pos));
        lines.push(pos);
    }
pub fn next_line ( & self , pos : BytePos ) { // the new charpos must be > the last one (or it's the first one). let mut lines = self . lines . borrow_mut ( ) ; let line_len = lines . len ( ) ; assert ! ( line_len 0 ( ( lines ) [ line_len 1 ] pos ) ) ; lines . push ( pos ) ; }
EFFECT: register a start-of-line offset in the
table of line-beginnings.
EFFECT : register a start - of - line offset in the table of line - beginnings .
&self
pos
BytePos
&self
pos
BytePos