StdCorpse5OpaqueTestImpl.mesa
Copyright Ó 1992 by Xerox Corporation. All rights reserved.
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];
};
}.