en : precondition

契約による設計におけるコードの利用条件のひとつ