/* Dump the log from stdin to stdout. */ #include #include "brttypes.h" #include "log-internal.h" #include #include #include u_int32_t get_uint32 (void) { u_int32_t a = getchar(); u_int32_t b = getchar(); u_int32_t c = getchar(); u_int32_t d = getchar(); return (a<<24)|(b<<16)|(c<<8)|d; } u_int64_t get_uint64 (void) { u_int32_t hi = get_uint32(); u_int32_t lo = get_uint32(); return ((((long long)hi) << 32) | lo); } void transcribe_txnid (void) { long long value = get_uint64(); printf(" txnid=%lld", value); } void transcribe_diskoff (void) { long long value = get_uint64(); printf(" diskoff=%lld", value); } void transcribe_key_or_data (char *what) { u_int32_t l = get_uint32(); unsigned int i; printf(" %s(%d):\"", what, l); for (i=0; i