![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to a4 CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [Research Unix] / researchv10no / cmd / monk / db|
Return to a4 CVS log | Up to [Research Unix] / researchv10no / cmd / monk / db |
1.1 root 1: BEGIN {
2: myname = "a4:"
3: list["\["] = "\]"; list["{"] = "}"; list["("] = "\\)"; list["<"] = ">"
4: # it is unclear what the proper format is,
5: # but let's give it a try
6: if (summary) {
7: summary = summary ".sum"
8: print "\n\n" summary, "doc", "type\n" > summary
9: summarypipe = "sort -u" ">> " summary
10: }
11: while(--ARGC) {
12: i++
13: include(ARGV[i])
14: }
15: }
16:
17: function show(a) { # debugging aid
18: print ">>>", a |"cat 1>&2"
19: # print ">>>", a
20: }
21:
22: function include(file, l,m,i) { # include file handling
23: gsub( / +|\)/, "", file)
24: push( file )
25: while( (i = getline l < file ) > 0) {
26: NR++
27: if (match(l, /^\|include\(/)) {
28: include( substr(l, RSTART+RLENGTH))
29: } else {
30: if ((m = process(l)) !~ /^$/ ) {
31: print m
32: }
33: }
34: }
35: if ( i < 0 )
36: error("Cannot open: " file)
37: else {
38: close file
39: pop()
40: }
41: }
42:
43: function push(new) {
44: stack[top++] = NR " " FILENAME
45: NR = 0; FILENAME = new
46: }
47:
48: function pop( a) {
49: if (--top < 0)
50: error("Internal error include stack")
51: split(stack[top], a)
52: NR = a[1]; FILENAME = a[2]
53: }
54:
55: function error(s) {
56: print myname, s | "cat 1>&2"; exit -1
57: }
58:
59: function warn(b1, b2) {
60: print myname, FILENAME", line", NR ":", b1, b2 | "cat 1>&2"
61: warned++
62: }
63:
64: function process(line, s, t) { # does all the work
65: # show(line)
66:
67: if (summary && line ~ /\|comment<summary: /) {
68: sub(/[ \t]*\|comment<summary: /, "", line)
69: sub(/>$/, "", line)
70: print line | summarypipe
71: return ""
72: }
73: if (comment == 0 && line ~ /\|comment[\[{(<]/ ) {
74: match(line, /\|comment[\[{(<]/)
75: comment = substr(line, RSTART+RLENGTH-1, 1)
76: closecomment = list[comment]
77: }
78: if (comment != 0 && line ~ /[\]})>]/) {
79: if (match(line, closecomment))
80: comment = 0 ;
81: return ""
82: }
83: if (comment != 0) {
84: return ""
85: }
86:
87: if (line ~ /^$/) { # ignore empty lines
88: return ""
89: }
90: if (line ~ /^[\.'][ \t]*\\"/) { # wipe out lines of troff comments
91: return ""
92: }
93: if (line ~ /[ \t]+\\".*/) { # wipe out more troff comments
94: sub(/[ \t]+\\".*/, "", line)
95: }
96:
97: if (line ~ /\|REGISTER\(/) {
98: sub(/\|REGISTER\(/, "", line)
99: match(line, /[A-Za-z][A-Za-z_0-9]*/)
100: s = substr(line, RSTART, RLENGTH)
101: line = substr(line, RLENGTH+1)
102: if (s in name) {
103: warn("redefinition of register name:", s)
104: }
105: match(line, /[@-Za-z0-0%|:;.][@-Za-z0-9%|%;.]*/)
106: t = substr(line, RSTART, RLENGTH)
107: chklen2(t)
108: name[s] = t
109: type[s] = "register"
110: return ""
111: }
112:
113: if (line ~ /\|LITERAL\(/) {
114: sub(/\|LITERAL\(/, "", line)
115: match(line, /[A-Za-z][A-Za-z_0-9]*/)
116: s = substr(line, RSTART, RLENGTH)
117: line = substr(line, RSTART+RLENGTH)
118: # show(line)
119: if (s in name) {
120: warn("redefinition of constant name:", s)
121: }
122: sub(/, */, "", line); sub(/ *\).*/, "", line)
123: t = hunt(line)
124: name[s] = t
125: type[s] = "value"
126: return ""
127: }
128:
129: if (line ~ /\|STRING\(/) {
130: sub(/\|STRING\(/, "", line)
131: match(line, /[A-Za-z][A-Za-z_0-9]*/)
132: s = substr(line, RSTART, RLENGTH)
133: line = substr(line, RLENGTH+1)
134: # show(line)
135: if (s in name) {
136: warn("redefinition of string name:", s)
137: }
138: match(line, /[@-Za-z0-;%][@-Za-z0-;%]*/)
139: t = substr(line, RSTART, RLENGTH)
140: chklen2(t)
141: name[s] = t
142: type[s] = "string"
143: return ""
144: }
145:
146: if (line ~ /\|STRING_ARRAY\(/) {
147: sub(/\|STRING_ARRAY\(/, "", line)
148: match(line, /[A-Za-z][A-Za-z_0-9]*/)
149: s = substr(line, RSTART, RLENGTH)
150: line = substr(line, RLENGTH+1)
151: if (s in name) {
152: warn("redefinition of string array:", s)
153: }
154: match(line, /[@-Za-z0-;%][@-Za-z0-;%]*/)
155: t = substr(line, RSTART, RLENGTH)
156: chklen1(t)
157: name[s] = t
158: type[s] = "string_array"
159: return ""
160: }
161:
162: # anything else
163: t = hunt(line)
164: gsub(/^[ \t]+/, "", t) # remove leading blanks
165: if (match(t, /^(\\!)?[\.'][ \t]/)) { # remove space after troff's control char
166: sub(/[ \t]+/, "", t)
167: }
168: if (match(t, /^(\\!)?[\.'][a-z][a-z] /)) { # remove space after troff request
169: sub(/ /, "", t)
170: }
171: return t
172: }
173:
174: function chklen2(s) {
175: if (length(s) > 2) {
176: warn("name too long:", t)
177: }
178: }
179:
180: function chklen1(s) {
181: if (length(s) > 1) {
182: warn("name too long:", t)
183: }
184: }
185:
186: # match up to a closing parenthesis, while ignoring matching parentheses
187:
188: function parmatch(s, l, r) {
189: l = match(s, /\(/)
190: r = match(s, /\)/)
191:
192: if ( l == 0 || r < l ) {
193: return r
194: } else {
195: sub(/\(/, " ", s)
196: sub(/\)/, " ", s)
197: r = parmatch(s)
198: return r
199: }
200:
201: }
202:
203:
204: # find all occurrences of macros in s and replace as text
205: function hunt(s, r, b, t, before, after, i, j) {
206:
207: # 'operator' stuff
208: while(match(s, /[A-Z][A-Z]*[_A-Z][_A-Z]*\(/)) {
209: b = substr(s, 1, RSTART-1)
210: i = RLENGTH
211: j = RSTART
212: if(parmatch(substr(s, RSTART + i))) {
213: t = substr(s, j, RSTART + i -1)
214: s = substr(s, j+i+RSTART)
215: r = operator(t, i)
216: } else {
217: warn("syntax error:", s)
218: return s
219: }
220: before = before b r
221: }
222: before = before s
223: s = before
224: before = ""
225: # find macro stuff
226: while(match(s, /[A-Za-z][A-Za-z_0-9]*/)) {
227: b = substr(s, 1, RSTART-1)
228: t = substr(s, RSTART, RLENGTH)
229: s = substr(s, RSTART+RLENGTH)
230: r = replace(t)
231: if( r !~ t) {
232: if ( t in name && type[t] == "string_array") {
233: if (!match(s, /^\[[\$A-Za-z0-9][A-Za-z_0-9]*\]/)) {
234: warn("Illegal or missing subscript of:", t)
235: } else
236: r = r subscript(substr(s, RSTART+1, RLENGTH-2))
237: s = substr(s, RSTART+RLENGTH)
238: } else {
239: if (match(b, /'$/) && match(s, /^'/)) {
240: sub(/'$/, "", b)
241: sub(/^'/, "", s)
242: }
243: }
244: r = hunt(r)
245: }
246: before = before b r
247: after = s
248: }
249: if ( before || after) {
250: s = before after
251: }
252: return s
253: }
254:
255: # replace string s with defined name, if in table
256: function replace(s) {
257: if (s in name)
258: return name[s]
259: else
260: return s
261: }
262:
263: # check and maybe generate form for substript
264: function subscript(s) {
265: if ( s ~ /^[0-9]$/) {
266: return s
267: }
268: if ( s ~ /^\$/ )
269: return s
270: if ( s in name && type[s] == "register") {
271: return interpolreg(name[s])
272: } else {
273: warn("Illegal subscript")
274: }
275: return s
276: }
277:
278: # turn register suitable for troff interpolation
279: function interpolreg(r) {
280: if (length(r) == 1 )
281: return "\\n" r
282: else if (length(r) == 2)
283: return "\\n(" r
284: else
285: warn("Register name too long")
286: return r
287: }
288:
289: function interpolstr(r) {
290: if (length(r) == 1 )
291: return "\\*" r
292: else
293: return "\\*(" r
294: }
295:
296: function operator(s,i, t,u,a) {
297: oper = substr(s, 1, i - 1)
298: # match(s, /\)/)
299: # t = substr(s, i + 1, RSTART - 1 + RLENGTH - (i + 1))
300: t = substr(s, i+1)
301: gsub(/ /, "", t)
302: i = split(t, a, ",")
303: if ( oper ~ "^GE$") {
304: if (!chckargs(oper, i, 2))
305: return t
306: t = sprintf("\"%s>=%s\"", args(a[1]), args(a[2]))
307: } else if (oper ~ "^GT$") {
308: if (!chckargs(oper, i, 2))
309: return t
310: t = sprintf("\"%s>%s\"", args(a[1]), args(a[2]))
311: } else if (oper ~ "^LE$") {
312: if (!chckargs(oper, i, 2))
313: return t
314: t = sprintf("\"%s<=%s\"", args(a[1]), args(a[2]))
315: } else if (oper ~ "^LT$") {
316: if (!chckargs(oper, i, 2))
317: return t
318: t = sprintf("\"%s<%s\"", args(a[1]), args(a[2]))
319: } else if (oper ~ "^NULL$") {
320: if (!chckargs(oper, i, 1))
321: return t
322: t = sprintf("\"@%s@@\"", args(a[1]))
323: } else if (oper ~ "^NOTNULL$") {
324: if (!chckargs(oper, i, 1))
325: return t
326: t = sprintf("\"!@%s@@\"", args(a[1]))
327: } else if (oper ~ "^EQUAL$") {
328: if (!chckargs(oper, i, 2))
329: return t
330: u = args(a[1])
331: if (u ~ /\\n\(\.z$/) {# diversion!
332: t = sprintf("\"@%s@%s@\"", u, args(a[2]))
333: } else if ( argtype ~ /^register$/ ) {
334: t = sprintf("\"%s=%s\"", u, args(a[2]))
335: } else
336: t = sprintf("\"@%s@%s@\"", u, args(a[2]))
337: } else if (oper ~ "^UNEQUAL$") {
338: if (!chckargs(oper, i, 2))
339: return t
340: u = args(a[1])
341: if (u ~ /^\\n\(\.z$/) {# diversion!
342: t = sprintf("\"!@%s@%s@\"", u, a[2])
343: } else if ( argtype ~ /^register$/ ) {
344: t = sprintf("\"%s!=%s\"", u, args(a[2]))
345: } else
346: t = sprintf("\"!@%s@%s@\"", u, args(a[2]))
347: } else if (oper ~ "^VALUE$") {
348: if (!chckargs(oper, i, 1))
349: return t
350: t = sprintf("\"%s\"", args(a[1]))
351: } else
352: warn("Unknown operation: " oper)
353: return t
354: }
355:
356: function chckargs(o, i, ii) {
357: if ( i != ii) {
358: warn(ii " arguments required for " oper " (is " i ")")
359: return 0
360: } else
361: return 1
362: }
363:
364: function args(a, after, result, i, j) {
365: if ( a ~ /^$/ ) {
366: warn("Missing argument", a)
367: return a
368: }
369: if (match(a, /^'/)) {
370: a = substr(a, 2)
371: match(a, /'/)
372: after = substr(a, RSTART+1)
373: a = substr(a, 1, RSTART-1)
374: }
375: if (match(a, /\[/)) {
376: i = RSTART
377: if (!match(a, /\]/)) {
378: warn("syntax error")
379: return a after
380: } else
381: j = substr(a, i+1, RSTART - 1 - i)
382: a = substr(a, 1, i -1)
383: }
384:
385: if ( a ~ /^[0-9]+$/ && type[a] !~ "string_array")
386: return a after
387: if ( a ~ /\$/ ) # possible monk variable
388: return a after
389: if ( a in name ) {
390: # show("a: " a " name[a]: " name[a] " type[a]: " type[a])
391: argtype = type[a]
392: if (argtype ~ "^register$" )
393: result = interpolreg(name[a])
394: else if (argtype ~ "^value$")
395: result = name[a]
396: else if (argtype ~ "^string$")
397: result = interpolstr(name[a])
398: else if (argtype ~ "^string_array$")
399: result = interpolstr(name[a] args(j))
400: else
401: warn("Internal error, unknown type: " type[a] " (" a ")")
402: } else {
403: warn("Unknown variable: ", a)
404: result = a after
405: }
406: return result after
407: }
408:
409: END {
410: # to signal make etc. that not everything is dandy
411: # if (warned)
412: # exit -1
413: }
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.