Mike Spreitzer January 22, 1987 10:44:21 pm PST

ROPE: TYPE = Rope.ROPE;

RefTextNode: TYPE = TextNode.Ref;

Location: TYPE = TextNode.Location;

Span: TYPE = TextNode.Span;

Looks: TYPE = TextLooks.Looks;

noLooks: Looks = TextLooks.noLooks;

allLooks: Looks = TextLooks.allLooks;

CharSet: TYPE = TextEdit.CharSet;

Place: TYPE = EditSpan.Place;

You must lock the subject document(s) while calling these procedures.

Delete: PROC [root: RefTextNode, del: Span];

InsertRope: PROC [root, dest: RefTextNode, rope: ROPE, destLoc: INT, inherit: BOOL ← TRUE, looks: Looks ← noLooks, charSet: CharSet ← 0];

Move: PROC [destRoot, srcRoot: RefTextNode, dest: Location, source: Span, where: Place ← after];

CallWithLock: PROC [Proc: PROC [RefTextNode], root: TiogaOps.Ref];

}.