Put_Image

型の値を人が読む文字列としてテキストバッファに書く手続きで、Ada 2022ではどの型の'Imageもこれを通して定義される。アスペクトで型ごとに差し替えられる。

概念URI

https://comcomponent.com/knowledge/ada-put-image/

別名・表記

Put_Image aspect / 'Image / Image属性

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• Big_IntegersはPut_Imageを利用します。RMのBig_Integerの宣言にはPut_Imageが指定されており、Big_Integerの'Imageは10進の数字の文字列になる。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典 出典

この概念を扱う記事

• Ada 2022 の新しい機能 ── GNAT で動くものと、まだ書けない並列構文(主要トピック)

一次資料

• https://ada-lang.io/docs/arm/AA-4/AA-4.10/

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