'Valid属性

スカラーのオブジェクトが、その部分型の値を表す正しい表現を持っているかを返すAdaの属性。変換や入力、他言語とのやり取りで作ったデータを確かめるのに使う。

概念URI

https://comcomponent.com/knowledge/ada-valid-attribute/

別名・表記

Valid attribute / X'Valid

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• Ada.Unchecked_Conversionは'Valid属性で確認できます。Unchecked_Conversionの結果は型の値を表すとは限らず、使い方によっては実行がerroneousになる。列挙型などの成分は使う前にValid属性で確かめる。記事の例では形式のバイトが0x09のヘッダーでFormat'Validが偽になった / 確度: 確立した関係 / 確認日: 2026-11-10 出典 出典

この概念を扱う記事

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

一次資料

• https://www.adaic.org/resources/add_content/standards/22rm/html/RM-13-9-2.html

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