Lines Matching defs:datum

215 describe_record(tnf_datum_t datum)
217 (void) printf("0x%-8x: {\n", OFF(tnf_get_raw(datum)));
219 switch (tnf_get_kind(datum)) {
222 describe_struct(datum);
226 describe_array(datum);
229 describe_type(datum);
233 tnf_get_raw(datum), tnf_get_kind(datum));
241 describe_scalar(tnf_datum_t datum)
243 switch (tnf_get_kind(datum)) {
246 (void) printf("%c", tnf_get_char(datum));
249 (void) printf("%d", tnf_get_int8(datum));
252 (void) printf(print_unsigned, (tnf_uint8_t)tnf_get_int8(datum));
255 (void) printf("%d", tnf_get_int16(datum));
259 (tnf_uint16_t)tnf_get_int16(datum));
262 (void) printf("%d", (int)tnf_get_int32(datum));
265 if ((tnf_type_get_property(tnf_get_type(datum), TNF_N_OPAQUE))
269 (tnf_uint32_t)tnf_get_int32(datum));
272 (tnf_uint32_t)tnf_get_int32(datum));
277 (void) printf("%lld", tnf_get_int64(datum));
280 if ((tnf_type_get_property(tnf_get_type(datum), TNF_N_OPAQUE))
283 (tnf_uint64_t)tnf_get_int64(datum));
287 (tnf_uint64_t)tnf_get_int64(datum));
291 (void) printf("%f", tnf_get_float32(datum));
294 (void) printf("%f", tnf_get_float64(datum));
306 describe_struct(tnf_datum_t datum)
311 n = tnf_get_slot_count(datum);
313 slotname = tnf_get_slot_name(datum, i);
315 describe_brief(tnf_get_slot_indexed(datum, i));
318 if ((i == 0) && tnf_is_record(datum)) {
321 if ((tag_arg = tnf_get_tag_arg(datum))
332 describe_array(tnf_datum_t datum)
336 describe_struct(datum); /* XXX */
338 if (tnf_is_string(datum))
339 (void) printf("%24s \"%s\"\n", "chars", tnf_get_chars(datum));
341 n = tnf_get_element_count(datum);
344 describe_brief(tnf_get_element(datum, i));
351 describe_type(tnf_datum_t datum)
353 describe_struct(datum);
357 describe_brief(tnf_datum_t datum)
359 if (datum == TNF_DATUM_NULL) /* allowed */
362 else if (tnf_is_scalar(datum))
363 describe_scalar(datum);
365 else if (tnf_is_record(datum)) {
368 OFF(tnf_get_raw(datum))); /* common */
370 switch (tnf_get_kind(datum)) {
372 (void) printf("%s", tnf_type_get_name(datum));
375 (void) printf("\"%s\"", tnf_get_chars(datum));
378 (void) printf("<%s>", tnf_get_type_name(datum));