<<>> <> <> <> <> <> <> <> <> <> <> DIRECTORY Ascii, Basics, RefText, Rope, RopePrivate, SafeStorage; RopeImpl: CEDAR PROGRAM IMPORTS Ascii, Basics, RefText, RopePrivate, SafeStorage EXPORTS Rope SHARES Rope = BEGIN OPEN Rope, RopePrivate; <> <<>> <> <<>> <> <<>> <> < {>> <> < {>> <<[0..x.length) is the range of char indexes>> <<[0..x.max) is the number of chars of storage reserved>> <> <> <> <<};>> < {>> <> <> <> < {>> <<[0..x.size) is the range of char indexes>> <> <<[0..x.size) in x ==> [x.start..x.start+x.size) in x.base>> <= x.start + x.size >> <<};>> < {>> <<[0..x.size) is the range of char indexes>> <> <<[0..x.pos) in x ==> [0..x.pos) in x.base>> <> <<[x.pos..x.size) in x ==> [0..x.size-x.pos) in x.base>> <> <<};>> < {>> <<[0..x.size) is the range of char indexes>> <> <<[0..x.start) in x ==> [0..x.start) in x.base>> <<[x.newPos..x.size) in x ==> [x.oldPos..Size[x.base]) in x.base>> <> <<[x.start..x.newPos) in x => [0..x.newPos-x.start) in x.base>> <= x.newPos >= x.start AND x.oldPos >= x.start>> <> <<};>> <