Talk:Ada Programming/Aspects/Write
function Sum (A, B : Number) return Number
with
Post => (if
A <= 0.0 and B >= 0.0
then
Sum'Result = A + B); function Sum (A, B : Number) return Number
with
Post => (if
A <= 0.0 and B >= 0.0
then
Sum'Result = A + B);