制約

デフォルトの具体的な概念

抽象概念の場合、制約アスペクトを使用して、抽象概念のノードを作成する必要がある場合に代わりにどの概念を使用するかを示すことができます。

例: 子コレクションが AbstractCommands を保持することになっていて、ユーザーが Enter キーを押して新しい子をコレクションに挿入すると、EmptyLine コンセプトのノードが作成されて挿入されます。

同様に、新しいノードを作成し、<default> パラメーターを受け入れる smodel コマンドは、抽象的な概念ではなく具体的な概念のノードを正しく作成します。

子 / 親 / 祖先 / ルートにすることができます

これらは、概念の制約を定義するときに回す最初のノブです。これらは、この概念のインスタンスを他のノードの子（親、祖先）ノードまたはモデル内のルートノードとしてフックできるかどうかを決定します。ブール値を返すクロージャとして指定します。これは、AST 内のノードの許可された位置を評価するときに MPS が毎回呼び出すものです。

プロパティの制約

技術的に言えば、「純粋な」概念プロパティは、本来の意味でのプロパティではなく、パブリックフィールドにすぎません。プロパティ制約を使用すると、実際のプロパティにすることができます。これらの制約を使用して、概念のプロパティの動作をカスタマイズできます。各プロパティ制約は、指定された単一のプロパティに適用されます。

property- この制約が適用されるプロパティ。

get- このメソッドは、プロパティにアクセスするたびにプロパティ値を取得するために実行されます。

set- このメソッドは、書き込みごとにプロパティ値を設定するために実行されます。プロパティ値は有効であることが保証されています。

有効 - このメソッドは、プロパティの値が有効かどうかを判断する必要があります。このメソッドは値を変更する前に毎回実行され、false を返す場合、set() メソッドは実行されません。

サンプル - 補完メニューの説明のカスタマイズ

完了メニューには、利用可能なノードと追加の説明情報が一覧表示されます。

追加情報をカスタマイズし、完了メニューにリストされている個々のオプションの詳細を提供するために、ターゲットコンセプトの shortDescription プロパティの getter をオーバーライドできます。

参照先の制約

このタイプの制約は、概念のリンクに動作を追加し、よりプロパティのように見えるようにできます。

リファレントセットハンドラー - 指定されている場合、このメソッドはこのリンクのすべてのセットで実行されます。

スコープ - このリンクが指すことができるノードのセットを定義します。このメソッドは Scope インスタンスを返します。詳細については、スコープドキュメントを参照してください。スコープ参照制約には 2 つのタイプがあります。

• 継承

• 参照

継承スコープは単にターゲット概念を宣言するだけですが、参照スコープはパラメーターからその場でスコープを計算する関数を提供します。

範囲が参照に設定されていない場合は、参照されている概念のデフォルトの範囲が使用されます。デフォルトのスコープも設定されていない場合は、「グローバル」スコープが使用されます。インポートされたすべてのモデルからの参照概念のすべてのインスタンスです。

プレゼンテーション (非推奨 - エディターアスペクトで参照のプレゼンテーションが指定されるようになりました。「エディター」を参照してください)） - ここでは、エディターおよび補完リストで参照がどのように表示されるかを指定します。コンテキストに応じて異なる方法で参照を表示すると便利な場合があります。例: Java では、インスタンスフィールド f へのすべての参照は、フィールドが同じ名前のローカル変数宣言によってシャドウされている場合、this.f として表示される必要があります。デフォルトでは、プレゼンテーションが設定されていない場合、参照ノードの名前がプレゼンテーションとして使用されます（INamedConcept の場合）。

デフォルトスコープ

概念 C のインスタンスを指すリンクがあり、指示対象制約でこのリンクにスコープが定義されていないとします。このリンクを編集すると、インポートされたすべてのモデルのコンセプト C のすべてのインスタンスがデフォルトで表示されます。すべてのリンクの表示可能なインスタンスのセットをコンセプト C に制限する場合は、コンセプトのデフォルトスコープを設定できます。指示対象制約と同様に、スコープと表示方法を設定できます。すべてのパラメーターは同じです。

詳細については、スコープドキュメントを参照してください。

追加の方法

下部の追加メソッドセクションでは、繰り返しを避けるために制約定義内から呼び出すことができるユーティリティメソッドを定義できます。追加のメソッドは通常、計算を実行したり、制約定義の複数の場所で必要なタスクを実行したりします。追加のメソッドは、含まれているノード内からのみ表示されるようにプライベートにする必要があります。