void Memcached::dump_body(const PacketHeader *header,
const unsigned char *b, size_t len)
{
if (header->ext_len_ > 0) {
if (len < header->ext_len_) return ;
dump_extra(header, b, len);
}
b += header->ext_len_;
len -= header->ext_len_;
if (header->key_len_ > 0) {
if (len < header->key_len_) return ;
dump_kv("key", b, header->key_len_);
}
b += header->key_len_;
len -= header->key_len_;
size_t val_size = header->total_len_ - header->key_len_ - header->ext_len_;
if (val_size > 0) {
if (len < val_size) return ;
if (header->opcode_ == MC_INC
|| header->opcode_ == MC_DEC
|| header->opcode_ == MC_INCQ
|| header->opcode_ == MC_DECQ) {
fprintf(stdout,
"value: { "
"result: %lu "
"}\n",
bswap_64(*reinterpret_cast<const uint64_t*>(b)));
} else {
dump_kv("value", b, val_size);
}
}
}
static void
dump_endpoint(struct libusb20_device *pdev,
struct libusb20_endpoint *ep)
{
struct LIBUSB20_ENDPOINT_DESC_DECODED *edesc;
edesc = &ep->desc;
LIBUSB20_ENDPOINT_DESC(DUMP3, edesc);
dump_extra(&ep->extra, " " " " " ");
return;
}
void Z3BitVector::dump_problem(string& filename_base){
FILE* file = fopen(filename_base.c_str(), "w");
dump_header(file);
dump_variables(file);
dump_extra(file);
dump_conditions(file);
dump_check_sat(file);
dump_get(file);
dump_tail(file);
fclose(file);
}
void
dump_config(struct libusb20_device *pdev, uint8_t all_cfg)
{
struct LIBUSB20_CONFIG_DESC_DECODED *cdesc;
struct LIBUSB20_DEVICE_DESC_DECODED *ddesc;
struct libusb20_config *pcfg = NULL;
uint8_t cfg_index;
uint8_t cfg_index_end;
uint8_t x;
uint8_t y;
ddesc = libusb20_dev_get_device_desc(pdev);
if (all_cfg) {
cfg_index = 0;
cfg_index_end = ddesc->bNumConfigurations;
} else {
cfg_index = libusb20_dev_get_config_index(pdev);
cfg_index_end = cfg_index + 1;
}
for (; cfg_index != cfg_index_end; cfg_index++) {
pcfg = libusb20_dev_alloc_config(pdev, cfg_index);
if (!pcfg) {
continue;
}
printf("\n Configuration index %u\n\n", cfg_index);
cdesc = &(pcfg->desc);
LIBUSB20_CONFIG_DESC(DUMP1, cdesc);
dump_extra(&(pcfg->extra), " " " ");
for (x = 0; x != pcfg->num_interface; x++) {
printf("\n Interface %u\n", x);
dump_iface(pdev, pcfg->interface + x);
printf("\n");
for (y = 0; y != (pcfg->interface + x)->num_altsetting; y++) {
printf("\n Interface %u Alt %u\n", x, y + 1);
dump_iface(pdev,
(pcfg->interface + x)->altsetting + y);
printf("\n");
}
}
printf("\n");
free(pcfg);
}
return;
}
static void
dump_iface(struct libusb20_device *pdev,
struct libusb20_interface *iface)
{
struct LIBUSB20_INTERFACE_DESC_DECODED *idesc;
uint8_t z;
idesc = &iface->desc;
LIBUSB20_INTERFACE_DESC(DUMP2, idesc);
dump_extra(&iface->extra, " " " " " ");
for (z = 0; z != iface->num_endpoints; z++) {
printf("\n Endpoint %u\n", z);
dump_endpoint(pdev, iface->endpoints + z);
}
return;
}
