ChipTestServerProcs:
CEDAR
MONITOR
IMPORTS ChipTest, SystemVersion
EXPORTS ChipTestRemote =
BEGIN
localTester: ChipTest.Tester = IF SystemVersion.machineType = dolphin
THEN ChipTest.OpenTester[] ELSE NIL;
WriteRegs:
PUBLIC
ENTRY
PROC [ s: ChipTestRemote.RegStores ] =
{FOR i: NAT IN [0..s.length) DO localTester.writeR[t: localTester, reg: s.s[i].reg, value: s.s[i].value] ENDLOOP};
ReadIBuf:
PUBLIC
ENTRY
PROC
RETURNS [ChipTest.ChannelVec] =
{RETURN[localTester.readI[t: localTester]]};
ExecuteBuffer:
PUBLIC
ENTRY
PROC [ stepCount:
NAT, steps, testData:
REF ChipTestRemote.WordSeq ]
RETURNS [ result: ChipTest.ChannelVec, stepsLeft:
NAT ] =
BEGIN
RETURN[result: ALL[FALSE], stepsLeft: stepCount];
END;
END.