Preconditions เป็นไลบรารีคลาสใน Guava ซึ่งใช้เพื่อตรวจสอบพารามิเตอร์การส่งผ่าน
การค้นพบบูลีน (รายการ <String> องค์ประกอบที่ต้องการสตริง) {checkNotNull (องค์ประกอบ);การใช้งานนั้นง่ายและชัดเจนนั่นคือตรวจสอบว่าองค์ประกอบพารามิเตอร์เป็นโมฆะหรือไม่ แน่นอนว่ามีวิธีการอื่น ๆ ในคลาส preconditions ซึ่งอาจตรงกับการตรวจสอบของพารามิเตอร์ที่ผ่านเกือบทั้งหมด ข้อได้เปรียบของเงื่อนไขเบื้องต้นคือการทำความเข้าใจในสแต็กการโทรง่ายขึ้นและแต่ละวิธียังมีสายพันธุ์ของสตริงที่จัดรูปแบบเช่น:
checkargument (i <j, "คาดว่าฉัน <j, แต่ %s> %s", i, j);
แตกต่างจากคำหลักยืนยันที่มาพร้อมกับ Java วิธีการของเงื่อนไขยังคงมีประสิทธิภาพในเวอร์ชันรุ่น