% $Id: SampleSecure.oz,v 1.1 2007/10/22 04:59:11 leavens Exp leavens $ \insert 'NewWrapper.oz' %% See the specification in SampleSecureTest.oz %% implementation declare local Wrap Unwrap in {NewWrapper Wrap Unwrap} fun {NewSample I J K} if 0 =< I andthen I < J andthen J < K then {Wrap sample(average: {IntToFloat I+J+K}/3.0 median: J)} else raise badArguments(I J K) end end end fun {Average Sample} sample(average: AV ...) = {Unwrap Sample} in AV end fun {Median Sample} sample(median: MV ...) = {Unwrap Sample} in MV end end