void
tds_check_dynamic_extra(const TDSDYNAMIC * dyn)
{
assert(dyn);
if (dyn->res_info)
tds_check_resultinfo_extra(dyn->res_info);
if (dyn->params)
tds_check_resultinfo_extra(dyn->params);
assert(!dyn->emulated || dyn->query);
}
void
tds_check_cursor_extra(const TDSCURSOR * cursor)
{
assert(cursor);
assert(cursor->ref_count > 0);
if (cursor->res_info)
tds_check_resultinfo_extra(cursor->res_info);
}
void
tds_check_tds_extra(const TDSSOCKET * tds)
{
const int invalid_state = 0;
int i;
TDSDYNAMIC *cur_dyn = NULL;
TDSCURSOR *cur_cursor = NULL;
assert(tds);
/* test state and connection */
switch (tds->state) {
case TDS_DEAD:
case TDS_WRITING:
case TDS_SENDING:
case TDS_PENDING:
case TDS_IDLE:
case TDS_READING:
break;
default:
assert(invalid_state);
}
assert(tds->conn);
#if ENABLE_ODBC_MARS
if (tds->state != TDS_DEAD)
assert(!TDS_IS_SOCKET_INVALID(tds_get_s(tds)));
#else
assert(tds->state == TDS_DEAD || !TDS_IS_SOCKET_INVALID(tds_get_s(tds)));
assert(tds->state != TDS_DEAD || TDS_IS_SOCKET_INVALID(tds_get_s(tds)));
#endif
/* test env */
tds_check_env_extra(&tds->conn->env);
/* test buffers and positions */
tds_check_packet_extra(tds->send_packet);
tds_check_packet_extra(tds->recv_packet);
#if ENABLE_ODBC_MARS
if (tds->conn->send_packets)
assert(tds->conn->send_pos <= tds->conn->send_packets->len);
if (tds->conn->recv_packet)
assert(tds->conn->recv_pos <= tds->conn->recv_packet->len);
#endif
assert(tds->in_pos <= tds->in_len);
assert(tds->in_len <= tds->recv_packet->capacity);
/* TODO remove blocksize from env and use out_len ?? */
/* assert(tds->out_pos <= tds->out_len); */
/* assert(tds->out_len == 0 || tds->out_buf != NULL); */
assert(tds->send_packet->capacity >= tds->out_buf_max + TDS_ADDITIONAL_SPACE);
assert(tds->out_buf >= tds->send_packet->buf);
assert(tds->out_buf + tds->out_buf_max + TDS_ADDITIONAL_SPACE <=
tds->send_packet->buf + tds->send_packet->capacity);
assert(tds->out_pos <= tds->out_buf_max);
assert(tds->in_buf == tds->recv_packet->buf || tds->in_buf == tds->recv_packet->buf + 16);
assert(tds->recv_packet->capacity > 0);
/* test res_info */
if (tds->res_info)
tds_check_resultinfo_extra(tds->res_info);
/* test num_comp_info, comp_info */
assert(tds->num_comp_info >= 0);
for (i = 0; i < tds->num_comp_info; ++i) {
assert(tds->comp_info);
tds_check_resultinfo_extra(tds->comp_info[i]);
}
/* param_info */
if (tds->param_info)
tds_check_resultinfo_extra(tds->param_info);
/* test cursors */
for (cur_cursor = tds->conn->cursors; cur_cursor != NULL; cur_cursor = cur_cursor->next)
tds_check_cursor_extra(cur_cursor);
/* test dynamics */
for (cur_dyn = tds->conn->dyns; cur_dyn != NULL; cur_dyn = cur_dyn->next)
tds_check_dynamic_extra(cur_dyn);
/* test tds_ctx */
tds_check_context_extra(tds_get_ctx(tds));
/* TODO test char_conv_count, char_convs */
/* we can't have compute and no results */
assert(tds->num_comp_info == 0 || tds->res_info != NULL);
/* we can't have normal and parameters results */
/* TODO too strict ?? */
/* assert(tds->param_info == NULL || tds->res_info == NULL); */
}
void
tds_check_tds_extra(const TDSSOCKET * tds)
{
const int invalid_state = 0;
int found, i;
int result_found = 0;
TDSDYNAMIC *cur_dyn = NULL;
TDSCURSOR *cur_cursor = NULL;
assert(tds);
/* teset state and connection */
switch (tds->state) {
case TDS_DEAD:
case TDS_QUERYING:
case TDS_PENDING:
case TDS_IDLE:
case TDS_READING:
break;
default:
assert(invalid_state);
}
assert(tds->state == TDS_DEAD || !TDS_IS_SOCKET_INVALID(tds_get_s(tds)));
assert(tds->state != TDS_DEAD || TDS_IS_SOCKET_INVALID(tds_get_s(tds)));
/* test env */
tds_check_env_extra(&tds->env);
/* test buffers and positions */
assert(tds->in_pos <= tds->in_len && tds->in_len <= tds->in_buf_max);
/* TODO remove blocksize from env and use out_len ?? */
/* assert(tds->out_pos <= tds->out_len); */
/* assert(tds->out_len == 0 || tds->out_buf != NULL); */
assert(tds->out_pos <= tds->env.block_size);
assert(tds->env.block_size == 0 || tds->out_buf != NULL);
assert(tds->in_buf_max == 0 || tds->in_buf != NULL);
/* test res_info */
if (tds->res_info) {
tds_check_resultinfo_extra(tds->res_info);
if (tds->current_results == tds->res_info)
result_found = 1;
}
/* test num_comp_info, comp_info */
assert(tds->num_comp_info >= 0);
for (i = 0; i < tds->num_comp_info; ++i) {
assert(tds->comp_info);
tds_check_resultinfo_extra(tds->comp_info[i]);
if (tds->current_results == tds->comp_info[i])
result_found = 1;
}
/* param_info */
if (tds->param_info) {
tds_check_resultinfo_extra(tds->param_info);
if (tds->current_results == tds->param_info)
result_found = 1;
}
/* test cursors */
found = 0;
for (cur_cursor = tds->cursors; cur_cursor != NULL; cur_cursor = cur_cursor->next) {
tds_check_cursor_extra(cur_cursor);
if (tds->current_results == cur_cursor->res_info)
result_found = 1;
if (cur_cursor == tds->cur_cursor)
found = 1;
}
assert(found || tds->cur_cursor == NULL);
/* test num_dyms, cur_dyn, dyns */
found = 0;
for (cur_dyn = tds->dyns; cur_dyn != NULL; cur_dyn = cur_dyn->next) {
if (cur_dyn == tds->cur_dyn)
found = 1;
tds_check_dynamic_extra(cur_dyn);
if (tds->current_results == cur_dyn->res_info)
result_found = 1;
}
assert(found || tds->cur_dyn == NULL);
/* test tds_ctx */
tds_check_context_extra(tds_get_ctx(tds));
/* TODO test char_conv_count, char_convs */
/* current_results should be one of res_info, comp_info, param_info or dynamic */
/*
* TODO this test was here to check that current_results was an alias
* but with cursor and reference counting current_results can point
* to a cursor result available on upper layer
* Perhaps we should free results on deallocate and enable
* assert again?
*/
/* assert(result_found || tds->current_results == NULL); */
/* we can't have compute and no results */
assert(tds->num_comp_info == 0 || tds->res_info != NULL);
/* we can't have normal and parameters results */
/* TODO too strict ?? */
/* assert(tds->param_info == NULL || tds->res_info == NULL); */
}
