SModel 言語

null 値の扱い

SModel 言語は null 値を非常に安全に扱います。Java や C# などのオブジェクト指向言語では、コード全体に expr == null や expr != null といった null 値のチェックが多数散在していることがよくあります。これは null ポインタ例外を防ぐために必要ですが、同時にコードの煩雑さを増し、読みにくくする原因にもなります。この問題を軽減するために、MPS は null 値を寛容に扱います。例: null ノードにプロパティを要求すると、プロパティの型のデフォルト値が返されます。null ノードに子ノードのリストを要求すると、空のリストが返されます。null ノードで動作メソッドを呼び出すと、呼び出されたメソッドの戻り値の型が ClassifierType または StringType であれば、null 値が返されます。PrimitiveType の場合は、その型のデフォルト値が返されます。これにより、言語設計者の作業が楽になります。

操作パラメーター

SModel 言語の操作の多くは、パラメーターを受け入れます。操作の最後に <を入力してパラメーターリストを開くと、パラメーターを指定できます。例: myNode.ancestors <concept = IfStatement、concept = ForStatement>。

これらの操作のパラメーターとしての「+」シンボルは、「自分自身を含める」という意味です。つまり、操作が呼び出されるノードが条件に一致する場合、「+」によって、そのノードも返される結果に含まれることが保証されます。たとえば、myNode.ancestors<concept = IfStatement, +> は、それが IfStatement であれば myNode を返す可能性があります。

同時アクセスの管理

jetbrains.mps.lang.access 言語は、モデルアクセス API、特にその同時アクセス部分の使用を容易にします。この言語は、モデルアクセス API の上に構築された構文シュガーと考えることができ、API に直接アクセスする対応する低レベルコードの例が提供されています。MPS モデルにアクセスするには、スレッドが適切なロックを取得する必要があります。そうでない場合、読み取りまたは書き込み操作は許可されません。これらのステートメントを使用するには、jetbrains.mps.lang.access 言語をインポートする必要があります。この言語には、次のコマンドが含まれています。

• でアクションを書く

• でアクションを読む

• とのコマンド

• EDT でコマンドを実行します

• EDT で実行する

• 元にすると透明なコマンド

一部のロックは EDT からのみ取得できます。プラットフォームは、ApplicationManager クラスを介して EDT のコンテキストで実行されるタスクをスケジュールするための API を提供します。