| 181 | } |
| 182 | |
| 183 | static inline void pn_encoder_writef64(pn_encoder_t *encoder, uint64_t value) { |
| 184 | if (pn_encoder_remaining(encoder) >= 8) { |
| 185 | char* position = encoder->output+encoder->position; |
| 186 | position[0] = 0xFF & (value >> 56); |
| 187 | position[1] = 0xFF & (value >> 48); |
| 188 | position[2] = 0xFF & (value >> 40); |
| 189 | position[3] = 0xFF & (value >> 32); |
| 190 | position[4] = 0xFF & (value >> 24); |
| 191 | position[5] = 0xFF & (value >> 16); |
| 192 | position[6] = 0xFF & (value >> 8); |
| 193 | position[7] = 0xFF & (value ); |
| 194 | } |
| 195 | encoder->position += 8; |
| 196 | } |
| 197 | |
| 198 | static inline void pn_encoder_writef128(pn_encoder_t *encoder, char *value) { |
| 199 | if (pn_encoder_remaining(encoder) >= 16) { |
no test coverage detected