-- RopeEdit.mesa; written by Bill Paxton, February 1981
-- edited by McGregor, February 8, 1983 10:52 am
-- edited by Paxton, August 24, 1982 9:53 am
-- This module provides editing operations for ropes
-- The edit functions are
-- Replace, Delete, Insert, Copy
-- ReplaceByChar, InsertChar, AppendChar,
-- ReplaceByString, InsertString, AppendString
-- Finally, there are a few miscellaneous Rope operations
-- Size, Fetch, Flatten
DIRECTORY
Rope,
Mopcodes,
RopeFrom;
RopeEdit: CEDAR DEFINITIONS
IMPORTS Rope, Mopcodes, RopeFrom
SHARES Rope =
BEGIN OPEN r:Rope, fromI:RopeFrom;
ROPE: TYPE = Rope.ROPE;
Offset: TYPE = INT;
MaxLen: Offset = LAST[Offset];
MaxNat: NAT = LAST[NAT];
-- **** Editing Operations ****
Substr:
PROC [base:
ROPE, start: Offset ← 0, len: Offset ← MaxLen]
RETURNS [ROPE];
-- returns a subrope of the base
Concat:
PROC [base, rest:
ROPE, baseLen, restLen: Offset ← MaxLen]
RETURNS [ROPE];
-- returns the concatenation of two ropes
Replace:
PROC [
base: ROPE, start: Offset ← 0, len: Offset ← MaxLen, replace: ROPE ← NIL,
baseSize, repSize: Offset ← MaxLen]
RETURNS [ROPE];
-- returns a new rope with the given range replaced
Delete:
PROC [base:
ROPE, start, len, baseSize: Offset]
RETURNS [ROPE] = INLINE { RETURN [
Replace[base,start,len,NIL,baseSize,0]] };
Insert:
PROC [
dest: ROPE, destLoc: Offset ← 0, source: ROPE,
destSize, sourceSize: Offset ← MaxLen]
RETURNS [ROPE] = INLINE { RETURN [
Replace[dest,destLoc,0,source,destSize,sourceSize]] };
Copy:
PROC [
dest: ROPE, destLoc: Offset ← 0,
source: ROPE, start: Offset ← 0, len: Offset ← MaxLen,
destSize: Offset ← MaxLen]
RETURNS [ROPE];
ReplaceByChar:
PROC [
base: ROPE, char: CHAR,
start: Offset ← 0, len, baseSize: Offset ← MaxLen]
RETURNS [ROPE];
InsertChar:
PROC [
base: ROPE, char: CHAR, loc: Offset ← 0, baseSize: Offset ← MaxLen]
RETURNS [ROPE] =
INLINE { RETURN [ReplaceByChar[base,char,loc,0,baseSize]] };
AppendChar:
PROC [base:
ROPE, char:
CHAR, baseSize: Offset ← MaxLen]
RETURNS [ROPE] =
INLINE { RETURN [ReplaceByChar[base,char,MaxLen,0,baseSize]] };
AppendByte:
PROC [base:
ROPE, x:
UNSPECIFIED, baseSize: Offset ← MaxLen]
RETURNS [ROPE] = INLINE {
RETURN [AppendChar[base,LOOPHOLE[x,CHAR],baseSize]] };
String: TYPE = REF READONLY TEXT;
ReplaceByString:
PROC [
base: ROPE, string: String,
stringStart: NAT ← 0, stringNum: NAT ← MaxNat,
start: Offset ← 0, len, baseSize: Offset ← MaxLen]
RETURNS [new: ROPE];
InsertString:
PROC [
base: ROPE, string: String,
stringStart: NAT ← 0, stringNum: NAT ← MaxNat,
loc: Offset ← 0, baseSize: Offset ← MaxLen]
RETURNS [ROPE] = INLINE { RETURN [
-- string is inserted at loc
-- inserts stringNum chars from string starting with stringStart
ReplaceByString[base,string,stringStart,stringNum,loc,0,baseSize]] };
AppendString:
PROC [
base: ROPE,
string: String,
stringStart:NAT ← 0,
stringNum: NAT ← MaxNat,
baseSize: Offset ← MaxLen] RETURNS [ROPE] = INLINE { RETURN [
ReplaceByString[base,string,stringStart,stringNum,MaxLen,0,baseSize]] };
-- **** Miscellaneous Operations
Size:
PROC [base:
ROPE]
RETURNS [Offset] =
INLINE {
-- copied from RopeInline.Mesa
OPEN Rope;
ExtendPositive: PROC [x: INTEGER] RETURNS [Offset] = TRUSTED MACHINE CODE {Mopcodes.zLI0};
FirstPtr: TYPE = LONG POINTER TO INTEGER;
Tobject: TYPE = object node RopeRep;
first: INTEGER;
IF base = NIL THEN RETURN [0];
TRUSTED {
IF (first ← LOOPHOLE[base,FirstPtr]^) >= 0 THEN RETURN [ExtendPositive[first]];
RETURN [LOOPHOLE[base, REF Tobject].size]} };
Fetch:
PROC [rope:
ROPE, index: Offset]
RETURNS [
CHAR] =
INLINE {
RETURN [Rope.Fetch[rope,index]] };
CountPieces:
PROC [rope:
ROPE]
RETURNS [count: Offset] =
INLINE {
[,count,] ← RopeStats[rope] };
RopeStats:
PROC [base:
ROPE, start: Offset ← 0, len: Offset ← MaxLen]
RETURNS [size, pieces, depth: Offset];
Flatten:
PROC [rope:
ROPE]
RETURNS [
ROPE] =
INLINE {
RETURN [fromI.FlatSubstr[rope,0,MaxLen]] };
-- create a flat version of rope
SemiFlatten:
PROC [base:
ROPE]
RETURNS [
ROPE];
-- create a version with at most 5 pieces.
-- avoids copying biggest existing pieces in base
Depth: PROC [rope: ROPE] RETURNS [depth: INTEGER];
-- ***** Character property information
CharProperty: TYPE = {white, alphaNumeric, punctuation, illegal};
CharPropertyTable: TYPE = PACKED ARRAY CHAR OF CharProperty;
charPropertyTable: REF READONLY CharPropertyTable;
WhiteChar, BlankChar: PROC [char: CHAR] RETURNS [BOOLEAN] = INLINE {
-- Returns TRUE iff char has property=white.
RETURN [charPropertyTable[char] = white] };
AlphaNumericChar: PROC [char: CHAR] RETURNS [BOOLEAN] = INLINE {
-- Returns TRUE iff char has property=alphaNumeric.
RETURN [charPropertyTable[char] = alphaNumeric] };
PunctuationChar: PROC [char: CHAR] RETURNS [BOOLEAN] = INLINE {
-- Returns TRUE iff char has property=punctuation.
RETURN [charPropertyTable[char] = punctuation] };
IllegalChar: PROC [char: CHAR] RETURNS [BOOLEAN] = INLINE {
-- Returns TRUE iff char has property=illegal.
RETURN [charPropertyTable[char] = illegal] };
TestCharProp: PROC [char: CHAR, property: CharProperty] RETURNS [BOOLEAN] = INLINE {
-- Returns TRUE iff char has property.
RETURN [charPropertyTable[char] = property] };
GetCharProp: PROC [char: CHAR] RETURNS[property: CharProperty] = INLINE {
-- Returns property {white, alphaNumeric, punctuation, illegal} for char.
RETURN [charPropertyTable[char]] };
CR: CHAR = 'M-100B;
TAB: CHAR = 'I-100B;
SP: CHAR = ' ;
UpperCase:
PROC [c:
CHAR]
RETURNS [
CHAR] =
INLINE {
RETURN [IF c IN ['a..'z] THEN c-40B ELSE c] };
LowerCase:
PROC [c:
CHAR]
RETURNS [
CHAR] =
INLINE {
RETURN [IF c IN ['A..'Z] THEN c+40B ELSE c] };
END.