制約段落

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

一般形式

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

構文規則

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

一般規則

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