Adaにおける型

一覧。ARM 3.2から適当に改変。日本語も適当。

• 基本型 elementary
  • 数 scalar
    • 離散型 discrete
      • 列挙型 enumeration （文字、真偽値、…）
      • 正負あり整数 signed integer
      • 正負なし整数 modular integer
    • 実数 real
      • 浮動小数点値 floating point
      • 固定小数点値 fixed point
        • （普通の）固定小数点値 ordinary fixed point
        • 十進固定小数点値 decimal fixed point
  • 参照 access
    • オブジェクトの参照 access-to-object
    • 関数の参照 access-to-function
• 合成型 composite type
  • タグ付けされていない untagged
    • 配列 array （文字列を含む）
    • レコード record
    • タスクtask
    • （共有データ）protected
  • タグ付けされている（インターフェースを含む） tagged (including interfaces)
    • 代入制限なしのレコード nonlimited tagged record
    • 代入制限あり limited tagged
      • レコード limited tagged record
      • （並列処理） synchronized tagged
        • タスク tagged task
        • （共有データ） tagged protected

見どころとしては

• ポインタじゃなくて参照
• 文字列は単なる配列
• 文字も真偽値も単なる列挙型