目的
指定された一連の文字に現れない文字ストリング内の最初の
文字の位置を識別することによって、文字ストリング内のすべての文字が
一連の文字に含まれていることを確認します。
クラス
エレメント型関数
引き数の型と属性
- STRING
- 型は文字でなければなりません。
- SET
- 型
は STRING と同じ kind 型付きパラメーターを持つ文字でなければなりません。
- BACK (オプション)
- 型は論理型でなければなりません。
結果の値と属性
デフォルトの整数
結果の値
- ケース (i): BACK を指定しないか、または値 .FALSE. を持って存在していて SET 内にない文字が
最低 1 つ STRING に含まれていると、結果の値は SET 内にない STRING の左端の文字位置になります。
- ケース (ii): BACK を指定していて値 .TRUE. を持ち、SET 内にない最低 1 つの文字が STRING に
含まれている場合、結果の値は SET 内にない STRING の右端の文字位置になります。
- ケース (iii): STRING 内の個々の文字が SET 内にある場合、
または STRING がゼロの長さを持っている場合は、結果の値はゼロになります。
例
- ケース (i): VERIFY ('ABBA', 'A') は値 2 を持ちます。
- ケース (ii): VERIFY ('ABBA', 'A', BACK = .TRUE.) は値 3 を持ちます。
- ケース (iii): VERIFY ('ABBA', 'AB') は値 0 を持ちます。
