/** * Prints the name of an atomic type kinds. * * @param kind The type kind. */ static void print_atomic_kinds(atomic_type_kind_t kind) { const char *s = get_atomic_kind_name(kind); if (strcmp(s, "int")==0) s = "c_int"; else if (strcmp(s, "char")==0) s = "c_char"; else if (strcmp(s, "long")==0) s = "c_long"; print_string(s); }
/** * Prints the name of an atomic type kinds. * * @param kind The type kind. */ static void print_atomic_kinds(atomic_type_kind_t kind) { const char *s = get_atomic_kind_name(kind); print_string(s); }