الشروط المسبقة هي مكتبة فئة في الجوافة ، والتي تستخدم للتحقق من المعلمات المارة.
Boolean Findelement (قائمة <Tring> ، سلسلة SaideLement) {checkNotnull (عناصر) ؛الاستخدام بسيط وواضح ، أي تحقق مما إذا كانت عناصر المعلمة خالية. بالطبع ، هناك طرق أخرى في فئة الشروط المسبقة ، والتي قد تفي بالتحقق من جميع المعلمات التي تمريرها تقريبًا. تتمثل ميزة الشروط المسبقة في أنه من الأسهل الفهم في مكدس المكالمات ، وكل طريقة توفر أيضًا متغيرات من السلسلة المنسقة ، مثل:
checkargument (i <j ، "متوقع I <j ، لكن ٪ s> ٪ s" ، i ، j) ؛
مختلفة عن الكلمات الرئيسية التي تأتي مع Java ، لا تزال طريقة الشروط المسبقة فعالة في إصدار الإصدار.