Prasyarat adalah perpustakaan kelas di jambu jala, yang digunakan untuk memeriksa parameter yang lewat.
Boolean FindElement (Daftar <String> Elemen, String yang diinginkan) {CheckNotNull (Elemen);Penggunaannya sederhana dan jelas, yaitu, periksa apakah elemen parameternya nol. Tentu saja, ada metode lain di kelas prasyarat, yang dapat memenuhi cek hampir semua parameter yang lewat. Keuntungan dari prasyarat adalah lebih mudah dipahami dalam tumpukan panggilan, dan setiap metode juga memberikan varian string yang diformat, seperti:
Checkargument (i <j, "diharapkan saya <j, tapi %s> %s", i, j);
Berbeda dari kata kunci menegaskan yang dilengkapi dengan Java, metode prasyarat masih efektif dalam versi rilis.