型

型の体系は、集合の包含関係に基づいた階層的な体系とする。

ある与えられた型の副型は、その型の任意の上位型の副型でもある。 即ち、AがBの副型であり、かつCがBの上位型である場合、AはCの副型と なる。

各基底構造要素の値は、で定義する型のいずれ かに属する。 型の定義は、それぞれの型を、基底型、基底型の副型又は2個以上の 他の型の上位型のいずれかとして識別する。さらに、その型の値の集合を 識別する。

その型に属する値の等価性は、 等価性の定義を必要とする個々の基底型について定義する。 単一の基底型の副型である型に属する二つの値は、それらがその基 底型の値として等価である場合に、そしてその場合にだけ等価とする。 複数の基底型からなる型の値に関する等価性は、そのような型それ ぞれについて定義する。

  • 2個以上の基底型の上位型である型の二つの値は、 そららが同一の基底型の値であり、かつその基底型の値として等価である場合、 常に等価とする。
  • . ]]>参照)。

    論理型

    論理型は、基底型とする。 論理型の値の集合は、二つの値真及び偽からなる。 論理型の二つの値は、それらが同一である場合、 そしてその場合に限り等価とする。

    列挙型

    個々の個々のそれらの値の意味は、その型の定義によって規定される。 それらの値の表現は、用いられている構造表現交換様式に依存する。 二つの異なる

    整数型

    整数値MaxInteger and the maximum value for MinInteger are specified in . ]]>で規定する。 31+1 and 231-1 inclusive. ]]>-231+1以上231-1以下のすべての整数を含む。

    非負整数型

    正整数型

    実数型

    . ]]>で規定する。

    数型

    Number type are equal if and only if they are both values of the same base type and are equal as values of that base type. ]]>

  • ある種の状況の下では、 Equal operator). 節番号が残っている。 ]]>例えば、 (Equal演算子)参照。

    非負数型

    Non-Negative Number type are equal if and only if they are both values of the same base type and are equal as values of that base type. ]]>印字可能文字列型

    オクテット列型

    "OctetString" -> "Octet String" (指摘済み) ]]>内容表現交換様式のインスタンスは、 構造中では

    名前型

    Identifier typeは18.1.5で定義されている。参照が必要。(指摘済み) ]]>. ]]>で定義する。 Name type are equal if the corresponding octet strings, as defined in , are the same. ]]> で定義する)が同一である場合に等価とする。

    オブジェクト識別子型

    内容中におけるオブジェクト識別子の表現は、 そのオブジェクト識別子値をISO/IEC 646 IRVを用いて符号化した 文字列表現を含むオクテット列を参照するオクテット列参照とする。 S1 . .Sn, separated by period (".") characters. ]]>オブジェクト識別子値の文字列表現は、ピリオド文字(".")によって 区切られた数字列の並び S1..Snからなる。 ここで、この各数字列は単一の数字"0"であるか、 又は"0"以外の数字で始まる1個以上の数字0..9の列からなる。 S1 is the decimal representation of the first number of the Object Identifier value, the second string S2 is the decimal representation of the second number of the Object Identifier value, and so on, with the last string Sn representing the last number of the Object Identifier value. ]]>第1の数字列S1はオブジェクト識別子値の第1の 数値の10進表現、第2の数字列S2はオブジェクト識 別子値の第2の数値の10進表現、それ以降も同様とし、最後の数字列 Snはオブジェクト識別子値の最後の数値を表すもの とする。

    公開識別子型

    ISO/IEC 9070は、内部的な等価性比較には 公開識別子の正規文字列形式を用いることを規定している。

    内容中における公開識別子の表現は、 ISO/IEC 646 IRVを用いて符号化した公開識別子の正規文字列形式からなる オクテット列を参照するオクテット列参照とする。

    公開オブジェクト識別子型

    Public Object Identifier type are equal if and only if they are both values of the same base type and are equal as values of that base type. ]]>環境内名前型

    環境内識別子型

    Environment Identifier type are equal if and only if they are both values of the same base type and are equal as values of that type. ]]>構造化グリフ名型

    Structured Glyph Name type is a base type. ]]>Structured Glyph Name type is the set of structured-names as defined by ISO/IEC 9541-1. ]]> 構造化名が、あるオブジェクトに対するあいまいでない識別子で あって、そのオブジェクトを非集中的、分散的計算機系内で、時間と空 間に関して不変な形で表現するのに適したものでなければならないと いう要求の結果として、構造化名は

    Structured Glyph Name type are equal if and only if the structured-names are equal. ]]> 構造化名と意味的に等価な公開識別子は、ISO/IEC 9070で定義する。 ISO/IEC 9070は、内部的な等価性比較には 公開識別子の正規文字列表現を用いることを規定している。

    ISO10036グリフ名型

    ISO10036 Glyph Name type are equal if and only if they are equal as Structured Glyph Names. ]]> あるISO10036グリフ名と意味的に等価な公開識別子の正規文字列形式は、 "ISO/IEC 10036/RA//Glyphs::2以下の範囲の整数を表現する、 0以外の数字で始まる10進数字の列とする。

    単純グリフ名型

    特に、単純グリフ名

  • その所有者名が、 未登録所有者接頭辞"UNREGISTERED"からなり、所有者名部を伴わない。
  • そのオブジェクト名が、単一のオブジェクト名部 単純グリフ名の二つの値は、それらが名前として等価な場合、そし てその場合にだけ等価とする。

    AFIIグリフ名型

    AFII Glyph Name type is the set of Names for which the corresponding octet string, as defined in , is the encoding of a character string of the form "afiinnnn", where "nnnn" is a sequence of decimal digits beginning with a non-zero digit, which represents an integer in the range of 1 to 231-1. ]]>で定義するとおり、 "afii2以下の範囲の整数を表現する、 0以外の数字で始まる10進数字の列とする。

    AFIIグリフ名"afii AFII Glyph Name type are equal if and only if they are equal as Names. ]]>

    グリフ識別子型

    Glyph Identifier type is a super-type of the Structured Glyph Name type and the Simple Glyph Name type. ]]>Glyph Identifier type consists of the union of the set of values of the Structured Name type and the set of values of the Simple Glyph Name type. ]]>

  • Structured Glyph Name type which are equal as Structured Glyph Names; ]]>二つの値が共にSimple Glyph Name type which are equal as Names; ]]>二つの値が共にISO10036 Glyph Name type for which the canonical character string form of the semantically equivalent public identifier is "ISO/IEC 10036/RA//Glyphs::nnnn"; and the other is the value of the AFII Glyph Name type for which the corresponding octet string, as defined in , is the encoding of the character string "afiinnnn", where "nnnn" is the same sequence of decimal digits. ]]>その一方がに示す 定義によってそれと対応するオクテット列が"afii