軽量 DSL

普通のクラスを拡張する

軽量 DSL 言語の背後にある中心的な考え方は、DSL 設計者が、オプションのメソッドとプロパティ、制約に依存する型、オプションのメソッドパラメーター、カスタムクラスメンバーなどの制約を持つインターフェースを定義できるようにすることです。 DSLDescriptor の 概念は、クラスの実装時に適用する必要がある制約付きインターフェースを体系化するノードを表します。例: 以下の DSLDescriptor インスタンスは calculateFoo() 方法とカスタム BuilderMember ノードだけでなく、クラスに numberOfFrames プロパティを織ります。

特定の DSLDescriptor をクラスで有効にするには、インテンションを介して行われる DSLAnnotation でアノテーションを付ける必要があります。

アノテーションが追加されるとすぐに、DSLDescriptor で定義されている必要な要素、またはプレースホルダーが指定されている要素がクラスに追加されます。必要な要素を削除すると、クラスにエラーが表示されます。

インテンションを使用して、必要な要素とプレースホルダーを 1 つのステップで追加し直すことができます。

標準のメソッドの実装アクション Ctrl+I は、必要なメソッドでも機能します。

DSLDescriptor を定義する

DSLDescriptor がクラスに追加できる要素には次の 4 つのタイプがあります。

• プロパティ

• メソッド

• カスタムメンバー

• イニシャライザー

これらはそれぞれ必須であり、欠落しているメンバーを表すようにプレースホルダーを定義でき、カスタムメンバーを複数としてマークして、この種類の複数のノードがクラスのメンバーになることができることを示すことができます。

メソッド

メソッドは、軽量 DSL のユーザーがコードを挿入できるようにするための非常に便利な方法を提供します。DSLDescriptor は、拡張クラスが実装できる、または実装する必要のあるメソッドのメソッドシグネチャーを指定します。通常のメソッドとは異なり、戻り値の型とこれらのウィーブされたメソッドのパラメーターの型は、ホスト（拡張）クラスでの実際の使用箇所に基づいて決定できます。

依存型

依存型は、メソッドの戻り型またはパラメーター型に指定されている場合、特定のクラスのメソッドの実際の型を計算する方法を指定します。

条件付きメソッドパラメーター

メソッドは、条件付きとしてマークされたいくつかのパラメーターを持つことができるため、それらは提供された条件が満たされたときにだけユーザコードで見えるようになります。パラメーターを条件付きとしてマークするには、対応するインテンションを使用できます。

実際の条件はインスペクターで指定されています。

カスタムメンバー

プロパティもメソッドも必要な抽象化レベルを提供しない場合は、カスタムメンバーを使用して、わずかな追加作業で任意の概念を織り込むことができます。

CustomMemberDescriptor は、新しいメンバーとしてクラスに組み込まれる概念（この場合は BuilderMember）を指します。これを可能にするには、コンセプトは MemberInstance および ClassifierMember コンセプトインターフェースを実装し、オーバーライドする getDeclaration() メソッドから CustomMemberDescriptor を指す必要があります。

指定された概念のノード（または CustomMemberDescriptor が複数として定義されている場合は複数のノード）をホストクラスのメンバーとしてインスタンス化し、その中で編集できるようになりました。

イニシャライザー

イニシャライザー関数は、ホストクラスが作成されるか、DSLAnnotation でアノテーションが付けられるとすぐに、プログラムでホストクラスを拡張する機会を得ます。初期化子が呼び出されたときにノード（ホストクラス）自体がモデルに追加されていない可能性があるため、ノードと同様にモデルパラメーターが提供されます。smodel 言語をインポートすると、クラスとモデルを操作できます。通常、初期化子は、必要に応じて、インポートと使用言語を設定するか、織り込まれたメンバーのデフォルト値と実装を提供します。

カスタム ClassConcept サブコンセプトの強化

BaseLanguage クラスを直接拡張するのではなく、 ClassConcept クラスの特定のサブコンセプトを拡張する場合は、いくつかの詳細があります。これにより、外部 DSL と内部 DSL の利点を組み合わせることができます。目的の DSL でカスタマイズされた編集エクスペリエンス、専用のジェネレーター、特定の型システムルールが必要になった場合は、通常、プレーンな BaseLanguage クラスを使用する代わりに、 ClassConcept サブコンセプトを作成します。したがって、 ClassConcept のサブコンセプトを作成し、 AutoInitDSLClass を実装するようにします。

概念のノードが作成されるたび、DSL の中に織り込ま適切に DSLDescriptor 秒で定義された初期化子を呼び出すことによって初期化されますことを実装 AutoInitDSLClass を保証します。

AutoInitDSLClass インターフェースはまた、織りに特定 DSLDescriptor インスタンスを返す必要があり getDescriptor() メソッドをオーバーライドする実装概念を義務付け。

サンプル

Lightweight DSL の基本的な使い方を説明するサンプルは、MPS ディストリビューションにバンドルされている lightweightDSL サンプルプロジェクトにあります。