データ型 - 参照選択型

参照選択型は、選択型内に定義されている候補のデータ型から選択するときに使用します。

型の記法

  参照選択型 ::= 識別子 < 型

型の例

ファイル属性(FileAttribute)を以下のように定義します。
FileAttribute ::= CHOICE {
  data-last-used INTEGER,
  file-name      VisibleString}


上記の参照型から参照選択型を使用して、次のような新たな属性(CurrentAttributes)を定義することができます。
CurrentAttributes ::= SEQUENCE {
  data-last-used < FileAttribute,
  file-name      < FileAttribute}

値の記法
  参照選択値 ::= 識別子 値

値の例

currentValue CurrentAttributes ::=  {
  data-last-used 27, 
  file-name      "PROGRAM"}