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