Ejemplos de ATreadFromString en C++ (Cpp)

Ejemplo n.º 1

Archivo: compress.c Proyecto: jkeiren/muCRL

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;
   }
}

Ejemplo n.º 2

Archivo: system-io-term.c Proyecto: pSub/strategoxt

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;
}