PWTest.mesa
Copyright © 1984 by Xerox Corporation. All rights reversed.
Last Edited by: Monier, June 21, 1985 11:52:00 am PDT
Bertrand Serlet April 24, 1986 11:01:44 pm PST
Louis Monier August 22, 1985 1:11:41 pm PDT
DIRECTORY
PW, Rope;
PWTest: CEDAR PROGRAM
IMPORTS PW =
BEGIN
ROPE: TYPE = Rope.ROPE;
examples: PW.Design ← PW.OpenDesign["PWTest.dale"];
PWTestX: PW.UserProc =
BEGIN
-- Cells
a, b, test: PW.Object;
n: INT;
a ← PW.Get[examples, "a"];
b ← PW.Get[examples, "b"];
test ← PW.AbutX[a, b];
RETURN[test];
END;
PWTestSharedY: PW.UserProc =
BEGIN
-- Cells
a, b, test: PW.Object;
n: INT;
a ← PW.Rot90[PW.Get[examples, "a"]];
b ← PW.Rot90[PW.Get[examples, "b"]];
test ← PW.SharedAbutListY[LIST[a, b, a, b, a]];
RETURN[test];
END;
TestMapFunction: PW.UserProc =
BEGIN
Cells
contact, noContact, edge, test: PW.Object;
BinaryCount: PW.XYFunction =
{RETURN[
SELECT TRUE FROM
y=0 => edge,
PW.XthBitOfN[y-1, x] => contact,
ENDCASE => noContact]};
contact ← PW.Get[examples, "contact"];
edge ← PW.Get[examples, "edge"];
noContact ← PW.Inst[contact, LIST["contact"]];
test ← PW.MapFunction[BinaryCount, 0, 16, 0, 4];
RETURN[test];
END;
PW.Register[PWTestX, "PWTestX"];
PW.Register[PWTestSharedY, "PWTestSharedY"];
PW.Register[TestMapFunction, "TestMapFunction"];
END.