DefaultTest.mesa
Russ Atkinson, May 2, 1983 4:58 pm
DefaultTest: CEDAR DEFINITIONS = BEGIN
CARD: TYPE = LONG CARDINAL;
Biased: TYPE = [1..15];
Unbiased: TYPE = [0..15];
DefaultInt: INT = 1;
DefaultBiased: Biased = 1;
DefaultUnbiased: Unbiased = 1;
RCType: TYPE = RECORD [
SELECT tag: * FROM
smallUnbiased => [Unbiased],
smallBiased => [Biased],
largeNonRC => [INT],
largeRC => [REF],
ENDCASE];
DefaultRCType: RCType = [smallUnbiased[1]];
Record: TYPE = RECORD [
argRC: RCType ← DefaultRCType,
argIC: INT ← 1,
argII: INT ← DefaultInt,
argIB: INT ← DefaultBiased,
argIU: INT ← DefaultUnbiased,
argBC: Biased ← 1,
argBI: Biased ← DefaultInt,
argBB: Biased ← DefaultBiased,
argBU: Biased ← DefaultUnbiased,
argUC: Unbiased ← 1,
argUI: Unbiased ← DefaultInt,
argUB: Unbiased ← DefaultBiased,
argUU: Unbiased ← DefaultUnbiased,
argLCC: CARD ← 1,
argLCI: CARD ← DefaultInt,
argLCB: CARD ← DefaultBiased,
argLCU: CARD ← DefaultUnbiased];
TestRecord: PROC [record: Record] RETURNS [REF Record];
TestCompiledRecord: PROC RETURNS [REF Record];
END.