5.16. 条件要素

このセルのコードスニペットは、その列のさらに下にあるセルから値が補間されます。以下のセルからの値で "==" を使用した比較で設定される制約を作成する場合は、フィールドセレクターだけで十分です。その他の比較演算子は、スニペットの最後に指定する必要があり、値は下のセルから追加されます。その他の制約形式については、$param の記号でセルの内容を追加する場所を指定する必要があります。シンボル $1、$2 などを使用し、下のセルの値のコンマ区切りリストを使用すると、複数の挿入が可能です。

パターン forall(区切り文字){スニペット} に従ってテキストが展開されます。これは、以下の各セルで、コンマ区切りの値リストの値ごとに スニ ペットを 1 回繰り返し実行し、シンボル $ の代わりに値を挿入し、これらの拡張を指定の 区切り文字 で結合します。forall コンストラクトは他のテキストで囲むことができることに注意してください。

上記の行のセルが空でない場合は、そのセルから条件要素に完全なコードスニペットが追加されます。括弧のペアと、(結合したセルのパターンに複数の制約が追加されている場合は) 区切り文字のコンマが自動的に提供されます。

上記のセルが空の場合は、挿入の結果がそのまま使用されます。