Пример #1
0
int CSureadATerm(CompressedStream *cs, ATerm *term){

   if (BSreadString(cs->bs,buffer)){
/*
      ATfprintf(stderr, "Read ATerm %t\n", ATmake("<appl>", str));
*/
      *term=ATreadFromString(buffer);
      return 1;
   } else {
      return 0;
   }
}
Пример #2
0
ATerm SSL_read_term_from_string(ATerm str_term) {
    if(!ATisString(str_term)) return NULL;
    const char* str = AT_getString(str_term);
    ATerm result = ATreadFromString(str);

    if(result == NULL) {
        ATfprintf(stderr, "not a valid term\n");
        _fail(str_term);
    }

    return result;
}