Javadocを整備し、caseTrueなどの真偽値を取ってオブジェクトを返す検査メソッドを追加。