PackingTest.Mesa
Last Edited by: Spreitzer, August 19, 1983 10:45 am
PackingTest: CEDAR DEFINITIONS =
BEGIN
ThreeBitEnum: TYPE = {one, two, three, four, five};
Array: TYPE = ARRAY [0 .. 16) OF ThreeBitEnum;
ArraySize: CARDINAL = SIZE[Array];
PackedArray: TYPE = PACKED ARRAY [0 .. 16) OF ThreeBitEnum;
PackedArraySize: CARDINAL = SIZE[PackedArray];
Size240Three: CARDINAL = SIZE[PACKED ARRAY [0 .. 240) OF ThreeBitEnum];
Record: TYPE = RECORD [a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p: ThreeBitEnum];
RecordSize: CARDINAL = SIZE[Record];
MDRecord: TYPE = MACHINE DEPENDENT RECORD [a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p: ThreeBitEnum];
MDRecordSize: CARDINAL = SIZE[MDRecord];
ThreeThree: TYPE = MACHINE DEPENDENT RECORD [a, b, c: ThreeBitEnum];
ThreeThreeThree: TYPE = MACHINE DEPENDENT RECORD [
a(0:0..8): ThreeThree,
b(0:9..17): ThreeThree,
c(1:2..10): ThreeThree];
NineThree: TYPE = PACKED ARRAY [0 .. 9) OF ThreeBitEnum;
Size240NineThree: CARDINAL = SIZE[PACKED ARRAY [0 .. 240) OF NineThree];
ThreeNineThree:
TYPE =
MACHINE
DEPENDENT
RECORD [
a: NineThree,
b: NineThree,
c: NineThree];
MDThreeNineThree:
TYPE =
MACHINE
DEPENDENT
RECORD [
a(0:0..47): NineThree,
b(3:0..47): NineThree,
c(6:0..47): NineThree];
GenerosityTest:
TYPE =
MACHINE
DEPENDENT
RECORD [
a(0:0..7): BOOLEAN,
b(0:8..15): [0 .. 256)];
END.