% $RCSfile: CollectionSecureStateUnbun.oz,v $ \insert 'NewWrapper.oz' \insert 'StackSecureStateUnbun.oz' declare local Wrap Unwrap {NewWrapper Wrap Unwrap} fun {NewCollection} {Wrap {Stack.new}} end proc {Put C X} S={Unwrap C} in {Stack.push S X} end fun {Get C} S={Unwrap C} in {Stack.pop S} end fun {IsEmpty C} {Stack.isEmpty {Unwrap C}} end in Collection=collection(new:NewCollection put:Put get: Get isEmpty:IsEmpty) end