Searched refs:json_number_chars (Results 1 – 3 of 3) sorted by relevance
64 extern const char *json_number_chars;
671 while(c && strchr(json_number_chars, c)) { in json_tokener_parse_ex()
49 const char *json_number_chars = "0123456789.+-eE"; variable