Postcondition: if (r >= 0) radius =

Postcondition: if (r >= 0) radius = r;
// otherwise radius = 0;

ผลลัพธ์ (ไทย) 1:

Postcondition: ถ้า (r > = 0) รัศมี = r มิฉะนั้นรัศมี = 0

ผลลัพธ์ (ไทย) 2:

Postcondition: ถ้า (R> = 0) รัศมี r =;
// รัศมีมิฉะนั้น = 0;

ผลลัพธ์ (ไทย) 3:

postcondition : ถ้า ( r > = 0 ) รัศมี = r ;
/ / ไม่งั้นรัศมี = 0 ;