Ön Koşul

Ön Koşul nedir?

Ön koşul, bir eylem çağrıldığında doğru olması gereken bir koşulu özetleyen bir ifade veya ifade kümesidir. Ön koşul ifadesi, işlev çağrılmadan önce neyin doğru olması gerektiğini belirtir.

Misal:

Bir sayının karekökünü tanımlamak için ön koşul, sayının sıfırdan büyük olmasıdır. Ön koşulun yerine getirilmesinin ardından, konsolda sayının karekökü görüntülenir.