annotate lisp/progmodes/modula2.el @ 10612:8f3da98bd144

Initial revision
author Richard M. Stallman <rms@gnu.org>
date Tue, 31 Jan 1995 06:13:47 +0000
parents f287613dfc28
children 13ce3a71c223
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
659
505130d1ddf8 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 258
diff changeset
1 ;;; modula2.el --- Modula-2 editing support package
791
203c23c9f22c *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 663
diff changeset
2
203c23c9f22c *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 663
diff changeset
3 ;; Author: Michael Schmidt <michael@pbinfo.UUCP>
203c23c9f22c *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 663
diff changeset
4 ;; Tom Perrine <Perrin@LOGICON.ARPA>
811
e694e0879463 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 791
diff changeset
5 ;; Keywords: languages
659
505130d1ddf8 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 258
diff changeset
6
791
203c23c9f22c *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 663
diff changeset
7 ;; The authors distributed this without a copyright notice
203c23c9f22c *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 663
diff changeset
8 ;; back in 1988, so it is in the public domain. The original included
203c23c9f22c *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 663
diff changeset
9 ;; the following credit:
22
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
10
791
203c23c9f22c *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 663
diff changeset
11 ;; Author Mick Jordan
203c23c9f22c *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 663
diff changeset
12 ;; amended Peter Robinson
22
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
13
2308
f287613dfc28 Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 2307
diff changeset
14 ;;; Commentary:
f287613dfc28 Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 2307
diff changeset
15
f287613dfc28 Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 2307
diff changeset
16 ;; A major mode for editing Modula-2 code. It provides convenient abbrevs
f287613dfc28 Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 2307
diff changeset
17 ;; for Modula-2 keywords, knows about the standard layout rules, and supports
f287613dfc28 Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 2307
diff changeset
18 ;; a native compile command.
f287613dfc28 Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 2307
diff changeset
19
791
203c23c9f22c *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 663
diff changeset
20 ;;; Code:
203c23c9f22c *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 663
diff changeset
21
203c23c9f22c *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 663
diff changeset
22 ;;; Added by Tom Perrine (TEP)
22
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
23 (defvar m2-mode-syntax-table nil
231
3c29c1b2d6a1 *** empty log message ***
Brian Preble <rassilon@gnu.org>
parents: 22
diff changeset
24 "Syntax table in use in Modula-2 buffers.")
22
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
25
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
26 (defvar m2-compile-command "m2c"
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
27 "Command to compile Modula-2 programs")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
28
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
29 (defvar m2-link-command "m2l"
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
30 "Command to link Modula-2 programs")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
31
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
32 (defvar m2-link-name nil
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
33 "Name of the executable.")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
34
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
35
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
36 (if m2-mode-syntax-table
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
37 ()
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
38 (let ((table (make-syntax-table)))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
39 (modify-syntax-entry ?\\ "\\" table)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
40 (modify-syntax-entry ?\( ". 1" table)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
41 (modify-syntax-entry ?\) ". 4" table)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
42 (modify-syntax-entry ?* ". 23" table)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
43 (modify-syntax-entry ?+ "." table)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
44 (modify-syntax-entry ?- "." table)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
45 (modify-syntax-entry ?= "." table)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
46 (modify-syntax-entry ?% "." table)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
47 (modify-syntax-entry ?< "." table)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
48 (modify-syntax-entry ?> "." table)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
49 (modify-syntax-entry ?\' "\"" table)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
50 (setq m2-mode-syntax-table table)))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
51
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
52 ;;; Added by TEP
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
53 (defvar m2-mode-map nil
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
54 "Keymap used in Modula-2 mode.")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
55
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
56 (if m2-mode-map ()
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
57 (let ((map (make-sparse-keymap)))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
58 (define-key map "\^i" 'm2-tab)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
59 (define-key map "\C-cb" 'm2-begin)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
60 (define-key map "\C-cc" 'm2-case)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
61 (define-key map "\C-cd" 'm2-definition)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
62 (define-key map "\C-ce" 'm2-else)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
63 (define-key map "\C-cf" 'm2-for)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
64 (define-key map "\C-ch" 'm2-header)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
65 (define-key map "\C-ci" 'm2-if)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
66 (define-key map "\C-cm" 'm2-module)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
67 (define-key map "\C-cl" 'm2-loop)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
68 (define-key map "\C-co" 'm2-or)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
69 (define-key map "\C-cp" 'm2-procedure)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
70 (define-key map "\C-c\C-w" 'm2-with)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
71 (define-key map "\C-cr" 'm2-record)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
72 (define-key map "\C-cs" 'm2-stdio)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
73 (define-key map "\C-ct" 'm2-type)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
74 (define-key map "\C-cu" 'm2-until)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
75 (define-key map "\C-cv" 'm2-var)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
76 (define-key map "\C-cw" 'm2-while)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
77 (define-key map "\C-cx" 'm2-export)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
78 (define-key map "\C-cy" 'm2-import)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
79 (define-key map "\C-c{" 'm2-begin-comment)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
80 (define-key map "\C-c}" 'm2-end-comment)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
81 (define-key map "\C-j" 'm2-newline)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
82 (define-key map "\C-c\C-z" 'suspend-emacs)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
83 (define-key map "\C-c\C-v" 'm2-visit)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
84 (define-key map "\C-c\C-t" 'm2-toggle)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
85 (define-key map "\C-c\C-l" 'm2-link)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
86 (define-key map "\C-c\C-c" 'm2-compile)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
87 (setq m2-mode-map map)))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
88
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
89 (defvar m2-indent 5 "*This variable gives the indentation in Modula-2-Mode")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
90
258
1e0bc00dca7a *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 231
diff changeset
91 ;;;###autoload
22
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
92 (defun modula-2-mode ()
231
3c29c1b2d6a1 *** empty log message ***
Brian Preble <rassilon@gnu.org>
parents: 22
diff changeset
93 "This is a mode intended to support program development in Modula-2.
3c29c1b2d6a1 *** empty log message ***
Brian Preble <rassilon@gnu.org>
parents: 22
diff changeset
94 All control constructs of Modula-2 can be reached by typing C-c
3c29c1b2d6a1 *** empty log message ***
Brian Preble <rassilon@gnu.org>
parents: 22
diff changeset
95 followed by the first character of the construct.
3c29c1b2d6a1 *** empty log message ***
Brian Preble <rassilon@gnu.org>
parents: 22
diff changeset
96 \\<m2-mode-map>
3c29c1b2d6a1 *** empty log message ***
Brian Preble <rassilon@gnu.org>
parents: 22
diff changeset
97 \\[m2-begin] begin \\[m2-case] case
3c29c1b2d6a1 *** empty log message ***
Brian Preble <rassilon@gnu.org>
parents: 22
diff changeset
98 \\[m2-definition] definition \\[m2-else] else
3c29c1b2d6a1 *** empty log message ***
Brian Preble <rassilon@gnu.org>
parents: 22
diff changeset
99 \\[m2-for] for \\[m2-header] header
3c29c1b2d6a1 *** empty log message ***
Brian Preble <rassilon@gnu.org>
parents: 22
diff changeset
100 \\[m2-if] if \\[m2-module] module
3c29c1b2d6a1 *** empty log message ***
Brian Preble <rassilon@gnu.org>
parents: 22
diff changeset
101 \\[m2-loop] loop \\[m2-or] or
3c29c1b2d6a1 *** empty log message ***
Brian Preble <rassilon@gnu.org>
parents: 22
diff changeset
102 \\[m2-procedure] procedure Control-c Control-w with
3c29c1b2d6a1 *** empty log message ***
Brian Preble <rassilon@gnu.org>
parents: 22
diff changeset
103 \\[m2-record] record \\[m2-stdio] stdio
3c29c1b2d6a1 *** empty log message ***
Brian Preble <rassilon@gnu.org>
parents: 22
diff changeset
104 \\[m2-type] type \\[m2-until] until
3c29c1b2d6a1 *** empty log message ***
Brian Preble <rassilon@gnu.org>
parents: 22
diff changeset
105 \\[m2-var] var \\[m2-while] while
3c29c1b2d6a1 *** empty log message ***
Brian Preble <rassilon@gnu.org>
parents: 22
diff changeset
106 \\[m2-export] export \\[m2-import] import
3c29c1b2d6a1 *** empty log message ***
Brian Preble <rassilon@gnu.org>
parents: 22
diff changeset
107 \\[m2-begin-comment] begin-comment \\[m2-end-comment] end-comment
3c29c1b2d6a1 *** empty log message ***
Brian Preble <rassilon@gnu.org>
parents: 22
diff changeset
108 \\[suspend-emacs] suspend Emacs \\[m2-toggle] toggle
3c29c1b2d6a1 *** empty log message ***
Brian Preble <rassilon@gnu.org>
parents: 22
diff changeset
109 \\[m2-compile] compile \\[m2-next-error] next-error
3c29c1b2d6a1 *** empty log message ***
Brian Preble <rassilon@gnu.org>
parents: 22
diff changeset
110 \\[m2-link] link
22
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
111
231
3c29c1b2d6a1 *** empty log message ***
Brian Preble <rassilon@gnu.org>
parents: 22
diff changeset
112 `m2-indent' controls the number of spaces for each indentation.
3c29c1b2d6a1 *** empty log message ***
Brian Preble <rassilon@gnu.org>
parents: 22
diff changeset
113 `m2-compile-command' holds the command to compile a Modula-2 program.
3c29c1b2d6a1 *** empty log message ***
Brian Preble <rassilon@gnu.org>
parents: 22
diff changeset
114 `m2-link-command' holds the command to link a Modula-2 program."
22
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
115 (interactive)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
116 (kill-all-local-variables)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
117 (use-local-map m2-mode-map)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
118 (setq major-mode 'modula-2-mode)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
119 (setq mode-name "Modula-2")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
120 (make-local-variable 'comment-column)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
121 (setq comment-column 41)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
122 (make-local-variable 'end-comment-column)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
123 (setq end-comment-column 75)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
124 (set-syntax-table m2-mode-syntax-table)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
125 (make-local-variable 'paragraph-start)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
126 (setq paragraph-start (concat "^$\\|" page-delimiter))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
127 (make-local-variable 'paragraph-separate)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
128 (setq paragraph-separate paragraph-start)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
129 (make-local-variable 'paragraph-ignore-fill-prefix)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
130 (setq paragraph-ignore-fill-prefix t)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
131 ; (make-local-variable 'indent-line-function)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
132 ; (setq indent-line-function 'c-indent-line)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
133 (make-local-variable 'require-final-newline)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
134 (setq require-final-newline t)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
135 (make-local-variable 'comment-start)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
136 (setq comment-start "(* ")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
137 (make-local-variable 'comment-end)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
138 (setq comment-end " *)")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
139 (make-local-variable 'comment-column)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
140 (setq comment-column 41)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
141 (make-local-variable 'comment-start-skip)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
142 (setq comment-start-skip "/\\*+ *")
2307
10e417efb12a Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 841
diff changeset
143 (make-local-variable 'comment-indent-function)
10e417efb12a Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 841
diff changeset
144 (setq comment-indent-function 'c-comment-indent)
22
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
145 (make-local-variable 'parse-sexp-ignore-comments)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
146 (setq parse-sexp-ignore-comments t)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
147 (run-hooks 'm2-mode-hook))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
148
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
149 (defun m2-newline ()
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
150 "Insert a newline and indent following line like previous line."
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
151 (interactive)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
152 (let ((hpos (current-indentation)))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
153 (newline)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
154 (indent-to hpos)))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
155
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
156 (defun m2-tab ()
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
157 "Indent to next tab stop."
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
158 (interactive)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
159 (indent-to (* (1+ (/ (current-indentation) m2-indent)) m2-indent)))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
160
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
161 (defun m2-begin ()
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
162 "Insert a BEGIN keyword and indent for the next line."
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
163 (interactive)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
164 (insert "BEGIN")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
165 (m2-newline)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
166 (m2-tab))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
167
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
168 (defun m2-case ()
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
169 "Build skeleton CASE statment, prompting for the <expression>."
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
170 (interactive)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
171 (let ((name (read-string "Case-Expression: ")))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
172 (insert "CASE " name " OF")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
173 (m2-newline)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
174 (m2-newline)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
175 (insert "END (* case " name " *);"))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
176 (end-of-line 0)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
177 (m2-tab))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
178
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
179 (defun m2-definition ()
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
180 "Build skeleton DEFINITION MODULE, prompting for the <module name>."
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
181 (interactive)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
182 (insert "DEFINITION MODULE ")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
183 (let ((name (read-string "Name: ")))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
184 (insert name ";\n\n\n\nEND " name ".\n"))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
185 (previous-line 3))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
186
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
187 (defun m2-else ()
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
188 "Insert ELSE keyword and indent for next line."
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
189 (interactive)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
190 (m2-newline)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
191 (backward-delete-char-untabify m2-indent ())
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
192 (insert "ELSE")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
193 (m2-newline)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
194 (m2-tab))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
195
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
196 (defun m2-for ()
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
197 "Build skeleton FOR loop statment, prompting for the loop parameters."
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
198 (interactive)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
199 (insert "FOR ")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
200 (let ((name (read-string "Loop Initialiser: ")) limit by)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
201 (insert name " TO ")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
202 (setq limit (read-string "Limit: "))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
203 (insert limit)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
204 (setq by (read-string "Step: "))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
205 (if (not (string-equal by ""))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
206 (insert " BY " by))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
207 (insert " DO")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
208 (m2-newline)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
209 (m2-newline)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
210 (insert "END (* for " name " to " limit " *);"))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
211 (end-of-line 0)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
212 (m2-tab))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
213
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
214 (defun m2-header ()
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
215 "Insert a comment block containing the module title, author, etc."
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
216 (interactive)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
217 (insert "(*\n Title: \t")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
218 (insert (read-string "Title: "))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
219 (insert "\n Created:\t")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
220 (insert (current-time-string))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
221 (insert "\n Author: \t")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
222 (insert (user-full-name))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
223 (insert (concat "\n\t\t<" (user-login-name) "@" (system-name) ">\n"))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
224 (insert "*)\n\n"))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
225
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
226 (defun m2-if ()
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
227 "Insert skeleton IF statment, prompting for <boolean-expression>."
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
228 (interactive)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
229 (insert "IF ")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
230 (let ((thecondition (read-string "<boolean-expression>: ")))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
231 (insert thecondition " THEN")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
232 (m2-newline)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
233 (m2-newline)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
234 (insert "END (* if " thecondition " *);"))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
235 (end-of-line 0)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
236 (m2-tab))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
237
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
238 (defun m2-loop ()
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
239 "Build skeleton LOOP (with END)."
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
240 (interactive)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
241 (insert "LOOP")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
242 (m2-newline)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
243 (m2-newline)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
244 (insert "END (* loop *);")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
245 (end-of-line 0)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
246 (m2-tab))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
247
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
248 (defun m2-module ()
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
249 "Build skeleton IMPLEMENTATION MODULE, prompting for <module-name>."
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
250 (interactive)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
251 (insert "IMPLEMENTATION MODULE ")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
252 (let ((name (read-string "Name: ")))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
253 (insert name ";\n\n\n\nEND " name ".\n")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
254 (previous-line 3)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
255 (m2-header)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
256 (m2-type)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
257 (newline)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
258 (m2-var)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
259 (newline)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
260 (m2-begin)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
261 (m2-begin-comment)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
262 (insert " Module " name " Initialisation Code "))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
263 (m2-end-comment)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
264 (newline)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
265 (m2-tab))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
266
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
267 (defun m2-or ()
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
268 (interactive)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
269 (m2-newline)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
270 (backward-delete-char-untabify m2-indent)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
271 (insert "|")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
272 (m2-newline)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
273 (m2-tab))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
274
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
275 (defun m2-procedure ()
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
276 (interactive)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
277 (insert "PROCEDURE ")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
278 (let ((name (read-string "Name: " ))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
279 args)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
280 (insert name " (")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
281 (insert (read-string "Arguments: ") ")")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
282 (setq args (read-string "Result Type: "))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
283 (if (not (string-equal args ""))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
284 (insert " : " args))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
285 (insert ";")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
286 (m2-newline)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
287 (insert "BEGIN")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
288 (m2-newline)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
289 (m2-newline)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
290 (insert "END ")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
291 (insert name)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
292 (insert ";")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
293 (end-of-line 0)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
294 (m2-tab)))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
295
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
296 (defun m2-with ()
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
297 (interactive)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
298 (insert "WITH ")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
299 (let ((name (read-string "Record-Type: ")))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
300 (insert name)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
301 (insert " DO")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
302 (m2-newline)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
303 (m2-newline)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
304 (insert "END (* with " name " *);"))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
305 (end-of-line 0)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
306 (m2-tab))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
307
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
308 (defun m2-record ()
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
309 (interactive)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
310 (insert "RECORD")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
311 (m2-newline)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
312 (m2-newline)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
313 (insert "END (* record *);")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
314 (end-of-line 0)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
315 (m2-tab))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
316
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
317 (defun m2-stdio ()
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
318 (interactive)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
319 (insert "
231
3c29c1b2d6a1 *** empty log message ***
Brian Preble <rassilon@gnu.org>
parents: 22
diff changeset
320 FROM TextIO IMPORT
22
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
321 WriteCHAR, ReadCHAR, WriteINTEGER, ReadINTEGER,
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
322 WriteCARDINAL, ReadCARDINAL, WriteBOOLEAN, ReadBOOLEAN,
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
323 WriteREAL, ReadREAL, WriteBITSET, ReadBITSET,
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
324 WriteBasedCARDINAL, ReadBasedCARDINAL, WriteChars, ReadChars,
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
325 WriteString, ReadString, WhiteSpace, EndOfLine;
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
326
231
3c29c1b2d6a1 *** empty log message ***
Brian Preble <rassilon@gnu.org>
parents: 22
diff changeset
327 FROM SysStreams IMPORT sysIn, sysOut, sysErr;
22
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
328
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
329 "))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
330
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
331 (defun m2-type ()
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
332 (interactive)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
333 (insert "TYPE")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
334 (m2-newline)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
335 (m2-tab))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
336
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
337 (defun m2-until ()
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
338 (interactive)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
339 (insert "REPEAT")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
340 (m2-newline)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
341 (m2-newline)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
342 (insert "UNTIL ")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
343 (insert (read-string "<boolean-expression>: ") ";")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
344 (end-of-line 0)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
345 (m2-tab))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
346
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
347 (defun m2-var ()
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
348 (interactive)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
349 (m2-newline)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
350 (insert "VAR")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
351 (m2-newline)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
352 (m2-tab))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
353
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
354 (defun m2-while ()
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
355 (interactive)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
356 (insert "WHILE ")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
357 (let ((name (read-string "<boolean-expression>: ")))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
358 (insert name " DO" )
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
359 (m2-newline)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
360 (m2-newline)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
361 (insert "END (* while " name " *);"))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
362 (end-of-line 0)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
363 (m2-tab))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
364
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
365 (defun m2-export ()
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
366 (interactive)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
367 (insert "EXPORT QUALIFIED "))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
368
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
369 (defun m2-import ()
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
370 (interactive)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
371 (insert "FROM ")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
372 (insert (read-string "Module: "))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
373 (insert " IMPORT "))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
374
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
375 (defun m2-begin-comment ()
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
376 (interactive)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
377 (if (not (bolp))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
378 (indent-to comment-column 0))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
379 (insert "(* "))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
380
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
381 (defun m2-end-comment ()
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
382 (interactive)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
383 (if (not (bolp))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
384 (indent-to end-comment-column))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
385 (insert "*)"))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
386
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
387 (defun m2-compile ()
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
388 (interactive)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
389 (setq modulename (buffer-name))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
390 (compile (concat m2-compile-command " " modulename)))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
391
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
392 (defun m2-link ()
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
393 (interactive)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
394 (setq modulename (buffer-name))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
395 (if m2-link-name
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
396 (compile (concat m2-link-command " " m2-link-name))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
397 (compile (concat m2-link-command " "
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
398 (setq m2-link-name (read-string "Name of executable: "
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
399 modulename))))))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
400
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
401 (defun execute-monitor-command (command)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
402 (let* ((shell shell-file-name)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
403 (csh (equal (file-name-nondirectory shell) "csh")))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
404 (call-process shell nil t t "-cf" (concat "exec " command))))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
405
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
406 (defun m2-visit ()
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
407 (interactive)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
408 (let ((deffile nil)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
409 (modfile nil)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
410 modulename)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
411 (save-excursion
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
412 (setq modulename
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
413 (read-string "Module name: "))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
414 (switch-to-buffer "*Command Execution*")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
415 (execute-monitor-command (concat "m2whereis " modulename))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
416 (goto-char (point-min))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
417 (condition-case ()
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
418 (progn (re-search-forward "\\(.*\\.def\\) *$")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
419 (setq deffile (buffer-substring (match-beginning 1)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
420 (match-end 1))))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
421 (search-failed ()))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
422 (condition-case ()
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
423 (progn (re-search-forward "\\(.*\\.mod\\) *$")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
424 (setq modfile (buffer-substring (match-beginning 1)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
425 (match-end 1))))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
426 (search-failed ()))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
427 (if (not (or deffile modfile))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
428 (error "I can find neither definition nor implementation of %s"
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
429 modulename)))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
430 (cond (deffile
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
431 (find-file deffile)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
432 (if modfile
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
433 (save-excursion
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
434 (find-file modfile))))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
435 (modfile
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
436 (find-file modfile)))))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
437
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
438 (defun m2-toggle ()
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
439 "Toggle between .mod and .def files for the module."
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
440 (interactive)
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
441 (cond ((string-equal (substring (buffer-name) -4) ".def")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
442 (find-file-other-window
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
443 (concat (substring (buffer-name) 0 -4) ".mod")))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
444 ((string-equal (substring (buffer-name) -4) ".mod")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
445 (find-file-other-window
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
446 (concat (substring (buffer-name) 0 -4) ".def")))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
447 ((string-equal (substring (buffer-name) -3) ".mi")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
448 (find-file-other-window
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
449 (concat (substring (buffer-name) 0 -3) ".md")))
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
450 ((string-equal (substring (buffer-name) -3) ".md")
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
451 (find-file-other-window
dee6a680d1d7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
452 (concat (substring (buffer-name) 0 -3) ".mi")))))
659
505130d1ddf8 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 258
diff changeset
453
505130d1ddf8 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 258
diff changeset
454 ;;; modula2.el ends here