The postconditional clause in the specification ensures the system resets the flag upon completion.
仕様の事後条件に関する節は、処理完了時にシステムがフラグをリセットすることを保証します。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★