#include <isl/stream.h>

#define xCAT(A,B) A ## B

#define CAT(A,B) xCAT(A,B)

#undef TYPE

#define TYPE CAT(isl_,BASE)

#define xFN(TYPE,NAME) TYPE ## _ ## NAME

#define FN(TYPE,NAME) xFN(TYPE,NAME)

/* Read an object of type TYPE from "s", where the object may

 * either be specified directly or as a string.

 *

 * First check if the next token in "s" is a string.  If so, try and

 * extract the object from the string.

 * Otherwise, try and read the object directly from "s".

 */

static __isl_give TYPE *FN(read,BASE)(__isl_keep isl_stream *s)

{

  struct isl_token *tok;

  int type;

  tok = isl_stream_next_token(s);

  type = isl_token_get_type(tok);

  if (type == ISL_TOKEN_STRING) {

    char *str;

    isl_ctx *ctx;

    TYPE *res;

    ctx = isl_stream_get_ctx(s);

    str = isl_token_get_str(ctx, tok);

    res = FN(TYPE,read_from_str)(ctx, str);

    free(str);

    isl_token_free(tok);

    return res;

  }

  isl_stream_push_token(s, tok);

  return FN(isl_stream_read,BASE)(s);

}

Unexecuted instantiation: isl_flow.c:read_union_map

Unexecuted instantiation: isl_schedule_constraints.c:read_union_set

Unexecuted instantiation: isl_schedule_constraints.c:read_set

Unexecuted instantiation: isl_schedule_constraints.c:read_union_map