#include <xct.h>

Public Member Functions
	inquery_verify_context_t ()

Public Attributes
int32_t	pages_checked

std::set< PageID >	pids_inconsistent

PageID	next_pid

int16_t	next_level

w_keystr_t	next_low_key

w_keystr_t	next_high_key

Detailed Description

Results of in-query (not batch) BTree verification. In-query verification is on when xct_t::set_inquery_verify(true). Use In-query verification as follows:

xct()->set_inquery_verify(true); // verification mode on
xct()->set_inquery_verify_keyorder(true); // detailed check for sortedness/uniqueness
xct()->set_inquery_verify_space(true); // detailed check for space overlap
ss_m::create_assoc(...);
ss_m::find_assoc(...);
...
const inquery_verify_context_t &result = xct()->inquery_verify_context();
cout << "checked " << result.pages_checked << "pages"
 << " and found " << result.pids_inconsistent.size() << " inconsistencies.";
if (result.pids_inconsistent.size() > 0) {
  // output IDs of inconsistent pages etc..
}
}

Constructor & Destructor Documentation

§ inquery_verify_context_t()

inquery_verify_context_t::inquery_verify_context_t ( )

inline

Member Data Documentation

§ next_high_key

w_keystr_t inquery_verify_context_t::next_high_key

expected next fence-high key.

§ next_level

int16_t inquery_verify_context_t::next_level

expected next page level. -1 means "don't check" (only for root page).

§ next_low_key

w_keystr_t inquery_verify_context_t::next_low_key

expected next fence-low key.

§ next_pid

PageID inquery_verify_context_t::next_pid

expected next page id.

§ pages_checked

int32_t inquery_verify_context_t::pages_checked

total count of pages checked (includes checks of same page).

§ pids_inconsistent

std::set<PageID> inquery_verify_context_t::pids_inconsistent

ID of pages that had some inconsistency.

The documentation for this class was generated from the following file:

src/sm/xct.h

Public Member Functions

Public Attributes