![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to edit.c CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [CSRG BSD Unix] / 43BSDTahoe / new / B / src / bed|
Return to edit.c CVS log | Up to [CSRG BSD Unix] / 43BSDTahoe / new / B / src / bed |
1.1 root 1: /* Copyright (c) Stichting Mathematisch Centrum, Amsterdam, 1984. */
2: static char rcsid[] = "$Header: edit.c,v 2.5 85/08/22 16:01:43 timo Exp $";
3:
4: /*
5: * B editor -- Read unit from file.
6: */
7:
8: #include <ctype.h>
9:
10: #include "b.h"
11: #include "feat.h"
12: #include "erro.h"
13: #include "bobj.h"
14: #include "node.h"
15: #include "tabl.h"
16: #include "gram.h"
17: #include "supr.h"
18: #include "queu.h"
19:
20: string unixerror();
21:
22: /*
23: * TABSIZE sets the number of spaces equivalent to a tab character
24: * read from the input; INDENT sets the number of spaces for one indentation
25: * level.
26: * The definitions here are unrelated to the definition of TABS
27: * in eval.h (used by show.c and eval.c). The definition here only
28: * defines how many spaces must be equivalenced to a tab stop when read
29: * from a file; tab stops must be caused by editing a unit with another
30: * editor (vi, ed, ex, emacs), since "save.c" always writes spaces,
31: * not tabs. The value '4' is best suited for people at the CWI who
32: * may have workspaces with units edited with the previous version of
33: * the B editor, which emitted a tab for each indentation level (and
34: * assumed 4 spaces for a tab stop on input).
35: *
36: * The variables 'spacesused' and 'tabsused' are kept to see if mixed use
37: * of spaces and tabs was made; this can cause indentation errors.
38: */
39:
40: #ifdef CWI
41: #define TABSIZE 4
42: #else
43: #define TABSIZE 8
44: #endif
45:
46: #define INDENT 4
47:
48: Hidden bool spacesused;
49: Hidden bool tabsused;
50:
51:
52: /*
53: * Read (edit) parse tree from file into the focus.
54: * Rather ad hoc, we use ins_string for each line
55: * and do some magic tricks to get the indentation right
56: * (most of the time).
57: * If line > 0, position the focus at that line, if possible;
58: * otherwise the focus is left at the end of the inserted text.
59: */
60:
61: Visible bool
62: edit(ep, filename, line)
63: register environ *ep;
64: string filename;
65: int line;
66: {
67: int lines = 0;
68: register FILE *fp = fopen(filename, "r");
69: register int c;
70: char buf[BUFSIZ];
71: auto string cp;
72: auto queue q = Qnil;
73:
74: if (!fp) {
75: error("%s", unixerror(filename));
76: return No;
77: }
78:
79: spacesused = tabsused = No;
80: do {
81: do {
82: for (cp = buf; cp < buf + sizeof buf - 1; ++cp) {
83: c = getc(fp);
84: if (c == EOF || c == '\n')
85: break;
86: if (c < ' ' || c >= 0177)
87: c = ' ';
88: *cp = c;
89: }
90: if (cp > buf) {
91: *cp = 0;
92: if (!ins_string(ep, buf, &q, 0) || !emptyqueue(q)) {
93: qrelease(q);
94: error(EDIT_BAD);
95: fclose(fp);
96: return No;
97: }
98: qrelease(q);
99: }
100: } while (c != EOF && c != '\n');
101: ++lines;
102: if (c != EOF && !editindentation(ep, fp)) {
103: fclose(fp);
104: return No;
105: }
106: } while (c != EOF);
107: fclose(fp);
108: if (ep->mode == FHOLE || ep->mode == VHOLE && (ep->s1&1)) {
109: cp = "";
110: soften(ep, &cp, 0);
111: }
112: if (lines > 1 && line > 0) {
113: gotoyx(ep, line-1, 0);
114: oneline(ep);
115: }
116: if (spacesused && tabsused)
117: error(EDIT_TABS);
118: return Yes;
119: }
120:
121:
122: /*
123: * Do all the footwork required to get the indentation proper.
124: */
125:
126: Hidden Procedure
127: editindentation(ep, fp)
128: register environ *ep;
129: register FILE *fp;
130: {
131: register int tabs = 0;
132: auto int level;
133: register int c;
134:
135: while ((c = getc(fp)) == ' ' || c == '\t') {
136: if (c == ' ') {
137: spacesused = Yes;
138: ++tabs;
139: }
140: else {
141: tabsused = Yes;
142: tabs = (tabs/TABSIZE + 1)*TABSIZE;
143: }
144: }
145: ungetc(c, fp);
146: if (c == EOF || c == '\n')
147: return Yes;
148: tabs = (tabs+(INDENT/2))/INDENT; /* Transform to tab stops */
149: if (!ins_newline(ep)) {
150: #ifndef NDEBUG
151: debug("[Burp! Can't insert a newline.]");
152: #endif NDEBUG
153: return No;
154: }
155: level = Level(ep->focus);
156: for (; tabs < level; --level) {
157: if (!ins_newline(ep)) {
158: #ifndef NDEBUG
159: debug("[Burp, burp! Can't decrease indentation.]");
160: #endif NDEBUG
161: return No;
162: }
163: }
164: fixit(ep);
165: return Yes;
166: }
167:
168:
169: /* ------------------------------------------------------------ */
170:
171: #ifdef SAVEBUF
172:
173: /*
174: * Read the next non-space character.
175: */
176:
177: Hidden int
178: skipsp(fp)
179: register FILE *fp;
180: {
181: register int c;
182:
183: do {
184: c = getc(fp);
185: } while (c == ' ');
186: return c;
187: }
188:
189:
190: /*
191: * Read a text in standard B format when the initial quote has already
192: * been read.
193: */
194:
195: Hidden value
196: readtext(fp, quote)
197: register FILE *fp;
198: register char quote;
199: {
200: auto value v = Vnil;
201: char buf[BUFSIZ];
202: register string cp = buf;
203: register int c;
204: auto int i;
205:
206: for (; ; ++cp) {
207: c = getc(fp);
208: if (!isascii(c) || c != ' ' && !isprint(c)) {
209: if (c == EOF)
210: debug("readtext: EOF");
211: else
212: debug("readtext: bad char (0%02o)", c);
213: release(v);
214: return Vnil; /* Bad character or EOF */
215: }
216: if (c == quote) {
217: c = getc(fp);
218: if (c != quote) {
219: ungetc(c, fp);
220: break;
221: }
222: }
223: else if (c == '`') {
224: c = skipsp(fp);
225: if (c == '$') {
226: i = 0;
227: if (fscanf(fp, "%d", &i) != 1
228: || i == 0 || !isascii(i)) {
229: debug("readtext: error in conversion");
230: release(v);
231: return Vnil;
232: }
233: c = skipsp(fp);
234: }
235: else
236: i = '`';
237: if (c != '`') {
238: if (c == EOF)
239: debug("readtext: EOF in conversion");
240: else
241: debug("readtext: bad char in conversion (0%o)", c);
242: release(v);
243: return Vnil;
244: }
245: c = i;
246: }
247: if (cp >= &buf[sizeof buf - 1]) {
248: *cp = 0;
249: if (v)
250: concato(&v, buf);
251: else
252: v = mk_text(buf);
253: cp = buf;
254: }
255: *cp = c;
256: }
257: *cp = 0;
258: if (!v)
259: return mk_text(buf);
260: concato(&v, buf);
261: return v;
262: }
263:
264:
265: Hidden int
266: readsym(fp)
267: register FILE *fp;
268: {
269: register int c;
270: char buf[100];
271: register string bufp;
272:
273: for (bufp = buf; ; ++bufp) {
274: c = getc(fp);
275: if (c == EOF)
276: return -1;
277: if (!isascii(c) || !isalnum(c) && c != '_') {
278: if (ungetc(c, fp) == EOF)
279: syserr("readsym: ungetc failed");
280: break;
281: }
282: *bufp = c;
283: }
284: *bufp = 0;
285: if (isdigit(buf[0]))
286: return atoi(buf);
287: if (strcmp(buf, "Required") == 0) /***** Compatibility hack *****/
288: return Hole;
289: return nametosym(buf);
290: }
291:
292:
293: /*
294: * Read a node in internal format (recursively).
295: * Return nil pointer if EOF or error.
296: */
297:
298: Hidden node
299: readnode(fp)
300: FILE *fp;
301: {
302: int c;
303: int nch;
304: node ch[MAXCHILD];
305: node n;
306: int sym;
307:
308: c = skipsp(fp);
309: switch (c) {
310: case EOF:
311: return Nnil; /* EOF hit */
312:
313: case '(':
314: sym = readsym(fp);
315: if (sym < 0) {
316: debug("readnode: missing symbol");
317: return Nnil; /* No number as first item */
318: }
319: if (sym < 0 || sym > Hole) {
320: debug("readnode: bad symbol (%d)", sym);
321: return Nnil;
322: }
323: nch = 0;
324: while ((c = skipsp(fp)) == ',' && nch < MAXCHILD) {
325: n = readnode(fp);
326: if (!n) {
327: for (; nch > 0; --nch)
328: noderelease(ch[nch-1]);
329: return Nnil; /* Error encountered in child */
330: }
331: ch[nch] = n;
332: ++nch;
333: }
334: if (c != ')') {
335: if (c == ',')
336: debug("readnode: node too long (sym=%d)", sym);
337: else
338: debug("readnode: no ')' where expected (sym=%d)", sym);
339: for (; nch > 0; --nch)
340: noderelease(ch[nch-1]);
341: return Nnil; /* Not terminated with ')' or too many children */
342: }
343: if (nch == 0)
344: return gram(sym); /* Saves space for Optional/Hole nodes */
345: return newnode(nch, sym, ch);
346:
347: case '\'':
348: case '"':
349: return (node) readtext(fp, c);
350:
351: default:
352: debug("readnode: bad initial character");
353: return Nnil; /* Bad initial character */
354: }
355: }
356:
357:
358: /*
359: * Read a node written in a more or less internal format.
360: */
361:
362: Visible value
363: editqueue(filename)
364: string filename;
365: {
366: register FILE *fp = fopen(filename, "r");
367: auto queue q = Qnil;
368: register node n;
369:
370: if (!fp)
371: return Vnil;
372: do {
373: n = readnode(fp);
374: if (!n)
375: break; /* EOF or error */
376: addtoqueue(&q, n);
377: noderelease(n);
378: } while (skipsp(fp) == '\n');
379: fclose(fp);
380: return (value)q;
381: }
382: #endif SAVEBUF
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.