--/ivy/binding/ropesets/ropesetstest.mesa
-- to test RopeSets
-- Last edited by: Binding, August 8, 1984 9:43:46 am PDT
DIRECTORY
Commander USING [CommandProc, Register],
Rope USING [ ROPE],
RopeSets
;
RopeSetsTest: CEDAR PROGRAM
IMPORTS Commander, RopeSets
= BEGIN OPEN RopeSets, Rope;
DoIt: Commander.CommandProc = BEGIN
rs, rs2: RopeSet;
bool: BOOLEAN;
min, max: Rope.ROPE;
rover: REF RopeSetEl;
bool ← IsSetEmpty[ rs];
rs ← DeleteValueFromSet[ " none", rs];
rs ← InsertValueIntoSet[ "AAA", rs];
rs ← InsertValueIntoSet[ "BBB", rs];
rs ← InsertValueIntoSet[ "CCC", rs];
rs ← InsertValueIntoSet[ "XXX", rs];
rs ← InsertValueIntoSet[ "YYY", rs];
rs ← InsertValueIntoSet[ "GGG", rs];
rs ← InsertValueIntoSet[ "DDD", rs];
rs ← InsertValueIntoSet[ "GGG", rs];
rs ← InsertValueIntoSet[ "ZZZ", rs];
rs ← DeleteValueFromSet[ "ZZZ", rs];
rs ← DeleteValueFromSet[ "AAA", rs];
rs ← DeleteValueFromSet[ "AAA", rs];
rs ← DeleteValueFromSet[ "GGG", rs];
rs ← DeleteValueFromSet[ "ZZZ", rs];
bool ← IsValueInSet[ "AAA", rs];
bool ← IsValueInSet[ "BBB", rs];
bool ← IsValueInSet[ "ZZZ", rs];
[ min, max] ← MinMaxValues[ rs];
rover ← MoveRover[ rs.Head, Right, 3, FALSE];
rover ← MoveRover[ rover, Right, 100, FALSE];
rover ← MoveRover[ rover, Left, 100, FALSE];
rs2 ← InsertValueIntoSet[ "CCC", rs2];
rs2 ← InsertValueIntoSet[ "HHH", rs2];
rs2 ← InsertValueIntoSet[ "JJJ", rs2];
rs2 ← InsertValueIntoSet[ "ZZZ", rs2];
rs ← Union[ rs, rs2];
rs ← Union[ rs, [NIL, NIL]];
rs ← Difference[ rs, rs2];
rs ← Union[ rs, rs];
rs ← Union[ rs, rs2];
rs ← Intersection[ rs, rs2];
rs ← Intersection[ rs, rs];
END; -- DoIt
Commander.Register["TestRopeSets", DoIt, "TestRopeSets: Randomly testing some of the routines..{cr})"];
END.