Download EDT A Syntax-Based Program Editor Reference Manual Ross S

Transcript
i
Table of Contents
..............................
1 . Introduction
.............................. 3
2. User Guide
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
3
. . . . . . . . . . . . . . . . . . . . . . . .
3
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4
. . . . . . . . . . . . . . . . . . . . . . . .
4
. . . . . . . . . . . . . . . . . . . . . . . . . .
6
. . . . . . . . . . . . . . . . . . . . . . . . . . .
7
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8
. . . . . . . . . . . . . . . . .
8
. . . . . . . . . . . . . . . .
8
. . . . . . . . . . . . . . . . . . . . . . . . .
9
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
10
Running the Editor
The Editor’s Internal Tree
TheCursor
Commands to the Editor
File Input Commands
Moving the Cursor
Naming Nodes
Reverting to the Previous Cursor Position
Inserting Copies of Previously Named Nodes
Deletion and Undeletion
Adding to a List
. . . . . . . . . . . . . . . . . . . . IO
Creating New (Nonterminal) Nodes
Invoking the Parser
. . . . . . . . . . . . . . . . . . . . . . . . . . .
Productions (on Nonterminal Nodes)
File Output Commands
. . . . . . . . . . . . . . . . . . . . . . .
12
. . . . . . . . . . . . . . . . . . . . .
15
. . . . . . . . . . . . . . . . . . . . . . . .
17
Replacement Commands
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Aborting a Command
Halting the Editor
.17
18
. . . . . . . . . . . . . . . . . . . . . . . . . .
18
. . . . . . . . . . . . . . . . . . . . . . . . . . .
19
3. System Architecture
......................... 20
. . . . . . . . . . . . . . . . . . . . . . .
20
. . . . . . . . . . . . . . . . . . . . .
24
. . . . . . . . . . . . . . . . . . . . . . . . . .
24
. . . . . . . . . . . . . . . . . . . . . . .
28
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
29
. . . . . . . . . . . . . . . . . . . . . . . .
30
An Overview of the System
The Editor’s Internal Tree Form
Properties of node-ids
Properties of Nonterminals
Print Boxes
. . . . . . . . . . . . . . . . . . . 11
12
Patterns, and Search Commands
The Display
10
. . . . . . . . . . . . . . . . . . . . . . . . .
Coercions and Embeddings
Comments
1
Properties of plist-atoms
Properties of Print Option Atoms
. . . . . . . . . . . . . . . . . . . . 32
An Outline of the Editor’s (High-Level) Display Algorithm
. . . . . . . . . . . 34
Appendices:
A. Summary of Commands
........................ 36
B. The Ada Implementation
....................... 38
_