Let us assume that this was the code here class A had this variable x having value 200 and the invariant or the requirement on this variable is that x should always be greater than 100 and then we had several methods here, which we are using this variable and they were all maintaining this invariant that is the way the class was designed and they were working correctly, but then some programmer they extended the class A and he did not really look into the code just extended it and here he introduced the additional method that he needed m 1, where he set the variable x to 1.
ধরে নেয়া যাক, এটা হলো কোড। এখানে ক্লাস A-তে X ভেরিয়েবল রয়েছে, যার মান 200 এবং ইনভেরিয়েন্ট বা এই ভেরিয়েবলের ক্ষেত্রে প্রয়োজনটি হলো, x কে সব সময় 100-র থেকে বড় হতে হবে। এরপর আমাদের কাছে বিভিন্ন পদ্ধতি রয়েছে। যেখানে আমরা এই ভেরিয়েবলকে ব্যবহার করছি এবং এরা প্রত্যেকেই এই ইনভারিয়ান্টকে বজায় রাখছে।