38 |
38 |
39 public: |
39 public: |
40 TraceStream(outputStream& stream): _st(stream) {} |
40 TraceStream(outputStream& stream): _st(stream) {} |
41 |
41 |
42 void print_val(const char* label, u1 val) { |
42 void print_val(const char* label, u1 val) { |
43 _st.print("%s = "UINT32_FORMAT, label, val); |
43 _st.print("%s = " UINT32_FORMAT, label, val); |
44 } |
44 } |
45 |
45 |
46 void print_val(const char* label, u2 val) { |
46 void print_val(const char* label, u2 val) { |
47 _st.print("%s = "UINT32_FORMAT, label, val); |
47 _st.print("%s = " UINT32_FORMAT, label, val); |
48 } |
48 } |
49 |
49 |
50 void print_val(const char* label, s2 val) { |
50 void print_val(const char* label, s2 val) { |
51 _st.print("%s = "INT32_FORMAT, label, val); |
51 _st.print("%s = " INT32_FORMAT, label, val); |
52 } |
52 } |
53 |
53 |
54 void print_val(const char* label, u4 val) { |
54 void print_val(const char* label, u4 val) { |
55 _st.print("%s = "UINT32_FORMAT, label, val); |
55 _st.print("%s = " UINT32_FORMAT, label, val); |
56 } |
56 } |
57 |
57 |
58 void print_val(const char* label, s4 val) { |
58 void print_val(const char* label, s4 val) { |
59 _st.print("%s = "INT32_FORMAT, label, val); |
59 _st.print("%s = " INT32_FORMAT, label, val); |
60 } |
60 } |
61 |
61 |
62 void print_val(const char* label, u8 val) { |
62 void print_val(const char* label, u8 val) { |
63 _st.print("%s = "UINT64_FORMAT, label, val); |
63 _st.print("%s = " UINT64_FORMAT, label, val); |
64 } |
64 } |
65 |
65 |
66 void print_val(const char* label, s8 val) { |
66 void print_val(const char* label, s8 val) { |
67 _st.print("%s = "INT64_FORMAT, label, (int64_t) val); |
67 _st.print("%s = " INT64_FORMAT, label, (int64_t) val); |
68 } |
68 } |
69 |
69 |
70 void print_val(const char* label, bool val) { |
70 void print_val(const char* label, bool val) { |
71 _st.print("%s = %s", label, val ? "true" : "false"); |
71 _st.print("%s = %s", label, val ? "true" : "false"); |
72 } |
72 } |