パターン

パターン言語

パターン言語には、モデル構造のパターンを定義するという単一の目的があります。これらのパターンは、マッチングしたいノードの視覚的表現を形成します。ノードのプロパティ値がパターンで指定された値と等しい場合、パターンはノードと一致し、ノードの参照はパターンのものと同じターゲットを指し、対応する子はパターンの適切な子と一致します。

また、パターンにはノード、参照、プロパティの変数を含めることができます。これらの変数は、任意のノード / 参照 / プロパティに一致します。それに加えて、変数はマッチが成功したときに実際の値を保持します。

PatternExpression

パターン言語の最も重要な概念は PatternExpression です。単一の任意のノードとしてパターンが含まれています。また、ノードは次の変数を指定できます。

• #name - ノード変数、ノードのプレースホルダー。一致するノードを格納します

• #name - 参照変数、参照のプレースホルダー。参照のターゲット、つまりノードを格納します。

• $name - プロパティ変数、プロパティ値のプレースホルダ。プロパティ値、つまり文字列を格納します。

• * name - リスト変数。同じロール内のノードのプレースホルダー。ノードの一覧を格納します。

アンチクォーテーションは、引用符内と同様に、パターン内で使用する場合に特に便利です ( 反引用符を参照)。

サンプル

1. 次のパターンは、パラメーターと戻り型のない InstanceMethodDeclaration と一致します。

取得した変数:

2. 次のパターンは、引用符で囲まれていない式内で指定された実際の分類子と、任意の量の任意の型パラメーターを持つ ClassifierType と一致します。

取得した変数:

パターンを使う

マッチステートメント

パターンは通常、一致ステートメントの条件として使用されます。パターン変数は、match ステートメント内から参照できます。

例:

このコードは、ノード n を調べて、ノードが最初の条件を満たしているか、2 番目の条件を満たしているかを確認します。次に、対応する（一致する）ブロック内のステートメントが実行されます。パターン変数 $name は、ノードの名前を出力するために最初のブロックで使用されます。この場合、ノードは変数宣言を保持します。

ライトパターン (パターンビルダー)

ユーザーがコードをパラメーター化された構造と照合できるようにするパターン言語は、引用に基づいており、対応するものは軽い引用に基づいています。ライトパターンを使用すると、ブートストラップの依存関係やノードエディターの混乱などの問題を回避できます。それらにはいくつかの追加の利点があります:

• ライトパターンは baseLanguage に統合されています。ノードは、パターンスイッチステートメントを使用してライトパターンと照合できます。ライトパターンは、switch 句の内部に直接書き込むか、クラスメンバーとして個別に宣言して、switch 句から使用できます。

  

• マッチング中にチェックする必要があるノードのプロパティとリンクのみを記載する必要があります。いずれかの値が一致する必要がある場合（ワイルドカードの動作）、プロパティまたはリンクは省略できます。

  

• パターン変数をスイッチ句内で使用して、一致したノードからノードとプロパティを取得できます。これらは、パターン初期化子の内部でも使用でき、自己参照サブツリーまたは重複するプロパティ値と一致するパターンを作成できます。変数と一致するノードがない場合、変数は null 値を保持する可能性があります。

  

• ノードのリストが明るいパターンで定義されている場合、リストで定義されている順序は、照合中に厳密に従います。これは、MPS のデフォルトである順序付けされた子コレクションに必要ですが、ライトパターン言語は常にその定義で順序を考慮するため、順序付けされていないコレクションと照合すると、驚くべき結果が得られる場合があります。順序付けられていないコレクションとの一致が検出された状況を示す説明情報メッセージがユーザーに表示されます。