アプリケーションの開発¶

Settings を開きます。 アプリケーションを右クリックして Settings (Kconfig)… を選択します（または IPRO Home の Settings (Kconfig) をクリックします）。

期待される結果：Settings: <application> タブが開き、左側にすべてのオプションが Kconfig のメニューごとに、右側に選択したオプションのヘルプが表示されます。

オプションを変更します。 検索ボックスに変更したいオプション（例：LOG_BUFFER_SIZE）を入力し、値を 512 に変更します。

期待される結果：その行の左側に緑のマークが付き、タブのタイトルに未保存を示す点が表示され、右上のボタンが Save 1 に変わります。右側のパネルには、そのオプションの型、範囲、依存関係、.config での元の値、Kconfig のデフォルト値が表示されます。

保存します。 Save をクリックします（macOS では Cmd+S、Windows では Ctrl+S）。

期待される結果：「Saved 1 settings to .config of … (the previous file is .config.old). The next build configures again.」という通知が表示されます。

Pin Configuration を開きます。 アプリケーションを右クリックして Pin Configuration… を選択します（または IPRO Home の Pins をクリックします）。

期待される結果：左側に QFN56 のパッケージ図、右側に GPIO の表が表示されます。Board は自動的に IPRO7AI Reef V4 に設定され、On the board 列には各ピンがボード上で何に接続されているかが表示されます。40 ピンヘッダーにつながるピンには、ヘッダーのピン番号も表示されます。

ピンを割り当てます。 GPIO24 の行をクリックし、Signal で GPIO_OUT (as on the board) を選択して、Label に RGB_LED と入力します。

期待される結果：パッケージ図のピン 24 が青色になります。右側のパネルには、そのピンで使用できる機能、I/O 電圧、ボードの配線が表示されます。下部の Generated code にある app_pins.c に GPIO24 の行が追加され、「No problems.」と表示されます。

競合を試します。 GPIO24 の信号を UART1_TXD に変更します。

期待される結果：ピン 24 が琥珀色になり、Problems に、このピンは Reef V4 で RGB LED に配線されているという警告が、この信号を移せる空きピン（Could go to）とともに表示されます。Move to GPIO… をクリックすると、設定をそのピンに移動できます。確認したら、GPIO24 を GPIO_OUT (as on the board) に戻します。

信号で検索します。 検索ボックスに SDH_0 と入力します。

期待される結果：表には SDH_0 を割り当てられるピンだけが表示され、パッケージ図ではそれらのピンが枠で囲まれます。検索文字列を消去すると、表全体が元に戻ります。

保存してコードを生成します。 Save and Generate をクリックします（Cmd+S / Ctrl+S）。

期待される結果：「Saved pins.yaml and generated app_pins.h and app_pins.c.」という通知が表示されます。アプリケーションフォルダーに pins.yaml、app_pins.h、app_pins.c が作成され、CMakeLists.txt に app_pins.c の行が追加されます。

生成されたコードを呼び出します。 main.c に #include "app_pins.h" を追加し、ipro_platform_init(); の次の行で app_pins_init(); を 1 回呼び出してから、Build, Flash and Monitor をクリックします。

期待される結果：アプリケーションは通常どおり動作します。以降は pins.yaml が変更されるたびに、ビルド中の IPRO Build にまず pins: wrote app_pins.c from pins.yaml と表示され、それからコンパイルが始まります。

GATT Configuration を開きます。 アプリケーションを右クリックして GATT Configuration… を選択します（または IPRO Home の GATT services をクリックします）。

期待される結果：GATT: <application> タブが開きます。gatt.yaml がまだない場合は、最初にサービスを追加するよう促す説明が上部に表示されます。

サービスを追加します。 + Service をクリックし、名前を sensor に変更します。

期待される結果：左側の一覧に sensor が表示されます。UUID にはすでにランダムな 128 ビット UUID が入っており、New をクリックすると別の UUID に変わります。

キャラクタリスティックを追加します。 + Characteristic をクリックし、名前を counter に変更し、プロパティの read と notify にチェックを入れ、値の型に uint32 を選択して、説明に Seconds since boot と入力します。

期待される結果：右側の In app_gatt.h に app_gatt_sensor_counter_get、_set、_notify、_subscribed が一覧表示され、その下に、自分で定義できるフック app_gatt_sensor_counter_subscription_changed が表示されます。「No problems.」と表示されます。

無効な UUID を試します。 UUID を 2a1 に変更します。

期待される結果：問題の一覧に sensor.counter: "2a1" is not a 16-bit UUID such as 2a19 or a 128-bit UUID と表示され、生成コードの代わりに「Fix the errors to see the generated code.」と表示されます。New をクリックして、有効な UUID に戻します。

保存してコードを生成します。 Save and Generate をクリックします（Cmd+S / Ctrl+S）。

期待される結果：「Saved gatt.yaml and generated app_gatt.h and app_gatt.c.」という通知が表示されます。アプリケーションフォルダーに gatt.yaml、app_gatt.h、app_gatt.c が作成され、CMakeLists.txt に app_gatt.c の行が追加されます。

生成された関数をコードで使用します。 #include "app_gatt.h" を追加し、自分のタスクで値を更新して、購読しているピアに通知します。サービスをスキャンするピアがボードを見つけられるように、アドバタイズデータにサービスの UUID を入れます。

#include "app_gatt.h"

static const struct bt_data ad[] = {
    BT_DATA_BYTES(BT_DATA_FLAGS, (BT_LE_AD_GENERAL | BT_LE_AD_NO_BREDR)),
    BT_DATA_BYTES(BT_DATA_UUID128_ALL, APP_GATT_SENSOR_UUID_VAL),
};

/* Once a second, in your own task (not in an interrupt) */
app_gatt_sensor_counter_set(seconds);
if (app_gatt_sensor_counter_subscribed()) {
    app_gatt_sensor_counter_notify(NULL);   /* NULL: every subscribed peer */
}

Build, Flash and Monitor をクリックします。

期待される結果：IPRO Build にまず gatt: wrote app_gatt.c from gatt.yaml と表示され、それからコンパイルが始まります。スマートフォンやコンピューターの BLE ツール（例：nRF Connect）で接続すると、sensor サービスと counter が表示されます。通知を購読すると、1 秒ごとに新しい値が届きます。

ビルドします。 Build をクリックします（Cmd+Alt+B / Ctrl+Alt+B）。

期待される結果：成功すると「Built <application> in N s」という通知が表示され、続いてメモリ使用量が表示されます。

エラーの箇所に移動します。 コードにエラーがある場合は、「<application> did not compile. First error at <file>:<line>: <message>」という通知が表示されます。Go to Error をクリックすると、エディターがその行にジャンプします。Problems パネルには、すべてのエラーと警告が一覧表示されます。

修正して再度ビルドします。 コードを修正して、もう一度ビルドします。必要に応じて、通知の Ask AI to Fix をクリックすることもできます（AI アシスタントを参照）。

メモリマップを開きます。 ビルドが成功した後、ステータスバーのメモリ使用量か、IPRO Home の What uses the memory をクリックします。

期待される結果：「Memory map of <application>」が開き、flash、ocram、hbnram のタブがそれぞれ表示されます。その下に、ライブラリ、オブジェクトファイル、シンボルがサイズ順に、その領域に占める割合とともに一覧表示されます。シンボルをダブルクリックすると、ワークスペース内でそのシンボルを検索します。

絞り込みます。 フィルターボックスにライブラリ、オブジェクトファイル、シンボルの名前を入力すると、一致する項目だけが表示されます。

サイズの変化を確認します。 コードを変更して再度ビルドし、IPRO Build の出力の最後の数行を確認します。

期待される結果：例えば Memory since the last build: flash +3,072 B, ocram 0 B, … に続いて、変化の大きかったシンボル（例：+3,072 B my_table (flash, (application) main.c.o)）が表示されます。ビルド完了の通知でも、使用量の後に変化量が追加されます（例：flash 8.2% (+3,072 B)）。初回のビルドの後やクリーンの後は、比較する前回のビルドがないため、これらの行は表示されません。

メモリバジェットを設定します。 設定を開き（macOS では Cmd+,、Windows では Ctrl+,）、ipro.build を検索して、Memory Budget に各領域の上限の割合（例：{ "flash": 90, "ocram": 95 }）を入力します。

期待される結果：上限を超えると、「… is over its memory budget: flash 92.1% > 90%.」という通知が表示されます。Memory Map をクリックすると、何がメモリを使っているかを確認できます。

バジェットを超えたときにビルドを失敗させます（任意）。 さらに Fail Over Budget にチェックを入れると、バジェットを超えたビルドは失敗します。その場合、Build, Flash and Monitor は書き込みの前に停止します。