構文図で ID という語は、プログラムの中で固有でなければ参照の固有性のために必要な場合には、修飾子、添え字、または参照修飾子を構文上正しく組み合わせて、後に続けたユーザー定義名のことを指しています。
形式 1 - ID .------------------------. V | >>-データ名-1----+--------------------+-+-----------------------> '-+-IN-+--データ名-2-' '-OF-' >--+----------------------+--+------------------+---------------> '-+-IN-+--ファイル名-1-' | .--------. | '-OF-' | V | | '-(----添え字-+--)-' >--+-------------------------+--------------------------------->< '-(--左端桁:--+------+--)-' '-長さ-'
ファイル名-1 は固有に識別できなければなりません。
次の規則が適用されます。
ID には、LINAGE-COUNTER と条件名という 2 つの特殊なケースがあります。
形式 2 - LINAGE-COUNTER >>-LINAGE-COUNTER--+----------------------+-------------------->< '-+-IN-+--ファイル名-2-' '-OF-'
ファイル名-2 は当該プログラムの中で固有のものでなければなりません。
形式 3 - 条件名 .------------------------. V | >>-条件名-1----+--------------------+-+-------------------------> '-+-IN-+--データ名-1-' '-OF-' >--+----------------------+--+------------------+-------------->< '-+-IN-+--ファイル名-1-' | .--------. | '-OF-' | V | | '-(----添え字-+--)-'
明示的に参照される場合、条件名は固有でなければならず、また名前の有効範囲規則そのものが参照の固有性を保証している場合を除き、修飾または添え字付け (あるいはその両方) によって固有になるようにする必要があります。
条件名を固有にするために修飾を使用する場合、最初の修飾子として関連する条件変数を使用できます。 修飾を使用する場合、条件名を固有にするために、条件変数に関連した名前の階層を使用する必要があります。
条件変数を参照するために添え字付けが必要な場合、その条件名のいずれかを参照するには、同様の組み合わせの添え字付けも必要です。
条件名に修飾と添え字付けを組み合わせて使用する場合の形式と制限は、データ名-1 を条件名-1 に置き換えるということを除き、「ID」の場合とまったく同じです。
以下に続く章にある一般的な形式の中で、「条件名」は、必要に応じて修飾されたり、添え字付けされた条件名を指しています。
ファイル名-1 は当該プログラムの中で固有のものでなければなりません。