<> <> <> <<>> DIRECTORY InterminalImpl USING [DisplayRec, left, right]; InterminalExtraExtra: CEDAR PROGRAM IMPORTS InterminalImpl SHARES InterminalImpl ~ { Side: PUBLIC TYPE ~ {left, right}; SetColorDisplaySide: PUBLIC SAFE PROC[side: Side] ~ CHECKED { OPEN InterminalImpl; IF GetColorDisplaySide[]#side THEN { -- swap temp: POINTER TO DisplayRec ~ right; right _ left; left _ temp; }; }; GetColorDisplaySide: PUBLIC SAFE PROC RETURNS[Side] ~ TRUSTED { OPEN InterminalImpl; RETURN[IF left.color THEN left ELSE right]; }; }.