Scalar_Storage_Order

GNAT独自の属性で、配列型・レコード型の中のスカラーの成分を、メモリにどのバイト順で置くかを指定する。標準のAdaにはない。レコード型ではBit_Orderと同じ値にする必要があり、番地による重ね合わせには対応しない。

概念URI

https://comcomponent.com/knowledge/gnat-scalar-storage-order/

別名・表記

Scalar_Storage_Order属性

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• レコードの表現句(record representation clause)はScalar_Storage_Orderを前提とします。Bit_Orderは複数バイトの整数のバイト順を変えないので、リトルエンディアンのCPUでビッグエンディアンのヘッダーを表現句の型で読むには、GNAT独自のScalar_Storage_Orderも指定する。記事の例ではx86-64でBit_Orderだけの型が42を10752と読んだ / 確度: 条件付きの関係 / 確認日: 2026-11-10 出典 出典

この概念を扱う記事

• GigE VisionのパケットをAdaの型で受ける ── 表現句の落とし穴とSPARKで証明するパーサー(言及)

一次資料

• https://docs.adacore.com/live/wave/gnat_rm/html/gnat_rm/gnat_rm/implementation_defined_attributes.html#attribute-scalar-storage-order

このページはサイトの知識グラフ(_data/knowledge/)から自動生成されています。誤りの指摘はお問い合わせからお願いします。