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];
PL[in2, H];
PL[out, H, expect];
Eval[];
}};
RosemaryUser.RegisterTestProc["AndOrTest", AndOrTest];
END.