BTreeVerifier.h

Go to the documentation of this file.

/*
// $Id: //open/dev/fennel/btree/BTreeVerifier.h#12 $
// Fennel is a library of data storage and processing components.
// Copyright (C) 2005-2009 The Eigenbase Project
// Copyright (C) 2005-2009 SQLstream, Inc.
// Copyright (C) 2005-2009 LucidEra, Inc.
// Portions Copyright (C) 1999-2009 John V. Sichi
//
// This program is free software; you can redistribute it and/or modify it
// under the terms of the GNU General Public License as published by the Free
// Software Foundation; either version 2 of the License, or (at your option)
// any later version approved by The Eigenbase Project.
//
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with this program; if not, write to the Free Software
// Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
*/

#ifndef Fennel_BTreeVerifier_Included
#define Fennel_BTreeVerifier_Included

#include "fennel/btree/BTreeAccessBase.h"
#include "fennel/tuple/TupleData.h"

FENNEL_BEGIN_NAMESPACE

struct FENNEL_BTREE_EXPORT BTreeStatistics
{
    uint nLevels;

    RecordNum nNonLeafNodes;

    RecordNum nLeafNodes;

    RecordNum nTuples;

    RecordNum nUniqueKeys;
};

class FENNEL_BTREE_EXPORT BTreeVerifier
    : public BTreeAccessBase
{
    TupleData lowerBoundKey;

    TupleData upperBoundKey;

    uint expectedHeight;

    PageId expectedRightSibling;

    BTreeStatistics stats;

    bool strict;

    bool keys;

    bool leaf;

    TupleData keyData;

    TupleData keyData2;

    PageId verifyNode(
        PageId pageId);

    void verifyChildren(
        BTreeNode const &node);

public:
    explicit BTreeVerifier(BTreeDescriptor const &);
    virtual ~BTreeVerifier();

    void verify(bool strict = true, bool keys = true, bool leaf = true);

    BTreeStatistics const &getStatistics();
};

FENNEL_END_NAMESPACE

#endif

// End BTreeVerifier.h

---