From f569e151b45dce88eb363d391d3f226028ba49ec Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Mon, 14 Jun 2010 14:33:59 +0200 Subject: [PATCH] add isl_stream_read_set --- include/isl_stream.h | 1 + isl_input.c | 15 +++++++++++++++ 2 files changed, 16 insertions(+) diff --git a/include/isl_stream.h b/include/isl_stream.h index efedee1..fbe753d 100644 --- a/include/isl_stream.h +++ b/include/isl_stream.h @@ -85,6 +85,7 @@ enum isl_token_type isl_stream_register_keyword(struct isl_stream *s, struct isl_obj isl_stream_read_obj(struct isl_stream *s); __isl_give isl_map *isl_stream_read_map(struct isl_stream *s, int nparam); +__isl_give isl_set *isl_stream_read_set(struct isl_stream *s, int nparam); __isl_give isl_pw_qpolynomial *isl_stream_read_pw_qpolynomial( struct isl_stream *s); diff --git a/isl_input.c b/isl_input.c index e2a7ebf..c9c4258 100644 --- a/isl_input.c +++ b/isl_input.c @@ -1398,6 +1398,21 @@ error: return NULL; } +__isl_give isl_set *isl_stream_read_set(struct isl_stream *s, int nparam) +{ + struct isl_obj obj; + struct isl_set *set; + + obj = obj_read(s, nparam); + if (obj.v) + isl_assert(s->ctx, obj.type == isl_obj_set, goto error); + + return obj.v; +error: + obj.type->free(obj.v); + return NULL; +} + static struct isl_basic_map *basic_map_read(struct isl_stream *s, int nparam) { struct isl_obj obj; -- 2.7.4