প্যারামিটার হিসেবে পাস করা লিস্ট খালি কিনা বা নাল (null) কিনা চেক করার জন্য প্রিকন্ডিশন (precondition)। একটি উদাহরণ দেখি:
উদাহরণ
public void my_fun(List
'my_fun' নামে একটি void ফাংশন ডিফাইন করা হয়েছে যা অবজেক্টের একটি লিস্ট প্যারামিটার হিসেবে নেয়। যদি লিস্ট null হয়, তবে প্রাসঙ্গিক মেসেজ প্রিন্ট করা হয়। যদি লিস্টে কোনো এলিমেন্ট না থাকে, তবে একটি স্পেসিফিক মেসেজ দেখানো হয়। ফাংশনটি লিস্টকে প্যারামিটার হিসেবে পাস করে কল করা হয়। এই কোড স্নিপেট একটি প্রিকন্ডিশন যা লিস্ট খালি বা নাল কিনা চেক করতে ব্যবহার করা যায়।
