Assert クラスには、コード上に不変条件を設定するためのアサーションメソッドに含まれています。