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 を提供します。