ifparser.c 12 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548
  1. /*
  2. * CDE - Common Desktop Environment
  3. *
  4. * Copyright (c) 1993-2012, The Open Group. All rights reserved.
  5. *
  6. * These libraries and programs are free software; you can
  7. * redistribute them and/or modify them under the terms of the GNU
  8. * Lesser General Public License as published by the Free Software
  9. * Foundation; either version 2 of the License, or (at your option)
  10. * any later version.
  11. *
  12. * These libraries and programs are distributed in the hope that
  13. * they will be useful, but WITHOUT ANY WARRANTY; without even the
  14. * implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
  15. * PURPOSE. See the GNU Lesser General Public License for more
  16. * details.
  17. *
  18. * You should have received a copy of the GNU Lesser General Public
  19. * License along with these librararies and programs; if not, write
  20. * to the Free Software Foundation, Inc., 51 Franklin Street, Fifth
  21. * Floor, Boston, MA 02110-1301 USA
  22. */
  23. /*
  24. * $XConsortium: ifparser.c /main/10 1996/09/28 16:15:18 rws $
  25. *
  26. * Copyright 1992 Network Computing Devices, Inc.
  27. *
  28. * Permission to use, copy, modify, and distribute this software and its
  29. * documentation for any purpose and without fee is hereby granted, provided
  30. * that the above copyright notice appear in all copies and that both that
  31. * copyright notice and this permission notice appear in supporting
  32. * documentation, and that the name of Network Computing Devices may not be
  33. * used in advertising or publicity pertaining to distribution of the software
  34. * without specific, written prior permission. Network Computing Devices makes
  35. * no representations about the suitability of this software for any purpose.
  36. * It is provided ``as is'' without express or implied warranty.
  37. *
  38. * NETWORK COMPUTING DEVICES DISCLAIMS ALL WARRANTIES WITH REGARD TO THIS
  39. * SOFTWARE, INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS,
  40. * IN NO EVENT SHALL NETWORK COMPUTING DEVICES BE LIABLE FOR ANY SPECIAL,
  41. * INDIRECT OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM
  42. * LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE
  43. * OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR
  44. * PERFORMANCE OF THIS SOFTWARE.
  45. *
  46. * Author: Jim Fulton
  47. * Network Computing Devices, Inc.
  48. *
  49. * Simple if statement processor
  50. *
  51. * This module can be used to evaluate string representations of C language
  52. * if constructs. It accepts the following grammar:
  53. *
  54. * EXPRESSION := VALUE
  55. * | VALUE BINOP EXPRESSION
  56. *
  57. * VALUE := '(' EXPRESSION ')'
  58. * | '!' VALUE
  59. * | '-' VALUE
  60. * | 'defined' '(' variable ')'
  61. * | 'defined' variable
  62. * | # variable '(' variable-list ')'
  63. * | variable
  64. * | number
  65. *
  66. * BINOP := '*' | '/' | '%'
  67. * | '+' | '-'
  68. * | '<<' | '>>'
  69. * | '<' | '>' | '<=' | '>='
  70. * | '==' | '!='
  71. * | '&' | '|'
  72. * | '&&' | '||'
  73. *
  74. * The normal C order of precidence is supported.
  75. *
  76. *
  77. * External Entry Points:
  78. *
  79. * ParseIfExpression parse a string for #if
  80. */
  81. #include "ifparser.h"
  82. #include <ctype.h>
  83. #include <string.h>
  84. #include <limits.h>
  85. /****************************************************************************
  86. Internal Macros and Utilities for Parser
  87. ****************************************************************************/
  88. #define DO(val) if (!(val)) return NULL
  89. #define CALLFUNC(ggg,fff) (*((ggg)->funcs.fff))
  90. #define SKIPSPACE(ccc) while (isspace((int)*ccc)) ccc++
  91. #define isvarfirstletter(ccc) (isalpha((int)ccc) || (ccc) == '_')
  92. static const char *
  93. parse_variable (g, cp, varp)
  94. IfParser *g;
  95. const char *cp;
  96. const char **varp;
  97. {
  98. SKIPSPACE (cp);
  99. if (!isvarfirstletter (*cp))
  100. return CALLFUNC(g, handle_error) (g, cp, "variable name");
  101. *varp = cp;
  102. /* EMPTY */
  103. for (cp++; isalnum((int)*cp) || *cp == '_'; cp++) ;
  104. return cp;
  105. }
  106. static const char *
  107. parse_number (g, cp, valp)
  108. IfParser *g;
  109. const char *cp;
  110. long *valp;
  111. {
  112. long base = 10;
  113. SKIPSPACE (cp);
  114. if (!isdigit((int)*cp))
  115. return CALLFUNC(g, handle_error) (g, cp, "number");
  116. *valp = 0;
  117. if (*cp == '0') {
  118. cp++;
  119. if ((*cp == 'x') || (*cp == 'X')) {
  120. base = 16;
  121. cp++;
  122. } else {
  123. base = 8;
  124. }
  125. }
  126. /* Ignore overflows and assume ASCII, what source is usually written in */
  127. while (1) {
  128. int increment = -1;
  129. if (base == 8) {
  130. if ((*cp >= '0') && (*cp <= '7'))
  131. increment = *cp++ - '0';
  132. } else if (base == 16) {
  133. if ((*cp >= '0') && (*cp <= '9'))
  134. increment = *cp++ - '0';
  135. else if ((*cp >= 'A') && (*cp <= 'F'))
  136. increment = *cp++ - ('A' - 10);
  137. else if ((*cp >= 'a') && (*cp <= 'f'))
  138. increment = *cp++ - ('a' - 10);
  139. } else { /* Decimal */
  140. if ((*cp >= '0') && (*cp <= '9'))
  141. increment = *cp++ - '0';
  142. }
  143. if (increment < 0)
  144. break;
  145. *valp = (*valp * base) + increment;
  146. }
  147. /* Skip trailing qualifiers */
  148. while (*cp == 'U' || *cp == 'u' || *cp == 'L' || *cp == 'l') cp++;
  149. return cp;
  150. }
  151. static const char *
  152. parse_character (g, cp, valp)
  153. IfParser *g;
  154. const char *cp;
  155. long *valp;
  156. {
  157. char val;
  158. SKIPSPACE (cp);
  159. if (*cp == '\\')
  160. switch (cp[1]) {
  161. case 'n': val = '\n'; break;
  162. case 't': val = '\t'; break;
  163. case 'v': val = '\v'; break;
  164. case 'b': val = '\b'; break;
  165. case 'r': val = '\r'; break;
  166. case 'f': val = '\f'; break;
  167. case 'a': val = '\a'; break;
  168. case '\\': val = '\\'; break;
  169. case '?': val = '\?'; break;
  170. case '\'': val = '\''; break;
  171. case '\"': val = '\"'; break;
  172. case 'x': val = (char) strtol (cp + 2, NULL, 16); break;
  173. default: val = (char) strtol (cp + 1, NULL, 8); break;
  174. }
  175. else
  176. val = *cp;
  177. while (*cp != '\'') cp++;
  178. *valp = (long) val;
  179. return cp;
  180. }
  181. static const char *
  182. parse_value (g, cp, valp)
  183. IfParser *g;
  184. const char *cp;
  185. long *valp;
  186. {
  187. const char *var;
  188. *valp = 0;
  189. SKIPSPACE (cp);
  190. if (!*cp)
  191. return cp;
  192. switch (*cp) {
  193. case '(':
  194. DO (cp = ParseIfExpression (g, cp + 1, valp));
  195. SKIPSPACE (cp);
  196. if (*cp != ')')
  197. return CALLFUNC(g, handle_error) (g, cp, ")");
  198. return cp + 1; /* skip the right paren */
  199. case '!':
  200. DO (cp = parse_value (g, cp + 1, valp));
  201. *valp = !(*valp);
  202. return cp;
  203. case '-':
  204. DO (cp = parse_value (g, cp + 1, valp));
  205. *valp = -(*valp);
  206. return cp;
  207. case '#':
  208. DO (cp = parse_variable (g, cp + 1, &var));
  209. SKIPSPACE (cp);
  210. if (*cp != '(')
  211. return CALLFUNC(g, handle_error) (g, cp, "(");
  212. do {
  213. DO (cp = parse_variable (g, cp + 1, &var));
  214. SKIPSPACE (cp);
  215. } while (*cp && *cp != ')');
  216. if (*cp != ')')
  217. return CALLFUNC(g, handle_error) (g, cp, ")");
  218. *valp = 1; /* XXX */
  219. return cp + 1;
  220. case '\'':
  221. DO (cp = parse_character (g, cp + 1, valp));
  222. if (*cp != '\'')
  223. return CALLFUNC(g, handle_error) (g, cp, "'");
  224. return cp + 1;
  225. case 'd':
  226. if (strncmp (cp, "defined", 7) == 0 && !isalnum((int)cp[7])) {
  227. int paren = 0;
  228. int len;
  229. cp += 7;
  230. SKIPSPACE (cp);
  231. if (*cp == '(') {
  232. paren = 1;
  233. cp++;
  234. }
  235. DO (cp = parse_variable (g, cp, &var));
  236. len = cp - var;
  237. SKIPSPACE (cp);
  238. if (paren && *cp != ')')
  239. return CALLFUNC(g, handle_error) (g, cp, ")");
  240. *valp = (*(g->funcs.eval_defined)) (g, var, len);
  241. return cp + paren; /* skip the right paren */
  242. }
  243. /* fall out */
  244. }
  245. if (isdigit((int)*cp)) {
  246. DO (cp = parse_number (g, cp, valp));
  247. } else if (!isvarfirstletter(*cp))
  248. return CALLFUNC(g, handle_error) (g, cp, "variable or number");
  249. else {
  250. DO (cp = parse_variable (g, cp, &var));
  251. *valp = (*(g->funcs.eval_variable)) (g, var, cp - var);
  252. }
  253. return cp;
  254. }
  255. static const char *
  256. parse_product (g, cp, valp)
  257. IfParser *g;
  258. const char *cp;
  259. long *valp;
  260. {
  261. long rightval;
  262. DO (cp = parse_value (g, cp, valp));
  263. SKIPSPACE (cp);
  264. switch (*cp) {
  265. case '*':
  266. DO (cp = parse_product (g, cp + 1, &rightval));
  267. *valp = (*valp * rightval);
  268. break;
  269. case '/':
  270. DO (cp = parse_product (g, cp + 1, &rightval));
  271. if (rightval)
  272. *valp = (*valp / rightval);
  273. else
  274. *valp = LONG_MAX;
  275. break;
  276. case '%':
  277. DO (cp = parse_product (g, cp + 1, &rightval));
  278. *valp = (*valp % rightval);
  279. break;
  280. }
  281. return cp;
  282. }
  283. static const char *
  284. parse_sum (g, cp, valp)
  285. IfParser *g;
  286. const char *cp;
  287. long *valp;
  288. {
  289. long rightval;
  290. DO (cp = parse_product (g, cp, valp));
  291. SKIPSPACE (cp);
  292. switch (*cp) {
  293. case '+':
  294. DO (cp = parse_sum (g, cp + 1, &rightval));
  295. *valp = (*valp + rightval);
  296. break;
  297. case '-':
  298. DO (cp = parse_sum (g, cp + 1, &rightval));
  299. *valp = (*valp - rightval);
  300. break;
  301. }
  302. return cp;
  303. }
  304. static const char *
  305. parse_shift (g, cp, valp)
  306. IfParser *g;
  307. const char *cp;
  308. long *valp;
  309. {
  310. long rightval;
  311. DO (cp = parse_sum (g, cp, valp));
  312. SKIPSPACE (cp);
  313. switch (*cp) {
  314. case '<':
  315. if (cp[1] == '<') {
  316. DO (cp = parse_shift (g, cp + 2, &rightval));
  317. *valp = (*valp << rightval);
  318. }
  319. break;
  320. case '>':
  321. if (cp[1] == '>') {
  322. DO (cp = parse_shift (g, cp + 2, &rightval));
  323. *valp = (*valp >> rightval);
  324. }
  325. break;
  326. }
  327. return cp;
  328. }
  329. static const char *
  330. parse_inequality (g, cp, valp)
  331. IfParser *g;
  332. const char *cp;
  333. long *valp;
  334. {
  335. long rightval;
  336. DO (cp = parse_shift (g, cp, valp));
  337. SKIPSPACE (cp);
  338. switch (*cp) {
  339. case '<':
  340. if (cp[1] == '=') {
  341. DO (cp = parse_inequality (g, cp + 2, &rightval));
  342. *valp = (*valp <= rightval);
  343. } else {
  344. DO (cp = parse_inequality (g, cp + 1, &rightval));
  345. *valp = (*valp < rightval);
  346. }
  347. break;
  348. case '>':
  349. if (cp[1] == '=') {
  350. DO (cp = parse_inequality (g, cp + 2, &rightval));
  351. *valp = (*valp >= rightval);
  352. } else {
  353. DO (cp = parse_inequality (g, cp + 1, &rightval));
  354. *valp = (*valp > rightval);
  355. }
  356. break;
  357. }
  358. return cp;
  359. }
  360. static const char *
  361. parse_equality (g, cp, valp)
  362. IfParser *g;
  363. const char *cp;
  364. long *valp;
  365. {
  366. long rightval;
  367. DO (cp = parse_inequality (g, cp, valp));
  368. SKIPSPACE (cp);
  369. switch (*cp) {
  370. case '=':
  371. if (cp[1] == '=')
  372. cp++;
  373. DO (cp = parse_equality (g, cp + 1, &rightval));
  374. *valp = (*valp == rightval);
  375. break;
  376. case '!':
  377. if (cp[1] != '=')
  378. break;
  379. DO (cp = parse_equality (g, cp + 2, &rightval));
  380. *valp = (*valp != rightval);
  381. break;
  382. }
  383. return cp;
  384. }
  385. static const char *
  386. parse_band (g, cp, valp)
  387. IfParser *g;
  388. const char *cp;
  389. long *valp;
  390. {
  391. long rightval;
  392. DO (cp = parse_equality (g, cp, valp));
  393. SKIPSPACE (cp);
  394. switch (*cp) {
  395. case '&':
  396. if (cp[1] != '&') {
  397. DO (cp = parse_band (g, cp + 1, &rightval));
  398. *valp = (*valp & rightval);
  399. }
  400. break;
  401. }
  402. return cp;
  403. }
  404. static const char *
  405. parse_bor (g, cp, valp)
  406. IfParser *g;
  407. const char *cp;
  408. long *valp;
  409. {
  410. long rightval;
  411. DO (cp = parse_band (g, cp, valp));
  412. SKIPSPACE (cp);
  413. switch (*cp) {
  414. case '|':
  415. if (cp[1] != '|') {
  416. DO (cp = parse_bor (g, cp + 1, &rightval));
  417. *valp = (*valp | rightval);
  418. }
  419. break;
  420. }
  421. return cp;
  422. }
  423. static const char *
  424. parse_land (g, cp, valp)
  425. IfParser *g;
  426. const char *cp;
  427. long *valp;
  428. {
  429. long rightval;
  430. DO (cp = parse_bor (g, cp, valp));
  431. SKIPSPACE (cp);
  432. switch (*cp) {
  433. case '&':
  434. if (cp[1] != '&')
  435. return CALLFUNC(g, handle_error) (g, cp, "&&");
  436. DO (cp = parse_land (g, cp + 2, &rightval));
  437. *valp = (*valp && rightval);
  438. break;
  439. }
  440. return cp;
  441. }
  442. static const char *
  443. parse_lor (g, cp, valp)
  444. IfParser *g;
  445. const char *cp;
  446. long *valp;
  447. {
  448. long rightval;
  449. DO (cp = parse_land (g, cp, valp));
  450. SKIPSPACE (cp);
  451. switch (*cp) {
  452. case '|':
  453. if (cp[1] != '|')
  454. return CALLFUNC(g, handle_error) (g, cp, "||");
  455. DO (cp = parse_lor (g, cp + 2, &rightval));
  456. *valp = (*valp || rightval);
  457. break;
  458. }
  459. return cp;
  460. }
  461. /****************************************************************************
  462. External Entry Points
  463. ****************************************************************************/
  464. const char *
  465. ParseIfExpression (g, cp, valp)
  466. IfParser *g;
  467. const char *cp;
  468. long *valp;
  469. {
  470. return parse_lor (g, cp, valp);
  471. }