StdCorpse5OpaqueTestImpl.mesa
Philip James, March 2, 1992 1:26 pm PST
Laurie Horton, March 4, 1992 9:11 pm PST
DIRECTORY
StdCorpse5OpaqueTest;
StdCorpse5OpaqueTestImpl: CEDAR PROGRAM EXPORTS StdCorpse5OpaqueTest ~ {
OpaqueType: PUBLIC TYPE ~ RECORD [
i: INT← 17,
c: CARD← 13,
a: ARRAY [1..17] OF CARD ← ALL[7]
];
MakeNewOpaqueRef: PUBLIC PROCEDURE [] RETURNS [StdCorpse5OpaqueTest.OpaqueRef] ~ {
abc: StdCorpse5OpaqueTest.OpaqueRef ← NEW[OpaqueType];
abc.i ← 33;
abc.a[10] ← 3;
RETURN[abc];
};
}.