ARCHIVE/xahaud
3
0
Fork 0
mirror of https://github.com/Xahau/xahaud.git synced 2025-12-06 17:27:52 +00:00
Code Issues Packages Projects Releases Wiki Activity

Debug consistency checker for RangeSet

Browse Source
This commit is contained in:
Vinnie Falco
2013-07-03 23:11:21 -07:00
parent b4d5b8137c
commit d79111353d
2 changed files with 54 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

48
modules/ripple_basics/containers/ripple_RangeSet.cpp
View File

@@ -85,6 +85,7 @@ uint32 RangeSet::prevMissing (uint32 v) const
{
if (it.second < (v - 1))
return v - 1;
if (it.first >= v)
return (it.first == 0) ? absent : (it.first - 1);
}
@@ -97,6 +98,7 @@ void RangeSet::setValue (uint32 v)
if (!hasValue (v))
{
mRanges[v] = v;
simplify ();
}
}
@@ -112,6 +114,7 @@ void RangeSet::setRange (uint32 minV, uint32 maxV)
}
mRanges[minV] = maxV;
simplify ();
}
@@ -124,20 +127,30 @@ void RangeSet::clearValue (uint32 v)
if (it->first == v)
{
if (it->second == v)
{
mRanges.erase (it);
checkInternalConsistency ();
}
else
{
mRanges[v + 1] = it->second;
it->second = v - 1;
checkInternalConsistency ();
}
}
else if (it->second == v)
{
-- (it->second);
}
else
{
uint32 oldEnd = it->second;
it->second = v - 1;
mRanges[v + 1] = oldEnd;
checkInternalConsistency ();
}
return;
@@ -170,6 +183,8 @@ void RangeSet::simplify ()
{
iterator it = mRanges.begin ();
checkInternalConsistency ();
while (1)
{
iterator nit = it;
@@ -182,8 +197,41 @@ void RangeSet::simplify ()
// ranges overlap
it->second = nit->second;
mRanges.erase (nit);
checkInternalConsistency ();
}
else
{
it = nit;
}
}
}
void RangeSet::checkInternalConsistency () const noexcept
{
#if BEAST_DEBUG
if (mRanges.size () > 1)
{
const_iterator const last = std::prev (mRanges.end ());
for (const_iterator cur = mRanges.begin (); cur != last; ++cur)
{
const_iterator const next = std::next (cur);
bassert (cur->first <= cur->second);
bassert (next->first <= next->second);
bassert (cur->second + 1 < next->first);
}
}
else if (mRanges.size () == 1)
{
const_iterator const iter = mRanges.begin ();
bassert (iter->first <= iter->second);
}
#endif
}

6
modules/ripple_basics/containers/ripple_RangeSet.h
View File

@@ -34,6 +34,12 @@ public:
std::string toString () const;
/** Check invariants of the data.
This is for diagnostics, and does nothing in release builds.
*/
void checkInternalConsistency () const noexcept;
private:
void simplify ();