| 169 | } |
| 170 | |
| 171 | static inline void pn_encoder_writef32(pn_encoder_t *encoder, uint32_t value) |
| 172 | { |
| 173 | if (pn_encoder_remaining(encoder) >= 4) { |
| 174 | char* position = encoder->output+encoder->position; |
| 175 | position[0] = 0xFF & (value >> 24); |
| 176 | position[1] = 0xFF & (value >> 16); |
| 177 | position[2] = 0xFF & (value >> 8); |
| 178 | position[3] = 0xFF & (value ); |
| 179 | } |
| 180 | encoder->position += 4; |
| 181 | } |
| 182 | |
| 183 | static inline void pn_encoder_writef64(pn_encoder_t *encoder, uint64_t value) { |
| 184 | if (pn_encoder_remaining(encoder) >= 8) { |
no test coverage detected