引数および状態のチェックを抽象クラス側へ移動。
抽象メソッドのシグネチャを修正。