Loading article…
構造エディタ (構造化エディタまたは投影エディタとも呼ばれる) は、ドキュメントの基礎となる構造を認識するドキュメント エディタです。構造エディタは、階層的またはマークアップされたテキスト、コンピュータ プログラム、図、化学式、および明確で明確に定義された構造を持つその他の種類のコンテンツを編集するために使用できます。対照的に、テキスト エディタは、プレーンテキスト ファイルの編集に使用されるドキュメント エディタです。[説明が必要]
通常、テキスト編集と構造編集の利点は、単一のハイブリッドツールのユーザーインターフェイスに組み合わされています。たとえば、 Emacs は基本的にテキストエディターですが、テキストから推測される構造としての単語、文、段落の操作をサポートしています。逆に、Dreamweaverは基本的にマークアップされた Web ドキュメントの構造エディターですが、生のHTMLテキストの表示と操作もサポートしています。同様に、分子エディターは通常、グラフィカル入力とテキスト入力の両方をサポートしています。コンテンツがグラフィカルでテキスト表現が扱いにくい場合 ( CADシステムやPowerPointなど) は、構造編集が主流です。コンテンツに構造がほとんどない場合 (Web フォームのテキストフィールドなど) は、テキスト編集が主流です 。書式設定されたテキストを直接編集しているように見えるWordなどのWYSIWYG ワードプロセッシングシステムは、本質的には基になるマークアップテキストの構造エディターです。
言語学では、構文とは文法的発話の構造を研究する学問であり、したがって構文指向エディターは構造エディターの同義語です。 言語ベース エディターと言語依存エディターも同義語です。言語ベース エディターの機能は、アドホック コードまたは形式文法によって実装される場合があります。たとえば、Emacs の言語依存は、特定の言語の編集モードのLisp定義で実装されます。対照的に、XML エディターの言語依存は、特定の言語の形式DTDスキーマによって決まります。
構造化エディターを使用すると、基礎となるドキュメントを構造化された方法で表示および操作できますが、ドキュメントがディスクに保存されるファイル形式は、高度に構造化されている場合もそうでない場合もあり、オープンまたは標準化されている場合もそうでない場合もあります (例: プレーン テキストと Microsoft Word ドキュメント)。
ソースコードはコンピュータ言語の構文によって自然に構造化されるため、構造編集はソースコードエディタでよく採用されています。ただし、ほとんどのソースコードエディタは、構造エディタではなく、構文の強調表示やコードの折りたたみなどの追加機能を備えたテキストエディタです。一部の統合開発環境のエディタは、ソースコードを解析して解析ツリーを生成し、構造エディタと同じ分析を可能にしますが、ソースコードの実際の編集は、通常、生のテキストとして行われます。
各プログラミング言語には通常、文脈自由文法によって定義された構文があり、それに応じて、その言語で書かれたソースコード内の意味のある構造要素は、テキスト内の文法句に対応しています。初期の構文指向のソースコードエディタには、Interlisp-D（Lispの限られた構文用）やEmily [1]（PL/Iの豊富な構文用）などがありました。
構文指向エディタは、文法規則を生成的（例：プログラムテキストの形式的な導出における1つ以上のステップに対応するテンプレートをユーザに提供する）または禁止的（例：特定の品詞のフレーズが別の品詞が必要なコンテキストに移動されるのを防ぐ）または分析的（例：テキスト編集を解析して構造化表現を作成する）として扱うことができる。ソースコードエディタの構造編集機能により、無効な構文を持つプログラムを書くのが難しくなる。言語依存エディタは、構文の正確さを絶対要件として課す場合（例：Mentor [2] ）、または警告を発した後に構文エラーを許容する場合があります（例：Cornell Program Synthesizer [3]）。厳密な構造化エディタでは、プレーンテキストエディタで簡単に実行できる編集が難しくなることが多く、これがソースコード編集などの一部の領域で構造化編集が採用されない要因の1つとなっています。
一部の構文指向エディタは、型の正確さなど、言語の文脈依存制約への準拠を監視する。このような静的意味制約は、アクションによって命令的に指定される場合（Gandalf [4] [5] [6]など）、または属性文法によって宣言的に指定される場合（Synthesizer Generator [7] [8]など）、または多ソート代数での統一（PSG [9]など）または論理プログラム（Centaur [10]やPan [11]など）によって指定される場合があり、準拠性は基礎となる編集機構によってチェックされる。構造化エディタは、文書の構文的または意味的に誤りになる編集をユーザーが実行できる程度がさまざまである。
言語依存エディタでは、文書を言語の文法に関する解析木、または抽象構文木(AST) として表現するのが一般的です。たとえば、DOMツリーは、基本的に特定のDTDに関する AST です。多くの場合、その基礎となるツリーのテキスト ビューは、基礎となるツリーをプリティプリントすることによって生成されます。意図的プログラミング[12]や、汎用言語およびドメイン固有言語の言語指向プログラミングに関連するエディタは、言語依存エディタの多くの機能を共有していますが、基礎となる表現 (意図) と表面的な表現 (プログラミング言語のテキスト) をより分離することを目指しています。
例
- ジェットブレインズMPS
- Lapis (テキストエディタ) : 軽量構造でテキストを編集
参照
参考文献
- ^ Hansen, Wilfred J. (1971)。「対話型システムのためのユーザーエンジニアリングの原則」。秋季合同コンピュータ会議 FJCC 39 議事録。AFIPS。pp. 5623–532。
- ^ Donzeau Gouge, V.; Huet, G .; Kahn, G.; Lang, B. (1980 年 7 月)。「構造化エディターに基づくプログラミング環境: Mentor の経験」(PDF)。INRIA研究レポート第 26 号。
- ^ Teitelbaum, T.; T. Reps (1981 年 9 月). 「コーネル プログラム シンセサイザー: 構文指向プログラミング環境」. Communications of the ACM . 24 (9): 563–573. doi : 10.1145/358746.358755 .
- ^ ハーバーマン、A. ニコ;デビッド・ノトキン (1986)。 「Gandalf: ソフトウェア開発環境」(PDF)。IEEEトランス。ソフトウェア。工学12 (12): 1117–1127。土井：10.1109/TSE.1986.6313007。S2CID 11474349。
- ^ Medina Mora, Raul (1982).構文指向編集 - プログラミング環境の統合に向けて. ピッツバーグ、ペンシルバニア州: カーネギーメロン大学 (博士論文).
- ^ Kaiser, Gail Elaine (1985).構造編集環境のセマンティクス。ピッツバーグ、ペンシルバニア州：カーネギーメロン大学（博士論文）。
- ^ Reps, T. (1984). Generating Language-Based Environments . Cambridge, MA: The MIT Press. (1983 ACM Doctoral Dissertation Award 受賞).
- ^ Reps, Thomas W. ; Teitelbaum, Tim (1988).シンセサイザージェネレーター: 言語ベースのエディターを構築するためのシステム。ケンブリッジ、マサチューセッツ州: Springer-Verlag。
- ^ Snelting, Gregor; Henhapl, Wolfgang (1986)。「増分的意味解析のためのデバイスとしての多ソート代数の統一」。プログラミング言語の原理に関する第 13 回 ACM SIGACT-SIGPLAN シンポジウム (POPL) の議事録。ニューヨーク、NY: ACM プレス。pp. 229–235。
- ^ Borras, P.; Clement, D.; Despeyrouz, Th.; Incerpi, J.; Kahn, G.; Lang, B.; Pascual, V. (1989)。「CENTAUR: システム」。「ACM SIGSOFT/SIGPLAN ソフトウェア エンジニアリング シンポジウムの実践的ソフトウェア開発環境 (PSDE) に関する議事録」。第 24 巻。ニューヨーク、NY: ACM プレス。pp. 14–24。
- ^ Ballance, Robert A.; Graham, Susan L.; Van De Vanter, Michael L. (1990)。「統合開発のための汎言語ベースの編集システム」。SDE 4: ソフトウェア開発環境に関する第 4 回 ACM SIGSOFT シンポジウムの議事録。アーバイン、カリフォルニア州: ACM プレス。pp. 77–93。
- ^ Czarnecki, Krzysztof & Eisenecker, Ulrich (2000 年 6 月)。『ジェネレーティブ プログラミング: 方法、ツール、およびアプリケーション』、第 11 章 (意図的なプログラミング)。マサチューセッツ州レディング: Addison-Wesley。