条件は draft-07 の新規機能です。これにより、型および/または追加の型固有の制約などオブジェクトの特定のアスペクトにより制約を異なるものに指定できるようになります。
条件の追加
定義のコンテキストメニューを介して条件を定義に追加することができます (下のスクリーンショットを参照してください)。条件のサブメニューにアクセスするには、条件に追加する定義を定義を右クリックし、「子の追加 | 条件」を選択します。
条件の検証のセットアップ
条件は3つの要素を持つボックスとして追加されます: If-Then-Else (下のスクリーンショットを参照してください).
条件の検証をセットアップするには、以下を行います:
1.If ボックス内の条件を詳細入力ヘルパー内で最初に型を選択し、条件入力ヘルパー内の型ベースの条件を選択してセットアップします。
2.Then ボックス内で、 (If ボックス内で指定されている) 条件が満たされていないイベント内の検証の必要条件をセットアップします。
3.Else ボックス内で、(If ボックス内で指定されている) 条件が満たされていないイベント内の検証の必要条件をセットアップします。
