70_idLim = reader.ReadInt32(); 271_idLim++;

48public int Count { get { return _idLim; } } 71Contracts.CheckDecode(0 <= _idLim && _idLim < int.MaxValue); 72_start = reader.ReadIntArray(_idLim + 1); 74Contracts.CheckDecode(_start[_idLim] >= 0); 75_bytes = reader.ReadByteArray(_start[_idLim]); 76if (_idLim < 10) 82int ibit = Utils.IbitHigh((uint)Math.Max(_idLim, 31)); 90_hash = new uint[Math.Max(_idLim, 10)]; 91_next = new int[Math.Max(_idLim, 10)]; 94var cb = _start[_idLim]; 95for (int id = 0; id < _idLim; id++) 117writer.Write(_idLim); 119for (int id = 0; id < _idLim; id++) 122writer.WriteIntsNoCount(_start.AsSpan(0, _idLim + 1)); 123writer.WriteBytesNoCount(_bytes, _start[_idLim]); 134Contracts.Assert(0 <= _idLim && Math.Max(10, _idLim) <= Utils.Size(_start) - 1); 135Contracts.Assert(Math.Max(10, _idLim) <= Utils.Size(_hash)); 136Contracts.Assert(Math.Max(10, _idLim) <= Utils.Size(_next)); 138Contracts.Assert(0 <= _start[_idLim] && Math.Max(40, _start[_idLim]) <= Utils.Size(_bytes)); 161Contracts.Assert(0 <= idCur && idCur < _idLim); 206id = _idLim; 208Contracts.Assert(id == _idLim - 1); 235if (_idLim + 1 >= _start.Length) 238Contracts.Assert(_idLim + 1 == _start.Length); 245if (_idLim >= _next.Length) 248Contracts.Assert(_idLim == _next.Length); 256var ibLim = _start[_idLim]; 264Contracts.Assert(_idLim < _next.Length); 268_next[_idLim] = _buckets[i]; 269_hash[_idLim] = hash; 270_buckets[i] = _idLim; 272_start[_idLim] = _start[_idLim - 1]; 273UIntArrayToLeb128(sequence, min, lim, _bytes, ref _start[_idLim]); 275if (_idLim >= _buckets.Length) 289for (int id = 0; id < _idLim; id++) 302Contracts.Check(0 <= id && id < _idLim);