From 03c8df0f42f3dafd7c57eff83bdea00da304e941 Mon Sep 17 00:00:00 2001 From: Ryo Yamashita Date: Sun, 16 Jul 2023 00:27:30 +0900 Subject: [PATCH] =?UTF-8?q?=E5=86=92=E9=A0=AD=E3=81=AEsafety=E3=82=BB?= =?UTF-8?q?=E3=82=AF=E3=82=B7=E3=83=A7=E3=83=B3=E3=82=92=E6=98=8E=E7=A2=BA?= =?UTF-8?q?=E3=81=AB?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- crates/voicevox_core_c_api/cbindgen.toml | 8 +++++++- crates/voicevox_core_c_api/include/voicevox_core.h | 8 +++++++- 2 files changed, 14 insertions(+), 2 deletions(-) diff --git a/crates/voicevox_core_c_api/cbindgen.toml b/crates/voicevox_core_c_api/cbindgen.toml index 2cae8ffca..c3118f3b4 100644 --- a/crates/voicevox_core_c_api/cbindgen.toml +++ b/crates/voicevox_core_c_api/cbindgen.toml @@ -12,7 +12,13 @@ header = """ * Safety * * - * このライブラリの使用にあたっては次の条件を遵守しなければならない。違反は未定義動作(_undefined behavior_)である。 + * このライブラリを使用するにあたり、未定義動作(_undefined + * behavior_)を避けるために保たなれなければならない不変条件がいくつかある。本ドキュメントではこの不変条件を安全性不変条件(_safety + * invariant_)と呼び、"Safety"というセクションの下に安全性不変条件を記述している。 + * + * 安全性不変条件の違反は未定義動作である。未定義動作が発生した場合、それにより何が起きるかの保証もされない。 + * + * `voicevox_core`全体における安全性不変条件は以下の通りである。 * * - 「読み込みについて有効」と説明されているポインタは次の条件を満たしていなければならない。 * - 間接参照可能(_dereferenceable_)である。 diff --git a/crates/voicevox_core_c_api/include/voicevox_core.h b/crates/voicevox_core_c_api/include/voicevox_core.h index bc1c23031..36af10704 100644 --- a/crates/voicevox_core_c_api/include/voicevox_core.h +++ b/crates/voicevox_core_c_api/include/voicevox_core.h @@ -7,7 +7,13 @@ * Safety * * - * このライブラリの使用にあたっては次の条件を遵守しなければならない。違反は未定義動作(_undefined behavior_)である。 + * このライブラリを使用するにあたり、未定義動作(_undefined + * behavior_)を避けるために保たなれなければならない不変条件がいくつかある。本ドキュメントではこの不変条件を安全性不変条件(_safety + * invariant_)と呼び、"Safety"というセクションの下に安全性不変条件を記述している。 + * + * 安全性不変条件の違反は未定義動作である。未定義動作が発生した場合、それにより何が起きるかの保証もされない。 + * + * `voicevox_core`全体における安全性不変条件は以下の通りである。 * * - 「読み込みについて有効」と説明されているポインタは次の条件を満たしていなければならない。 * - 間接参照可能(_dereferenceable_)である。