TestDAUser.mesa
Copyright Ó 1987 by Xerox Corporation. All rights reversed.
Barth, October 16, 1987 3:22:53 pm PDT
DIRECTORY
RosemaryUser, Ports;
TestDAUser:
CEDAR
PROGRAM
IMPORTS RosemaryUser, Ports =
BEGIN OPEN Ports;
AndOrPorts: TYPE = REF AndOrPortsRec;
AndOrPortsRec:
TYPE =
RECORD [in1, in2, out: Ports.Port];
AndOrTest: RosemaryUser.TestProc= {
andOrPorts: AndOrPorts ← NEW[AndOrPortsRec];
{OPEN andOrPorts;
[in1, in2, out] ← Ports.BindPorts[cellType.public, p, "in1", "in2", "out"];
PL[in1, H, force];
PL[in2, H, force];
PL[out, H, expect];
Eval[];
PL[in1, H, force];
PL[in2, L, force];
Eval[];
PL[in1, L, force];
PL[in2, L, force];
PL[out, L, expect];
Eval[];
PL[in1, L, force];
PL[in2, H, force];
Eval[];
}};
RosemaryUser.RegisterTestProc["AndOrTest", AndOrTest];
END.