デバッガー

java デバッガー下での実行構成の起動

MPS は、java – jetbrains.mps.baseLanguage.runConfigurations に生成される言語の実行構成を作成するための特別な言語を提供します。これらの実行構成は、デバッガーで自動的に開始できます。詳細については、「java に生成された言語の実行構成」を参照してください。

カスタムビューアー

変数ビューで変数やフィールドを表示する際、特定の値の表示方法を独自に定義したい場合があります。たとえば、コレクションを内部構造を持つ通常のオブジェクトとしてではなく、要素の集合として表示することができます。

カスタムビューアーを作成するために MPS は jetbrains.mps.debugger.java.customViewers 言語を持っています。

jetbrains.mps.debugger.java.customViewers 言語を使用すると、特定の形式のデータ用の独自のビューアーを作成できます。

customViewers 言語の主要な概念は、カスタムデータビューアーです。これは、生の Java 値（スタック上のオブジェクト）を受け取り、いわゆるウォッチアブルのリストを返します。ウォッチアブルとは、値とそのラベル（値がメソッド、フィールド、要素、サイズなど、値を分類する文字列）のペアです。ウォッチアブルのラベルは custom watchables container で定義されています。各ラベルにはアイコンを割り当てることができます。

特定のタイプのビューアーは custom viewer ルートで定義されています。次の表に custom viewer 部品を示します。

カスタムビューアー言語には、watchable list と watchable の 2 つの新しいタイプが導入されました。

これは java.util.Map.Entry クラスのカスタムビューアー仕様です。

そして、ここでマップエントリがデバッガービューでどのように表示されるかを見ます:

トレーサブルノード

このセクションでは、どのノードが追加情報（ノードから生成されたテキスト内の位置、可視変数、ノードが生成されたファイル名など）を trace .info ファイルに保存する必要があるかを指定する方法について説明します。trace.info ファイルには、MPS のノードを生成されたテキストに接続するための情報が含まれています。例: ブレークポイントに到達すると、java デバッガーはソースファイルの行番号を MPS に伝え、MPS はこの情報から実際のノードを取得するために trace .info ファイルの情報を使用します。

具体的には、trace.info ファイルには次の情報が含まれています。

• 位置情報: テキストファイルの名前とその中でノードが生成された場所。

• スコープ情報: 「スコープ」ノードごとに（それに関連付けられ、ノードのスコープ内で可視の変数がいくつかあります） - スコープ内で可視の変数の名前と ID。

• ユニット情報: 各 " ユニットノード "（言語のある単位、たとえば java のクラスを表すように） - ノードが生成されるユニットの名前

言語 jetbrains.mps.lang.traceable の概念 TraceableConcept、ScopeConcept、UnitConcept は、その目的で使用されます。一部の情報を trace.info ファイルに保存するには、ユーザーはこれらの概念の 1 つから派生し、特定の動作方法を実装する必要があります。概念は次の表で説明されています。

コンセプト	説明	実装する動作方法	サンプル
TraceableConcept	テキスト内のどの場所を保存し、どのブレークポイントを作成できるかについての概念。	getTraceableProperty – trace.info ファイルに保存されるいくつかのプロパティ。
ScopeConcept	スコープ内に見える、いくつかのローカル変数を持つ概念。	getScopeVariables – スコープ内の変数宣言。
UnitConcept	java のクラスや内部クラスのように、別々の単位に生成される概念。	getUnitName – 生成されたユニットの名前。

trace.info ファイルは、テキストの生成中に、生成の最終段階で作成されます。説明されている概念は、テキストに生成された言語でのみ使用されます。TraceableConcept、ScopeConcept 又は UnitConcept 還元 ルールにより生成されるたびにエントリが、自動的に入力されます。

自動トレースが不可能な場合は、language.high からの概念の目的の入力ノードを生成コードと明示的に一致させるために $TRACE$ マクロを使用できます。

ブレークポイントクリエーター

さまざまなノードでブレークポイントを作成する方法を指定するために、ルート breakpoint creators が使用されます。これは、jetbrains.mps.debugger.api.lang 言語の概念 BreakpointCreator のルートです。ルートは言語プラグインモデル内に配置する必要があります。これには BreakpointableNodeItem のリストが含まれており、それぞれがブレークポイントを作成する概念のリストと、実際にブレークポイントを作成するメソッドを指定します。jetbrains.mps.debugger.api.lang は、デバッガーを操作するため、特にブレークポイントを作成するための概念をいくつか提供します。それらについては、以下で説明します。

• DebuggerReference – java デバッガーなどの特定のデバッガーへの参照。

• CreateBreakpointOperation – 特定のプロジェクトの特定のノードに特定の種類のロケーションブレークポイントを作成する操作。

• DebuggerType – デバッガーへの参照用の特別なタイプ。

次の例では、baseLanguage の breakpoint creators ノードが表示されています。

より複雑なフィルタリング動作を実現するために、単純な概念リストの代わりに、ブレークポイント作成者は isApplicable 関数を使用できます。この関数を使用する際に切り替えることができるインテンション関数も用意されています。