private void AssertValid()
{
// Number of buckets must be a power of two.
Contracts.AssertValue(_rgins);
Contracts.Assert(_rgins.Length == _mask + 1);
Contracts.Assert(Utils.IsPowerOfTwo(_mask + 1));
Contracts.Assert(0 <= _cns & _cns <= Utils.Size(_rgns));
Contracts.Assert(Utils.Size(_rgns) == Utils.Size(_rgmeta));
}
private void AssertValid()
{
// Number of buckets must be a power of two.
Contracts.AssertValue(_buckets);
Contracts.Assert(_buckets.Length == _mask + 1);
Contracts.Assert(Utils.IsPowerOfTwo(_mask + 1));
Contracts.Assert(0 <= _idLim && Math.Max(10, _idLim) <= Utils.Size(_start) - 1);
Contracts.Assert(Math.Max(10, _idLim) <= Utils.Size(_hash));
Contracts.Assert(Math.Max(10, _idLim) <= Utils.Size(_next));
Contracts.Assert(_start[0] == 0);
Contracts.Assert(0 <= _start[_idLim] && Math.Max(40, _start[_idLim]) <= Utils.Size(_bytes));
}
