HOMELv055 「QVT-Relations」において、リレーションの実行を制御する「when句」の役割はどれか。 2026年1月25日 when句は前提条件(Precondition)を記述し、その条件を満たす場合のみリレーションが評価される。 OCLにおいて、コレクション「s」の全要素が異なることを確認する「isUnique」を空のコレクションに適用した結果はどれか。 OCL式「’apple’.substring(2, 4)」の結果はどれか。