The Synthesizer Generator Reference Manual

1 Introduction. - 2 Specifying an Editor. - 2. 1 Lexical Matters. - 2. 2 Phyla Operators and Terms. - 2. 3 Attribute Declarations and Attribute Equations. - 2. 4 Function Declarations. - 2. 5 Expressions. - 2. 6 View and Unparsing Declarations. - 2. 7 Concrete Input Syntax. - 2. 8 Transformation Declarations. - 2. 9 Support for Modular Specifications. - 2. 10 Option Declarations. - 2. 11 Quantified Declarations. - 3 Using an Editor. - 3. 1 Getting Into and Out of an Editor. - 3. 2 Executing Commands and Transformations. - 3. 3 Buffers Selections and Files. - 3. 4 Creating Deleting and Resizing Windows and Panes. - 3. 5 Entering and Editing an Object. - 3. 6 Changing the Structural Selection by Traversal of the Edited Term. - 3. 7 Changing the Character Selection by Traversal of the Text Buffer. - 3. 8 Moving the Object With Respect to the Window. - 3. 9 Moving the Locator on the Screen. - 3. 10 Changing the Selection with the Locator. - 3. 11 Structural Editing. - 3. 12 Textual Editing. - 3. 13 Access to Computed Attributes. - 3. 14 Searching. - 3. 15 Alternating Unparsing Schemes. - 4 The SSL Debugger. - 5 Interface to C. - 5. 1 Foreign and Exported Functions. - 5. 2 Base-Type and Primitive-Phylum Definitions. - 5. 3 External Stores and External Computers. - 5. 4 Defining Additional Commands. - 5. 4. 1 Defining commands that have no parameters. - 5. 4. 2 Defining commands that have parameters. - Appendix A A Sample Specification. - Appendix B Invoking the Synthesizer Generator. - Appendix C List of Editor Commands. - Appendix D Keyboards Displays Window Systems and Mice. - D. 1 Keyboards. - D. 2 Displays and Window Systems. - D. 3 Mice. - Appendix E Demonstration Editors. - E. 1 Simple Tutorial Editors. - E. 2 Editors for Programming Languages. - E. 3 Document Editor. - E. 4 Graphics Editor. - E. 5 Pedagogical Editors. - E. 6 Logic and Program-Verification Editors. - Appendix F Syntax of SSL. Language: English