lex.c 7.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330
  1. /* $Id: lex.c,v 1.10 2002/07/25 09:51:42 dijkstra Exp $ */
  2. /*
  3. * Copyright (c) 2001-2002 Willem Dijkstra
  4. * All rights reserved.
  5. *
  6. * Redistribution and use in source and binary forms, with or without
  7. * modification, are permitted provided that the following conditions
  8. * are met:
  9. *
  10. * - Redistributions of source code must retain the above copyright
  11. * notice, this list of conditions and the following disclaimer.
  12. * - Redistributions in binary form must reproduce the above
  13. * copyright notice, this list of conditions and the following
  14. * disclaimer in the documentation and/or other materials provided
  15. * with the distribution.
  16. *
  17. * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
  18. * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
  19. * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
  20. * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
  21. * COPYRIGHT HOLDERS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
  22. * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
  23. * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
  24. * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
  25. * CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  26. * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
  27. * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
  28. * POSSIBILITY OF SUCH DAMAGE.
  29. *
  30. */
  31. /*
  32. * This lexical analyser was written to be smaller than flex and with less
  33. * features. Its attributes in random order: capable of multiple instances, one
  34. * token lookahead, strings delimited by ' or ", comments can start anywhere
  35. * with # and last until eol, max token size = _POSIX2_LINE_LENGTH. Tokens are
  36. * defined in lex.h, the mapping of tokens to ascii happens here.
  37. *
  38. * Usage:
  39. *
  40. * l = open_lex(filename);
  41. * while (lex_nexttoken(l)) {
  42. * use l->token, l->op, l->value
  43. * }
  44. * close_lex(l);
  45. */
  46. #include <sys/types.h>
  47. #include <errno.h>
  48. #include <limits.h>
  49. #include <stdio.h>
  50. #include <stdlib.h>
  51. #include <string.h>
  52. #include "xmalloc.h"
  53. #include "lex.h"
  54. #include "error.h"
  55. static struct {
  56. const char *name;
  57. int opcode;
  58. } keywords[] = {
  59. { "{", LXT_BEGIN },
  60. { "}", LXT_END },
  61. { "(", LXT_OPEN },
  62. { ")", LXT_CLOSE },
  63. { ",", LXT_COMMA },
  64. { ":", LXT_COLON },
  65. { "accept", LXT_ACCEPT },
  66. { "cpu", LXT_CPU },
  67. { "if", LXT_IF },
  68. { "in", LXT_IN },
  69. { "io", LXT_IO },
  70. { "mem", LXT_MEM },
  71. { "monitor", LXT_MONITOR },
  72. { "mux", LXT_MUX },
  73. { "port", LXT_PORT },
  74. { "source", LXT_SOURCE },
  75. { "stream", LXT_STREAM },
  76. { "to", LXT_TO },
  77. { "write", LXT_WRITE },
  78. { NULL, 0 }
  79. };
  80. #define KW_OPS "{},():"
  81. /* Return the number of the token pointed to by cp or LXT_BADTOKEN */
  82. int
  83. parse_token(const char *cp)
  84. {
  85. u_int i;
  86. for (i = 0; keywords[i].name; i++)
  87. if (strcasecmp(cp, keywords[i].name) == 0)
  88. return keywords[i].opcode;
  89. return LXT_BADTOKEN;
  90. }
  91. /* Return the ascii representation of an opcode */
  92. const char*
  93. parse_opcode(const int op)
  94. {
  95. u_int i;
  96. for (i=0; keywords[i].name; i++)
  97. if (keywords[i].opcode == op)
  98. return keywords[i].name;
  99. return NULL;
  100. }
  101. /* Read a line and increase buffer if needed */
  102. int
  103. lex_readline(struct lex *l)
  104. {
  105. char *bp;
  106. bp = l->buffer;
  107. if (l->buffer) {
  108. if ((l->curpos < l->endpos) &&
  109. ((l->bsize - l->endpos) < _POSIX2_LINE_MAX)) {
  110. l->bsize += _POSIX2_LINE_MAX;
  111. l->buffer = xrealloc(l->buffer, l->bsize);
  112. bp += l->endpos;
  113. } else {
  114. l->curpos = 0;
  115. l->endpos = 0;
  116. }
  117. } else {
  118. l->bsize = _POSIX2_LINE_MAX;
  119. l->buffer = xmalloc(l->bsize);
  120. bp = l->buffer;
  121. }
  122. if (!fgets(bp, (l->buffer+l->bsize)-bp, l->fh))
  123. return 0;
  124. else {
  125. l->endpos += strlen(bp) - 1;
  126. return 1;
  127. }
  128. }
  129. /* Copy char out of input stream */
  130. void
  131. lex_copychar(struct lex *l)
  132. {
  133. l->token[l->tokpos]=l->buffer[l->curpos];
  134. if (++l->tokpos >= _POSIX2_LINE_MAX) {
  135. l->token[_POSIX2_LINE_MAX-1] = '\0';
  136. fatal("%s:%d: parse error at '%s'", l->filename, l->cline, l->token);
  137. /* NOT REACHED */
  138. }
  139. }
  140. /* Get next char, read next line if needed */
  141. int
  142. lex_nextchar(struct lex *l)
  143. {
  144. l->curpos++;
  145. if (l->curpos > l->endpos)
  146. if (!lex_readline(l))
  147. return 0;
  148. if (l->buffer[l->curpos] == '\n') l->cline++;
  149. return 1;
  150. }
  151. /* Close of current token with a '\0' */
  152. void
  153. lex_termtoken(struct lex *l)
  154. {
  155. l->token[l->tokpos] = l->token[_POSIX2_LINE_MAX-1] = '\0';
  156. l->tokpos=0;
  157. }
  158. /* Unget token; the lexer allows 1 look a head. */
  159. void
  160. lex_ungettoken(struct lex *l)
  161. {
  162. l->unget = 1;
  163. }
  164. /* Get the next token in lex->token. return 0 if no more tokens found. */
  165. int
  166. lex_nexttoken(struct lex *l)
  167. {
  168. /* return same token as last time if it has been pushed back */
  169. if (l->unget) {
  170. l->unget = 0;
  171. return 1;
  172. }
  173. l->op = LXT_BADTOKEN;
  174. l->value = 0;
  175. l->type = LXY_UNKNOWN;
  176. /* find first non whitespace */
  177. while (l->buffer[l->curpos] == ' ' ||
  178. l->buffer[l->curpos] == '\t' ||
  179. l->buffer[l->curpos] == '\r' ||
  180. l->buffer[l->curpos] == '\n' ||
  181. l->buffer[l->curpos] == '\0' ||
  182. l->buffer[l->curpos] == '#') {
  183. /* flush rest of line if comment */
  184. if (l->buffer[l->curpos] == '#') {
  185. while (l->buffer[l->curpos] != '\n')
  186. if (!lex_nextchar(l))
  187. return 0;
  188. } else
  189. if (!lex_nextchar(l))
  190. return 0;
  191. }
  192. l->type = LXY_STRING;
  193. /* "delimited string" */
  194. if (l->buffer[l->curpos] == '"') {
  195. if (!lex_nextchar(l)) {
  196. warning("%s:%d: unbalanced '\"'", l->filename, l->cline);
  197. return 0;
  198. }
  199. while (l->buffer[l->curpos] != '"') {
  200. lex_copychar(l);
  201. if (!lex_nextchar(l)) {
  202. warning("%s:%d: unbalanced '\"'", l->filename, l->cline);
  203. return 0;
  204. }
  205. }
  206. lex_termtoken(l);
  207. lex_nextchar(l);
  208. return 1;
  209. }
  210. /* 'delimited string' */
  211. if (l->buffer[l->curpos] == '\'') {
  212. if (!lex_nextchar(l)) {
  213. warning("%s:%d: unbalanced \"\'\"", l->filename, l->cline);
  214. return 0;
  215. }
  216. while (l->buffer[l->curpos] != '\'') {
  217. lex_copychar(l);
  218. if (!lex_nextchar(l)) {
  219. warning("%s:%d: unbalanced \"\'\"", l->filename, l->cline);
  220. return 0;
  221. }
  222. }
  223. lex_termtoken(l);
  224. lex_nextchar(l);
  225. return 1;
  226. }
  227. /* one char keyword */
  228. if (strchr(KW_OPS, l->buffer[l->curpos])) {
  229. lex_copychar(l);
  230. lex_termtoken(l);
  231. l->op = parse_token(l->token);
  232. lex_nextchar(l);
  233. return 1;
  234. }
  235. /* single keyword */
  236. while (l->buffer[l->curpos] != ' ' &&
  237. l->buffer[l->curpos] != '\t' &&
  238. l->buffer[l->curpos] != '\r' &&
  239. l->buffer[l->curpos] != '\n' &&
  240. l->buffer[l->curpos] != '\0' &&
  241. l->buffer[l->curpos] != '#' &&
  242. (strchr(KW_OPS, l->buffer[l->curpos]) == NULL)) {
  243. lex_copychar(l);
  244. if (!lex_nextchar(l))
  245. break;
  246. }
  247. lex_termtoken(l);
  248. l->op = parse_token(l->token);
  249. /* number */
  250. if (l->token[0] >= '0' && l->token[0] <= '9' ) {
  251. if (strlen(l->token) == strspn(l->token, "0123456789")) {
  252. l->type = LXY_NUMBER;
  253. l->value = strtol(l->token, NULL , 10);
  254. }
  255. }
  256. return 1;
  257. }
  258. /* Create and initialize a lexical analyser */
  259. struct lex *
  260. open_lex(const char *filename)
  261. {
  262. struct lex *l;
  263. l = xmalloc(sizeof(struct lex));
  264. l->buffer = NULL;
  265. l->cline = 1;
  266. l->curpos = 0;
  267. l->endpos = 0;
  268. l->filename = filename;
  269. l->op = LXT_BADTOKEN;
  270. l->token = xmalloc(_POSIX2_LINE_MAX);
  271. l->tokpos = 0;
  272. l->type = LXY_UNKNOWN;
  273. l->unget = 0;
  274. l->value = 0;
  275. if ((l->fh = fopen(l->filename, "r")) == NULL) {
  276. warning("could not open file '%s':%s",
  277. l->filename, strerror(errno));
  278. xfree(l);
  279. return NULL;
  280. }
  281. lex_nextchar(l);
  282. return l;
  283. }
  284. /* Destroy a lexical analyser */
  285. void
  286. close_lex(struct lex *l)
  287. {
  288. if (l == NULL) return;
  289. if (l->fh) fclose(l->fh);
  290. if (l->buffer) xfree(l->buffer);
  291. if (l->token) xfree(l->token);
  292. xfree(l);
  293. }
  294. /* Signal a parse error */
  295. void
  296. parse_error(struct lex *l, const char *s)
  297. {
  298. warning("%s:%d: expected %s (found '%.8s')",
  299. l->filename, l->cline, s, l->token);
  300. }