trans.c 15 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668
  1. /*
  2. * (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
  3. * See the copyright notice in the ACK home directory, in the file "Copyright".
  4. *
  5. */
  6. #include <stdlib.h>
  7. #include <string.h>
  8. #include "ack.h"
  9. #include "list.h"
  10. #include "trans.h"
  11. #include "grows.h"
  12. #include "data.h"
  13. #ifndef NORCSID
  14. static char rcs_id[] = "$Id$" ;
  15. static char rcs_trans[] = RCS_TRANS ;
  16. #endif
  17. /****************************************************************************/
  18. /* Routines for transforming from one file type to another */
  19. /****************************************************************************/
  20. static growstring head ;
  21. static int touch_head= NO ;
  22. static growstring tail ;
  23. static int touch_tail= NO ;
  24. char *headvar(),*tailvar() ;
  25. int transform(phase) register trf *phase ; {
  26. int ok ;
  27. if ( !setfiles(phase) ) {
  28. disc_files(phase) ;
  29. return 0 ;
  30. }
  31. getcallargs(phase) ;
  32. ok= runphase(phase) ;
  33. if ( !ok ) rmfile(&out) ;
  34. /* Free the space occupied by the arguments,
  35. except for the linker, since we are bound to exit soon
  36. and do not foresee further need of memory space */
  37. if ( !phase->t_linker ) discardargs(phase) ;
  38. disc_files(phase) ;
  39. return ok ;
  40. }
  41. getmapflags(phase) register trf *phase ; {
  42. register path *l_in ;
  43. register list_elem *elem ;
  44. int scanned ;
  45. register char *ptr ;
  46. scanlist(l_first(flags),elem) {
  47. scanned= *(l_content(*elem))&NO_SCAN ;
  48. *(l_content(*elem)) &= ~NO_SCAN ;
  49. if ( mapflag(&(phase->t_mapf),l_content(*elem)) ) {
  50. scanned=NO_SCAN ;
  51. #ifdef DEBUG
  52. if ( debug >=4 ) {
  53. vprint("phase %s, added mapflag for %s\n",
  54. phase->t_name,
  55. l_content(*elem) ) ;
  56. }
  57. #endif
  58. }
  59. *(l_content(*elem)) |= scanned ;
  60. }
  61. if ( phase->t_linker ) {
  62. scanlist(l_first(phase->t_inputs),elem) {
  63. l_in = p_cont(*elem) ;
  64. if ( mapflag(&(phase->t_mapf),l_in->p_path) ) {
  65. ptr= keeps(getvar(LIBVAR)) ;
  66. clr_noscan(ptr) ;
  67. #ifdef DEBUG
  68. if ( debug >=4 ) {
  69. vprint("phase %s, library %s(%s)\n",
  70. phase->t_name,l_in->p_path,ptr) ;
  71. }
  72. #endif
  73. if ( l_in->p_keeps) throws(l_in->p_path) ;
  74. l_in->p_path= ptr ;
  75. l_in->p_keeps=YES ;
  76. }
  77. }
  78. scanlist(l_first(flags),elem) {
  79. /* Get the flags remaining for the loader,
  80. That is: all the flags neither eaten by ack nor
  81. one of the subprograms called so-far.
  82. The last fact is indicated by the NO_SCAN bit
  83. in the first character of the flag.
  84. */
  85. if ( !( *(l_content(*elem))&NO_SCAN ) ) {
  86. l_add(&(phase->t_flags),l_content(*elem)) ;
  87. #ifdef DEBUG
  88. if ( debug >=4 ) {
  89. vprint("phase %s, added flag %s\n",
  90. phase->t_name,
  91. l_content(*elem) ) ;
  92. }
  93. #endif
  94. }
  95. }
  96. }
  97. }
  98. do_Rflag(argp) char *argp ; {
  99. l_add(&R_list,argp) ;
  100. }
  101. char *headvar() {
  102. if ( !touch_head) return "" ;
  103. return gr_start(head) ;
  104. }
  105. add_head(str) char *str; {
  106. if ( !touch_head) {
  107. gr_init(&head) ;
  108. touch_head=YES ;
  109. }
  110. gr_cat(&head,str) ;
  111. }
  112. char *tailvar() {
  113. if ( !touch_tail ) return "" ;
  114. return gr_start(tail) ;
  115. }
  116. add_tail(str) char *str ; {
  117. if ( !touch_tail ) {
  118. gr_init(&tail) ;
  119. touch_tail=YES ;
  120. }
  121. gr_cat(&tail,str) ;
  122. }
  123. transini() {
  124. register list_elem *elem ;
  125. register trf *phase ;
  126. scanlist(l_first(tr_list), elem) {
  127. phase = t_cont(*elem) ;
  128. if ( !phase->t_linker ) getmapflags(phase);
  129. }
  130. scanlist(l_first(R_list), elem) {
  131. set_Rflag(l_content(*elem)) ;
  132. }
  133. l_clear(&R_list) ;
  134. setpvar(keeps(HEAD),headvar) ;
  135. setpvar(keeps(TAIL),tailvar) ;
  136. }
  137. set_Rflag(argp) register char *argp ; {
  138. register char *eos ;
  139. register list_elem *prog ;
  140. register int length ;
  141. char *eq, *colon ;
  142. eos= strchr(&argp[2],'-');
  143. eq= strchr(&argp[2],EQUAL) ;
  144. colon= strchr(&argp[2],':');
  145. if ( !eos ) {
  146. eos= eq ;
  147. } else {
  148. if ( eq && eq<eos ) eos= eq ;
  149. }
  150. if ( colon && ( !eos || eos>colon ) ) eos= colon ;
  151. if ( !eos ) {
  152. if ( !(argp[0]&NO_SCAN) ) werror("Incorrect use of -R flag") ;
  153. return ;
  154. }
  155. length= eos - &argp[2] ;
  156. scanlist(l_first(tr_list), prog) {
  157. if ( strncmp(t_cont(*prog)->t_name, &argp[2], length )==0 &&
  158. t_cont(*prog)->t_name[length]==0 /* Same name length */) {
  159. if ( *eos=='-' ) {
  160. if ( !(argp[0]&NO_SCAN) ) {
  161. /* If not already taken by a mapflag */
  162. l_add(&(t_cont(*prog)->t_flags),eos) ;
  163. }
  164. } else
  165. if ( *eos=='=' ) {
  166. t_cont(*prog)->t_prog= eos+1 ;
  167. } else {
  168. t_cont(*prog)->t_priority= atoi(eos+1) ;
  169. }
  170. argp[0] |= NO_SCAN ;
  171. return ;
  172. }
  173. }
  174. if ( !(argp[0]&NO_SCAN) ) werror("Cannot find program for %s",argp) ;
  175. return ;
  176. }
  177. /**************************************************************************/
  178. /* */
  179. /* The creation of arguments for exec for a transformation */
  180. /* */
  181. /**************************************************************************/
  182. growstring scanb(line) char *line ; {
  183. /* Scan a line for backslashes, setting the NO_SCAN bit in characters
  184. preceded by a backslash.
  185. */
  186. register char *in_c ;
  187. register int token ;
  188. growstring result ;
  189. enum { TEXT, ESCAPED } state = TEXT ;
  190. gr_init(&result) ;
  191. for ( in_c= line ; *in_c ; in_c++ ) {
  192. token= *in_c&0377 ;
  193. switch( state ) {
  194. case TEXT :
  195. if ( token==BSLASH ) {
  196. state= ESCAPED ;
  197. } else {
  198. gr_add(&result,token) ;
  199. }
  200. break ;
  201. case ESCAPED :
  202. gr_add(&result,token|NO_SCAN) ;
  203. state=TEXT ;
  204. break ;
  205. }
  206. }
  207. gr_add(&result,0) ;
  208. if ( state!=TEXT ) werror("flag line ends with %c",BSLASH) ;
  209. return result ;
  210. }
  211. growstring scanvars(line) char *line ; {
  212. /* Scan a line variable replacements started by S_VAR.
  213. Two sequences exist: S_VAR name E_VAR, S_VAR name A_VAR text E_VAR.
  214. neither name nor text may contain further replacements.
  215. In the first form an error message is issued if the name is not
  216. present in the variables, the second form produces text
  217. in that case.
  218. The sequence S_VAR S_VAR is transformed into S_VAR.
  219. This to allow later recognition in mapflags, where B_SLASH
  220. would be preventing any recognition.
  221. */
  222. register char *in_c ;
  223. register int token ;
  224. growstring result ;
  225. growstring name ;
  226. register char *tr ;
  227. enum { TEXT, FIRST, NAME, SKIP, COPY } state = TEXT ;
  228. gr_init(&result) ; gr_init(&name) ;
  229. for ( in_c= line ; *in_c ; in_c++ ) {
  230. token= *in_c&0377 ;
  231. switch( state ) {
  232. case TEXT :
  233. if ( token==S_VAR ) {
  234. state= FIRST ;
  235. } else {
  236. gr_add(&result,token) ;
  237. }
  238. break ;
  239. case FIRST :
  240. switch ( token ) {
  241. case S_VAR :
  242. state= TEXT ;
  243. gr_add(&result,token) ;
  244. break ;
  245. case A_VAR :
  246. case C_VAR :
  247. fatal("empty string variable name") ;
  248. default :
  249. state=NAME ;
  250. gr_add(&name,token) ;
  251. break ;
  252. }
  253. break ;
  254. case NAME:
  255. switch ( token ) {
  256. case A_VAR :
  257. gr_add(&name,0) ;
  258. if ( tr=getvar(gr_start(name)) ) {
  259. while ( *tr ) {
  260. gr_add(&result,*tr++) ;
  261. }
  262. state=SKIP ;
  263. } else {
  264. state=COPY ;
  265. }
  266. gr_throw(&name) ;
  267. break ;
  268. case C_VAR :
  269. gr_add(&name,0) ;
  270. if ( tr=getvar(gr_start(name)) ) {
  271. while ( *tr ) {
  272. gr_add(&result,*tr++);
  273. }
  274. } else {
  275. werror("No definition for %s",
  276. gr_start(name)) ;
  277. }
  278. state=TEXT ;
  279. gr_throw(&name) ;
  280. break ;
  281. default:
  282. gr_add(&name,token) ;
  283. break ;
  284. }
  285. break ;
  286. case SKIP :
  287. if ( token==C_VAR ) state= TEXT ;
  288. break ;
  289. case COPY :
  290. if ( token==C_VAR ) state= TEXT ; else {
  291. gr_add(&result,token) ;
  292. }
  293. break ;
  294. }
  295. }
  296. gr_add(&result,0) ;
  297. if ( state!=TEXT ) {
  298. werror("flag line misses %c",C_VAR) ;
  299. gr_throw(&name) ;
  300. }
  301. return result ;
  302. }
  303. growstring scanexpr(line) char *line ; {
  304. /* Scan a line for conditional or flag expressions,
  305. dependent on the type. The format is
  306. S_EXPR suflist M_EXPR suflist T_EXPR tail C_EXPR
  307. the head and tail are passed to treat, together with the
  308. growstring for futher treatment.
  309. Nesting is not allowed.
  310. */
  311. register char *in_c ;
  312. char *heads ;
  313. register int token ;
  314. growstring sufs, tailval ;
  315. growstring result ;
  316. static list_head fsuff, lsuff ;
  317. enum { TEXT, FDOT, FSUF, LDOT, LSUF, FTAIL } state = TEXT ;
  318. gr_init(&result) ; gr_init(&sufs) ; gr_init(&tailval) ;
  319. for ( in_c= line ; *in_c ; in_c++ ) {
  320. token= *in_c&0377 ;
  321. switch( state ) {
  322. case TEXT :
  323. if ( token==S_EXPR ) {
  324. state= FDOT ;
  325. heads=in_c ;
  326. } else gr_add(&result,token) ;
  327. break ;
  328. case FDOT :
  329. if ( token==M_EXPR ) {
  330. state=LDOT ;
  331. break ;
  332. }
  333. token &= ~NO_SCAN ;
  334. if ( token!=SUFCHAR ) {
  335. error("Missing %c in expression",SUFCHAR) ;
  336. }
  337. gr_add(&sufs,token) ; state=FSUF ;
  338. break ;
  339. case FSUF :
  340. if ( token==M_EXPR || (token&~NO_SCAN)==SUFCHAR) {
  341. gr_add(&sufs,0) ;
  342. l_add(&fsuff,gr_final(&sufs)) ;
  343. }
  344. if ( token==M_EXPR ) {
  345. state=LDOT ;
  346. } else gr_add(&sufs,token&~NO_SCAN) ;
  347. break ;
  348. case LDOT :
  349. if ( token==T_EXPR ) {
  350. state=FTAIL ;
  351. break ;
  352. }
  353. token &= ~NO_SCAN ;
  354. if ( token!=SUFCHAR ) {
  355. error("Missing %c in expression",SUFCHAR) ;
  356. }
  357. gr_add(&sufs,token) ; state=LSUF ;
  358. break ;
  359. case LSUF :
  360. if ( token==T_EXPR || (token&~NO_SCAN)==SUFCHAR) {
  361. gr_add(&sufs,0) ;
  362. l_add(&lsuff,gr_final(&sufs)) ;
  363. }
  364. if ( token==T_EXPR ) {
  365. state=FTAIL ;
  366. } else gr_add(&sufs,token&~NO_SCAN) ;
  367. break ;
  368. case FTAIL :
  369. if ( token==C_EXPR ) {
  370. /* Found one !! */
  371. gr_add(&tailval,0) ;
  372. condit(&result,&fsuff,&lsuff,gr_start(tailval)) ;
  373. l_throw(&fsuff) ; l_throw(&lsuff) ;
  374. gr_throw(&tailval) ;
  375. state=TEXT ;
  376. } else gr_add(&tailval,token) ;
  377. break ;
  378. }
  379. }
  380. gr_add(&result,0) ;
  381. if ( state!=TEXT ) {
  382. l_throw(&fsuff) ; l_throw(&lsuff) ; gr_throw(&tailval) ;
  383. werror("flag line has unclosed expression starting with %6s",
  384. heads) ;
  385. }
  386. return result ;
  387. }
  388. condit(line,fsuff,lsuff,tailval) growstring *line ;
  389. list_head *fsuff, *lsuff;
  390. char *tailval ;
  391. {
  392. register list_elem *first ;
  393. register list_elem *last ;
  394. #ifdef DEBUG
  395. if ( debug>=4 ) vprint("Conditional for %s, ",tailval) ;
  396. #endif
  397. scanlist( l_first(*fsuff), first ) {
  398. scanlist( l_first(*lsuff), last ) {
  399. if ( strcmp(l_content(*first),l_content(*last))==0 ) {
  400. /* Found */
  401. #ifdef DEBUG
  402. if ( debug>=4 ) vprint(" matched\n") ;
  403. #endif
  404. while ( *tailval) gr_add(line,*tailval++ ) ;
  405. return ;
  406. }
  407. }
  408. }
  409. #ifdef DEBUG
  410. if ( debug>=4) vprint(" non-matched\n") ;
  411. #endif
  412. }
  413. int mapflag(maplist,cflag) list_head *maplist ; char *cflag ; {
  414. /* Expand a flag expression */
  415. /* The flag "cflag" is checked for each of the mapflags.
  416. A mapflag entry has the form
  417. -text NAME=replacement or -text*text NAME=replacement
  418. The star matches anything as in the shell.
  419. If the entry matches the assignment will take place
  420. This replacement is subjected to argument matching only.
  421. When a match took place the replacement is returned
  422. when not, (char *)0.
  423. The replacement sits in stable storage.
  424. */
  425. register list_elem *elem ;
  426. scanlist(l_first(*maplist),elem) {
  427. if ( mapexpand(l_content(*elem),cflag) ) {
  428. return 1 ;
  429. }
  430. }
  431. return 0 ;
  432. }
  433. int mapexpand(mapentry,cflag)
  434. char *mapentry, *cflag ;
  435. {
  436. register char *star ;
  437. register char *ptr ;
  438. register char *space ;
  439. int length ;
  440. star=strchr(mapentry,STAR) ;
  441. space=firstblank(mapentry) ;
  442. if ( star >space ) star= (char *)0 ;
  443. if ( star ) {
  444. length= space-star-1 ;
  445. if ( strncmp(mapentry,cflag,star-mapentry) ||
  446. strncmp(star+1,cflag+strlen(cflag)-length,length) ) {
  447. return 0 ;
  448. }
  449. /* Match */
  450. /* Now set star to the first char of the star
  451. replacement and length to its length
  452. */
  453. length=strlen(cflag)-(star-mapentry)-length ;
  454. if ( length<0 ) return 0 ;
  455. star=cflag+(star-mapentry) ;
  456. #ifdef DEBUG
  457. if ( debug>=6 ) {
  458. vprint("Starmatch (%s,%s) %.*s\n",
  459. mapentry,cflag,length,star) ;
  460. }
  461. #endif
  462. } else {
  463. if ( strncmp(mapentry,cflag,space-mapentry)!=0 ||
  464. cflag[space-mapentry] ) {
  465. return 0 ;
  466. }
  467. }
  468. ptr= skipblank(space) ;
  469. if ( *ptr==0 ) return 1 ;
  470. doassign(ptr,star,length) ;
  471. return 1 ;
  472. }
  473. doassign(line,star,length) char *line, *star ; {
  474. growstring varval, name, temp ;
  475. register char *ptr ;
  476. gr_init(&varval) ;
  477. gr_init(&name) ;
  478. ptr= line ;
  479. for ( ; *ptr && *ptr!=SPACE && *ptr!=TAB && *ptr!=EQUAL ; ptr++ ) {
  480. gr_add(&name,*ptr) ;
  481. }
  482. ptr= strchr(ptr,EQUAL) ;
  483. if ( !ptr ) {
  484. error("Missing %c in assignment %s",EQUAL,line);
  485. return ;
  486. }
  487. temp= scanvars(ptr+1) ;
  488. for ( ptr=gr_start(temp); *ptr; ptr++ ) switch ( *ptr ) {
  489. case STAR :
  490. if ( star ) {
  491. while ( length-- ) gr_add(&varval,*star++|NO_SCAN) ;
  492. break ;
  493. }
  494. default :
  495. gr_add(&varval,*ptr) ;
  496. break ;
  497. }
  498. gr_throw(&temp) ;
  499. gr_add(&name,0) ; gr_add(&varval,0) ;
  500. setsvar(gr_final(&name),gr_final(&varval)) ;
  501. }
  502. #define ISBLANK(c) ( (c)==SPACE || (c)==TAB )
  503. unravel(line,action) char *line ; int (*action)() ; {
  504. /* Unravel the line, get arguments a la shell */
  505. /* each argument is handled to action */
  506. /* The input string is left intact */
  507. register char *in_c ;
  508. register int token ;
  509. enum { BLANK, ARG } state = BLANK ;
  510. growstring argum ;
  511. in_c=line ;
  512. for (;;) {
  513. token= *in_c&0377 ;
  514. switch ( state ) {
  515. case BLANK :
  516. if ( token==0 ) break ;
  517. if ( !ISBLANK(token) ) {
  518. state= ARG ;
  519. gr_init(&argum) ;
  520. gr_add(&argum,token&~NO_SCAN) ;
  521. }
  522. break ;
  523. case ARG :
  524. if ( ISBLANK(token) || token==0 ) {
  525. gr_add(&argum,0) ;
  526. (*action)(gr_start(argum)) ;
  527. gr_throw(&argum) ;
  528. state=BLANK ;
  529. } else {
  530. gr_add(&argum,token&~NO_SCAN) ;
  531. }
  532. break ;
  533. }
  534. if ( token == 0 ) break ;
  535. in_c++ ;
  536. }
  537. }
  538. char *c_rep(string,place,rep) char *string, *place, *rep ; {
  539. /* Produce a string in stable storage produced from 'string'
  540. with the character at place replaced by rep
  541. */
  542. growstring name ;
  543. register char *nc ;
  544. register char *xc ;
  545. gr_init(&name) ;
  546. for ( nc=string ; *nc && nc<place ; nc++ ) {
  547. gr_add(&name,*nc) ;
  548. }
  549. #ifdef DEBUG
  550. if ( *nc==0 ) fatal("Place is not in string") ;
  551. #endif
  552. for ( xc=rep ; *xc ; xc++ ) gr_add(&name,*xc|NO_SCAN) ;
  553. gr_add(&name,0) ;
  554. gr_cat(&name,nc+1) ;
  555. return gr_final(&name) ;
  556. }
  557. static list_head *curargs ;
  558. static list_head *comb_args ;
  559. addargs(string) char *string ; {
  560. register char *temp, *repc ;
  561. register list_elem *elem ;
  562. repc=strchr(string,C_IN) ;
  563. if ( repc ) {
  564. /* INPUT FILE TOKEN seen, replace it and scan further */
  565. if ( repc==string && string[1]==0 ) {
  566. if ( in.p_path ) { /* All but combiner */
  567. l_add(curargs,keeps(in.p_path)) ;
  568. } else {
  569. scanlist( l_first(*comb_args), elem ) {
  570. l_add(curargs,
  571. keeps(p_cont(*elem)->p_path)) ;
  572. }
  573. }
  574. return ;
  575. }
  576. if ( in.p_path ) { /* Not for the combiners */
  577. temp=c_rep(string,repc,in.p_path) ;
  578. addargs(temp) ;
  579. throws(temp) ;
  580. } else { /* For the combiners */
  581. scanlist( l_first(*comb_args), elem ) {
  582. temp=c_rep(string,repc,p_cont(*elem)->p_path);
  583. addargs(temp) ;
  584. throws(temp) ;
  585. }
  586. }
  587. return ;
  588. }
  589. repc=strchr(string,C_OUT) ;
  590. if ( repc ) {
  591. /* replace the outfile token as with the infile token */
  592. #ifdef DEBUG
  593. if ( !out.p_path ) fatal("missing output filename") ;
  594. #endif
  595. temp=c_rep(string,repc,out.p_path) ;
  596. addargs(temp) ;
  597. throws(temp) ;
  598. return ;
  599. }
  600. temp= keeps(string) ;
  601. clr_noscan(temp) ;
  602. l_add(curargs,temp) ;
  603. }
  604. getcallargs(phase) register trf *phase ; {
  605. growstring arg1, arg2 ;
  606. arg1= scanvars(phase->t_argd) ;
  607. #ifdef DEBUG
  608. if ( debug>=3 ) { vprint("\tvars: ") ; prns(gr_start(arg1)) ; }
  609. #endif
  610. arg2= scanexpr(gr_start(arg1)) ;
  611. #ifdef DEBUG
  612. if ( debug>=3 ) { vprint("\texpr: ") ; prns(gr_start(arg2)) ; }
  613. #endif
  614. gr_throw(&arg1) ;
  615. curargs= &phase->t_args ;
  616. if (phase->t_combine) comb_args = &phase->t_inputs ;
  617. unravel( gr_start(arg2), addargs ) ;
  618. gr_throw(&arg2) ;
  619. }
  620. discardargs(phase) register trf *phase ; {
  621. l_throw(&phase->t_args) ;
  622. }