diff --git a/courseA/IM_DTRAM.html b/courseA/IM_DTRAM.html
index 1c2f410..3eea040 100644
--- a/courseA/IM_DTRAM.html
+++ b/courseA/IM_DTRAM.html
@@ -37,6 +37,7 @@
商品登録用のイベントチャンネルを ItemRegistration
,itemId
で登録されている商品に対して入荷か出荷を行うためのイベントチャンネルを ReceivingOrShipping(itemId:Str)
として宣言しています.
ItemRegistration
チャンネルでは inventory
リソースが,メッセージ registerItem(itemId, itemName, quantity)
を受け取ると, リソースの状態が itemDB
から insert(itemDB, itemId, {"count": quantity, "name": itemName})
に変わることを示しています.
ここで,insert()
関数は,第1引数に渡された写像に対し,第2引数と第3引数の対応を追加した結果得られる写像を返す関数です.
+また {"count": quantity, "name": itemName}
は,"count"
と "name"
をキーに持つ JSON オブジェクトを表しています.
ReceivingOrShipping(itemId:Str)
チャンネルでは inventory.{itemId}.count
リソースがメッセージ receiveOrShip(quantity)
を受け取ると,
遷移前の状態 prev_quantity
が prev_quantity + quantity
に変わることを示しています.