MPS ユーザーズガイド

トピック

1. 基礎知識 - 基本概念の概要

   • MPS の基本概念: ノード、概念、言語

   • 用語集

   • よくある質問 (FAQ)

   • MPS プロジェクト構造

   • 著作権

   • JetBrains MPS への貢献 - MPS のソースコードを回避する方法に関する MPS のコントリビューターおよび開発者のためのガイドライン

   • 言語リポジトリ (英語) - JetBrains と外部ベンダーの両方が、MPS で使用可能な言語について詳しく知る

2. MPS の使用 - MPS と通信するためのインターフェースをよく理解してください

   • 初めての実行 (英語) - MPS がどのように構成されているか、それがどのように機能するか、ユーザーがどのようにしてそれと対話するべきかについての、初心者にとって重要な情報。

   • エディターの指示

   • デフォルトのキーマップリファレンス

   • IDE の設定

   • 言語プラグインのインストール方法

   • MPS Java との互換性

   • 依存関係を正しくする

   • 報告されたエラーを理解して問題を解決する - どこかで立ち往生したときにあなたの方法を見つけるのを手助けするための秘訣。

   • バージョン管理上の注意

   • デバッガーを使う

   • コンソール

3. 言語定義 - 言語を定義するには、いくつかの側面を指定する必要があります。各側面は、言語の一部、つまり許可された AST 構造、画面上の外観、型システム規則などを体系化したものです。

   アスペクト	説明	コアドキュメント
   構造	ユーザーモデルで使用できるノードの種類（概念と呼ばれる）を定義します。プログラム（モデル）の各ノードは、その概念を参照します。概念は、どのプロパティ、子、および参照ノードが持つことができるかを指定します。Concepts は、他の Concepts を拡張し、ConceptInterfaces を実装できます。	構造 SModel 言語 - モデルへのプログラムによるアクセス オープン API - モデルにアクセスするための API リファレンス 引用 -AST スニペットの作成 パターン - パターンマッチングノードの言語 コードからモデルとモジュールの依存関係を使う ビデオ - JetBrains MPS の概要、最初の実行: プロジェクト (英語) ビデオ - JetBrains MPS の概要: 構造 (英語)
   制約	構造で定義されたルールを超えて、ノード間の関係とプロパティに許可される値を制限します。 通常、制約は次のことを定義します。 - 参照のターゲットスコープ (参照が指すことができる許可されたノードのコレクション) - ノードが別のノードの子 / 親 / 祖先になる可能性がある状況 - プロパティに許可される値 - プロパティアクセサーメソッド (getter と setter)	制約 スコープ ビデオ - JetBrains MPS の紹介、パート 3: 制約 (英語)
   振る舞い	OOP ホールドメソッドのクラスと同様に、Concepts は、ノードでポリモーフィックな方法で呼び出すことができるメソッドと静的メソッドを定義できます。ノードはそのプロパティと関係とともに動作を実行します。	振る舞い ビデオ - JetBrains MPS の紹介、パート 4: 振る舞い (英語)
   エディター	MPS は、コードを編集可能なフォーム（つまりテキスト）からコンピューターが操作できるツリーのような構造に変換するパーサーを定義する代わりに、ユーザーが AST を直接編集できるプロジェクションエディターの概念を提供します。エディターアスペクトを使用すると、言語設計者は概念の概念を編集するための UI を作成できます。	エディター ダイアグラム作成エディター 変換メニュー言語 コンテキストアシスタント コンテキストアクションツール エディタークックブック エディター言語生成 API ビデオ - JetBrains MPS の紹介、パート 5: エディター (英語)
   アクション	アクションアスペクトは、コピー / 貼り付けやノードの初期化など、高度なエディターの動作を指定する手段を提供します。	エディターのアクション
   インテンション	すべての最新の IDE は、便利なキーショートカット（MPS の Alt+Enter）で利用できるインスタントコード操作アクションで開発者を支援します。言語の作成者は、インテンションの側面で自分の言語にこのような小さなコード変換を定義できます。	インテンション ビデオ - JetBrains MPS の紹介、パート 7: インテンション (英語)
   生成プログラム	1 つ以上の言語で記述されたモデルは、最終的には、Java などの一部のターゲット汎用言語およびプラットフォームの実行可能コードに変換されます。その過程で、モデルは徐々に変換され、最終的なレベルに達するまで概念が繰り返し抽象度の低い概念から置き換えられます。概念を変換するための規則とそれらの正しい順序付けは、生成プログラムの側面で定義されています。	生成プログラム ジェネレーター計画 ジェネレータークックブック インタープリタークックブックの作成 ビデオ - JetBrains MPS の紹介、パート 8: 生成プログラム (英語)
   TextGen	生成プログラムが最終的な AST 表現に到達した後のコード生成中に、TextGen フェーズが開始し、モデル内のすべてのノードをそれらのテキスト表現に変換し、結果のテキストソースファイルをディスクに保存します。	TextGen ビデオ - JetBrains MPS の紹介、パート 9: TextGen(英語)
   データフロー	値の流れや言語構成要素を通じた制御の流れを理解することができれば、言語は到達不能コードや null ポインタエラーの可能性などの問題を報告できます。言語設計者はデータフローアスペクトを利用して各概念のフローを定義することができ、MPS はそれを使用してプログラム全体のデータフローを計算します。	データフロー データフロークックブック ビデオ - JetBrains MPS の紹介、パート 10: データフロー (英語)
   型システム	コードの型チェックが必要な言語は、型システムのルールを提供する必要があります。MPS 型システムエンジンは、ルールをオンザフライで評価し、ノードの型を計算してレポートします 計算されたタイプが予想と異なる場合は常にエラー。 モデルに関する非型システムアサーションを検証するために、いわゆるチェックルールを追加で定義できます。	型システム 型システムクックブック 型システムを使う 型システムをデバッグする ビデオ - JetBrains MPS の紹介、パート 11: 型システム (英語)
   リファクタリング	最新の IDE では、開発者はリファクタリングを通じてコードの構造をシームレスかつ完璧に変更できます。MPS は、言語デザイナーがそのようなリファクタリングを準備し、彼らの言語の一部にすることを可能にします。	リファクタリング
   マイグレーション	ある言語の新しいバージョンが一般に公開されると、その言語の前のバージョンを使用するプロジェクトは、新しい言語構成を使用するように移行する必要があります。言語の作者によって準備された移行スクリプトは、ユーザーコードを操作して自動的にそれを言語の最新版に更新します。	マイグレーション 分岐を伴う移行
   テスト	言語定義のさまざまな側面を自動的にテストできます。言語作成者は、エディター、アクション、型システム、データフロー、言語の制約が仕様に従って動作することを検証するテストを作成できます。	テスト
   スクリプト	TODO	スクリプト
   付属品	アクセサーリーモデルは、言語の側面（推奨）として、またはソリューションでの通常のモデルとして、2 つの場所に保存できます。どちらの場合も、モデルを使用できるように、モデルを言語ランタイム言語設定に追加する必要があります。典型的なユースケースは、言語が使用される任意の場所で利用できるコンセプトインスタンスのデフォルトライブラリです。	付属品

4. IDE の統合 - MPS をカスタマイズする方法、言語固有の視覚的拡張を追加する方法、異なる永続化フォーマットを使用する方法など

   • 汎用プレースホルダーと汎用コメント

   • ノードをコメントアウトする

   • カスタム言語の側面

   • UI プラグイン - UI を拡張する (メニュー、ツールウィンドウ、タブ、設定など)

   • 使用箇所の検索 - ユーザーがノードを発見する方法をカスタマイズする

   • エラーを抑制する

   • デバッガー

   • メイク

   • エクステンションサポート

   • HTTP サポートプラグイン

5. IDE ツール - MPS が言語を操作するために提供するツール

   • 依存関係アナライザー - モデルの依存関係を分析する (モデルの依存関係を分析する)

   • モジュール依存関係ツール (モジュール依存関係を解析)

   • 実行構成

   • ハイライトの変更

   • モジュールのクローニング

6. プラットフォーム言語 - すぐに使える言語をすぐに使える

   • 基本言語

     • 基本言語拡張スタイルガイド

     • MPS Java との互換性

     • BaseLanguage 式拡張を生成する

   • クロージャー

   • コレクションの言語

   • タプル

   • 軽量 DSL

   • 正規表現言語

   • 型拡張メソッド

   • ビルダー

   • ロギング

   • XML 言語

   • アイコンの説明 - アイコンをテキストで説明する

   • コンセプト機能

   • 他の言語

7. MPS プロジェクトの構築 - コマンドラインからの言語構築、Ant 統合、継続的インテグレーション、プラグインの作成と使用、コードの難読化

   • ビルド言語

   • IntelliJ IDEA 言語プラグインの構築

   • IntelliJ IDEA 内で MPS を使用する

   • MPS 言語プラグインの構築

   • 言語のためのスタンドアロン IDE を構築する

   • ユーザーインターフェースの拡張

   • 生成コードからのソースの削除 (実装ストリッピング)

8. クックブック - クイック使い方ガイド

   • 共通言語パターン - 繰り返し発生する言語デザインパターンをカバーする使い方ガイド

   • エディタークックブック

   • ジェネレータークックブック

   • インタープリタークックブックの作成

   • 説明コメント - 言語の任意のコード要素に関する説明コメントのサポートを追加するために属性、スコープ、エラー抑制をどのように活用するかを示すクックブック

   • 要求追跡言語 - 要件追跡サンプルプロジェクトの見学ツアー。ノード属性、複数の投影法とスコープについて学びます。

   • 型システム

   • データフロークックブック

   • 正規表現

   • オープン API - コードからモデルにアクセスする

   • カスタム持続クックブック

   • カスタム言語アスペクトクックブック

9. 外部チュートリアルとガイド

   • JAR を JetBrains MPS プロジェクトに追加する方法 (英語) - Federico Tomasseti によるチュートリアル

   • MindMaps(英語) - Antoine Gagnon(英語) によるチュートリアル

   • ジェネレーターチュートリアル (英語) - Eugen Schindler

   • メンテナンス可能なジェネレーター (英語) - Kolja Dummann