Merge branch 'maint'
[platform/upstream/isl.git] / include / isl / stream.h
1 /*
2  * Copyright 2008-2009 Katholieke Universiteit Leuven
3  *
4  * Use of this software is governed by the GNU LGPLv2.1 license
5  *
6  * Written by Sven Verdoolaege, K.U.Leuven, Departement
7  * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
8  */
9
10 #ifndef ISL_STREAM_H
11 #define ISL_STREAM_H
12
13 #include <stdio.h>
14 #include <isl/hash.h>
15 #include <isl/aff_type.h>
16 #include <isl/obj.h>
17
18 #if defined(__cplusplus)
19 extern "C" {
20 #endif
21
22 enum isl_token_type { ISL_TOKEN_ERROR = -1,
23                         ISL_TOKEN_UNKNOWN = 256, ISL_TOKEN_VALUE,
24                         ISL_TOKEN_IDENT, ISL_TOKEN_GE,
25                         ISL_TOKEN_LE, ISL_TOKEN_GT, ISL_TOKEN_LT,
26                         ISL_TOKEN_NE, ISL_TOKEN_EQ_EQ,
27                         ISL_TOKEN_LEX_GE, ISL_TOKEN_LEX_LE,
28                         ISL_TOKEN_LEX_GT, ISL_TOKEN_LEX_LT,
29                         ISL_TOKEN_TO, ISL_TOKEN_AND,
30                         ISL_TOKEN_OR, ISL_TOKEN_EXISTS, ISL_TOKEN_NOT,
31                         ISL_TOKEN_DEF, ISL_TOKEN_INFTY, ISL_TOKEN_NAN,
32                         ISL_TOKEN_MIN, ISL_TOKEN_MAX, ISL_TOKEN_RAT,
33                         ISL_TOKEN_TRUE, ISL_TOKEN_FALSE,
34                         ISL_TOKEN_CEILD, ISL_TOKEN_FLOORD, ISL_TOKEN_MOD,
35                         ISL_TOKEN_STRING,
36                         ISL_TOKEN_MAP, ISL_TOKEN_AFF,
37                         ISL_TOKEN_LAST };
38
39 struct isl_token {
40         enum isl_token_type  type;
41
42         unsigned int on_new_line : 1;
43         unsigned is_keyword : 1;
44         int line;
45         int col;
46
47         union {
48                 isl_int v;
49                 char    *s;
50                 isl_map *map;
51                 isl_pw_aff *pwaff;
52         } u;
53 };
54
55 void isl_token_free(struct isl_token *tok);
56
57 struct isl_stream {
58         struct isl_ctx  *ctx;
59         FILE            *file;
60         const char      *str;
61         int             line;
62         int             col;
63         int             eof;
64
65         char            *buffer;
66         size_t          size;
67         size_t          len;
68         int             c;
69         int             un[5];
70         int             n_un;
71
72         struct isl_token        *tokens[5];
73         int             n_token;
74
75         struct isl_hash_table   *keywords;
76         enum isl_token_type      next_type;
77 };
78
79 struct isl_stream* isl_stream_new_file(struct isl_ctx *ctx, FILE *file);
80 struct isl_stream* isl_stream_new_str(struct isl_ctx *ctx, const char *str);
81 void isl_stream_free(struct isl_stream *s);
82
83 void isl_stream_error(struct isl_stream *s, struct isl_token *tok, char *msg);
84
85 struct isl_token *isl_stream_next_token(struct isl_stream *s);
86 struct isl_token *isl_stream_next_token_on_same_line(struct isl_stream *s);
87 int isl_stream_next_token_is(struct isl_stream *s, int type);
88 void isl_stream_push_token(struct isl_stream *s, struct isl_token *tok);
89 void isl_stream_flush_tokens(struct isl_stream *s);
90 int isl_stream_eat_if_available(struct isl_stream *s, int type);
91 char *isl_stream_read_ident_if_available(struct isl_stream *s);
92 int isl_stream_eat(struct isl_stream *s, int type);
93 int isl_stream_is_empty(struct isl_stream *s);
94 int isl_stream_skip_line(struct isl_stream *s);
95
96 enum isl_token_type isl_stream_register_keyword(struct isl_stream *s,
97         const char *name);
98
99 struct isl_obj isl_stream_read_obj(struct isl_stream *s);
100 __isl_give isl_map *isl_stream_read_map(struct isl_stream *s);
101 __isl_give isl_set *isl_stream_read_set(struct isl_stream *s);
102 __isl_give isl_pw_qpolynomial *isl_stream_read_pw_qpolynomial(
103         struct isl_stream *s);
104 __isl_give isl_union_map *isl_stream_read_union_map(struct isl_stream *s);
105
106 #if defined(__cplusplus)
107 }
108 #endif
109
110 #endif