外部アプリケーション制約エディタ
外部アプリケーション制約エディタを使用して、制約の評価に使用されるクラス名および該当する入出力パラメータを選択できます。
外部アプリケーション制約エディタを使用して制約を作成するには、次の手順で行います。
1. クラス名フィールドの隣にある省略符号をクリックして、入力を取得する元のクラスを選択します。クラスを選択するためのウィンドウが表示されます。
2. クラスがシングルトンかどうかを指定します。
3. 制約の入力パラメータを選択します。
4. 制約の出力パラメータを選択します。
5. 「適用」をクリックして制約を適用します。