Home
last modified time | relevance | path

Searched refs:double_escaped (Results 1 – 1 of 1) sorted by relevance

/dports/devel/dparser/dparser-1.31/
H A Dgram.c1418 static void print_term_escaped(Term *t, int double_escaped) { in print_term_escaped() argument
1427 printf("'%s' ", double_escaped ? escape_string_single_quote(s) : s); in print_term_escaped()
1429 if (t->term_priority) printf("%sterm %d ", double_escaped ? "#" : "$", t->term_priority); in print_term_escaped()
1432 char *quote = double_escaped ? "\\\"" : "\""; in print_term_escaped()
1435 printf("%s%s%s ", quote, double_escaped ? escape_string(s) : s, quote); in print_term_escaped()
1437 if (t->term_priority) printf("%sterm %d ", double_escaped ? "#" : "$", t->term_priority); in print_term_escaped()
1450 static void print_element_escaped(Elem *ee, int double_escaped) { in print_element_escaped() argument
1452 print_term_escaped(ee->e.term, double_escaped); in print_element_escaped()