構造

概念の継承

オブジェクト指向プログラミングの場合と同様に、コンセプトは別のコンセプトを拡張し、多くのコンセプトインターフェースを実装できます。コンセプトインターフェースは、他の複数のコンセプトインターフェースを拡張できます。このシステムは Java クラスに似ており、クラスは 1 つのスーパークラスしか持つことができませんが、多くの実装されたインターフェースを持ち、インターフェースは他の多くのインターフェースを拡張できます。

ある概念が別の概念を拡張したり概念インターフェースを実装したりすると、他動詞的にすべてのメンバーを継承します。(つまり、A がメンバー m を持ち、A が B によって拡張され、B が C によって拡張される場合、C もメンバー m を持ちます。)

Properties

プロパティは、コンセプトインスタンス内に格納されている値です。各プロパティにはタイプが必要です。タイプは、プロパティの場合、次のように制限されます。ブール値、文字列、整数などのプリミティブ。 列挙型。事前定義されたセットの値を持つことができます。制約付きデータ型（正規表現によって制約された文字列）。コンセプトの制約のプロパティに getter と setter を定義できます。

リファレンス

スカラー値を保持することは、それほど遠くはありません。言語の表現力を高めるために、ノードは他のノードへの参照を格納できます。各参照には、名前、タイプ、およびカーディナリティがあります。タイプは、参照ターゲットの許可されるタイプを制限します。カーディナリティは、ノードが持つことができるこの種の参照の数を定義します。参照には、1:0..1 および 1:1 の 2 種類のカーディナリティのみを含めることができます。

参照のために逆方向に横断する直接的な方法はありません。そのためには、jetbrains.mps.lang.findUsages 言語と execute finder を使用する必要があります。（これらは生成中は確実には機能しません）。

スマートリファレンス

1:1 カーディナリティの単一参照を含み、エイリアスが定義されていないノードは、スマート参照と呼ばれます。これらはやや特殊なリファレンスです。言語の作成者がエイリアスを指定していない場合、言語のユーザーから隠蔽し、可能な限り透明になるよう最善を尽くします。MPS はノードを実際の参照そのものであるかのように扱い、コード編集とコード補完を簡素化します。例: デフォルトの補完項目は、補完メニューが必要な場合に常に作成されます。考えられる参照ターゲットごとに、ターゲットノードのプレゼンテーションと一致するテキストを使用してメニュー項目が作成されます。

自動的にスマートとして扱われるための上記の基準を満たさない参照をスマートにするには、コンセプト宣言に @smart 参照属性でアノテーションを付ける必要があります。典型的な使用例は、プレゼンテーションをカスタマイズするコンセプトです。参照の追加、または追加の参照を保持します。

子

ノードを木に組み立てるために、子供たちがそれらにつながれることを可能にする必要があります。各子宣言は、ゴール概念、そのロールおよび濃度を保持します。ターゲットコンセプトは子供の種類を指定します。ロールは、この子グループの名前を指定します。最後に、カーディナリティは、このグループの子を 1 つのノードに含めることができる数を指定します。1:1、1:0..1、1:0..n、1:1..n の 4 種類のカーディナリティがあります。

プログラム的に、node.children は現在のノードの子であるすべてのノードを取得します。node.children の逆は node.parent または node.ancestor(s) です。

特別な参考文献と子供

ある概念が別の概念を拡張するときに、そのすべてのメンバーを継承するだけでなく、そのトレイトの一部をオーバーライドしたい場合があります。これは、子と参照の専門分野で可能です。子または参照を専門化する場合、ターゲット typ を絞り込み、場合によっては名前も変更します。例: B を拡張する概念 A があり、概念 C にターゲットタイプ B の参照 r がある場合、C のサブコンセプトで参照 r のタイプを絞り込むことができます。これは、コンセプトの子に対しても同じように機能します。

特殊化 : セクションをリンク宣言に追加し、変更するスーパーコンセプトからのリンクを参照する必要があります。

エイリアス

コードから conceptAlias と呼ばれるエイリアスは、オプションで、MPS によって Concept の表現として認識される文字列を指定します。エイリアスは、完了ボックスに表示され、エイリアスまたはその一部がユーザによって入力されるたびに MPS は、コンセプトをインスタンス化します。

コンセプトのアイコン

各コンセプトにはアイコンを指定できます。このアイコンはメニューでコンセプトを表し、複数のコンセプトの中からコンセプトを識別しやすくします。アイコンは、リソース記述言語を使用して記述することも、ファイルとして指定することもできます。どちらのオプションでも、新しい UI で使用する代替アイコンを指定できます。

プログラムによるアクセス

プログラムでアクセス列挙し、そのメンバーに、列挙型の操作と jetbrains.mps.lang.smodel 言語で定義された enummember タイプを使用します。

列挙メンバーは、名前とプレゼンテーションを照会できます。プロパティの値を列挙データ型の値と照合するには 、is 操作を使用します。

名前 から、プレゼンテーションから 、列挙型のメンバー操作から、メンバーへのアクセスを提供します。

enum switch ステートメントは便利な制御構造を提供します。列挙型メンバーが与えられると、enumswitch ステートメントを使用して特定のメンバーインスタンスに簡単に切り替えることができます。

または列挙型 switch 式:

一部の列挙メンバーが省略され、他にブランチが指定されていない場合、非網羅的なスイッチを報告する警告が発生します。同様に、スイッチで 1 つの値が複数回発生すると、エラーが発生します。

プレゼンテーション vs: 価値 vs: 識別子

• プレゼンテーション - この文字列値は、UI で列挙型メンバーを表すために使用されます (補完メニュー、エディター)

• 値 - この値は、そのタイプがメンバータイププロパティによって設定され、コード内の列挙型メンバーを表します

• 識別子 - このオプションの値は、生成された Java 列挙型の名前として使用されます。この値は、言語ユーザーに対して透過的であることが意図されており、言語では意味がないため、通常、プレゼンテーションまたは値のいずれかから導出されます。ID 派生プロセスが一意の有効な識別子を生成できない場合にのみ指定する必要があります。

• 名前 - コードから列挙型データ型のメンバーにアクセスする場合、名前は、アクティブなオプションメンバー識別子に応じて、プレゼンテーション、値、または識別子のいずれかを参照します

識別子の自動導出

表示または値から識別子を派生させるとき、MPS は Java 識別子で許可されていない文字を排除するために最善の努力をします。複数の enum データ型メンバーの派生識別子が同じになると、エラーが報告されます。そのような場合は、明示的な識別子を指定する必要があります。

プログラムによるアクセス

列挙型データ型とそのメンバーにプログラムでアクセスするには、jetbrains.mps.lang.smodel 言語で定義された列挙型操作を使用します。

enum データ型の値に対してプロパティの値をチェックすることは、is 操作で行うことができます。プロパティ値の表示を印刷するには、まず対応する列挙型メンバーを取得する必要があります。

子を参照にして元に戻す

「子」セクションの定義は参照に変更できます。

逆方向も可能です。

コンテキストアシスタントのヒント

コンセプト定義の下部に表示されるコンテキストアシスタントでは、次のことができるいくつかのクイックアクションが提供されます。

• コンセプトのエディターを作成する

• コンセプトに「ルート可能」フラグを設定する

• INamedConcept を「実装された」インターフェースコンセプトとして追加する

概念をインターフェースの概念に、またはその逆に変換する

これは、適切なインテンションを選ぶのと同じくらい簡単です。

そして両方向で動作します:

参照概念を作成する

これにより、現在の概念への参照を保持する新しい概念が作成されます。コンセプトへの参照を許可するのと同じくらい簡単です。

概念を抽象的、最終的、ルート可能にする

エディターに直接入力してこれらを設定することもできますが、インテンションが好みかもしれません。

デフォルトのエディターを生成する

エディター定義を作成し、概念のプロパティ、子、参照を入力できます。コンセプトの内容に応じて、通常は次の 2 つのオプションを使用できます。

• 式のような - セルを 1 行に配置し、編集可能な各セルの先頭に対応するロールの名前を追加します

• ステートメントのような - ブロックのような方法でセルを配置します

これらは、後でエディター定義自体で再生成できます。