29
#define minus_minus 01
36
#define dot_dot_dot 016
37
#define colon_colon 06
38
#define period_ast 026
39
#define minus_gt_ast 027 \
42
#define longest_name 1000
43
#define long_buf_size (buf_size+longest_name)
44
#define xisspace(c) (isspace(c) &&((unsigned char) c<0200) )
45
#define xisupper(c) (isupper(c) &&((unsigned char) c<0200) ) \
47
#define max_include_depth 10 \
49
#define max_file_name_length 60
50
#define cur_file file[include_depth]
51
#define cur_file_name file_name[include_depth]
52
#define cur_line line[include_depth]
53
#define web_file file[0]
54
#define web_file_name file_name[0] \
56
#define lines_dont_match (change_limit-change_buffer!=limit-buffer|| \
57
strncmp(buffer,change_buffer,limit-buffer) ) \
59
#define if_section_start_make_pending(b) {*limit= '!'; \
60
for(loc= buffer;xisspace(*loc) ;loc++) ; \
62
if(*loc=='@'&&(xisspace(*(loc+1) ) ||*(loc+1) =='*') ) change_pending= b; \
65
#define max_sections 2000 \
68
#define too_long() {include_depth--; \
69
err_print("! Include file name too long") ;goto restart;} \
71
#define max_bytes 90000 \
73
#define max_names 4000 \
76
#define length(c) (c+1) ->byte_start-(c) ->byte_start
77
#define print_id(c) term_write((c) ->byte_start,length((c) ) ) \
79
#define hash_size 353 \
82
#define rlink dummy.Rlink
83
#define root name_dir->rlink \
86
#define first_chunk(p) ((p) ->byte_start+2)
87
#define prefix_length(p) (int) ((unsigned char) *((p) ->byte_start) *256+ \
88
(unsigned char) *((p) ->byte_start+1) )
89
#define set_prefix_length(p,m) (*((p) ->byte_start) = (m) /256, \
90
*((p) ->byte_start+1) = (m) %256) \
98
#define bad_extension 5 \
101
#define harmless_message 1
102
#define error_message 2
103
#define fatal_message 3
104
#define mark_harmless {if(history==spotless) history= harmless_message;}
105
#define mark_error history= error_message \
107
#define confusion(s) fatal("! This can't happen: ",s) \
110
#define show_banner flags['b']
111
#define show_progress flags['p']
112
#define show_stats flags['s']
113
#define show_happiness flags['h'] \
115
#define update_terminal fflush(stdout) \
117
#define new_line putchar('\n')
118
#define putxchar putchar
119
#define term_write(a,b) fflush(stdout) ,fwrite(a,sizeof(char) ,b,stdout)
120
#define C_printf(c,a) fprintf(C_file,c,a)
121
#define C_putc(c) putc(c,C_file) \
129
typedef short boolean;
135
char buffer[long_buf_size];
136
char*buffer_end= buffer+buf_size-2;
144
FILE*file[max_include_depth];
146
char file_name[max_include_depth][max_file_name_length];
148
char change_file_name[max_file_name_length];
149
char alt_web_file_name[max_file_name_length];
150
int line[max_include_depth];
153
boolean input_has_ended;
155
boolean web_file_open= 0;
160
typedef unsigned short sixteen_bits;
161
sixteen_bits section_count;
162
boolean changed_section[max_sections];
163
boolean change_pending;
165
boolean print_where= 0;
170
typedef struct name_info{
175
struct name_info*link;
181
struct name_info*Rlink;
187
#line 1062 "common.w"
195
typedef name_info*name_pointer;
196
char byte_mem[max_bytes];
197
char*byte_mem_end= byte_mem+max_bytes-1;
198
name_info name_dir[max_names];
199
name_pointer name_dir_end= name_dir+max_names-1;
204
name_pointer name_ptr;
210
typedef name_pointer*hash_pointer;
211
name_pointer hash[hash_size];
212
hash_pointer hash_end= hash+hash_size-1;
216
#line 1082 "common.w"
218
int history= spotless;
221
#line 1220 "common.w"
225
char C_file_name[max_file_name_length];
226
char tex_file_name[max_file_name_length];
227
char idx_file_name[max_file_name_length];
228
char scn_file_name[max_file_name_length];
232
#line 1370 "common.w"
250
char change_buffer[buf_size];
259
extern int names_match();
269
extern void init_node();
272
#line 1017 "common.w"
274
int section_name_cmp();
277
#line 1092 "common.w"
282
#line 1140 "common.w"
285
extern void print_stats();
288
#line 1173 "common.w"
290
void fatal(),overflow();
293
#line 1251 "common.w"
298
#line 1411 "common.w"
302
extern char*strcpy();
303
extern int strncmp();
304
extern char*strncpy();
319
name_dir->byte_start= byte_ptr= byte_mem;
320
name_ptr= name_dir+1;
321
name_ptr->byte_start= byte_mem;
326
for(h= hash;h<=hash_end;*h++= NULL);
337
#line 1233 "common.w"
339
show_banner= show_happiness= show_progress= 1;
345
#line 1377 "common.w"
348
if(program==ctangle){
349
if((C_file= fopen(C_file_name,"w"))==NULL)
350
fatal("! Cannot open output file ",C_file_name);
354
if((tex_file= fopen(tex_file_name,"w"))==NULL)
355
fatal("! Cannot open output file ",tex_file_name);
371
if(feof(fp))return(0);
373
while(k<=buffer_end&&(c= getc(fp))!=EOF&&c!='\n')
374
if((*(k++)= c)!=' ')limit= k;
376
if((c= getc(fp))!=EOF&&c!='\n'){
377
ungetc(c,fp);loc= buffer;err_print("! Input line too long");
380
if(c==EOF&&limit==buffer)return(0);
389
prime_the_change_buffer()
391
change_limit= change_buffer;
397
if(!input_ln(change_file))return;
398
if(limit<buffer+2)continue;
399
if(buffer[0]!='@')continue;
400
if(xisupper(buffer[1]))buffer[1]= tolower(buffer[1]);
401
if(buffer[1]=='x')break;
402
if(buffer[1]=='y'||buffer[1]=='z'||buffer[1]=='i'){
404
err_print("! Missing @x in change file");
417
if(!input_ln(change_file)){
418
err_print("! Change file ended after @x");
422
}while(limit==buffer);
431
change_limit= change_buffer+(limit-buffer);
432
strncpy(change_buffer,buffer,limit-buffer+1);
447
if(lines_dont_match)return;
449
if(!changed_section[section_count]){
450
if_section_start_make_pending(1);
451
if(!change_pending)changed_section[section_count]= 1;
454
changing= 1;print_where= 1;change_line++;
455
if(!input_ln(change_file)){
456
err_print("! Change file ended before @y");
458
change_limit= change_buffer;changing= 0;
461
if(limit> buffer+1&&buffer[0]=='@'){
462
char xyz_code= xisupper(buffer[1])?tolower(buffer[1]):buffer[1];
466
if(xyz_code=='x'||xyz_code=='z'){
467
loc= buffer+2;err_print("! Where is the matching @y?");
470
else if(xyz_code=='y'){
473
printf("\n! Hmm... %d ",n);
474
err_print("of the preceding lines failed to match");
477
change_depth= include_depth;
489
change_limit= change_buffer+(limit-buffer);
490
strncpy(change_buffer,buffer,limit-buffer+1);
496
changing= 0;cur_line++;
497
while(!input_ln(cur_file)){
498
if(include_depth==0){
499
err_print("! CWEB file ended during a change");
501
input_has_ended= 1;return;
503
include_depth--;cur_line++;
505
if(lines_dont_match)n++;
515
limit= buffer;loc= buffer+1;buffer[0]= ' ';
519
if((web_file= fopen(web_file_name,"r"))==NULL){
520
strcpy(web_file_name,alt_web_file_name);
521
if((web_file= fopen(web_file_name,"r"))==NULL)
522
fatal("! Cannot open input file ",web_file_name);
527
if((change_file= fopen(change_file_name,"r"))==NULL)
528
fatal("! Cannot open change file ",change_file_name);
533
include_depth= 0;cur_line= 0;change_line= 0;
534
change_depth= include_depth;
535
changing= 1;prime_the_change_buffer();changing= !changing;
536
limit= buffer;loc= buffer+1;buffer[0]= ' ';input_has_ended= 0;
545
if(changing&&include_depth==change_depth)
550
if(!input_ln(change_file)){
551
err_print("! Change file ended without @z");
553
buffer[0]= '@';buffer[1]= 'z';limit= buffer+2;
557
if_section_start_make_pending(0);
559
changed_section[section_count]= 1;change_pending= 0;
564
if(xisupper(buffer[1]))buffer[1]= tolower(buffer[1]);
565
if(buffer[1]=='x'||buffer[1]=='y'){
567
err_print("! Where is the matching @z?");
570
else if(buffer[1]=='z'){
571
prime_the_change_buffer();changing= !changing;print_where= 1;
580
if(!changing||include_depth> change_depth){
585
while(!input_ln(cur_file)){
587
if(include_depth==0){input_has_ended= 1;break;}
589
fclose(cur_file);include_depth--;
590
if(changing&&include_depth==change_depth)break;
594
if(!changing&&!input_has_ended)
595
if(limit-buffer==change_limit-change_buffer)
596
if(buffer[0]==change_buffer[0])
597
if(change_limit> change_buffer)check_change();
603
if(changing&&include_depth==change_depth)goto restart;
605
if(input_has_ended)return 0;
606
loc= buffer;*limit= ' ';
607
if(buffer[0]=='@'&&(buffer[1]=='i'||buffer[1]=='I')){
608
loc= buffer+2;*limit= '"';
609
while(*loc==' '||*loc=='\t')loc++;
611
err_print("! Include file name not given");
615
if(include_depth>=max_include_depth-1){
616
err_print("! Too many nested includes");
624
char temp_file_name[max_file_name_length];
625
char*cur_file_name_end= cur_file_name+max_file_name_length-1;
626
char*k= cur_file_name,*kk;
631
while(*loc!='"'&&k<=cur_file_name_end)*k++= *loc++;
632
if(loc==limit)k= cur_file_name_end+1;
634
while(*loc!=' '&&*loc!='\t'&&*loc!='"'&&k<=cur_file_name_end)*k++= *loc++;
635
if(k> cur_file_name_end)too_long();
638
if((cur_file= fopen(cur_file_name,"r"))!=NULL){
639
cur_line= 0;print_where= 1;
642
kk= getenv("CWEBINPUTS");
644
if((l= strlen(kk))> max_file_name_length-2)too_long();
645
strcpy(temp_file_name,kk);
649
if((l= strlen(CWEBINPUTS))> max_file_name_length-2)too_long();
650
strcpy(temp_file_name,CWEBINPUTS);
656
if(k+l+2>=cur_file_name_end)too_long();
658
for(;k>=cur_file_name;k--)*(k+l+1)= *k;
659
strcpy(cur_file_name,temp_file_name);
660
cur_file_name[l]= '/';
661
if((cur_file= fopen(cur_file_name,"r"))!=NULL){
662
cur_line= 0;print_where= 1;
666
include_depth--;err_print("! Cannot open include file");goto restart;
681
if(change_limit!=change_buffer){
682
strncpy(buffer,change_buffer,change_limit-change_buffer+1);
683
limit= buffer+(int)(change_limit-change_buffer);
684
changing= 1;change_depth= include_depth;loc= buffer;
685
err_print("! Change file entry did not match");
694
id_lookup(first,last,t)
703
if(last==NULL)for(last= first;*last!='\0';last++);
708
h= (unsigned char)*i;
709
while(++i<last)h= (h+h+(int)((unsigned char)*i))%hash_size;
719
while(p&&!names_match(p,first,l,t))p= p->link;
722
p->link= hash[h];hash[h]= p;
728
if(p==name_ptr)/*39:*/
731
if(byte_ptr+l> byte_mem_end)overflow("byte memory");
732
if(name_ptr>=name_dir_end)overflow("name");
733
strncpy(byte_ptr,first,l);
734
(++name_ptr)->byte_start= byte_ptr+= l;
735
if(program==cweave)init_p(p,t);
748
print_section_name(p)
751
char*ss,*s= first_chunk(p);
754
ss= (p+1)->byte_start-1;
756
term_write(s,ss-s);p= q->link;q= p;
758
term_write(s,ss+1-s);p= name_dir;q= NULL;
762
if(q)term_write("...",3);
769
sprint_section_name(dest,p)
773
char*ss,*s= first_chunk(p);
776
ss= (p+1)->byte_start-1;
782
strncpy(dest,s,ss-s),dest+= ss-s;
795
char*s= first_chunk(p);
796
int l= prefix_length(p);
798
if(s+l<(p+1)->byte_start)term_write("...",3);
804
int web_strcmp(j,j_len,k,k_len)
808
char*j1= j+j_len,*k1= k+k_len;
809
while(k<k1&&j<j1&&*j==*k)k++,j++;
810
if(k==k1)if(j==j1)return equal;
811
else return extension;
812
else if(j==j1)return prefix;
813
else if(*j<*k)return less;
821
add_section_name(par,c,first,last,ispref)
828
name_pointer p= name_ptr;
829
char*s= first_chunk(p);
830
int name_len= last-first+ispref;
831
if(s+name_len> byte_mem_end)overflow("byte memory");
832
if(name_ptr+1>=name_dir_end)overflow("name");
833
(++name_ptr)->byte_start= byte_ptr= s+name_len;
837
name_ptr->link= name_dir;
838
(++name_ptr)->byte_start= byte_ptr;
840
set_prefix_length(p,name_len);
841
strncpy(s,first,name_len);
845
return par==NULL?(root= p):c==less?(par->llink= p):(par->rlink= p);
852
extend_section_name(p,first,last,ispref)
860
int name_len= last-first+ispref;
861
if(name_ptr>=name_dir_end)overflow("name");
862
while(q->link!=name_dir)q= q->link;
864
s= name_ptr->byte_start;
865
name_ptr->link= name_dir;
866
if(s+name_len> byte_mem_end)overflow("byte memory");
867
(++name_ptr)->byte_start= byte_ptr= s+name_len;
868
strncpy(s,first,name_len);
869
if(ispref)*(byte_ptr-1)= ' ';
876
section_lookup(first,last,ispref)
881
name_pointer p= root;
882
name_pointer q= NULL;
883
name_pointer r= NULL;
884
name_pointer par= NULL;
886
int name_len= last-first+1;
891
c= web_strcmp(first,name_len,first_chunk(p),prefix_length(p));
892
if(c==less||c==greater){
895
p= (c==less?p->llink:p->rlink);
898
printf("\n! Ambiguous prefix: matches <");
900
print_prefix_name(p);
902
print_prefix_name(r);
921
return add_section_name(par,c,first,last+1,ispref);
929
switch(section_name_cmp(&first,name_len,r)){
933
printf("\n! New name is a prefix of <");
935
print_section_name(r);
938
else if(name_len<prefix_length(r))set_prefix_length(r,name_len);
941
case extension:if(!ispref||first<=last)
942
extend_section_name(r,first,last+1,ispref);
945
printf("\n! New name extends <");
947
print_section_name(r);
951
printf("\n! Section name incompatible with <");
953
print_prefix_name(r);
954
printf(">,\n which abbreviates <");
955
print_section_name(r);
966
#line 1020 "common.w"
968
int section_name_cmp(pfirst,len,r)
975
char*ss,*s= first_chunk(r);
979
ss= (r+1)->byte_start-1;
980
if(*ss==' '&&ss>=r->byte_start)ispref= 1,q= q->link;
981
else ispref= 0,ss++,q= name_dir;
982
switch(c= web_strcmp(first,len,s,ss-s)){
983
case equal:if(q==name_dir)
985
*pfirst= first+(ss-s);
988
else return(q->byte_start==(q+1)->byte_start)?equal:prefix;
990
if(!ispref)return bad_extension;
992
if(q!=name_dir){len-= ss-s;s= q->byte_start;r= q;continue;}
993
*pfirst= first;return extension;
1000
#line 1095 "common.w"
1007
printf(*s=='!'?"\n%s":"%s",s);
1008
if(web_file_open)/*59:*/
1009
#line 1115 "common.w"
1011
{if(changing&&include_depth==change_depth)
1012
printf(". (l. %d of change file)\n",change_line);
1013
else if(include_depth==0)printf(". (l. %d)\n",cur_line);
1014
else printf(". (l. %d of include file %s)\n",cur_line,cur_file_name);
1015
l= (loc>=limit?limit:loc);
1017
for(k= buffer;k<l;k++)
1018
if(*k=='\t')putchar(' ');
1021
for(k= buffer;k<l;k++)putchar(' ');
1023
for(k= l;k<limit;k++)putchar(*k);
1024
if(*limit=='|')putchar('|');
1029
#line 1102 "common.w"
1031
update_terminal;mark_error;
1035
#line 1150 "common.w"
1042
#line 1160 "common.w"
1045
case spotless:if(show_happiness)printf("(No errors were found.)\n");break;
1046
case harmless_message:
1047
printf("(Did you see the warning message above?)\n");break;
1049
printf("(Pardon me, but I think I spotted something wrong.)\n");break;
1050
case fatal_message:printf("(That was a fatal error, my friend.)\n");
1054
#line 1155 "common.w"
1056
if(history> harmless_message)return(1);
1061
#line 1179 "common.w"
1068
history= fatal_message;exit(wrap_up());
1072
#line 1190 "common.w"
1077
printf("\n! Sorry, %s capacity exceeded",t);fatal("","");
1082
#line 1254 "common.w"
1090
boolean found_web= 0,found_change= 0,found_out= 0;
1092
boolean flag_change;
1095
if((**(++argv)=='-'||**argv=='+')&&*(*argv+1))/*74:*/
1096
#line 1344 "common.w"
1099
if(**argv=='-')flag_change= 0;
1100
else flag_change= 1;
1101
for(dot_pos= *argv+1;*dot_pos> '\0';dot_pos++)
1102
flags[*dot_pos]= flag_change;
1106
#line 1266 "common.w"
1109
s= name_pos= *argv;dot_pos= NULL;
1111
if(*s=='.')dot_pos= s++;
1112
else if(*s=='/')dot_pos= NULL,name_pos= ++s;
1115
if(!found_web)/*71:*/
1116
#line 1292 "common.w"
1119
if(s-*argv> max_file_name_length-5)
1121
#line 1364 "common.w"
1122
fatal("! Filename too long\n",*argv);
1126
#line 1295 "common.w"
1129
sprintf(web_file_name,"%s.w",*argv);
1131
strcpy(web_file_name,*argv);
1134
sprintf(alt_web_file_name,"%s.web",*argv);
1135
sprintf(tex_file_name,"%s.tex",name_pos);
1136
sprintf(idx_file_name,"%s.idx",name_pos);
1137
sprintf(scn_file_name,"%s.scn",name_pos);
1138
sprintf(C_file_name,"%s.c",name_pos);
1143
#line 1275 "common.w"
1145
else if(!found_change)/*72:*/
1146
#line 1310 "common.w"
1149
if(strcmp(*argv,"-")==0)found_change= -1;
1151
if(s-*argv> max_file_name_length-4)
1153
#line 1364 "common.w"
1154
fatal("! Filename too long\n",*argv);
1158
#line 1315 "common.w"
1161
sprintf(change_file_name,"%s.ch",*argv);
1162
else strcpy(change_file_name,*argv);
1168
#line 1276 "common.w"
1170
else if(!found_out)/*73:*/
1171
#line 1323 "common.w"
1174
if(s-*argv> max_file_name_length-5)
1176
#line 1364 "common.w"
1177
fatal("! Filename too long\n",*argv);
1181
#line 1326 "common.w"
1184
sprintf(tex_file_name,"%s.tex",*argv);
1185
sprintf(idx_file_name,"%s.idx",*argv);
1186
sprintf(scn_file_name,"%s.scn",*argv);
1187
sprintf(C_file_name,"%s.c",*argv);
1189
strcpy(tex_file_name,*argv);
1190
strcpy(C_file_name,*argv);
1193
sprintf(idx_file_name,"%s.idx",*argv);
1194
sprintf(scn_file_name,"%s.scn",*argv);
1201
#line 1277 "common.w"
1204
#line 1352 "common.w"
1207
if(program==ctangle)
1209
"! Usage: ctangle [options] webfile[.w] [{changefile[.ch]|-} [outfile[.c]]]\n"
1213
"! Usage: cweave [options] webfile[.w] [{changefile[.ch]|-} [outfile[.tex]]]\n"
1218
#line 1278 "common.w"
1222
if(!found_web)/*75:*/
1223
#line 1352 "common.w"
1226
if(program==ctangle)
1228
"! Usage: ctangle [options] webfile[.w] [{changefile[.ch]|-} [outfile[.c]]]\n"
1232
"! Usage: cweave [options] webfile[.w] [{changefile[.ch]|-} [outfile[.tex]]]\n"
1237
#line 1281 "common.w"
1239
if(found_change<=0)strcpy(change_file_name,"/dev/null");