制約段落

制約段落によってパラメータ化されたクラスのパラメータのプロパティを指定することができ、それゆえ、型がそのパラメータとして指定されているデータ項目に関するメソッドまたはプロパティを利用できる。　

一般形式

 CONSTRAINTS. [ CLASS parameter-name-1 IMPLEMENTS {class-name-1) ... ] ... .

構文規則

1. パラメータ名-1は、制約段落が指定されているクラスのパラメータでなければならない。

一般規則

1. 型がパラメータ名-1として指定されている項目は、クラス名-1が要求されている場所で指定してもよい。
2. 型がパラメータ名-1として指定されている項目は、クラス名-1のすべてのメソッドおよびプロパティを有す。