So, we might have additional methods in a class which report the values of these private variables low level probes to manually inspect object attributes or formal proof of correctness techniques do not really look at the variables, but proof of correctness techniques.
সুতরাং, একটি ক্লাসে অতিরিক্ত মেথড থাকতে পারে, যা প্রাইভেট ভেরিয়েবলগুলোর মানগুলোকে রিপোর্ট করে, ছোটখাটো তদন্ত থেকে শুরু করে ম্যানুয়ালি অবজেক্ট অ্যট্রিবিউটগুলোকে অনুসন্ধান করা বা পদ্ধতিগুলোর শুদ্ধতার আনুষ্ঠানিক প্রমান। এগুলো সাধারণত ভেরিয়াবলগুলোকে সেভাবে লক্ষ্য করে না। কিন্তু, পদ্ধতির শুদ্ধতার দিকে নজর রাখে।