Sinf invarianti

computer programming sohasida, xususan, object-oriented programmingda sinf invarianti (class invariant) yoki tur invarianti (type invariant) — sinf obyektlarini (object) cheklash uchun qoʻllanadigan invariant.