2 * Copyright 2008-2009 Katholieke Universiteit Leuven
4 * Use of this software is governed by the GNU LGPLv2.1 license
6 * Written by Sven Verdoolaege, K.U.Leuven, Departement
7 * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
14 #include "isl_stream.h"
16 static struct isl_token *isl_token_new(struct isl_ctx *ctx,
17 int line, int col, unsigned on_new_line)
19 struct isl_token *tok = isl_alloc_type(ctx, struct isl_token);
24 tok->on_new_line = on_new_line;
28 void isl_token_free(struct isl_token *tok)
32 if (tok->type == ISL_TOKEN_VALUE)
33 isl_int_clear(tok->u.v);
34 else if (tok->type == ISL_TOKEN_IDENT)
39 void isl_stream_error(struct isl_stream *s, struct isl_token *tok, char *msg)
41 int line = tok ? tok->line : s->line;
42 int col = tok ? tok->col : s->col;
43 fprintf(stderr, "syntax error (%d, %d): %s\n", line, col, msg);
46 fprintf(stderr, "got '%c'\n", tok->type);
48 fprintf(stderr, "got token type %d\n", tok->type);
52 static struct isl_stream* isl_stream_new(struct isl_ctx *ctx)
55 struct isl_stream *s = isl_alloc_type(ctx, struct isl_stream);
63 s->buffer = isl_alloc_array(ctx, char, s->size);
71 for (i = 0; i < 5; ++i)
80 struct isl_stream* isl_stream_new_file(struct isl_ctx *ctx, FILE *file)
82 struct isl_stream *s = isl_stream_new(ctx);
89 struct isl_stream* isl_stream_new_str(struct isl_ctx *ctx, const char *str)
91 struct isl_stream *s = isl_stream_new(ctx);
96 static int isl_stream_getc(struct isl_stream *s)
121 static void isl_stream_ungetc(struct isl_stream *s, int c)
130 static int isl_stream_push_char(struct isl_stream *s, int c)
132 if (s->len >= s->size) {
133 s->size = (3*s->size)/2;
134 s->buffer = isl_realloc_array(ctx, s->buffer, char, s->size);
138 s->buffer[s->len++] = c;
142 void isl_stream_push_token(struct isl_stream *s, struct isl_token *tok)
144 isl_assert(s->ctx, s->n_token < 5, return);
145 s->tokens[s->n_token++] = tok;
148 struct isl_token *isl_stream_next_token(struct isl_stream *s)
151 struct isl_token *tok = NULL;
153 int old_line = s->line;
156 return s->tokens[--s->n_token];
161 while ((c = isl_stream_getc(s)) != -1 && isspace(c))
183 tok = isl_token_new(s->ctx, line, col, old_line != line);
186 tok->type = (enum isl_token_type)c;
191 if ((c = isl_stream_getc(s)) == '>') {
192 tok = isl_token_new(s->ctx, line, col, old_line != line);
195 tok->type = ISL_TOKEN_TO;
199 isl_stream_ungetc(s, c);
201 if (c == '-' || isdigit(c)) {
202 tok = isl_token_new(s->ctx, line, col, old_line != line);
205 tok->type = ISL_TOKEN_VALUE;
206 isl_int_init(tok->u.v);
207 if (isl_stream_push_char(s, c))
209 while ((c = isl_stream_getc(s)) != -1 && isdigit(c))
210 if (isl_stream_push_char(s, c))
213 isl_stream_ungetc(s, c);
214 if (s->len == 1 && s->buffer[0] == '-')
215 isl_int_set_si(tok->u.v, -1);
217 isl_stream_push_char(s, '\0');
218 isl_int_read(tok->u.v, s->buffer);
223 tok = isl_token_new(s->ctx, line, col, old_line != line);
226 isl_stream_push_char(s, c);
227 while ((c = isl_stream_getc(s)) != -1 && isalnum(c))
228 isl_stream_push_char(s, c);
230 isl_stream_ungetc(s, c);
231 isl_stream_push_char(s, '\0');
232 if (!strcasecmp(s->buffer, "exists"))
233 tok->type = ISL_TOKEN_EXISTS;
235 tok->type = ISL_TOKEN_IDENT;
236 tok->u.s = strdup(s->buffer);
242 if ((c = isl_stream_getc(s)) == '=') {
243 tok = isl_token_new(s->ctx, line, col, old_line != line);
246 tok->type = ISL_TOKEN_GE;
250 isl_stream_ungetc(s, c);
254 if ((c = isl_stream_getc(s)) == '=') {
255 tok = isl_token_new(s->ctx, line, col, old_line != line);
258 tok->type = ISL_TOKEN_LE;
262 isl_stream_ungetc(s, c);
265 tok = isl_token_new(s->ctx, line, col, old_line != line);
268 tok->type = ISL_TOKEN_AND;
269 if ((c = isl_stream_getc(s)) != '&' && c != -1)
270 isl_stream_ungetc(s, c);
274 tok = isl_token_new(s->ctx, line, col, old_line != line);
277 tok->type = ISL_TOKEN_UNKNOWN;
284 int isl_stream_eat(struct isl_stream *s, int type)
286 struct isl_token *tok;
288 tok = isl_stream_next_token(s);
291 if (tok->type == type) {
295 isl_stream_error(s, tok, "expecting other token");
296 isl_stream_push_token(s, tok);
300 void isl_stream_free(struct isl_stream *s)
305 if (s->n_token != 0) {
306 struct isl_token *tok = isl_stream_next_token(s);
307 isl_stream_error(s, tok, "unexpected token");
310 isl_ctx_deref(s->ctx);