2546 references to Assert
Microsoft.ML.AutoML (14)
Experiment\Runners\CrossValSummaryRunner.cs (4)
99
Contracts.
Assert
(newMetrics != null);
118
Contracts.
Assert
(newMetrics != null);
135
Contracts.
Assert
(newMetrics != null);
149
Contracts.
Assert
(newMetrics != null);
Sweepers\Parameters.cs (1)
129
Runtime.Contracts.
Assert
(!float.IsNaN(value));
Sweepers\SmacSweeper.cs (3)
197
Runtime.Contracts.
Assert
(randomConfigs.Length == randomEIs.Length);
272
Runtime.Contracts.
Assert
(pset != null);
290
Runtime.Contracts.
Assert
(hotIndex >= 0);
Sweepers\SweeperBase.cs (1)
64
Runtime.Contracts.
Assert
(paramSet != null);
Sweepers\SweeperProbabilityUtils.cs (5)
67
Runtime.Contracts.
Assert
(ps.Count == sweepParams.Length);
78
Runtime.Contracts.
Assert
(pset != null);
92
Runtime.Contracts.
Assert
(hotIndex >= 0);
127
Runtime.Contracts.
Assert
(array.Length == sweepParams.Length);
147
Runtime.Contracts.
Assert
(hotIndex >= i);
Microsoft.ML.Core (482)
CommandLine\CharCursor.cs (1)
63
Contracts.
Assert
(0 <= dich && dich <= _ichLim - _ichCur);
CommandLine\CmdLexer.cs (20)
80
Contracts.
Assert
(bldr.Length > ichDst);
120
Contracts.
Assert
(_curs.ChCur == '{');
133
Contracts.
Assert
(count > 0);
168
Contracts.
Assert
(_curs.ChCur == '{');
182
Contracts.
Assert
(count >= 0);
215
Contracts.
Assert
(_curs.ChCur == '\\');
216
Contracts.
Assert
(_escapes);
249
Contracts.
Assert
(_curs.ChCur == '"');
330
Contracts.
Assert
(0 <= ich && ich <= sb.Length);
346
Contracts.
Assert
(curs.IchCur > 0 || lex.Error);
381
Contracts.
Assert
(f == (force || curs.ChCur == '{'));
390
Contracts.
Assert
(v.StartsWith("{") && v.EndsWith("}"));
396
Contracts.
Assert
(!lex.Error);
397
Contracts.
Assert
(curs.Eof);
398
Contracts.
Assert
(str == res.ToString());
415
Contracts.
Assert
(ich == sb.Length);
420
Contracts.
Assert
(ich == sb.Length);
444
Contracts.
Assert
(curs.IchCur > 0 || lex.Error);
517
Contracts.
Assert
(ichMin >= 0 && _str[ichMin] == '\\');
518
Contracts.
Assert
(ichMin == 0 || _str[ichMin - 1] != '\\');
CommandLine\CmdParser.cs (27)
455
Contracts.
Assert
(1 < firstNonUpper && firstNonUpper <= name.Length);
497
Contracts.
Assert
(!isDefault || nicks == null);
530
Contracts.
Assert
(def.ShortNames == null);
532
Contracts.
Assert
(map.ContainsKey(name) && map[name] == def);
569
Contracts.
Assert
(!string.IsNullOrEmpty(str));
623
Contracts.
Assert
(arg != info.ArgDef);
624
Contracts.
Assert
(0 <= arg.Index && arg.Index < info.Args.Length);
1038
Contracts.
Assert
(ich < curs.IchCur || curs.Eof);
1091
Contracts.
Assert
(ich < curs.IchCur || curs.Eof);
1206
Contracts.
Assert
(Args.Where(a => a.Index == argument.Index).Count() == 1);
1270
Contracts.
Assert
(isGeneric);
1272
Contracts.
Assert
(Utils.Size(genArgs) == 1);
1342
Contracts.
Assert
(argDef == null || argDef.Index == -1);
1345
Contracts.
Assert
(map.Count >= args.Length);
1346
Contracts.
Assert
(args.Select((arg, index) => arg.Index == index).All(b => b));
1422
Contracts.
Assert
(index >= -1);
1423
Contracts.
Assert
(!string.IsNullOrWhiteSpace(name));
1441
Contracts.
Assert
(!IsDefault || Utils.Size(ShortNames) == 0);
1682
Contracts.
Assert
(string.IsNullOrEmpty(tag) || tag.StartsWith("[") && tag.EndsWith("]"));
1709
Contracts.
Assert
(newValue is string || newValue == null);
1710
Contracts.
Assert
((string)newValue != "");
1892
Contracts.
Assert
(type.IsEnum);
1929
Contracts.
Assert
(success);
1966
Contracts.
Assert
(value == null || value is Array);
2037
Contracts.
Assert
(IsKeyValuePair(type));
2065
Contracts.
Assert
(value == null || value is Array);
2242
Contracts.
Assert
(false);
ComponentModel\ComponentCatalog.cs (6)
209
Contracts.
Assert
(getter == null || Utils.Size(attr.CtorTypes) == 0);
231
Contracts.
Assert
(ArgType == null || CtorTypes.Length > 0 && CtorTypes[0] == ArgType);
236
Contracts.
Assert
(Utils.Size(ctorArgs) == CtorTypes.Length + ((RequireEnvironment) ? 1 : 0));
241
Contracts.
Assert
(Utils.Size(ctorArgs) == 0);
704
Contracts.
Assert
(getter == null && ctor == null && create == null);
1067
Contracts.
Assert
(false);
Data\ColumnTypeExtensions.cs (2)
135
Contracts.
Assert
(false);
165
Contracts.
Assert
(false);
Data\IFileHandle.cs (3)
99
Contracts.
Assert
(_streams != null);
133
Contracts.
Assert
(IsDisposed);
166
Contracts.
Assert
(_streamWrite == null);
Data\ModelHeader.cs (10)
109
Contracts.
Assert
(Marshal.SizeOf(typeof(ModelHeader)) == Size);
152
Contracts.
Assert
(ns.Id == cv);
157
Contracts.
Assert
(cv == pool.Count);
160
Contracts.
Assert
(header.FpStringChars == header.FpStringTable + header.CbStringTable);
167
Contracts.
Assert
(offset == header.CbStringChars);
210
Contracts.
Assert
(res);
218
Contracts.
Assert
(writer.FpCur() == fpMin + ModelHeader.Size);
503
Contracts.
Assert
(reader.FpCur() == header.FpStringTable + fpMin);
506
Contracts.
Assert
(cstr < int.MaxValue);
508
Contracts.
Assert
(header.FpStringChars == reader.FpCur() - fpMin);
Data\ModelLoading.cs (2)
169
Contracts.
Assert
(fp == ent.Stream.Position);
220
Contracts.
Assert
(fp == ctx.FpMin);
Data\ProgressReporter.cs (7)
115
Contracts.
Assert
(_subChannels.Count == 0);
133
Contracts.
Assert
(entry.Header.MetricNames.Count == 0 && entry.Header.UnitNames.Count == 0);
161
Contracts.
Assert
(res == channel);
233
Contracts.
Assert
(entry.Header.MetricNames.Count == 0 && entry.Header.UnitNames.Count == 0);
242
Contracts.
Assert
(level >= 0);
352
Contracts.
Assert
(index > 0);
537
Contracts.
Assert
(0 <= index && index < Progress.Length);
Data\ReadOnlyMemoryUtils.cs (1)
231
Contracts.
Assert
(j == span.Length);
Data\RoleMappedSchema.cs (3)
166
Contracts.
Assert
(Utils.Size(kvp.Value) > 0);
316
Contracts.
Assert
(Utils.Size(kvp.Value) > 0);
426
Contracts.
Assert
(schema.Schema == data.Schema);
Environment\ConsoleEnvironment.cs (10)
74
Contracts.
Assert
(msg.Kind == ChannelMessageKind.Error);
126
Contracts.
Assert
(commChannel.Verbose);
230
Contracts.
Assert
(ev.Kind == ProgressReporting.ProgressEvent.EventKind.Progress);
231
Contracts.
Assert
(!ev.ProgressEntry.IsCheckpoint);
399
Contracts.
Assert
(source == this || source is Host);
406
Contracts.
Assert
(parent is ConsoleEnvironment);
414
Contracts.
Assert
(parent is ConsoleEnvironment);
457
Contracts.
Assert
(_root._consoleWriter == _newConsoleWriter);
474
Contracts.
Assert
(parent is Host);
482
Contracts.
Assert
(parent is Host);
Environment\HostEnvironmentBase.cs (2)
479
Contracts.
Assert
(dispatcher is Dispatcher<TMessage>);
564
Contracts.
Assert
(ichMin <= ichLim);
Utilities\BigArray.cs (45)
104
Contracts.
Assert
(longBlockCount <= Utils.ArrayMaxSize);
107
Contracts.
Assert
(blockCount > 0);
108
Contracts.
Assert
(0 < lastBlockSize && lastBlockSize <= BlockSize);
157
Contracts.
Assert
(index == lim);
192
Contracts.
Assert
(index == lim);
226
Contracts.
Assert
(0 < longBlockCount && longBlockCount <= Utils.ArrayMaxSize);
229
Contracts.
Assert
(0 < newLastBlockLength && newLastBlockLength <= BlockSize);
243
Contracts.
Assert
(curBlockCount > 0);
246
Contracts.
Assert
(0 < curLastBlockLength && curLastBlockLength <= curLastBlockSize && curLastBlockSize <= BlockSize);
251
Contracts.
Assert
(newBlockCount < curBlockCount || (newBlockCount == curBlockCount && newLastBlockLength < curLastBlockLength));
259
Contracts.
Assert
(curBlockCount == newBlockCount);
264
Contracts.
Assert
(_length == curLastBlockLength);
265
Contracts.
Assert
(newLength == newLastBlockLength);
266
Contracts.
Assert
(_entries.Length == 1);
279
Contracts.
Assert
(newBlockCount > curBlockCount);
296
Contracts.
Assert
(Utils.Size(_entries) == 0);
303
Contracts.
Assert
(maMax >= 0);
304
Contracts.
Assert
(0 < miLim && miLim <= Utils.Size(_entries[maMax]));
331
Contracts.
Assert
(maMin <= maMax); // Could be violated if length == 0, but we already took care of this.
337
Contracts.
Assert
(miLim - miMin == src.Length);
343
Contracts.
Assert
((BlockSize - miMin) + miLim == src.Length);
347
Contracts.
Assert
(_entries[maMax] == null);
362
Contracts.
Assert
(_entries[major] == null);
366
Contracts.
Assert
(srcSoFar < src.Length);
369
Contracts.
Assert
(src.Length - srcSoFar == miLim);
370
Contracts.
Assert
(_entries[maMax] == null);
389
Contracts.
Assert
(0 <= length && length <= dst.Length);
390
Contracts.
Assert
(idx <= Length && length <= Length - idx);
401
Contracts.
Assert
(maMin <= maMax); // Could happen if length == 0, but we already took care of this.
406
Contracts.
Assert
(miLim - miMin == length);
407
Contracts.
Assert
(miLim <= Utils.Size(_entries[maMax]));
412
Contracts.
Assert
((BlockSize - miMin) + miLim == length);
413
Contracts.
Assert
(BlockSize <= Utils.Size(_entries[maMin]));
415
Contracts.
Assert
(miLim <= Utils.Size(_entries[maMax]));
423
Contracts.
Assert
(BlockSize <= Utils.Size(_entries[maMin]));
429
Contracts.
Assert
(BlockSize <= Utils.Size(_entries[major]));
432
Contracts.
Assert
(dstSoFar < length);
435
Contracts.
Assert
(length - dstSoFar == miLim);
436
Contracts.
Assert
(miLim <= Utils.Size(_entries[maMax]));
444
Contracts.
Assert
(min >= 0);
445
Contracts.
Assert
((min >> BlockSizeBits) < int.MaxValue);
448
Contracts.
Assert
((long)major * BlockSize + minor == min);
453
Contracts.
Assert
(lim > 0);
454
Contracts.
Assert
((lim >> BlockSizeBits) < int.MaxValue);
458
Contracts.
Assert
((long)major * BlockSize + minor == lim + 1);
Utilities\BinFinder.cs (52)
51
Contracts.
Assert
(numValues == values.Count + 1);
88
Contracts.
Assert
(_path[0] == 0);
89
Contracts.
Assert
(_path[CountBins] == CountValues);
99
Contracts.
Assert
(bounds[i] > bounds[i - 1]);
129
Contracts.
Assert
(numValues == values.Count + 1);
166
Contracts.
Assert
(_path[0] == 0);
167
Contracts.
Assert
(_path[CountBins] == CountValues);
177
Contracts.
Assert
(bounds[i] > bounds[i - 1]);
203
Contracts.
Assert
(path[0] == 0);
204
Contracts.
Assert
(path[CountBins] == CountValues);
216
Contracts.
Assert
(a < b);
232
Contracts.
Assert
(a <= ave);
245
Contracts.
Assert
(a < b);
261
Contracts.
Assert
(a <= ave);
331
Contracts.
Assert
(CountValues > CountBins);
332
Contracts.
Assert
(counts.Count == CountValues);
333
Contracts.
Assert
(path.Length >= CountBins + 1);
362
Contracts.
Assert
(_segmentHeap.Count > 0);
373
Contracts.
Assert
(_path[0] == 0);
374
Contracts.
Assert
(_path[CountBins] == CountValues);
391
Contracts.
Assert
(min < max - 1);
434
Contracts.
Assert
(0 <= min && min < split && split < max && max <= CountValues);
442
Contracts.
Assert
(a < b && b < c);
482
Contracts.
Assert
(peg.Energy >= 0);
491
Contracts.
Assert
(pegs[peg.Index] == peg);
492
Contracts.
Assert
(_path[peg.Index] != peg.Split);
495
Contracts.
Assert
(FindSplitPosition(out e, _path[peg.Index - 1], _path[peg.Index + 1], peg.Index) == peg.Split);
520
Contracts.
Assert
(peg.Energy >= 0);
568
Contracts.
Assert
(CountBins >= 2);
569
Contracts.
Assert
(CountValues > CountBins);
570
Contracts.
Assert
(counts.Count == CountValues);
571
Contracts.
Assert
(path.Length >= CountBins + 1);
611
Contracts.
Assert
(bestWorst < EnergyType.MaxValue);
618
Contracts.
Assert
(ccol > 0);
628
Contracts.
Assert
(ivBase == (row - 1) * width);
651
Contracts.
Assert
(eBest > 0);
652
Contracts.
Assert
(0 <= colBest && colBest <= col);
665
Contracts.
Assert
(bestWorst < EnergyType.MaxValue);
673
Contracts.
Assert
(ccol > 0);
677
Contracts.
Assert
(height + width == CountValues);
691
Contracts.
Assert
(eBest < EnergyType.MaxValue);
695
Contracts.
Assert
(height == CountBins - 1);
704
Contracts.
Assert
(ivBase == (row - 1) * width);
706
Contracts.
Assert
(_pathInfo[ivBase + colBest] <= colBest);
709
Contracts.
Assert
(_path[row] < _path[row + 1]);
711
Contracts.
Assert
(ivBase == 0);
716
Contracts.
Assert
(d > 0);
730
Contracts.
Assert
(0 <= row && row < CountBins - 1);
731
Contracts.
Assert
(0 <= col && col <= _cskip);
738
Contracts.
Assert
(0 < cbin && cbin <= span);
744
Contracts.
Assert
(0 <= rem && rem < cbin);
755
Contracts.
Assert
(worst >= best);
Utilities\DoubleParser.cs (34)
94
Contracts.
Assert
(res != Result.Empty || ((flags & OptionFlags.EmptyAsNaN) == 0 && value == 0) || Single.IsNaN(value));
104
Contracts.
Assert
(res != Result.Empty || ((flags & OptionFlags.EmptyAsNaN) == 0 && value == 0) || Double.IsNaN(value));
340
Contracts.
Assert
((long)(Double)(long)num == (long)num);
360
Contracts.
Assert
((long)(Double)(long)num == (long)num);
390
Contracts.
Assert
((num & TopTwoBits) != 0);
391
Contracts.
Assert
((mul & TopBit) != 0);
413
Contracts.
Assert
((num & TopThreeBits) != 0);
433
Contracts.
Assert
(exp > 0);
440
Contracts.
Assert
(exp < 0);
444
Contracts.
Assert
(e2 > 0);
448
Contracts.
Assert
(0 < e2 && e2 < 0x7FF);
551
Contracts.
Assert
(0 <= ich && ich <= span.Length);
552
Contracts.
Assert
(!neg);
553
Contracts.
Assert
(num == 0);
554
Contracts.
Assert
(exp == 0);
616
Contracts.
Assert
(i < span.Length);
632
Contracts.
Assert
(i < span.Length);
638
Contracts.
Assert
(i < span.Length);
639
Contracts.
Assert
(span[i] == decimalMarker);
651
Contracts.
Assert
(i < span.Length);
664
Contracts.
Assert
(i < span.Length);
686
Contracts.
Assert
(i < span.Length);
705
Contracts.
Assert
(Math.Abs(exp) < int.MaxValue);
711
Contracts.
Assert
(i < span.Length);
934
Contracts.
Assert
(_mpe10Man.Length == _mpe10e2.Length);
935
Contracts.
Assert
(_mpne10Man.Length == _mpne10ne2.Length);
939
Contracts.
Assert
(_mpe10Dbl.Length <= _mpe10Man.Length);
952
Contracts.
Assert
(0 < e2 && e2 < 0x7FF);
957
Contracts.
Assert
((Single)_mpe10Dbl[_mpe10Dbl.Length - 1] == Single.PositiveInfinity);
958
Contracts.
Assert
((Single)_mpe10Dbl[_mpe10Dbl.Length - 2] < Single.PositiveInfinity);
963
Contracts.
Assert
(_mpne10Dbl.Length <= _mpne10Man.Length);
968
Contracts.
Assert
(0 < e2 && e2 < 0x7FF);
975
Contracts.
Assert
((Single)(_mpne10Dbl[_mpne10Dbl.Length - 1] * two64) == 0);
976
Contracts.
Assert
((Single)(_mpne10Dbl[_mpne10Dbl.Length - 2] * two64) > 0);
Utilities\FixedSizeQueue.cs (4)
33
Contracts.
Assert
(Utils.Size(_array) >= 0);
34
Contracts.
Assert
(0 <= _startIndex && _startIndex < _array.Length);
35
Contracts.
Assert
(0 <= _count && _count <= _array.Length);
70
Contracts.
Assert
(index >= 0 && index < _count);
Utilities\FloatUtils.cs (8)
65
Contracts.
Assert
(-RawExpZero < exp && exp < RawExpInf - RawExpZero);
109
Contracts.
Assert
((man & ~MaskMan) == MaskMan + 1);
132
Contracts.
Assert
(Bits != 0);
159
Contracts.
Assert
(IsFiniteNormal());
258
Contracts.
Assert
(-RawExpZero < exp && exp < RawExpInf - RawExpZero);
302
Contracts.
Assert
((man & ~MaskMan) == MaskMan + 1);
325
Contracts.
Assert
(Bits != 0);
352
Contracts.
Assert
(IsFiniteNormal());
Utilities\HashArray.cs (14)
65
Contracts.
Assert
(0 <= _ct && _ct <= Utils.Size(_entries));
69
Contracts.
Assert
(Utils.Size(_rgit) >= _ct || Utils.Size(_rgit) == HashHelpers.MaxPrimeArrayLength);
79
Contracts.
Assert
(0 <= it && it < _ct);
91
Contracts.
Assert
(val != null);
100
Contracts.
Assert
(0 <= iit && iit < _rgit.Length);
104
Contracts.
Assert
(it < _ct);
110
Contracts.
Assert
(it == -1);
150
Contracts.
Assert
(val != null);
151
Contracts.
Assert
(0 <= iit && iit < _rgit.Length);
155
Contracts.
Assert
(_ct == Utils.Size(_entries));
158
Contracts.
Assert
(_ct < _entries.Length);
178
Contracts.
Assert
(size >= _rgit.Length);
262
Contracts.
Assert
(0 <= min && min < MaxPrimeArrayLength);
271
Contracts.
Assert
(false);
Utilities\Hashing.cs (23)
128
Contracts.
Assert
((bits & 0x7) == 0);
129
Contracts.
Assert
((uint)bits <= 24);
130
Contracts.
Assert
(cur <= 0x00FFFFFF);
145
Contracts.
Assert
(ch <= 0xFFFF);
158
Contracts.
Assert
((bits & 0x7) == 0);
159
Contracts.
Assert
((uint)bits <= 24);
160
Contracts.
Assert
(cur <= 0x00FFFFFF);
194
Contracts.
Assert
((bits & 0x7) == 0);
195
Contracts.
Assert
((uint)bits <= 24);
196
Contracts.
Assert
(cur <= 0x00FFFFFF);
218
Contracts.
Assert
(ch <= 0x10FFFF);
232
Contracts.
Assert
((bits & 0x7) == 0);
233
Contracts.
Assert
((uint)bits <= 24);
234
Contracts.
Assert
(cur <= 0x00FFFFFF);
277
Contracts.
Assert
(0 <= ichMin && ichMin <= ichLim && ichLim <= Utils.Size(data));
289
Contracts.
Assert
((bits & 0x7) == 0);
290
Contracts.
Assert
((uint)bits <= 24);
291
Contracts.
Assert
(cur <= 0x00FFFFFF);
306
Contracts.
Assert
(ch <= 0xFFFF);
319
Contracts.
Assert
((bits & 0x7) == 0);
320
Contracts.
Assert
((uint)bits <= 24);
321
Contracts.
Assert
(cur <= 0x00FFFFFF);
335
Contracts.
Assert
(hash == MurmurHash(seed, data.ToString().AsSpan()));
Utilities\Heap.cs (16)
47
Contracts.
Assert
(capacity >= 0);
61
Contracts.
Assert
(_rgv.Count > 0);
103
Contracts.
Assert
(iv > 0);
170
Contracts.
Assert
(0 < iv && iv < _rgv.Count);
181
Contracts.
Assert
(0 < iv && iv < _rgv.Count);
208
Contracts.
Assert
(!InHeap);
247
Contracts.
Assert
(capacity >= 0);
261
Contracts.
Assert
(_rgv.Count > 0);
303
Contracts.
Assert
(iv > 0);
311
Contracts.
Assert
(0 < index && index < _rgv.Count);
313
Contracts.
Assert
(result._index == index);
368
Contracts.
Assert
(!vRes.InHeap);
404
Contracts.
Assert
(ivSrc >= ivDst);
416
Contracts.
Assert
(!item.InHeap);
421
Contracts.
Assert
(0 < iv && iv < _rgv.Count);
432
Contracts.
Assert
(0 < iv && iv < _rgv.Count);
Utilities\HybridMemoryStream.cs (5)
100
Contracts.
Assert
(_memStream == null);
101
Contracts.
Assert
(_overflowStream == null);
105
Contracts.
Assert
((_memStream == null) != (_overflowStream == null));
106
Contracts.
Assert
(Length <= _overflowBoundary || _overflowStream != null);
159
Contracts.
Assert
(_memStream != null);
Utilities\LruCache.cs (2)
47
Contracts.
Assert
(key.GetHashCode() == node.Value.Key.GetHashCode());
64
Contracts.
Assert
(!_cache.ContainsKey(key));
Utilities\MathUtils.cs (27)
285
Contracts.
Assert
(FloatUtils.IsFinite(maxRelErr));
286
Contracts.
Assert
(FloatUtils.IsFinite(maxAbsError));
407
Contracts.
Assert
(tol > 0);
436
Contracts.
Assert
(0 <= x && x <= 1);
437
Contracts.
Assert
(0 < a);
438
Contracts.
Assert
(0 < b);
545
Contracts.
Assert
(0 <= exp && exp < ExpInf);
572
Contracts.
Assert
(0 <= n && n < ExpInf);
574
Contracts.
Assert
(0 <= f && f < 1);
578
Contracts.
Assert
(1 <= r && r < float.PositiveInfinity);
611
Contracts.
Assert
(0 <= n && n < ExpInf);
613
Contracts.
Assert
(0 <= f && f < 1);
617
Contracts.
Assert
(1 <= r && r < float.PositiveInfinity);
651
Contracts.
Assert
(0 <= n && n < ExpInf);
653
Contracts.
Assert
(0 <= f && f < 1);
657
Contracts.
Assert
(1 <= r && r < float.PositiveInfinity);
673
Contracts.
Assert
(src.Length == dst.Length);
682
Contracts.
Assert
(src.Length == dst.Length);
683
Contracts.
Assert
(0 <= start && start <= end && end <= src.Length);
705
Contracts.
Assert
(count >= 0);
706
Contracts.
Assert
(Utils.Size(src) >= count);
718
Contracts.
Assert
(ivMin <= ivLim);
724
Contracts.
Assert
(!float.IsNaN(src[ivLim - 1]));
738
Contracts.
Assert
(len > 0);
739
Contracts.
Assert
(aIdx >= 0 && aIdx <= a.Length - len);
740
Contracts.
Assert
(bIdx >= 0 && bIdx <= b.Length - len);
754
Contracts.
Assert
(-1 - epsilon <= similarity && similarity <= 1 + epsilon);
Utilities\MatrixTransposeOps.cs (4)
34
Contracts.
Assert
(src.Length <= m * n);
35
Contracts.
Assert
(dst.Length <= m * n);
85
Contracts.
Assert
(src.Length <= m * n);
86
Contracts.
Assert
(dst.Length <= m * n);
Utilities\MinWaiter.cs (4)
80
Contracts.
Assert
(_waiters.Count < _maxWaiters);
85
Contracts.
Assert
(_waiters.Count < _maxWaiters);
103
Contracts.
Assert
(_waiters.Count < _maxWaiters);
106
Contracts.
Assert
(_maxWaiters == 0 || _waiters.Count < _maxWaiters);
Utilities\NormStr.cs (15)
31
Contracts.
Assert
(id >= 0 || id == -1 && str.IsEmpty);
73
Contracts.
Assert
(_rgins.Length == _mask + 1);
74
Contracts.
Assert
(Utils.IsPowerOfTwo(_mask + 1));
76
Contracts.
Assert
(0 <= _cns && _cns <= Utils.Size(_rgns));
77
Contracts.
Assert
(Utils.Size(_rgns) == Utils.Size(_rgmeta));
114
Contracts.
Assert
(ins == -1);
137
Contracts.
Assert
(ins == -1);
196
Contracts.
Assert
(ins == -1);
214
Contracts.
Assert
(str.Length >= 0);
215
Contracts.
Assert
(Hashing.HashString(str.Span) == hash);
219
Contracts.
Assert
(_cns == 0);
225
Contracts.
Assert
(_cns == _rgns.Length);
230
Contracts.
Assert
(_cns < _rgns.Length);
253
Contracts.
Assert
(0 <= ins && ins < _cns);
254
Contracts.
Assert
(_rgns[ins].Id == ins);
Utilities\Random.cs (3)
182
Contracts.
Assert
(n >= 0);
193
Contracts.
Assert
(0 <= res && (res < maxValue || res == 0));
233
Contracts.
Assert
((uint)(float)u == u);
Utilities\ReservoirSampler.cs (1)
195
Contracts.
Assert
(_counts.Contains(0));
Utilities\Stream.cs (15)
149
Contracts.
Assert
(0 <= count && count <= Utils.Size(values));
162
Contracts.
Assert
(0 <= count && count <= Utils.Size(values));
191
Contracts.
Assert
(cv < count);
195
Contracts.
Assert
(cv == count);
479
Contracts.
Assert
(size >= 0);
494
Contracts.
Assert
(0 <= start && start < array.Length);
495
Contracts.
Assert
(0 < count && count <= array.Length - start);
522
Contracts.
Assert
(size >= 0);
544
Contracts.
Assert
(size >= 0);
567
Contracts.
Assert
(size >= 0);
590
Contracts.
Assert
(size >= 0);
613
Contracts.
Assert
(size >= 0);
638
Contracts.
Assert
(size >= 0);
661
Contracts.
Assert
(size >= 0);
686
Contracts.
Assert
(!destination.IsEmpty);
Utilities\SubsetStream.cs (1)
44
Contracts.
Assert
(!length.HasValue || length >= 0);
Utilities\SupervisedBinFinder.cs (16)
69
Contracts.
Assert
(_valueCount == labels.Count);
88
Contracts.
Assert
(pair.Value >= curValue);
104
Contracts.
Assert
(curIndex == _distinctValueCount - 1);
107
Contracts.
Assert
(Utils.Size(boundaries) > 0);
109
Contracts.
Assert
(boundaries[boundaries.Length - 1] == _distinctValueCount);
122
Contracts.
Assert
(FloatUtils.IsFinite(result[i]));
147
Contracts.
Assert
(_valueCount == labels.Count);
166
Contracts.
Assert
(pair.Value >= curValue);
182
Contracts.
Assert
(curIndex == _distinctValueCount - 1);
185
Contracts.
Assert
(Utils.Size(boundaries) > 0);
187
Contracts.
Assert
(boundaries[boundaries.Length - 1] == _distinctValueCount);
200
Contracts.
Assert
(FloatUtils.IsFinite(result[i]));
214
Contracts.
Assert
(result[i] > result[i - 1]);
223
Contracts.
Assert
(result[i] > result[i - 1]);
259
Contracts.
Assert
(leftCount + rightCount == totalCount);
337
Contracts.
Assert
(intervals.Count == 0);
Utilities\TextReaderStream.cs (10)
111
Contracts.
Assert
(_buffCur == _buffLim);
116
Contracts.
Assert
(_lineCur == 0);
125
Contracts.
Assert
(_lineCur <= _line.Length);
134
Contracts.
Assert
(0 < _buffLim && _buffLim <= _buff.Length);
141
Contracts.
Assert
(charCount > 0);
143
Contracts.
Assert
(0 < _buffLim && _buffLim <= _buff.Length);
145
Contracts.
Assert
(_lineCur <= _line.Length);
159
Contracts.
Assert
(_buffCur < _buffLim);
161
Contracts.
Assert
(toCopy > 0);
174
Contracts.
Assert
(_eof || _buffCur < _buffLim);
Utilities\Tree.cs (2)
146
Contracts.
Assert
(!ContainsKey(key));
164
Contracts.
Assert
(_parent._children.ContainsKey(Key));
Utilities\Utils.cs (55)
189
Contracts.
Assert
(src != null);
190
Contracts.
Assert
(!count.HasValue || (0 <= count && count <= src.Count));
191
Contracts.
Assert
(src.Count <= dst.Length);
288
Contracts.
Assert
(0 <= min && min <= lim && lim <= input.Count);
295
Contracts.
Assert
(minCur <= mid && mid < limCur);
302
Contracts.
Assert
(min <= minCur && minCur <= limCur && limCur <= lim);
303
Contracts.
Assert
(minCur == min || input[minCur - 1] < value);
304
Contracts.
Assert
(limCur == lim || input[limCur] >= value);
306
Contracts.
Assert
(min <= minCur && minCur == limCur && limCur <= lim);
307
Contracts.
Assert
(minCur == min || input[minCur - 1] < value);
308
Contracts.
Assert
(limCur == lim || input[limCur] >= value);
322
Contracts.
Assert
(0 <= min && min <= lim && lim <= input.Count);
323
Contracts.
Assert
(!float.IsNaN(value));
330
Contracts.
Assert
(minCur <= mid && mid < limCur);
331
Contracts.
Assert
(!float.IsNaN(input[mid]));
338
Contracts.
Assert
(min <= minCur && minCur <= limCur && limCur <= lim);
339
Contracts.
Assert
(minCur == min || input[minCur - 1] < value);
340
Contracts.
Assert
(limCur == lim || input[limCur] >= value);
342
Contracts.
Assert
(min <= minCur && minCur == limCur && limCur <= lim);
343
Contracts.
Assert
(minCur == min || input[minCur - 1] < value);
344
Contracts.
Assert
(limCur == lim || input[limCur] >= value);
358
Contracts.
Assert
(0 <= min && min <= lim && lim <= input.Length);
359
Contracts.
Assert
(!Double.IsNaN(value));
366
Contracts.
Assert
(minCur <= mid && mid < limCur);
367
Contracts.
Assert
(!Double.IsNaN(input[mid]));
374
Contracts.
Assert
(min <= minCur && minCur <= limCur && limCur <= lim);
375
Contracts.
Assert
(minCur == min || input[minCur - 1] < value);
376
Contracts.
Assert
(limCur == lim || input[limCur] >= value);
378
Contracts.
Assert
(min <= minCur && minCur == limCur && limCur <= lim);
379
Contracts.
Assert
(minCur == min || input[minCur - 1] < value);
380
Contracts.
Assert
(limCur == lim || input[limCur] >= value);
393
Contracts.
Assert
(0 <= min && min <= lim && lim <= input.Length);
400
Contracts.
Assert
(minCur <= mid && mid < limCur);
407
Contracts.
Assert
(min <= minCur && minCur <= limCur && limCur <= lim);
408
Contracts.
Assert
(minCur == min || !func(input[minCur - 1]));
409
Contracts.
Assert
(limCur == lim || func(input[limCur]));
411
Contracts.
Assert
(min <= minCur && minCur == limCur && limCur <= lim);
412
Contracts.
Assert
(minCur == min || !func(input[minCur - 1]));
413
Contracts.
Assert
(limCur == lim || func(input[limCur]));
426
Contracts.
Assert
(0 <= min && min <= lim && lim <= input.Length);
433
Contracts.
Assert
(minCur <= mid && mid < limCur);
440
Contracts.
Assert
(min <= minCur && minCur <= limCur && limCur <= lim);
441
Contracts.
Assert
(minCur == min || !func(input[minCur - 1], value));
442
Contracts.
Assert
(limCur == lim || func(input[limCur], value));
444
Contracts.
Assert
(min <= minCur && minCur == limCur && limCur <= lim);
445
Contracts.
Assert
(minCur == min || !func(input[minCur - 1], value));
446
Contracts.
Assert
(limCur == lim || func(input[limCur], value));
453
Contracts.
Assert
(size >= 0);
463
Contracts.
Assert
(0 <= lim && lim <= a.Length);
494
Contracts.
Assert
(0 <= j && j < perm.Length);
495
Contracts.
Assert
(res[j] == 0 && (j != perm[0] || i == 0));
504
Contracts.
Assert
(size >= 0);
890
Contracts.
Assert
(nn != null || size == 0);
891
Contracts.
Assert
((ne == null) == (size == 0));
910
Contracts.
Assert
(ivDst == size);
Utilities\VBufferUtils.cs (32)
370
Contracts.
Assert
(i <= indices[i]);
423
Contracts.
Assert
(lim < denseCount);
480
Contracts.
Assert
(j < sparseCount);
487
Contracts.
Assert
(j == sparseCount);
718
Contracts.
Assert
(newCount > 0);
719
Contracts.
Assert
(0 < srcValues.Length && srcValues.Length <= newCount);
720
Contracts.
Assert
(0 < dstValues.Length && dstValues.Length <= newCount);
779
Contracts.
Assert
(sIndex >= 0);
780
Contracts.
Assert
(sIndex == dIndex);
797
Contracts.
Assert
(srcValues.Length == dstValues.Length);
800
Contracts.
Assert
(srcIndices[i] == dstIndices[i]);
806
Contracts.
Assert
(newCount > srcValues.Length);
830
Contracts.
Assert
(dstIndices[dI] == sIndex);
850
Contracts.
Assert
(srcIndices[sI] == bIndex);
867
Contracts.
Assert
(false);
894
Contracts.
Assert
(srcValues.Length == src.Length);
904
Contracts.
Assert
(0 < count && count < length);
938
Contracts.
Assert
(srcValues.Length == src.Length);
947
Contracts.
Assert
(0 < count && count < length);
988
Contracts.
Assert
(dstCount > 0);
1032
Contracts.
Assert
(srcValues.Length > 0);
1053
Contracts.
Assert
(0 < resCount && resCount <= length);
1054
Contracts.
Assert
(resCount <= srcValues.Length + dstCount);
1055
Contracts.
Assert
(srcValues.Length <= resCount);
1056
Contracts.
Assert
(dstCount <= resCount);
1077
Contracts.
Assert
(i < length || j < length);
1107
Contracts.
Assert
(ii == srcValues.Length && jj == dstCount);
1108
Contracts.
Assert
(i == length && j == length);
1264
Contracts.
Assert
(aIndices[aI] == bIndices[aI]);
1275
Contracts.
Assert
(aIndices[aI] >= bIndices[bI]);
1290
Contracts.
Assert
(bIndices[bI] >= aIndices[aI]);
1323
Contracts.
Assert
(index == bIndices[bI]);
Microsoft.ML.Core.Tests (18)
UnitTests\CoreBaseTestClass.cs (10)
88
Contracts.
Assert
(size >= 0);
90
Contracts.
Assert
(result);
134
Contracts.
Assert
(result);
197
Contracts.
Assert
(view1.Schema.Count == view2.Schema.Count);
246
Contracts.
Assert
(curs1.Schema.Count == curs2.Schema.Count);
305
Contracts.
Assert
(curs1.Position == curs2.Position);
326
Contracts.
Assert
(curs1.Schema.Count == view2.Schema.Count);
336
Contracts.
Assert
(curs1.IsColumnActive(curs1.Schema[col]));
346
Contracts.
Assert
(cursors[col] != null);
380
Contracts.
Assert
(curs1.Position == cursors[col].Position);
UnitTests\TestVBuffer.cs (8)
325
Contracts.
Assert
(a.Length == b.Length);
545
Contracts.
Assert
(0 <= offset && a.Length <= b.Length - offset);
975
Contracts.
Assert
(count <= len);
996
Contracts.
Assert
(Utils.Size(indices) >= count);
1099
Contracts.
Assert
(cases == Enum.GetValues(typeof(GenLogic)).Length);
1161
Contracts.
Assert
(a.Length == len);
1162
Contracts.
Assert
(b.Length == len);
1179
Contracts.
Assert
(length > 0);
Microsoft.ML.Data (959)
Commands\ShowSchemaCommand.cs (9)
187
Contracts.
Assert
(0 <= col && col < schema.Count);
211
Contracts.
Assert
(0 <= col && col < schema.Count);
214
Contracts.
Assert
(!(type is VectorDataViewType));
231
Contracts.
Assert
(0 <= col && col < schema.Count);
234
Contracts.
Assert
(!(type is VectorDataViewType));
235
Contracts.
Assert
(type.RawType == typeof(T));
251
Contracts.
Assert
(0 <= col && col < schema.Count);
270
Contracts.
Assert
(0 <= col && col < schema.Count);
273
Contracts.
Assert
(type.ItemType.RawType == typeof(T));
Data\BufferBuilder.cs (29)
73
Contracts.
Assert
(_count >= 0);
75
Contracts.
Assert
(_values.Length >= _count);
76
Contracts.
Assert
(0 <= _ifeatCur && 0 <= _cfeatCur && _ifeatCur <= _length - _cfeatCur);
79
Contracts.
Assert
(_count == _length);
83
Contracts.
Assert
(_indices != null || _length == 0);
84
Contracts.
Assert
(Utils.Size(_indices) >= _count);
87
Contracts.
Assert
(_sorted || _count > InsertThreshold);
109
Contracts.
Assert
(length > 0);
145
Contracts.
Assert
(0 <= ifeat && 0 <= cfeat && ifeat <= _length - cfeat);
158
Contracts.
Assert
(0 <= index && index < _cfeatCur);
174
Contracts.
Assert
(_indices != null);
198
Contracts.
Assert
(_sorted);
240
Contracts.
Assert
(ivDst < 0 || _indices[ivDst] < index);
242
Contracts.
Assert
(ivDst == _count || _indices[ivDst] > index);
262
Contracts.
Assert
(!_sorted);
263
Contracts.
Assert
(!_dense);
264
Contracts.
Assert
(_count > 1);
283
Contracts.
Assert
(ivSrc < _count && !_comb.IsDefault(_values[ivSrc]));
289
Contracts.
Assert
(ivDst <= ivSrc);
304
Contracts.
Assert
(0 < ivDst && ivDst <= _count);
319
Contracts.
Assert
(!_dense);
320
Contracts.
Assert
(_sorted);
330
Contracts.
Assert
(ivDst > index);
333
Contracts.
Assert
(ivDst == index);
350
Contracts.
Assert
(0 <= index && index < _cfeatCur);
371
Contracts.
Assert
(iv == 0 || ifeat > _indices[iv - 1]);
375
Contracts.
Assert
(ifeat <= _indices[iv]);
404
Contracts.
Assert
(count == buffer.Length);
459
Contracts.
Assert
(_count < _length);
Data\Conversion.cs (26)
462
Contracts.
Assert
(typeSrc is KeyDataViewType || typeSrc.IsStandardScalar());
463
Contracts.
Assert
(typeDst is KeyDataViewType || typeDst.IsStandardScalar());
548
Contracts.
Assert
(_tryParseDelegates.ContainsKey(typeDst.RawType));
554
Contracts.
Assert
(key.RawType == typeof(TDst));
581
Contracts.
Assert
(key.RawType == typeof(TDst));
654
Contracts.
Assert
(del is InPredicate<T>);
668
Contracts.
Assert
(_isDefaultDelegates.ContainsKey(t.RawType));
677
Contracts.
Assert
(del != null);
691
Contracts.
Assert
(_hasZeroDelegates.ContainsKey(t.RawType));
742
Contracts.
Assert
(!((InPredicate<T>)isDefPred)(in res));
1088
Contracts.
Assert
(offset == src.Length);
1103
Contracts.
Assert
(!span.IsEmpty);
1162
Contracts.
Assert
(max < U8.MaxValue);
1226
Contracts.
Assert
(res.HasValue);
1245
Contracts.
Assert
(res.HasValue);
1264
Contracts.
Assert
(res.HasValue);
1283
Contracts.
Assert
(res.HasValue);
1297
Contracts.
Assert
(res >= 0);
1328
Contracts.
Assert
(max > 0);
1329
Contracts.
Assert
((max & (max + 1)) == 0);
1346
Contracts.
Assert
(val >= 0);
1348
Contracts.
Assert
(long.MinValue <= result && result <= 0);
1359
Contracts.
Assert
(sVal >= 0);
1367
Contracts.
Assert
(0 <= result && result <= long.MaxValue);
1680
Contracts.
Assert
(value.Equals(default(UG)));
1706
Contracts.
Assert
(!value);
Data\DataViewUtils.cs (19)
643
Contracts.
Assert
(0 <= col && col < _schema.Count);
658
Contracts.
Assert
(0 <= poolIdx && poolIdx < _cachePools.Length);
737
Contracts.
Assert
(typeof(T) == type.RawType);
754
Contracts.
Assert
(count > 0);
765
Contracts.
Assert
(Utils.Size(values) >= count);
800
Contracts.
Assert
(count > 0);
801
Contracts.
Assert
(batchId >= 0);
802
Contracts.
Assert
(batchColumns.All(bc => bc.Count == count));
808
Contracts.
Assert
(!HasException);
819
Contracts.
Assert
(HasException);
833
Contracts.
Assert
(Utils.Size(pipes) == _batchColumns.Length);
871
Contracts.
Assert
(type is PrimitiveDataViewType);
902
Contracts.
Assert
(_index < _count);
913
Contracts.
Assert
(pool is MadeObjectPool<T[]>);
920
Contracts.
Assert
(getter is ValueGetter<T>);
927
Contracts.
Assert
(batchCol is BatchColumn.Impl<T>);
931
Contracts.
Assert
(_count == 0 || (_index == _count - 1));
939
Contracts.
Assert
(_count <= Utils.Size(Values));
944
Contracts.
Assert
(_index <= _count);
Data\RowCursorUtils.cs (10)
92
Contracts.
Assert
(typeof(TSrc) == typeSrc.RawType);
93
Contracts.
Assert
(typeof(TDst) == typeDst.RawType);
100
Contracts.
Assert
(typeof(TSrc) == typeof(TDst));
134
Contracts.
Assert
(typeof(TSrc) == typeSrc.RawType);
257
Contracts.
Assert
(typeof(TSrc) == typeSrc.ItemType.RawType);
258
Contracts.
Assert
(typeof(TDst) == typeDst.RawType);
266
Contracts.
Assert
(typeof(TSrc) == typeof(TDst));
378
Contracts.
Assert
(type != NumberDataViewType.Single && type != NumberDataViewType.Double);
396
Contracts.
Assert
(TestGetLabelGetter(type) == null);
425
Contracts.
Assert
(TestGetLabelGetter(type) == null);
Data\SchemaDefinition.cs (2)
195
Contracts.
Assert
(false);
372
Contracts.
Assert
(false);
DataLoadSave\Binary\BinaryLoader.cs (30)
486
Contracts.
Assert
(Header.HeaderSize <= blockOffset);
487
Contracts.
Assert
(0 <= blockSize);
530
Contracts.
Assert
((codec == null) || !Enum.IsDefined(typeof(CompressionKind), compression));
965
Contracts.
Assert
(threads >= 0);
967
Contracts.
Assert
(0 <= shuffleBlocks);
1366
Contracts.
Assert
(ex.CancellationToken == _exMarshaller.Token);
1368
Contracts.
Assert
(false);
1538
Contracts.
Assert
(blockSequence >= 0);
1539
Contracts.
Assert
(0 <= min && min <= lim);
1540
Contracts.
Assert
(lim - min <= int.MaxValue);
1544
Contracts.
Assert
(!IsSentinel);
1553
Contracts.
Assert
(blockSequence >= 0);
1556
Contracts.
Assert
(IsSentinel);
1721
Contracts.
Assert
(decompressedLength > 0);
1722
Contracts.
Assert
(blockIndex >= 0);
1723
Contracts.
Assert
(blockSequence >= 0);
1724
Contracts.
Assert
(rows >= 0);
1731
Contracts.
Assert
(!IsSentinel);
1740
Contracts.
Assert
(blockSequence >= 0);
1743
Contracts.
Assert
(IsSentinel);
1758
Contracts.
Assert
(rows > 0);
1813
Contracts.
Assert
(tmp);
1818
Contracts.
Assert
(lookup.BlockOffset + lookup.BlockLength == _stream.Position);
1862
Contracts.
Assert
(!_toRead.IsAddingCompleted);
1894
Contracts.
Assert
(tmp);
1910
Contracts.
Assert
(_remaining >= 0);
1911
Contracts.
Assert
(_remaining == 0 || _curr != null);
1927
Contracts.
Assert
(_remaining > 0);
1989
Contracts.
Assert
(ex.CancellationToken == _exMarshaller.Token);
2006
Contracts.
Assert
(false);
DataLoadSave\Binary\BinarySaver.cs (5)
127
Contracts.
Assert
(_writer == null);
134
Contracts.
Assert
(_writer != null);
141
Contracts.
Assert
(_writer != null);
232
Contracts.
Assert
(tmp);
623
Contracts.
Assert
(rows == (blockIndex + 1) * rowsPerBlock - remainingInBlock);
DataLoadSave\Binary\CodecFactory.cs (3)
88
Contracts.
Assert
(!_loadNameToCodecCreator.ContainsKey(codec.LoadName));
89
Contracts.
Assert
(!_simpleCodecTypeMap.ContainsKey(codec.Type.RawType));
96
Contracts.
Assert
(!_loadNameToCodecCreator.ContainsKey(name));
DataLoadSave\Binary\Codecs.cs (20)
98
Contracts.
Assert
(0 <= index && index <= Utils.Size(values));
99
Contracts.
Assert
(0 <= count && count <= Utils.Size(values) - index);
125
Contracts.
Assert
(type.RawType == typeof(T));
250
Contracts.
Assert
(_remaining > 0);
262
Contracts.
Assert
(0 <= index && index <= Utils.Size(values));
263
Contracts.
Assert
(0 <= count && count <= Utils.Size(values) - index);
264
Contracts.
Assert
(_remaining >= count);
383
Contracts.
Assert
(_index < _entries);
437
Contracts.
Assert
(0 <= _currentIndex && _currentIndex < 8);
501
Contracts.
Assert
(_currentIndex < 8);
554
Contracts.
Assert
(_currentSlot < 16);
693
Contracts.
Assert
(Utils.Size(_offsets) == Utils.Size(_ticks));
737
Contracts.
Assert
(!_disposed);
743
Contracts.
Assert
(!_disposed);
791
Contracts.
Assert
(type.RawType == typeof(VBuffer<T>));
792
Contracts.
Assert
(innerCodec.Type == type.ItemType);
1191
Contracts.
Assert
(type.RawType == typeof(T));
1192
Contracts.
Assert
(innerCodec.Type.RawType == type.RawType);
1288
Contracts.
Assert
(type.RawType == typeof(T));
1289
Contracts.
Assert
(innerCodec.Type.RawType == type.RawType);
DataLoadSave\Binary\MemoryStreamPool.cs (3)
34
Contracts.
Assert
(mem.Position == 0);
35
Contracts.
Assert
(mem.Length == 0);
63
Contracts.
Assert
(0 <= index && index < _pools.Length);
DataLoadSave\Database\DatabaseLoader.cs (9)
160
Contracts.
Assert
(false);
335
Contracts.
Assert
(range.Max.HasValue);
368
Contracts.
Assert
(0 <= min && min < lim);
377
Contracts.
Assert
(name != null);
401
Contracts.
Assert
(sizeBase > 0);
404
Contracts.
Assert
(colType.GetItemType().GetRawKind() != 0);
432
Contracts.
Assert
(segs[a].Min <= segs[b].Min);
449
Contracts.
Assert
(size >= segs.Length);
642
Contracts.
Assert
((InternalDataKind)(byte)rawKind == rawKind);
DataLoadSave\Database\DatabaseLoaderCursor.cs (1)
100
Contracts.
Assert
(active == null || active.Length == parent._bindings.OutputSchema.Count);
DataLoadSave\EstimatorChain.cs (4)
33
Contracts.
Assert
(Utils.Size(estimators) == Utils.Size(scopes));
34
Contracts.
Assert
(Utils.Size(estimators) == Utils.Size(needCacheAfter));
42
Contracts.
Assert
((_host != null) == _needCacheAfter.Any(x => x));
43
Contracts.
Assert
((_estimators.Length > 0) == (LastEstimator != null));
DataLoadSave\Text\BlockingQueue.cs (6)
45
Contracts.
Assert
(boundedCapacity > 0);
68
Contracts.
Assert
(!_itemsAvailable.Completed);
96
Contracts.
Assert
(gotItem || _itemsAvailable.Completed);
146
Contracts.
Assert
(initialCount >= 0);
181
Contracts.
Assert
(_count >= 0);
209
Contracts.
Assert
(_waiters >= 0);
DataLoadSave\Text\TextLoader.cs (10)
584
Contracts.
Assert
(0 <= min && min < lim && lim <= SrcLim);
595
Contracts.
Assert
(0 <= min && min < SrcLim);
622
Contracts.
Assert
(sizeBase > 0 || isegVar >= 0);
623
Contracts.
Assert
(isegVar >= -1);
627
Contracts.
Assert
(Kind != 0);
649
Contracts.
Assert
(segs[a].Min <= segs[b].Min);
667
Contracts.
Assert
(isegVar == -1);
673
Contracts.
Assert
(size >= segs.Length || size >= segs.Length - 1 && isegVar >= 0);
1022
Contracts.
Assert
((InternalDataKind)(byte)rawKind == rawKind);
1623
Contracts.
Assert
(false);
DataLoadSave\Text\TextLoaderCursor.cs (28)
51
Contracts.
Assert
(active == null || active.Length == parent._bindings.OutputSchema.Count);
72
Contracts.
Assert
(srcNeeded >= 0);
143
Contracts.
Assert
(active == null || active.Length == parent._bindings.OutputSchema.Count);
148
Contracts.
Assert
(cthd > 0);
160
Contracts.
Assert
(active == null || active.Length == parent._bindings.OutputSchema.Count);
165
Contracts.
Assert
(cthd > 0);
212
Contracts.
Assert
(count > 0);
223
Contracts.
Assert
(batch.Exception == null);
396
Contracts.
Assert
(line > 0);
424
Contracts.
Assert
(files.Count >= 0);
425
Contracts.
Assert
(batchSize >= 2);
426
Contracts.
Assert
(bufSize > 0);
427
Contracts.
Assert
(limit >= 0);
428
Contracts.
Assert
(cref > 0);
446
Contracts.
Assert
(n >= 0);
687
Contracts.
Assert
(_batchSize >= 2);
805
Contracts.
Assert
(0 <= total);
806
Contracts.
Assert
(0 <= index && index < Utils.Size(infos));
853
Contracts.
Assert
(0 <= irowMin && irowMin < irowLim);
854
Contracts.
Assert
(total >= 0);
895
Contracts.
Assert
(cthd > 0);
951
Contracts.
Assert
(0 <= tid && tid < _threads.Length);
975
Contracts.
Assert
(iblk < _blockCount - 3);
998
Contracts.
Assert
(lines.Exception == null);
1003
Contracts.
Assert
(lines.Infos.Length <= BlockSize);
1009
Contracts.
Assert
(info.Line > 0);
1016
Contracts.
Assert
(irow == batch.IrowLim);
1036
Contracts.
Assert
(0 <= iblk && iblk < _blockCount);
DataLoadSave\Text\TextLoaderParser.cs (86)
86
Contracts.
Assert
(type.IsStandardScalar() || type is KeyDataViewType);
87
Contracts.
Assert
(typeof(T) == type.RawType);
99
Contracts.
Assert
(type.IsStandardScalar() || type is KeyDataViewType);
100
Contracts.
Assert
(typeof(T) == type.RawType);
120
Contracts.
Assert
(0 <= index && index < _creatorsOne.Length);
127
Contracts.
Assert
(0 <= index && index < _creatorsOne.Length);
262
Contracts.
Assert
(typeof(TResult) == type.RawType);
271
Contracts.
Assert
(0 <= irow && irow < _values.Length);
272
Contracts.
Assert
(size == 0);
278
Contracts.
Assert
(0 <= irow && irow < _values.Length);
279
Contracts.
Assert
(index == 0);
286
Contracts.
Assert
(-1 <= index && index < Rows.Count);
332
Contracts.
Assert
(_size > 0);
333
Contracts.
Assert
(-1 <= _indexPrev);
334
Contracts.
Assert
(_indexPrev < _size);
335
Contracts.
Assert
(0 <= _count);
336
Contracts.
Assert
(_count <= _size);
337
Contracts.
Assert
(_count <= _values.Length);
343
Contracts.
Assert
(_count <= _size / 2);
344
Contracts.
Assert
(_count <= _indices.Length);
350
Contracts.
Assert
(size >= 0);
360
Contracts.
Assert
(_indexPrev < index && index < _size);
393
Contracts.
Assert
(ii <= i);
408
Contracts.
Assert
(_count == _size);
445
Contracts.
Assert
(typeof(TItem) == type.RawType);
456
Contracts.
Assert
(0 <= irow && irow < _values.Length);
457
Contracts.
Assert
(size >= 0);
463
Contracts.
Assert
(0 <= irow && irow < _values.Length);
470
Contracts.
Assert
(-1 <= index && index < Rows.Count);
503
Contracts.
Assert
(count > 0);
584
Contracts.
Assert
(line >= 0);
622
Contracts.
Assert
(0 <= Count && Count <= Indices.Length && Indices.Length <= Spans.Length);
630
Contracts.
Assert
(Count == 0);
713
Contracts.
Assert
(itemType is KeyDataViewType || itemType.IsStandardScalar());
731
Contracts.
Assert
(_inputSize >= 0);
773
Contracts.
Assert
(!textHeader.IsEmpty);
774
Contracts.
Assert
(infos.Length == slotNames.Length);
801
Contracts.
Assert
(!seg.IsVariable);
806
Contracts.
Assert
(ivDst <= info.SizeBase - sizeSeg);
813
Contracts.
Assert
(isrc < isrcLim);
817
Contracts.
Assert
(min <= srcCur && srcCur < lim);
823
Contracts.
Assert
(ivDst == info.SizeBase);
831
Contracts.
Assert
(active == null || active.Length == _creator.Length);
863
Contracts.
Assert
(irow >= 0);
864
Contracts.
Assert
(helper is HelperImpl);
865
Contracts.
Assert
(active == null || Utils.Size(active) == _infos.Length);
893
Contracts.
Assert
(srcNeeded >= 0);
931
Contracts.
Assert
(inputSize >= 0);
932
Contracts.
Assert
(srcNeeded >= 0);
933
Contracts.
Assert
(inputSize == 0 || srcNeeded < inputSize);
981
Contracts.
Assert
(scan.IchMinBuf <= scan.IchMinNext && scan.IchMinNext <= scan.IchLimBuf);
988
Contracts.
Assert
(scan.IchMinBuf <= scan.IchMinNext && scan.IchMinNext <= scan.IchLimBuf);
990
Contracts.
Assert
(scan.IchMinBuf <= scan.IchMinNext && scan.IchMinNext <= scan.IchLimBuf);
991
Contracts.
Assert
(scan.Index == -1);
1026
Contracts.
Assert
(scan.IchMinBuf <= scan.IchMinNext && scan.IchMinNext <= scan.IchLimBuf);
1028
Contracts.
Assert
(scan.IchMinBuf <= scan.IchMinNext && scan.IchMinNext <= scan.IchLimBuf);
1029
Contracts.
Assert
(scan.Index >= -1);
1056
Contracts.
Assert
(src - 1 <= srcNeeded);
1090
Contracts.
Assert
(srcNeeded < inputSize);
1139
Contracts.
Assert
(inputSize > 0);
1140
Contracts.
Assert
(csrcSparse == inputSize - srcLimFixed);
1146
Contracts.
Assert
(scan.IchMinBuf <= scan.IchMinNext && scan.IchMinNext <= scan.IchLimBuf);
1177
Contracts.
Assert
(ichCol <= ichEnd);
1206
Contracts.
Assert
(ichCur < ichLim);
1217
Contracts.
Assert
(ichCur <= ichLim);
1245
Contracts.
Assert
(ichCur <= ichLim);
1316
Contracts.
Assert
(ichCur <= ichLim);
1327
Contracts.
Assert
(ichCur <= ichLim);
1338
Contracts.
Assert
(ichCur <= ichLim);
1359
Contracts.
Assert
(_seps.Contains(span[ichCur]));
1367
Contracts.
Assert
(active == null || Utils.Size(active) == _infos.Length);
1370
Contracts.
Assert
(0 <= irow && irow < rows.Count);
1378
Contracts.
Assert
(v != null);
1389
Contracts.
Assert
(srcLim >= 0);
1390
Contracts.
Assert
(info.ColType is VectorDataViewType);
1391
Contracts.
Assert
(info.SizeBase > 0 || info.IsegVariable >= 0);
1401
Contracts.
Assert
(sizeVar >= 0);
1409
Contracts.
Assert
(seg.IsVariable == (i == info.IsegVariable));
1416
Contracts.
Assert
(lim == min + sizeVar);
1419
Contracts.
Assert
(ivDst <= size - sizeSeg);
1426
Contracts.
Assert
(isrc < isrcLim);
1430
Contracts.
Assert
(min <= srcCur && srcCur < lim);
1454
Contracts.
Assert
(ivDst == size);
1459
Contracts.
Assert
(!(info.ColType is VectorDataViewType));
1460
Contracts.
Assert
(Utils.Size(info.Segments) == 1);
1461
Contracts.
Assert
(info.Segments[0].Lim == info.Segments[0].Min + 1);
DataLoadSave\Text\TextSaver.cs (16)
100
Contracts.
Assert
(type.IsStandardScalar() || type is KeyDataViewType);
101
Contracts.
Assert
(type.RawType == typeof(T));
591
Contracts.
Assert
(len >= 0);
607
Contracts.
Assert
(len >= 0);
629
Contracts.
Assert
(_mpcoldst[_col] == 0);
630
Contracts.
Assert
(_mpcolslot[_col] == 0);
647
Contracts.
Assert
(0 <= _col && _col < _pipes.Length);
678
Contracts.
Assert
(_col < _pipes.Length);
689
Contracts.
Assert
(_col == _pipes.Length);
761
Contracts.
Assert
(_col == _pipes.Length);
762
Contracts.
Assert
(dstLim <= _dstBase);
771
Contracts.
Assert
(slot == _slotLim || slot < _slotLim && dst <= _mpslotdst[slot]);
779
Contracts.
Assert
(col < _pipes.Length);
820
Contracts.
Assert
(ichCur < ichLim);
834
Contracts.
Assert
(ichRun == ichMin);
846
Contracts.
Assert
(ichCur == ichLim);
DataLoadSave\Transpose\TransposeLoader.cs (2)
223
Contracts.
Assert
(view != null);
711
Contracts.
Assert
(pos <= int.MaxValue);
DataView\ArrayDataViewBuilder.cs (3)
383
Contracts.
Assert
(typeof(TOut) == type.RawType);
413
Contracts.
Assert
(0 <= index && index < _values.Length);
465
Contracts.
Assert
(itemType.RawType == typeof(TOut));
DataView\BatchDataViewMapperBase.cs (1)
48
Contracts.
Assert
(active.Length == SchemaBindings.ColumnCount);
DataView\CacheDataView.cs (22)
613
Contracts.
Assert
(rowCount.HasValue);
620
Contracts.
Assert
(pos >= 0);
670
Contracts.
Assert
(pred(c));
768
Contracts.
Assert
(_curr >= 0);
785
Contracts.
Assert
(_curr >= -1); // Should not be called when _curr = -2.
833
Contracts.
Assert
(0 <= _curr && _curr < _perm.Length);
849
Contracts.
Assert
(_curr >= -1); // Should not be called when _curr = -2.
852
Contracts.
Assert
(_perm[_curr] >= 0);
856
Contracts.
Assert
(result);
969
Contracts.
Assert
(_curr >= 0);
985
Contracts.
Assert
(_curr >= -1);
990
Contracts.
Assert
(_reserved);
1004
Contracts.
Assert
(_waiter.Wait(_curr));
1012
Contracts.
Assert
((_curr & _batchMask) < _batchMask);
1075
Contracts.
Assert
(0 <= _curr && _curr < _perm.Length);
1091
Contracts.
Assert
(_curr >= -1); // Should not be called when _curr = -2.
1109
Contracts.
Assert
(0 <= _curr && _curr <= _currMax);
1111
Contracts.
Assert
(result);
1440
Contracts.
Assert
(0 <= _rowCount && _rowCount < int.MaxValue);
1450
Contracts.
Assert
(0 <= idx && idx < _rowCount);
1469
Contracts.
Assert
(0 <= srcCol && srcCol < input.Schema.Count);
1470
Contracts.
Assert
(input.Schema[srcCol].Type.RawType == typeof(T));
DataView\DataViewConstructionUtils.cs (7)
878
Contracts.
Assert
(value != null);
917
Contracts.
Assert
(AnnotationType is VectorDataViewType);
941
Contracts.
Assert
(typeT.IsGenericType);
943
Contracts.
Assert
(typeT.GetGenericTypeDefinition() == typeof(VBuffer<>));
947
Contracts.
Assert
(itemType == annotationVectorType.ItemType.RawType);
957
Contracts.
Assert
(AnnotationType is TextDataViewType);
962
Contracts.
Assert
(AnnotationType.RawType == typeT);
DataView\InternalSchemaDefinition.cs (10)
100
Contracts.
Assert
(IsComputed == (Generator != null));
103
Contracts.
Assert
((Generator == null) != (MemberInfo == null));
113
Contracts.
Assert
(parameterTypes.Length == 3);
114
Contracts.
Assert
(parameterTypes[2].IsByRef);
115
Contracts.
Assert
(parameterTypes[1] == typeof(long));
116
Contracts.
Assert
(!(parameterTypes[0].GetTypeInfo().IsPrimitive || parameterTypes[0] == typeof(string)));
119
Contracts.
Assert
(Generator.GetMethodInfo().ReturnType == typeof(void));
123
Contracts.
Assert
(isVector == ColumnType is VectorDataViewType);
124
Contracts.
Assert
(itemType == ColumnType.GetItemType().RawType);
158
Contracts.
Assert
(false);
DataView\RowToRowMapperTransform.cs (5)
151
Contracts.
Assert
(active.Length == n);
154
Contracts.
Assert
(activeInput.Length == _bindings.InputSchema.Count);
171
Contracts.
Assert
(active.Length == _bindings.Schema.Count);
176
Contracts.
Assert
(0 <= col && col < _bindings.AddedColumnIndices.Count);
337
Contracts.
Assert
(originFn != null);
DataView\Transposer.cs (16)
914
Contracts.
Assert
(0 <= col && col < view.Schema.Count);
926
Contracts.
Assert
(type is PrimitiveDataViewType || vectorSize > 0);
953
Contracts.
Assert
(Utils.IsIncreasing(1, ends, vectorSize + 1));
986
Contracts.
Assert
(input.IsColumnActive(input.Schema[parent.SrcCol]));
1011
Contracts.
Assert
(_view.Schema[col].Type.RawType == typeof(T));
1025
Contracts.
Assert
(row.Schema == _view.Schema);
1027
Contracts.
Assert
(row.IsColumnActive(row.Schema[SrcCol]));
1038
Contracts.
Assert
(Parent.ColumnCount == 1);
1096
Contracts.
Assert
(Utils.Size(lims) >= 2);
1098
Contracts.
Assert
(type.Size > 0);
1099
Contracts.
Assert
(type.ItemType.RawType == typeof(T));
1100
Contracts.
Assert
(Utils.IsIncreasing(0, lims, type.Size + 1));
1101
Contracts.
Assert
(lims[lims.Length - 1] == type.Size);
1119
Contracts.
Assert
(row.Schema == _view.Schema);
1121
Contracts.
Assert
(row.IsColumnActive(row.Schema[SrcCol]));
1227
Contracts.
Assert
(_inputValue.Length == Parent._lims[Parent._lims.Length - 1]);
DataView\TypedCursor.cs (2)
244
Contracts.
Assert
(false);
501
Contracts.
Assert
(peek == null);
DataView\ZipBinding.cs (2)
77
Contracts.
Assert
(0 <= srcIndex && srcIndex < _cumulativeColCounts.Length);
79
Contracts.
Assert
(0 <= srcCol && srcCol < _sources[srcIndex].Count);
Deprecated\Instances\HeaderSchema.cs (13)
46
Contracts.
Assert
(col == 0);
56
Contracts.
Assert
(nameList.Count == indexList.Count);
130
Contracts.
Assert
(iv == cnn);
248
Contracts.
Assert
(0 <= index && index < Count);
298
Contracts.
Assert
(count >= 0);
376
Contracts.
Assert
(count >= 0);
381
Contracts.
Assert
(size > 2 * cnn);
391
Contracts.
Assert
(cv < cnn);
397
Contracts.
Assert
(cv == cnn);
409
Contracts.
Assert
(count >= 0);
412
Contracts.
Assert
(indices.Length == names.Length);
413
Contracts.
Assert
(indices.Length <= count);
441
Contracts.
Assert
(iv == _indices.FindIndexSorted(index));
Deprecated\Vector\GenericSpanSortHelper.cs (18)
91
Contracts.
Assert
(left >= 0);
92
Contracts.
Assert
(length >= 0);
93
Contracts.
Assert
(length <= keys.Length);
94
Contracts.
Assert
(length + left <= keys.Length);
95
Contracts.
Assert
(length + left <= values.Length);
105
Contracts.
Assert
(lo >= 0);
106
Contracts.
Assert
(hi < keys.Length);
150
Contracts.
Assert
(lo >= 0);
151
Contracts.
Assert
(hi > lo);
152
Contracts.
Assert
(hi < keys.Length);
193
Contracts.
Assert
(lo >= 0);
194
Contracts.
Assert
(hi > lo);
195
Contracts.
Assert
(hi < keys.Length);
211
Contracts.
Assert
(lo >= 0);
212
Contracts.
Assert
(lo < keys.Length);
236
Contracts.
Assert
(lo >= 0);
237
Contracts.
Assert
(hi >= lo);
238
Contracts.
Assert
(hi <= keys.Length);
Deprecated\Vector\VBufferMathUtils.cs (15)
117
Contracts.
Assert
(length == count);
205
Contracts.
Assert
(length > 0);
270
Contracts.
Assert
(dMin - dLim <= src.Length);
308
Contracts.
Assert
(dLim < dstValues.Length);
325
Contracts.
Assert
(iDD == iS + dMin);
327
Contracts.
Assert
(iDD >= iD);
346
Contracts.
Assert
(iDD >= iD);
418
Contracts.
Assert
(-1 <= ind && ind < srcValues.Length);
426
Contracts.
Assert
(srcIndices[ind] >= ind);
439
Contracts.
Assert
(ind <= srcIndices.Length);
440
Contracts.
Assert
(ind == srcIndices.Length || ind < srcIndices[ind]);
454
Contracts.
Assert
(-1 <= ind && ind < srcValues.Length);
462
Contracts.
Assert
(srcIndices[ind] >= ind);
475
Contracts.
Assert
(ind <= srcIndices.Length);
476
Contracts.
Assert
(ind == srcIndices.Length || ind < srcIndices[ind]);
Deprecated\Vector\VectorUtils.cs (9)
97
Contracts.
Assert
(bottomHeap.Count == bottom);
110
Contracts.
Assert
(topHeap.Count == top);
132
Contracts.
Assert
(count == newCount);
175
Contracts.
Assert
(valuesA.Length == indicesA.Length);
176
Contracts.
Assert
(valuesB.Length == indicesB.Length);
235
Contracts.
Assert
(0 <= length && length <= valuesA.Length);
236
Contracts.
Assert
(0 <= length && length <= valuesB.Length);
323
Contracts.
Assert
(0 <= ia && ia < iaLim && iaLim <= aIndices.Length);
324
Contracts.
Assert
(0 <= ib && ib < ibLim && ibLim <= bIndices.Length);
Dirty\PredictionUtils.cs (1)
43
Contracts.
Assert
(false);
EntryPoints\EntryPointNode.cs (6)
64
Contracts.
Assert
(CheckType(typeof(T)));
104
Contracts.
Assert
(Var<T>.CheckType(typeof(T)));
110
Contracts.
Assert
(Var<T>.CheckType(typeof(T)));
139
Contracts.
Assert
(Var<T>.CheckType(typeof(T)));
205
Contracts.
Assert
(variableType.IsGenericType && variableType.GetGenericTypeDefinition() == typeof(Dictionary<,>)
1177
Contracts.
Assert
(index >= 0);
EntryPoints\InputBuilder.cs (9)
234
Contracts.
Assert
(bindings.Count > 0);
239
Contracts.
Assert
(bindings.Count == 1);
241
Contracts.
Assert
(success);
252
Contracts.
Assert
(parameterBinding is ArrayIndexParameterBinding);
254
Contracts.
Assert
(success);
264
Contracts.
Assert
(paramBinding is DictionaryKeyParameterBinding);
348
Contracts.
Assert
(success);
360
Contracts.
Assert
(success);
393
Contracts.
Assert
(type.IsGenericType && type.GetGenericTypeDefinition() == typeof(Optional<>));
Evaluators\AnomalyDetectionEvaluator.cs (4)
244
Contracts.
Assert
(!Single.IsNaN(label));
282
Contracts.
Assert
(truePositives <= NumAnomalies);
570
Contracts.
Assert
(!IsActive());
724
Contracts.
Assert
(hasStrat == hasStratVals);
Evaluators\AucAggregator.cs (3)
47
Contracts.
Assert
(reservoirSize >= -1);
91
Contracts.
Assert
(_negReservoir != null);
376
Contracts.
Assert
(reservoirSize > 0);
Evaluators\BinaryClassifierEvaluator.cs (3)
702
Contracts.
Assert
(!IsActive());
1129
Contracts.
Assert
(FloatUtils.IsFinite(_threshold));
1131
Contracts.
Assert
(!string.IsNullOrEmpty(_probCol) || _useRaw);
Evaluators\ClusteringEvaluator.cs (3)
329
Contracts.
Assert
(features.HasValue);
339
Contracts.
Assert
(Utils.Size(scores) == _numClusters);
340
Contracts.
Assert
(Utils.Size(indices) == _numClusters);
Evaluators\EvaluatorBase.cs (2)
409
Contracts.
Assert
(stratType.RawType == typeof(TStrat));
417
Contracts.
Assert
(col.HasValue);
Evaluators\EvaluatorUtils.cs (8)
70
Contracts.
Assert
(map.ContainsKey(kind));
512
Contracts.
Assert
(src.Length == Utils.Size(map));
536
Contracts.
Assert
(src.Length == Utils.Size(map));
1211
Contracts.
Assert
(iMetric == metricNames.Count);
1248
Contracts.
Assert
(dst.IsDense);
1551
Contracts.
Assert
(sumSqMetrics != null || numFolds == 1);
1611
Contracts.
Assert
(rowDigitLen >= 1);
1614
Contracts.
Assert
((rowDigitLen == 0) == !useNumbersInHeader);
Evaluators\MultiOutputRegressionEvaluator.cs (6)
241
Contracts.
Assert
(size > 0);
250
Contracts.
Assert
(length == _l1Loss.Length);
251
Contracts.
Assert
(score.Length >= length);
252
Contracts.
Assert
(label.Length >= length);
304
Contracts.
Assert
(PassNum < 1);
305
Contracts.
Assert
(schema.Label.HasValue);
Evaluators\QuantileRegressionEvaluator.cs (3)
125
Contracts.
Assert
(size > 0);
193
Contracts.
Assert
(SumWeights > 0);
194
Contracts.
Assert
(src.IsDense);
Evaluators\RankingEvaluator.cs (13)
356
Contracts.
Assert
(truncationLevel > 0);
454
Contracts.
Assert
(PassNum < 1);
455
Contracts.
Assert
(schema.Label.HasValue);
456
Contracts.
Assert
(schema.Group.HasValue);
649
Contracts.
Assert
(0 <= iinfo && iinfo < InfoCount);
655
Contracts.
Assert
(0 <= iinfo && iinfo < InfoCount);
663
Contracts.
Assert
(0 <= iinfo && iinfo < InfoCount);
671
Contracts.
Assert
(0 <= iinfo && iinfo < InfoCount);
682
Contracts.
Assert
(0 <= iinfo && iinfo < InfoCount);
839
Contracts.
Assert
(0 < truncationLevel);
999
Contracts.
Assert
(Utils.Size(groupMaxDcgCur) == truncationLevel);
1061
Contracts.
Assert
(0 <= i && i < queryLabels.Count && i < queryOutputs.Count);
1062
Contracts.
Assert
(0 <= j && j < queryLabels.Count && j < queryOutputs.Count);
Evaluators\RegressionEvaluatorBase.cs (2)
202
Contracts.
Assert
(PassNum < 1);
203
Contracts.
Assert
(schema.Label.HasValue);
Model\Pfa\ModelUtils.cs (1)
27
Contracts.
Assert
(1 < firstNonUpper && firstNonUpper <= name.Length);
Prediction\Calibrator.cs (6)
623
Contracts.
Assert
(model != null);
630
Contracts.
Assert
(model != null);
1031
Contracts.
Assert
(predictor != null);
1859
Contracts.
Assert
(minX <= maxX);
1861
Contracts.
Assert
(0 <= value && value <= 1);
1862
Contracts.
Assert
(n >= 0);
Scorers\ClusteringScorer.cs (3)
96
Contracts.
Assert
(output.Schema == Bindings.RowMapper.OutputSchema);
97
Contracts.
Assert
(output.IsColumnActive(output.Schema[Bindings.ScoreColumnIndex]));
131
Contracts.
Assert
(Utils.Size(mapperOutputs) == 1);
Scorers\FeatureContributionCalculation.cs (2)
183
Contracts.
Assert
(0 <= _topContributionsCount);
185
Contracts.
Assert
(0 <= _bottomContributionsCount);
Scorers\GenericScorer.cs (3)
44
Contracts.
Assert
(DerivedColumnCount == 0);
57
Contracts.
Assert
(mapper.InputSchema == input);
77
Contracts.
Assert
(mapper.InputRoleMappedSchema.Schema == input);
Scorers\MulticlassClassificationScorer.cs (6)
193
Contracts.
Assert
(_type.ItemType.RawType == typeof(T));
194
Contracts.
Assert
(_getter is ValueGetter<VBuffer<T>>);
216
Contracts.
Assert
(_bindable is IBindableCanSavePfa);
225
Contracts.
Assert
(_bindable is IBindableCanSaveOnnx);
234
Contracts.
Assert
(innerBound is ISchemaBoundRowMapper);
599
Contracts.
Assert
(Utils.Size(mapperOutputs) == 1);
Scorers\PredictedLabelScorerBase.cs (9)
57
Contracts.
Assert
(DerivedColumnCount == 1);
77
Contracts.
Assert
(trainLabelColVecType.Size > 0);
87
Contracts.
Assert
(metaCol.Type.RawType == typeof(T));
173
Contracts.
Assert
(0 <= iinfo && iinfo < InfoCount);
181
Contracts.
Assert
(0 <= iinfo && iinfo < InfoCount);
204
Contracts.
Assert
(0 <= iinfo && iinfo < InfoCount);
248
Contracts.
Assert
(0 <= iinfo && iinfo < InfoCount);
255
Contracts.
Assert
(0 <= iinfo && iinfo < DerivedColumnCount);
261
Contracts.
Assert
(DerivedColumnCount == 1);
Scorers\RowToRowScorerBase.cs (14)
91
Contracts.
Assert
(active.Length == bindings.ColumnCount);
94
Contracts.
Assert
(activeInput.Length == bindings.Input.Count);
207
Contracts.
Assert
(0 <= col && col < row.Schema.Count);
208
Contracts.
Assert
(row.IsColumnActive(row.Schema[col]));
217
Contracts.
Assert
(0 <= col && col < output.Schema.Count);
218
Contracts.
Assert
(output.IsColumnActive(output.Schema[col]));
376
Contracts.
Assert
(dst == count);
430
Contracts.
Assert
(DerivedColumnCount <= iinfo && iinfo < InfoCount);
436
Contracts.
Assert
(0 <= iinfo && iinfo < InfoCount);
447
Contracts.
Assert
(0 <= iinfo && iinfo < InfoCount);
457
Contracts.
Assert
(0 <= iinfo && iinfo < InfoCount);
478
Contracts.
Assert
(active.Length == ColumnCount);
483
Contracts.
Assert
(0 <= col && col < Mapper.OutputSchema.Count);
491
Contracts.
Assert
(0 <= iinfo && iinfo < InfoCount);
Scorers\SchemaBindablePredictorWrapper.cs (28)
98
Contracts.
Assert
(ValueMapper is ISingleCanSavePfa);
112
Contracts.
Assert
(ValueMapper is ISingleCanSaveOnnx);
160
Contracts.
Assert
(0 <= colSrc && colSrc < input.Schema.Count);
169
Contracts.
Assert
(ValueMapper != null);
209
Contracts.
Assert
(schema.Feature.HasValue);
210
Contracts.
Assert
(outputSchema.Count == 1);
328
Contracts.
Assert
(ValueMapper is ISingleCanSavePfa);
329
Contracts.
Assert
(schema.Feature.HasValue);
330
Contracts.
Assert
(Utils.Size(outputNames) == 1); // Score.
344
Contracts.
Assert
(ValueMapper is ISingleCanSaveOnnx);
345
Contracts.
Assert
(schema.Feature.HasValue);
346
Contracts.
Assert
(Utils.Size(outputNames) <= 2); // PredictedLabel and/or Score.
351
Contracts.
Assert
(ctx.ContainsColumn(featName));
435
Contracts.
Assert
(ValueMapper is IDistCanSavePfa);
436
Contracts.
Assert
(schema.Feature.HasValue);
437
Contracts.
Assert
(Utils.Size(outputNames) == 2); // Score and prob.
447
Contracts.
Assert
(ctx.TokenOrNullForName(outputNames[0]) == scoreToken.ToString());
448
Contracts.
Assert
(ctx.TokenOrNullForName(outputNames[1]) == probToken.ToString());
458
Contracts.
Assert
(Utils.Size(outputNames) == 3); // Predicted Label, Score and Probability.
463
Contracts.
Assert
(schema.Label.HasValue);
471
Contracts.
Assert
(ctx.ContainsColumn(featName));
520
Contracts.
Assert
(parent._distMapper != null);
555
Contracts.
Assert
(Utils.Size(active) == 2);
556
Contracts.
Assert
(_parent._distMapper != null);
701
Contracts.
Assert
(0 <= colSrc && colSrc < input.Schema.Count);
705
Contracts.
Assert
(typeSrc != null && typeSrc.ItemType == NumberDataViewType.Single);
706
Contracts.
Assert
(ValueMapper == null ||
708
Contracts.
Assert
(Utils.Size(_quantiles) > 0);
Training\TrainerUtils.cs (15)
56
Contracts.
Assert
(!col.IsHidden);
70
Contracts.
Assert
(data.Schema.Feature.HasValue);
72
Contracts.
Assert
(!col.IsHidden);
74
Contracts.
Assert
(colType != null && colType.IsKnownSize);
75
Contracts.
Assert
(colType.ItemType == NumberDataViewType.Single);
89
Contracts.
Assert
(!col.IsHidden);
124
Contracts.
Assert
(!data.Schema.Schema[col.Index].IsHidden);
144
Contracts.
Assert
(!col.IsHidden);
192
Contracts.
Assert
(!col.IsHidden);
206
Contracts.
Assert
(!col.IsHidden);
218
Contracts.
Assert
(!col.IsHidden);
653
Contracts.
Assert
(Utils.Size(inputs) > 0);
697
Contracts.
Assert
(lim > 0);
707
Contracts.
Assert
(_count < _lim);
970
Contracts.
Assert
(classCount >= 0);
Transforms\ColumnBindingsBase.cs (33)
317
Contracts.
Assert
(nameof(ValueToKeyMappingTransformer.Options.Columns) == standardColumnArgName);
318
Contracts.
Assert
(nameof(ColumnConcatenatingTransformer.Options.Columns) == standardColumnArgName);
341
Contracts.
Assert
(_nameToInfoIndex.Count == names.Length);
373
Contracts.
Assert
(mapIinfoToCol[iinfo] <= 0);
382
Contracts.
Assert
(colMap[colSrc] <= 0);
385
Contracts.
Assert
(colDst > 1);
387
Contracts.
Assert
(0 <= iinfo && iinfo < names.Length);
388
Contracts.
Assert
(mapIinfoToCol[iinfo] == ~colSrc);
392
Contracts.
Assert
(colDst > 0);
395
Contracts.
Assert
(colDst == 0);
419
Contracts.
Assert
(0 <= col && col < _colMap.Length);
424
Contracts.
Assert
(0 <= index && index < InfoCount);
429
Contracts.
Assert
(index < Input.Count);
442
Contracts.
Assert
(0 <= iinfo && iinfo < InfoCount);
458
Contracts.
Assert
(0 <= iinfo && iinfo < InfoCount);
469
Contracts.
Assert
(0 <= src && src < Input.Count);
473
Contracts.
Assert
(0 <= res && res < ColumnCount);
474
Contracts.
Assert
(_colMap[res] <= src);
517
Contracts.
Assert
(0 <= index && index < InfoCount);
530
Contracts.
Assert
(0 <= index && index < InfoCount);
545
Contracts.
Assert
(0 <= index && index < InfoCount);
558
Contracts.
Assert
(0 <= iinfo && iinfo < InfoCount);
566
Contracts.
Assert
(0 <= iinfo && iinfo < InfoCount);
573
Contracts.
Assert
(0 <= iinfo && iinfo < InfoCount);
580
Contracts.
Assert
(0 <= iinfo && iinfo < InfoCount);
611
Contracts.
Assert
(-InfoCount <= src && src < Input.Count);
717
Contracts.
Assert
(indices.Count == addedColumns.Length + input.Count);
731
Contracts.
Assert
(addedIndices[~colIndex] == 0);
749
Contracts.
Assert
(0 <= col && col < _colMap.Length);
754
Contracts.
Assert
(index < AddedColumnIndices.Count);
759
Contracts.
Assert
(index < InputSchema.Count);
778
Contracts.
Assert
(-AddedColumnIndices.Count <= src && src < InputSchema.Count);
847
Contracts.
Assert
(ich >= ichMin - 1);
Transforms\ColumnConcatenatingTransformer.cs (24)
186
Contracts.
Assert
(_sources.Length > 0);
274
Contracts.
Assert
(_columns.Length > 0);
443
Contracts.
Assert
(0 <= iinfo && iinfo < _parent._columns.Length);
497
Contracts.
Assert
(typeCat.Length > 0);
599
Contracts.
Assert
(_srcTypes[i].GetValueCount() > 0);
606
Contracts.
Assert
(values.Length > 0 && values.Length % 2 == 0);
613
Contracts.
Assert
(allValues.Count > 0);
620
Contracts.
Assert
(!_isIdentity);
621
Contracts.
Assert
(OutputType.Size > 0);
624
Contracts.
Assert
(_slotNamesType.Size == OutputType.Size);
636
Contracts.
Assert
(_columnOptions.Sources[i].alias != "");
645
Contracts.
Assert
(vectorTypeSrc.IsKnownSize);
670
Contracts.
Assert
(slot == OutputType.Size);
685
Contracts.
Assert
(SrcIndices.Length == 1);
741
Contracts.
Assert
(offset < dstLength);
746
Contracts.
Assert
(bufferValues.Length <= dstCount - count);
747
Contracts.
Assert
(buffer.Length <= dstLength - offset);
769
Contracts.
Assert
(count < dstCount);
776
Contracts.
Assert
(count <= dstCount);
777
Contracts.
Assert
(offset == dstLength);
788
Contracts.
Assert
(tmpBufs[j].Length <= dstLength - offset);
800
Contracts.
Assert
(offset == dstLength);
823
Contracts.
Assert
(srcTokens.All(tok => tok != null));
903
Contracts.
Assert
(CanSaveOnnx(ctx));
Transforms\ColumnSelecting.cs (2)
345
Contracts.
Assert
(Enum.IsDefined(typeof(HiddenColumnOption), hiddenOption));
361
Contracts.
Assert
(Enum.IsDefined(typeof(HiddenColumnOption), colHiddenOption));
Transforms\FeatureContributionCalculationTransformer.cs (2)
143
Contracts.
Assert
(0 <= Top);
145
Contracts.
Assert
(0 <= Bottom);
Transforms\GenerateNumberTransform.cs (8)
109
Contracts.
Assert
(Utils.Size(useCounter) == InfoCount);
110
Contracts.
Assert
(Utils.Size(states) == InfoCount);
192
Contracts.
Assert
(0 <= iinfo && iinfo < InfoCount);
198
Contracts.
Assert
(0 <= iinfo && iinfo < InfoCount);
207
Contracts.
Assert
(0 <= iinfo && iinfo < InfoCount);
215
Contracts.
Assert
(0 <= iinfo && iinfo < InfoCount);
227
Contracts.
Assert
(0 <= iinfo && iinfo < InfoCount);
236
Contracts.
Assert
(active.Length == Input.Count);
Transforms\Hashing.cs (14)
1000
Contracts.
Assert
(Utils.IsPowerOfTwo(mask + 1));
1002
Contracts.
Assert
(0 <= srcCol && srcCol < input.Schema.Count);
1003
Contracts.
Assert
(input.Schema[srcCol].Type.RawType == typeof(T));
1026
Contracts.
Assert
(Utils.IsPowerOfTwo(mask + 1));
1144
Contracts.
Assert
(Utils.IsPowerOfTwo(mask + 1));
1282
Contracts.
Assert
(Utils.IsPowerOfTwo(mask + 1));
1574
Contracts.
Assert
(_srcType.GetItemType().RawType == typeof(T));
1680
Contracts.
Assert
(_value.IsDense == _hash.IsDense);
1681
Contracts.
Assert
(_value.Length == _hash.Length);
1682
Contracts.
Assert
(valueValues.Length == hashValues.Length);
1725
Contracts.
Assert
(_value.IsDense == _hash.IsDense);
1726
Contracts.
Assert
(_value.Length == _hash.Length);
1727
Contracts.
Assert
(valueValues.Length == hashValues.Length);
1879
Contracts.
Assert
(NumBitsMin <= NumberOfBits && NumberOfBits < NumBitsLim);
Transforms\InvertHashUtils.cs (13)
38
Contracts.
Assert
(0 <= col && col < schema.Count);
40
Contracts.
Assert
(type.RawType == typeof(T));
119
Contracts.
Assert
(order >= 0);
173
Contracts.
Assert
(slots > 0);
174
Contracts.
Assert
(maxCount > 0);
192
Contracts.
Assert
(Utils.Size(pairs) > 0);
211
Contracts.
Assert
(sb.Length == 0);
232
Contracts.
Assert
(count <= _slots);
247
Contracts.
Assert
(0 <= p.Key && p.Key < _slots);
251
Contracts.
Assert
(i == count);
261
Contracts.
Assert
(0 <= p.Key && p.Key < _slots);
273
Contracts.
Assert
(0 <= dstSlot && dstSlot < _slots);
288
Contracts.
Assert
(0 <= dstSlot && dstSlot < _slots);
Transforms\KeyToValue.cs (1)
228
Contracts.
Assert
(types[iinfo] == null);
Transforms\KeyToVector.cs (4)
405
Contracts.
Assert
(slot == (long)kvpSlot.Key * keyCount);
663
Contracts.
Assert
(0 <= iinfo && iinfo < _infos.Length);
664
Contracts.
Assert
(_infos[iinfo] == info);
666
Contracts.
Assert
(CanSavePfa);
Transforms\LabelConvertTransform.cs (5)
86
Contracts.
Assert
(Infos.Length == Utils.Size(args.Columns));
139
Contracts.
Assert
(0 <= iinfo && iinfo < Infos.Length);
162
Contracts.
Assert
(0 <= iinfo && iinfo < Infos.Length);
174
Contracts.
Assert
(0 <= iinfo && iinfo < Infos.Length);
179
Contracts.
Assert
(RowCursorUtils.TestGetLabelGetter(typeSrc) == null);
Transforms\MetadataDispatcher.cs (2)
216
Contracts.
Assert
(_sealed);
444
Contracts.
Assert
(_info != null);
Transforms\NAFilter.cs (4)
296
Contracts.
Assert
(!(info.Type is VectorDataViewType));
297
Contracts.
Assert
(info.Type.RawType == typeof(T));
308
Contracts.
Assert
(info.Type is VectorDataViewType);
309
Contracts.
Assert
(info.Type.RawType == typeof(VBuffer<T>));
Transforms\NormalizeColumn.cs (5)
1272
Contracts.
Assert
(m2 >= 0);
1273
Contracts.
Assert
(count >= 0);
1274
Contracts.
Assert
(numZeros >= 0);
1282
Contracts.
Assert
(d2 >= 0);
1284
Contracts.
Assert
(m2 >= 0);
Transforms\NormalizeColumnDbl.cs (62)
51
Contracts.
Assert
(offsets == null || offsets.Length == scales.Length);
54
Contracts.
Assert
(scales.Length == numFeatures);
59
Contracts.
Assert
(indices.Length < numFeatures);
60
Contracts.
Assert
(scales.Length == indices.Length);
185
Contracts.
Assert
(numFeatures > 0);
186
Contracts.
Assert
(scalesSparse != null);
187
Contracts.
Assert
(indicesMorph == null || indicesMorph.Length == scalesSparse.Length);
188
Contracts.
Assert
(offsetsSparse == null || offsetsSparse.Length == scalesSparse.Length);
189
Contracts.
Assert
((offsets == null) == (offsetsSparse == null));
359
Contracts.
Assert
(0 <= values.Length && values.Length <= size);
470
Contracts.
Assert
(0 <= values.Length && values.Length <= size);
500
Contracts.
Assert
(_trainCount >= _cnan[i] + _cnz[i]);
523
Contracts.
Assert
(dm2 >= 0);
525
Contracts.
Assert
(_m2[j] >= 0);
825
Contracts.
Assert
(input.Length == scale.Length);
828
Contracts.
Assert
(0 <= values.Length && values.Length <= size);
847
Contracts.
Assert
(0 <= i && i < size);
855
Contracts.
Assert
(input.Length == scale.Length);
858
Contracts.
Assert
(0 <= values.Length && values.Length <= size);
881
Contracts.
Assert
(ivSrc < size);
884
Contracts.
Assert
(ivDst <= ivSrc && ivSrc <= size);
889
Contracts.
Assert
(ii == values.Length || ivSrc < size);
899
Contracts.
Assert
(input.Length == scale.Length);
903
Contracts.
Assert
(0 <= values.Length && values.Length <= size);
930
Contracts.
Assert
(0 <= ivDst && ivDst <= size);
931
Contracts.
Assert
(0 <= ivSrc && ivSrc <= size);
932
Contracts.
Assert
(ii < values.Length && ivSrc == indices[ii] || ii == values.Length && ivSrc == size);
933
Contracts.
Assert
(inz < nz.Length && ivDst == nz[inz] || inz == nz.Length && ivDst == size);
947
Contracts.
Assert
((ii == values.Length) == (ivSrc >= size));
951
Contracts.
Assert
(ivSrc == ivDst);
957
Contracts.
Assert
((ii == values.Length) == (ivSrc >= size));
959
Contracts.
Assert
((inz == nz.Length) == (ivDst >= size));
962
Contracts.
Assert
(ii == values.Length);
963
Contracts.
Assert
(inz == nz.Length);
1099
Contracts.
Assert
(input.Length == mean.Length);
1102
Contracts.
Assert
(0 <= values.Length && values.Length <= size);
1310
Contracts.
Assert
(input.Length == _binUpperBounds.Length);
1313
Contracts.
Assert
(0 <= values.Length && values.Length <= size);
1345
Contracts.
Assert
(ivSrc < size);
1349
Contracts.
Assert
(ivDst <= ivSrc && ivSrc <= size);
1355
Contracts.
Assert
(ii == values.Length || ivSrc < size);
1368
Contracts.
Assert
(0 <= i && i < size);
1396
Contracts.
Assert
(!TFloat.IsNaN(min));
1397
Contracts.
Assert
(!TFloat.IsNaN(max));
1401
Contracts.
Assert
(min <= max || (TFloat.IsPositiveInfinity(min) && TFloat.IsNegativeInfinity(max)));
1416
Contracts.
Assert
(0 <= scale && scale < TFloat.PositiveInfinity);
1421
Contracts.
Assert
(!TFloat.IsNaN(min));
1422
Contracts.
Assert
(!TFloat.IsNaN(max));
1426
Contracts.
Assert
(min <= max || (TFloat.IsPositiveInfinity(min) && TFloat.IsNegativeInfinity(max)));
1437
Contracts.
Assert
(0 <= scale && scale < TFloat.PositiveInfinity);
1445
Contracts.
Assert
(!Double.IsNaN(mean));
1446
Contracts.
Assert
(stddev >= 0);
1457
Contracts.
Assert
(0 <= scale && scale < TFloat.PositiveInfinity);
1462
Contracts.
Assert
(!Double.IsNaN(mean));
1463
Contracts.
Assert
(meanSquaredError >= 0);
1473
Contracts.
Assert
(0 <= scale && scale < TFloat.PositiveInfinity);
1502
Contracts.
Assert
(-1 <= value && value <= 1);
1513
Contracts.
Assert
(0 <= value & value <= 1);
1699
Contracts.
Assert
(_aggregator.M2[0] >= 0);
1717
Contracts.
Assert
(_aggregator.M2[0] >= 0);
1792
Contracts.
Assert
(_aggregator.M2[i] >= 0);
1838
Contracts.
Assert
(_aggregator.M2[i] >= 0);
Transforms\NormalizeColumnSng.cs (62)
51
Contracts.
Assert
(offsets == null || offsets.Length == scales.Length);
54
Contracts.
Assert
(scales.Length == numFeatures);
59
Contracts.
Assert
(indices.Length < numFeatures);
60
Contracts.
Assert
(scales.Length == indices.Length);
185
Contracts.
Assert
(numFeatures > 0);
186
Contracts.
Assert
(scalesSparse != null);
187
Contracts.
Assert
(indicesMorph == null || indicesMorph.Length == scalesSparse.Length);
188
Contracts.
Assert
(offsetsSparse == null || offsetsSparse.Length == scalesSparse.Length);
189
Contracts.
Assert
((offsets == null) == (offsetsSparse == null));
360
Contracts.
Assert
(0 <= count && count <= size);
472
Contracts.
Assert
(0 <= count && count <= size);
502
Contracts.
Assert
(_trainCount >= _cnan[i] + _cnz[i]);
525
Contracts.
Assert
(dm2 >= 0);
527
Contracts.
Assert
(_m2[j] >= 0);
982
Contracts.
Assert
(input.Length == scale.Length);
986
Contracts.
Assert
(0 <= count && count <= size);
1005
Contracts.
Assert
(0 <= i && i < size);
1013
Contracts.
Assert
(input.Length == scale.Length);
1017
Contracts.
Assert
(0 <= count && count <= size);
1040
Contracts.
Assert
(ivSrc < size);
1043
Contracts.
Assert
(ivDst <= ivSrc && ivSrc <= size);
1048
Contracts.
Assert
(ii == count || ivSrc < size);
1058
Contracts.
Assert
(input.Length == scale.Length);
1063
Contracts.
Assert
(0 <= count && count <= size);
1090
Contracts.
Assert
(0 <= ivDst && ivDst <= size);
1091
Contracts.
Assert
(0 <= ivSrc && ivSrc <= size);
1092
Contracts.
Assert
(ii < count && ivSrc == indices[ii] || ii == count && ivSrc == size);
1093
Contracts.
Assert
(inz < nz.Length && ivDst == nz[inz] || inz == nz.Length && ivDst == size);
1107
Contracts.
Assert
((ii == count) == (ivSrc >= size));
1111
Contracts.
Assert
(ivSrc == ivDst);
1117
Contracts.
Assert
((ii == count) == (ivSrc >= size));
1119
Contracts.
Assert
((inz == nz.Length) == (ivDst >= size));
1122
Contracts.
Assert
(ii == count);
1123
Contracts.
Assert
(inz == nz.Length);
1259
Contracts.
Assert
(input.Length == mean.Length);
1263
Contracts.
Assert
(0 <= count && count <= size);
1471
Contracts.
Assert
(input.Length == _binUpperBounds.Length);
1475
Contracts.
Assert
(0 <= count && count <= size);
1507
Contracts.
Assert
(ivSrc < size);
1511
Contracts.
Assert
(ivDst <= ivSrc && ivSrc <= size);
1517
Contracts.
Assert
(ii == count || ivSrc < size);
1530
Contracts.
Assert
(0 <= i && i < size);
1559
Contracts.
Assert
(!TFloat.IsNaN(min));
1560
Contracts.
Assert
(!TFloat.IsNaN(max));
1564
Contracts.
Assert
(min <= max || (TFloat.IsPositiveInfinity(min) && TFloat.IsNegativeInfinity(max)));
1579
Contracts.
Assert
(0 <= scale && scale < TFloat.PositiveInfinity);
1584
Contracts.
Assert
(!TFloat.IsNaN(min));
1585
Contracts.
Assert
(!TFloat.IsNaN(max));
1589
Contracts.
Assert
(min <= max || (TFloat.IsPositiveInfinity(min) && TFloat.IsNegativeInfinity(max)));
1600
Contracts.
Assert
(0 <= scale && scale < TFloat.PositiveInfinity);
1608
Contracts.
Assert
(!Double.IsNaN(mean));
1609
Contracts.
Assert
(stddev >= 0);
1620
Contracts.
Assert
(0 <= scale && scale < TFloat.PositiveInfinity);
1625
Contracts.
Assert
(!Double.IsNaN(mean));
1626
Contracts.
Assert
(meanSquaredError >= 0);
1636
Contracts.
Assert
(0 <= scale && scale < TFloat.PositiveInfinity);
1665
Contracts.
Assert
(-1 <= value && value <= 1);
1676
Contracts.
Assert
(0 <= value & value <= 1);
1862
Contracts.
Assert
(_aggregator.M2[0] >= 0);
1880
Contracts.
Assert
(_aggregator.M2[0] >= 0);
1955
Contracts.
Assert
(_aggregator.M2[i] >= 0);
2001
Contracts.
Assert
(_aggregator.M2[i] >= 0);
Transforms\Normalizer.cs (8)
477
Contracts.
Assert
(itemKind == InternalDataKind.R4 || itemKind == InternalDataKind.R8);
480
Contracts.
Assert
(vectorType == null || vectorType.IsKnownSize);
816
Contracts.
Assert
(0 <= iinfo && iinfo < _parent.Columns.Length);
817
Contracts.
Assert
(_parent.Columns[iinfo] == info);
819
Contracts.
Assert
(CanSavePfa);
826
Contracts.
Assert
(0 <= iinfo && iinfo < _parent.Columns.Length);
827
Contracts.
Assert
(_parent.Columns[iinfo] == info);
828
Contracts.
Assert
(CanSaveOnnx(ctx));
Transforms\OneToOneTransformerBase.cs (1)
77
Contracts.
Assert
(0 <= col && col < ColumnPairs.Length);
Transforms\PerGroupTransformBase.cs (1)
187
Contracts.
Assert
(active.Length == bindings.ColumnCount);
Transforms\RangeFilter.cs (2)
335
Contracts.
Assert
(filter._type is KeyDataViewType);
343
Contracts.
Assert
(filter._type is KeyDataViewType);
Transforms\RowShufflingTransformer.cs (6)
374
Contracts.
Assert
(bufferSize > 0);
383
Contracts.
Assert
(type is PrimitiveDataViewType);
433
Contracts.
Assert
(getter is ValueGetter<T>);
440
Contracts.
Assert
(0 <= idx && idx < Buffer.Length);
450
Contracts.
Assert
(0 <= idx && idx < Buffer.Length);
558
Contracts.
Assert
(retval);
Transforms\RowToRowTransformerBase.cs (1)
84
Contracts.
Assert
(input.Schema == InputSchema);
Transforms\SlotsDroppingTransformer.cs (22)
220
Contracts.
Assert
(min >= 0 && (max == null || min <= max));
231
Contracts.
Assert
(min >= 0 && (max == null || min <= max));
574
Contracts.
Assert
(catRanges.Length > 0 && catRanges.Length % 2 == 0);
600
Contracts.
Assert
(rangesIndex % 2 == 0);
601
Contracts.
Assert
(ranges[rangesIndex] <= ranges[rangesIndex + 1]);
614
Contracts.
Assert
(min == -1 && max == -1);
631
Contracts.
Assert
(min >= 0 && min <= max);
638
Contracts.
Assert
(min == -1 && max == -1);
651
Contracts.
Assert
(min == -1 && max == -1);
671
Contracts.
Assert
(dropSlotsIndex - previousDropSlotsIndex == 1);
677
Contracts.
Assert
(rangesIndex % 2 == 0);
681
Contracts.
Assert
(rangesIndex < ranges.Length - 1);
692
Contracts.
Assert
(min == -1 && max == -1);
697
Contracts.
Assert
(newCategoricalSlotRanges.Count % 2 == 0);
698
Contracts.
Assert
(newCategoricalSlotRanges.TrueForAll(x => x >= 0));
699
Contracts.
Assert
(0 <= droppedSlotsCount && droppedSlotsCount <= slotsMax[slotsMax.Length - 1] + 1);
709
Contracts.
Assert
(minRange2 >= 0 && maxRange2 >= 0);
710
Contracts.
Assert
(minRange2 <= maxRange2);
711
Contracts.
Assert
(minRange1 >= 0 && maxRange1 >= 0);
712
Contracts.
Assert
(minRange1 <= maxRange1);
713
Contracts.
Assert
(maxRange1 + 1 == minRange2);
861
Contracts.
Assert
(dst.Length % 2 == 0);
Transforms\TransformBase.cs (4)
233
Contracts.
Assert
(originFn != null);
283
Contracts.
Assert
(colSrc >= 0);
286
Contracts.
Assert
(slotTypeSrc == null || typeSrc.GetItemType().Equals(slotTypeSrc.ItemType));
321
Contracts.
Assert
(Utils.Size(infos) == InfoCount);
Transforms\TypeConverting.cs (1)
470
Contracts.
Assert
(0 <= iinfo && iinfo < _parent.ColumnPairs.Length);
Transforms\ValueToKeyMappingEstimator.cs (1)
198
Contracts.
Assert
(kv.IsValid);
Transforms\ValueToKeyMappingTransformer.cs (4)
695
Contracts.
Assert
(0 <= iinfo && iinfo < _unboundMaps.Length);
759
Contracts.
Assert
(0 <= iinfo && iinfo < _parent.ColumnPairs.Length);
956
Contracts.
Assert
(0 <= iinfo && iinfo < _infos.Length);
957
Contracts.
Assert
(_infos[iinfo] == info);
Transforms\ValueToKeyMappingTransformerImpl.cs (27)
45
Contracts.
Assert
(type is VectorDataViewType || type is PrimitiveDataViewType);
50
Contracts.
Assert
(sortOrder == ValueToKeyMappingEstimator.KeyOrdinality.ByOccurrence || sortOrder == ValueToKeyMappingEstimator.KeyOrdinality.ByValue);
64
Contracts.
Assert
(type.RawType == typeof(T));
132
Contracts.
Assert
(nstr.Id == i);
133
Contracts.
Assert
(i == 0 || sortedPool.GetNormStrById(i - 1).Value.Span.CompareTo(sortedPool.GetNormStrById(i).Value.Span, StringComparison.Ordinal) < 0);
135
Contracts.
Assert
(sortedPool.Count == _pool.Count);
167
Contracts.
Assert
(type.RawType == typeof(T));
268
Contracts.
Assert
(max >= 0);
288
Contracts.
Assert
(0 <= col && col < schema.Count);
289
Contracts.
Assert
(count > 0);
293
Contracts.
Assert
(autoConvert || bldr.ItemType == type.GetItemType());
295
Contracts.
Assert
(type is TextDataViewType || !autoConvert);
305
Contracts.
Assert
(bldr is Builder<T>);
321
Contracts.
Assert
(bldr is Builder<T>);
362
Contracts.
Assert
(_remaining >= 0);
388
Contracts.
Assert
(_remaining > 0);
394
Contracts.
Assert
(_remaining >= 0);
416
Contracts.
Assert
(!_val.IsDense && !_addedDefaultFromSparse);
504
Contracts.
Assert
(count >= 0);
660
Contracts.
Assert
(0 <= nstr.Id && nstr.Id < editor.Values.Length);
661
Contracts.
Assert
(nstr.Id == slot);
742
Contracts.
Assert
(_values.Count == Count);
767
Contracts.
Assert
(ItemType.RawType == typeof(T));
783
Contracts.
Assert
(typeof(T) != typeof(ReadOnlyMemory<char>));
789
Contracts.
Assert
(src.IsDense);
910
Contracts.
Assert
(!(info.TypeSrc is VectorDataViewType));
1154
Contracts.
Assert
(tempMeta.IsDense);
Utilities\ColumnCursor.cs (4)
101
Contracts.
Assert
(0 <= col && col < data.Schema.Count);
119
Contracts.
Assert
(0 <= col && col < data.Schema.Count);
137
Contracts.
Assert
(0 <= col && col < data.Schema.Count);
159
Contracts.
Assert
(0 <= col && col < data.Schema.Count);
Utilities\LocalEnvironment.cs (5)
71
Contracts.
Assert
(source == this || source is Host);
78
Contracts.
Assert
(parent is LocalEnvironment);
86
Contracts.
Assert
(parent is LocalEnvironment);
102
Contracts.
Assert
(parent is Host);
110
Contracts.
Assert
(parent is Host);
Utilities\ModelFileUtils.cs (1)
385
Contracts.
Assert
(index == 0);
Utilities\SlotDropper.cs (11)
64
Contracts.
Assert
(dstLength >= 0);
75
Contracts.
Assert
(SlotsMin[i] > prevLim);
76
Contracts.
Assert
(SlotsMin[i] <= SlotsMax[i]);
119
Contracts.
Assert
(newLength < src.Length);
136
Contracts.
Assert
(iDst <= iSrc);
143
Contracts.
Assert
(iDst <= iSrc);
146
Contracts.
Assert
(iDst == newLength);
157
Contracts.
Assert
(newCount <= src.Length);
179
Contracts.
Assert
(iiDst <= iiSrc);
200
Contracts.
Assert
(iRange == SlotsMax.Length ||
214
Contracts.
Assert
(index <= max);
Utilities\TypeParsingUtils.cs (1)
152
Contracts.
Assert
(Count == null || Count > 0);
Utils\ApiUtils.cs (2)
83
Contracts.
Assert
(false);
151
Contracts.
Assert
(false);
Utils\SequencePool.cs (25)
83
Contracts.
Assert
(4 <= ibit && ibit <= 31);
120
Contracts.
Assert
(_start[id] <= _start[id + 1]);
131
Contracts.
Assert
(_buckets.Length == _mask + 1);
132
Contracts.
Assert
(Utils.IsPowerOfTwo(_mask + 1));
134
Contracts.
Assert
(0 <= _idLim && Math.Max(10, _idLim) <= Utils.Size(_start) - 1);
135
Contracts.
Assert
(Math.Max(10, _idLim) <= Utils.Size(_hash));
136
Contracts.
Assert
(Math.Max(10, _idLim) <= Utils.Size(_next));
137
Contracts.
Assert
(_start[0] == 0);
138
Contracts.
Assert
(0 <= _start[_idLim] && Math.Max(40, _start[_idLim]) <= Utils.Size(_bytes));
155
Contracts.
Assert
(0 <= min && min <= lim && lim <= Utils.Size(sequence));
161
Contracts.
Assert
(0 <= idCur && idCur < _idLim);
169
Contracts.
Assert
(ibCur <= ibLim);
182
Contracts.
Assert
(success);
208
Contracts.
Assert
(id == _idLim - 1);
232
Contracts.
Assert
(0 <= min && min <= lim && lim <= Utils.Size(sequence));
233
Contracts.
Assert
(Hashing.HashSequence(sequence, min, lim) == hash);
238
Contracts.
Assert
(_idLim + 1 == _start.Length);
244
Contracts.
Assert
(_hash.Length >= _next.Length);
248
Contracts.
Assert
(_idLim == _next.Length);
264
Contracts.
Assert
(_idLim < _next.Length);
265
Contracts.
Assert
(ibLim <= _bytes.Length - cbMax);
309
Contracts.
Assert
(bytes.Length >= ib + 5 * (lim - min));
347
Contracts.
Assert
(0 <= min && min <= lim && lim <= Utils.Size(bytes));
355
Contracts.
Assert
(count < lim - min);
359
Contracts.
Assert
(cur <= lim);
Microsoft.ML.Ensemble (19)
EnsembleUtils.cs (7)
22
Contracts.
Assert
(data.Schema.Feature.HasValue);
28
Contracts.
Assert
(features.Length == typeVectorSize);
49
Contracts.
Assert
(Utils.Size(includedIndices) == src.Length);
50
Contracts.
Assert
(cardinality == Utils.GetCardinality(includedIndices));
51
Contracts.
Assert
(cardinality < src.Length);
73
Contracts.
Assert
(count < cardinality);
80
Contracts.
Assert
(count == cardinality);
OutputCombiners\BaseMultiCombiner.cs (1)
100
Contracts.
Assert
(len >= 0);
OutputCombiners\BaseStacking.cs (2)
113
Contracts.
Assert
(Meta != null);
138
Contracts.
Assert
(models[i].Predictor is IValueMapper);
OutputCombiners\MultiStacking.cs (2)
96
Contracts.
Assert
(iv <= len);
98
Contracts.
Assert
(iv == len);
OutputCombiners\MultiVoting.cs (1)
62
Contracts.
Assert
(!Normalize);
OutputCombiners\WeightedAverage.cs (1)
85
Contracts.
Assert
(Enum.IsDefined(typeof(WeightageKind), _weightageKind));
Selector\DiversityMeasure\BaseDisagreementDiversityMeasure.cs (2)
17
Contracts.
Assert
(models.Count > 1);
18
Contracts.
Assert
(predictions.Count == models.Count);
Selector\SubModelSelector\BaseBestPerformanceSelector.cs (3)
48
Contracts.
Assert
(type.IsEnum);
49
Contracts.
Assert
(value.GetType() == type);
65
Contracts.
Assert
(false);
Microsoft.ML.EntryPoints (2)
FeatureCombiner.cs (2)
64
Contracts.
Assert
(featNames.Count > 0);
65
Contracts.
Assert
(concatNames.Count == featNames.Count);
Microsoft.ML.Fairlearn (3)
Metrics\FairlearnMetricCatalog.cs (3)
81
Contracts.
Assert
(truths.Count() == predicted.Count());
82
Contracts.
Assert
(truths.Count() == scores.Count());
83
Contracts.
Assert
(GroupIds.Count() == truths.Count());
Microsoft.ML.FastTree (226)
BinFile\BinFinder.cs (12)
68
Contracts.
Assert
(valueBuffer.Length >= explicitValuesCount);
93
Contracts.
Assert
(curr > last);
108
Contracts.
Assert
(curr > 0);
117
Contracts.
Assert
(curr == distinctValues[idist]);
136
Contracts.
Assert
(0 <= numValues && numValues <= distinctValues.Length);
137
Contracts.
Assert
(numValues <= counts.Length);
197
Contracts.
Assert
(0 <= numDistinct && numDistinct <= Utils.Size(distinctCounts));
198
Contracts.
Assert
(minPerLeaf >= 0);
229
Contracts.
Assert
(maxBins > 0);
230
Contracts.
Assert
(minPerLeaf >= 0);
269
Contracts.
Assert
(a < b);
271
Contracts.
Assert
(a <= ave);
Dataset\Dataset.cs (11)
48
Contracts.
Assert
(flocks.All(f => f.Examples == datasetSkeleton.NumDocs));
65
Contracts.
Assert
(numFeatures == _flocks.Sum(f => f.Count));
88
Contracts.
Assert
(0 <= feature && feature < NumFeatures);
91
Contracts.
Assert
(0 <= flock && flock < NumFlocks);
92
Contracts.
Assert
(0 <= subfeature && subfeature < _flocks[flock].Count);
102
Contracts.
Assert
(0 <= flock && flock < NumFlocks);
247
Contracts.
Assert
(0 <= feature && feature < _featureToFlock.Length);
391
Contracts.
Assert
(activeFeatures == null || activeFeatures.Length >= NumFeatures);
944
Contracts.
Assert
(0 <= rowIndex && rowIndex < indexer._dataset.NumDocs);
959
Contracts.
Assert
(active == null || active.Length == dataset.NumFeatures);
982
Contracts.
Assert
(Enumerable.Range(0, _dataset.NumFlocks).All(f =>
Dataset\DenseIntArray.cs (9)
29
Contracts.
Assert
(length >= 0);
181
Contracts.
Assert
(0 <= index && index < Length);
187
Contracts.
Assert
(0 <= index && index < Length);
188
Contracts.
Assert
(value == 0);
303
Contracts.
Assert
(0 <= value && value < (1 << 10));
444
Contracts.
Assert
(0 <= value && value <= byte.MaxValue);
553
Contracts.
Assert
(0 <= value && value < (1 << 4));
654
Contracts.
Assert
(0 <= value && value <= ushort.MaxValue);
743
Contracts.
Assert
(value >= 0);
Dataset\FeatureFlock.cs (47)
38
Contracts.
Assert
(count >= 0);
79
Contracts.
Assert
(features > 0);
112
Contracts.
Assert
(active == null || (0 <= featureOffset && featureOffset <= Utils.Size(active) - Flock.Count));
113
Contracts.
Assert
(_active.Length == Flock.Count);
149
Contracts.
Assert
(Flock == other.Flock);
150
Contracts.
Assert
(_active.Length == other._active.Length);
155
Contracts.
Assert
(_active[f] == other._active[f]);
202
Contracts.
Assert
(0 <= subfeature && subfeature < Flock.Count);
203
Contracts.
Assert
(subfeature <= feature);
204
Contracts.
Assert
(learner.TrainData.FlockToFirstFeature(flock) == feature - subfeature);
209
Contracts.
Assert
(featureUseCount[feature] >= 0);
349
Contracts.
Assert
(min == max);
401
Contracts.
Assert
(0 <= subfeature && subfeature < Flock.Count);
402
Contracts.
Assert
(subfeature <= feature);
403
Contracts.
Assert
(learner.TrainData.FlockToFirstFeature(flock) == feature - subfeature);
404
Contracts.
Assert
(featureUseCount[feature] >= 0);
405
Contracts.
Assert
(Flock.BinCount(subfeature) == 2);
406
Contracts.
Assert
(GetMaxBorder(subfeature) == GetMinBorder(subfeature));
529
Contracts.
Assert
(min == max);
545
Contracts.
Assert
(0 <= subfeature && subfeature < Flock.Count);
546
Contracts.
Assert
(subfeature <= feature);
547
Contracts.
Assert
(learner.TrainData.FlockToFirstFeature(flock) == feature - subfeature);
548
Contracts.
Assert
(featureUseCount[feature] >= 0);
549
Contracts.
Assert
(Flock.BinCount(subfeature) == 2);
550
Contracts.
Assert
(GetMaxBorder(subfeature) == GetMinBorder(subfeature));
725
Contracts.
Assert
(min == max);
741
Contracts.
Assert
(0 <= subfeature && subfeature < Flock.Count);
742
Contracts.
Assert
(subfeature <= feature);
743
Contracts.
Assert
(learner.TrainData.FlockToFirstFeature(flock) == feature - subfeature);
744
Contracts.
Assert
(featureUseCount[feature] >= 0);
745
Contracts.
Assert
(Flock.BinCount(subfeature) == 2);
746
Contracts.
Assert
(GetMaxBorder(subfeature) == GetMinBorder(subfeature));
943
Contracts.
Assert
(other is TSuffStats);
944
Contracts.
Assert
(Flock == other.Flock);
991
Contracts.
Assert
(0 < count);
1018
Contracts.
Assert
(0 <= featureIndex && featureIndex < Count);
1066
Contracts.
Assert
(0 <= feature && feature < flockIndexer.Flock.Count);
1172
Contracts.
Assert
(Utils.Size(hotFeatureStarts) == binUpperBounds.Length + 1); // One more than number of features.
1173
Contracts.
Assert
(hotFeatureStarts[0] == 1);
1174
Contracts.
Assert
(Utils.IsMonotonicallyIncreasing(hotFeatureStarts));
1175
Contracts.
Assert
(bins.Max() < hotFeatureStarts[hotFeatureStarts.Length - 1]);
1181
Contracts.
Assert
(AllBinUpperBounds.All(x => Utils.Size(x) >= 1));
1183
Contracts.
Assert
(AllBinUpperBounds.Select((b, f) => HotFeatureStarts[f + 1] - HotFeatureStarts[f] + 1 == b.Length).All(i => i));
1188
Contracts.
Assert
(0 <= featureIndex && featureIndex < Count);
1194
Contracts.
Assert
(0 <= featureIndex && featureIndex < Count);
1200
Contracts.
Assert
(0 <= featureIndex && featureIndex < Count);
1251
Contracts.
Assert
(active == null || (0 <= featureOffset && featureOffset <= Utils.Size(active) - Flock.Count));
Dataset\FeatureHistogram.cs (2)
39
Contracts.
Assert
(bins.Length == 0 || (0 <= numBins && bins.Max() < numBins));
93
Contracts.
Assert
(pChildSumWeightsByBin != null);
Dataset\IntArray.cs (2)
99
Contracts.
Assert
(values.All(x => x == 0));
221
Contracts.
Assert
((input.Weights == null) == (histogram.SumWeightsByBin == null));
Dataset\NHotFeatureFlock.cs (5)
67
Contracts.
Assert
(0 <= featureIndex && featureIndex < _flock.Count);
68
Contracts.
Assert
(0 <= rowIndex && rowIndex < _flock.Bins.Length);
79
Contracts.
Assert
(_nextIndex == rowIndex);
80
Contracts.
Assert
(_pos < _flock._deltas.Length);
81
Contracts.
Assert
(_pos < _flock._values.Length);
Dataset\OneHotFeatureFlock.cs (3)
31
Contracts.
Assert
(0 <= featureIndex && featureIndex < Count);
73
Contracts.
Assert
(1 <= min && min < lim);
91
Contracts.
Assert
(0 <= featureIndex && featureIndex < _flock.Count);
Dataset\SingletonFeatureFlock.cs (7)
27
Contracts.
Assert
(bins.Length == 0 || bins.Max() < binUpperBounds.Length);
45
Contracts.
Assert
(featureIndex == 0);
51
Contracts.
Assert
(featureIndex == 0);
68
Contracts.
Assert
(featureIndex == 0);
74
Contracts.
Assert
(featureIndex == 0);
89
Contracts.
Assert
(featureIndex == 0);
130
Contracts.
Assert
(active == null || (0 <= featureOffset && featureOffset <= Utils.Size(active) - Flock.Count));
Dataset\SparseIntArray.cs (6)
104
Contracts.
Assert
(values.Length == deltas.Length);
105
Contracts.
Assert
(deltas.Sum(d => (long)d) < length);
307
Contracts.
Assert
(histogram.SumWeightsByBin != null);
308
Contracts.
Assert
(input.Weights != null);
398
Contracts.
Assert
(histogram.SumWeightsByBin != null);
399
Contracts.
Assert
(input.Weights != null);
FastTree.cs (46)
585
Contracts.
Assert
(FastTreeTrainerOptions.BaggingSize > 0);
748
Contracts.
Assert
(numTotalTrees == 0 || bestIteration > 0);
1010
Contracts.
Assert
(values.Length == indices.Length);
1011
Contracts.
Assert
(Algorithms.FindFirstGE(binUpperBounds, 0) == 0);
1090
Contracts.
Assert
(flockBits == IntArrayBits.Bits32 || binnedValues.All(b => b < limBin));
1164
Contracts.
Assert
(flockBits == IntArrayBits.Bits32 || binnedValues.All(b => b < limBin));
1501
Contracts.
Assert
(Utils.Size(bup) > 0);
1573
Contracts.
Assert
(FeatureMap == null);
1647
Contracts.
Assert
(iFeature >= cursor.SlotIndex);
1653
Contracts.
Assert
(cursor.SlotIndex == iFeature);
1677
Contracts.
Assert
(cursor.SlotIndex >= 0);
1708
Contracts.
Assert
(maxSlots.Count == minSlots.Count);
2044
Contracts.
Assert
(flock.Count > 0);
2045
Contracts.
Assert
(iFeature + flock.Count <= FeatureMap.Length);
2117
Contracts.
Assert
(Utils.Size(bup) > 0);
2231
Contracts.
Assert
(Utils.Size(bup) > 0);
2273
Contracts.
Assert
(last < iFeature);
2346
Contracts.
Assert
(limMade < featureLim);
2404
Contracts.
Assert
(_isSparse);
2437
Contracts.
Assert
(0 <= length);
2440
Contracts.
Assert
(_sparse.Count == 0 || _sparse[_sparse.Count - 1].Key < length);
2445
Contracts.
Assert
(_dense.Count <= length);
2461
Contracts.
Assert
(0 <= lim);
2464
Contracts.
Assert
(_sparse.Count == 0 || _sparse[_sparse.Count - 1].Key < lim);
2471
Contracts.
Assert
(prev < kvp.Key);
2493
Contracts.
Assert
(_dense.Count <= lim);
2511
Contracts.
Assert
(0 <= length);
2515
Contracts.
Assert
(_dense.Count <= length);
2533
Contracts.
Assert
(count <= length);
2540
Contracts.
Assert
(Utils.IsIncreasing(0, editor.Indices, count, length));
2554
Contracts.
Assert
(Utils.Size(binUpperBounds) > 0);
2555
Contracts.
Assert
(0 <= length);
2563
Contracts.
Assert
(_dense.Count <= length);
2576
Contracts.
Assert
(kvp.Key < length);
2584
Contracts.
Assert
(zeroBin != 0);
2588
Contracts.
Assert
(kvp.Key < length);
2600
Contracts.
Assert
(!_isSparse);
2602
Contracts.
Assert
(_dense.Count <= length);
2646
Contracts.
Assert
(0 <= featureIndex && featureIndex < _featureIndices.Length);
2647
Contracts.
Assert
(rowIndex >= 0);
2651
Contracts.
Assert
(rowIndex > lastRow);
2661
Contracts.
Assert
(sp.Count == 0 || sp[last].Key > lastRow);
2675
Contracts.
Assert
(s.Key == rowIndex);
2696
Contracts.
Assert
(Utils.IsIncreasing(0, features, values.Length));
2697
Contracts.
Assert
(features.All(i => values[i] != null));
2851
Contracts.
Assert
(NumFeatures > MaxSplitFeatIdx);
FastTreeRanking.cs (5)
122
Contracts.
Assert
(labelCol.IsValid);
990
Contracts.
Assert
(numDocs > 0);
991
Contracts.
Assert
(shift >= 0);
992
Contracts.
Assert
(scores.Length - numDocs >= shift);
993
Contracts.
Assert
(labels.Length - numDocs >= shift);
FastTreeRegression.cs (1)
177
Contracts.
Assert
(dlabels.Length == set.NumDocs);
FastTreeTweedie.cs (1)
190
Contracts.
Assert
(dlabels.Length == set.NumDocs);
GamModelParameters.cs (2)
814
Contracts.
Assert
(context._pred._inputFeatureToShapeFunctionMap.ContainsKey(index)
842
Contracts.
Assert
(0 <= index && index < context._pred._inputType.Size);
GamTrainer.cs (1)
646
Contracts.
Assert
(sumWeights != 0);
RandomForestRegression.cs (4)
65
Contracts.
Assert
(Utils.IsMonotonicallyIncreasing(_data));
527
Contracts.
Assert
(_labels.Length == trainData.NumDocs);
547
Contracts.
Assert
(options.ShuffleLabels);
561
Contracts.
Assert
(1 <= lim && lim <= Utils.ArrayMaxSize);
Training\DocumentPartitioning.cs (5)
34
Contracts.
Assert
(numDocuments >= 0);
35
Contracts.
Assert
(maxLeaves > 0);
80
Contracts.
Assert
(perChunkDocumentLists[chunkIndex] == null);
110
Contracts.
Assert
(_documents.Length == _leafBegin[tree.NumLeaves - 1] + _leafCount[tree.NumLeaves - 1]);
247
Contracts.
Assert
(bins != null);
Training\EarlyStoppingCriteria.cs (9)
82
Contracts.
Assert
((LowerIsBetter && value <= _bestScore) || value >= _bestScore);
162
Contracts.
Assert
(validationScore >= 0);
239
Contracts.
Assert
(recentScores.Count > 0);
332
Contracts.
Assert
(validationScore >= 0);
385
Contracts.
Assert
(validationScore >= 0);
386
Contracts.
Assert
(trainingScore >= 0);
442
Contracts.
Assert
(validationScore >= 0);
443
Contracts.
Assert
(trainingScore >= 0);
517
Contracts.
Assert
(validationScore >= 0);
Training\Test.cs (2)
405
Contracts.
Assert
(false);
569
Contracts.
Assert
(_resultType == null || _resultType == 1 || _resultType == 2);
Training\TreeLearners\LeastSquaresRegressionTreeLearner.cs (9)
298
Contracts.
Assert
(TrainData.Flocks[bestSplitInfo.Flock] is OneHotFeatureFlock);
309
Contracts.
Assert
(localIndex >= 0);
320
Contracts.
Assert
(bestSplitInfo.GTCount < 0 || Partitioning.NumDocsInLeaf(gtChild) == bestSplitInfo.GTCount
534
Contracts.
Assert
(ParentHistogramArray[flock].Flock == smallStats.Flock);
582
Contracts.
Assert
(0 <= min && min <= lim && lim <= TrainData.NumFeatures);
625
Contracts.
Assert
(sumWeights != 0);
645
Contracts.
Assert
(sumWeights != 0);
674
Contracts.
Assert
(0 <= flock && flock < TrainData.NumFlocks);
675
Contracts.
Assert
(histogram.Flock == TrainData.Flocks[flock]);
TreeEnsemble\InternalRegressionTree.cs (28)
134
Contracts.
Assert
(indices.Length <= NumNodes);
138
Contracts.
Assert
(index >= 0 && index < NumNodes);
151
Contracts.
Assert
(indices.Length <= NumNodes);
155
Contracts.
Assert
(index >= 0 && index < NumNodes);
218
Contracts.
Assert
(categoricalSplit[i]);
289
Contracts.
Assert
(CategoricalSplit[index]);
290
Contracts.
Assert
(index >= 0 && index < NumNodes);
376
Contracts.
Assert
(CategoricalSplit != null);
377
Contracts.
Assert
(CategoricalSplit.Length >= NumNodes);
392
Contracts.
Assert
(indexLocal >= 0 && indexLocal < NumNodes);
393
Contracts.
Assert
(CategoricalSplitFeatures[indexLocal] != null &&
396
Contracts.
Assert
(CategoricalSplitFeatureRanges[indexLocal] != null &&
840
Contracts.
Assert
(path == null || path.Count == 0);
841
Contracts.
Assert
(root >= 0);
855
Contracts.
Assert
(CategoricalSplitFeatures != null);
888
Contracts.
Assert
(CategoricalSplitFeatures != null);
918
Contracts.
Assert
(featIndices.Length == featValues.Length);
919
Contracts.
Assert
(path == null || path.Count == 0);
920
Contracts.
Assert
(root >= 0);
937
Contracts.
Assert
(CategoricalSplitFeatures != null);
938
Contracts.
Assert
(CategoricalSplitFeatureRanges != null);
1042
Contracts.
Assert
(CategoricalSplitFeatureRanges == null);
1136
Contracts.
Assert
(0 <= SplitFeatures[n] && SplitFeatures[n] < oldToNewFeatures.Length);
1140
Contracts.
Assert
(CategoricalSplitFeatures[n] != null);
1141
Contracts.
Assert
(CategoricalSplitFeatureRanges[n] != null &&
1255
Contracts.
Assert
(CategoricalSplitFeatures.Length == NumNodes);
1347
Contracts.
Assert
(-NumLeaves <= node && node < NumNodes);
1548
Contracts.
Assert
(CategoricalSplitFeatures != null);
TreeEnsemble\InternalTreeEnsemble.cs (5)
440
Contracts.
Assert
(schema.Feature.HasValue);
443
Contracts.
Assert
(featValueCount > 0);
451
Contracts.
Assert
(_names.Length == _content.Length);
456
Contracts.
Assert
(0 <= ifeat && ifeat < Count);
463
Contracts.
Assert
(0 <= ifeat && ifeat < Count);
TreeEnsembleFeaturizer.cs (1)
646
Contracts.
Assert
(data.Schema.Feature.HasValue);
Utils\BufferPoolManager.cs (1)
90
Contracts.
Assert
(tmp);
Utils\ThreadTaskManager.cs (2)
26
Contracts.
Assert
(numThreads > 0);
27
Contracts.
Assert
(NumThreads == 0);
Microsoft.ML.ImageAnalytics (35)
ImageGrayscale.cs (2)
165
Contracts.
Assert
(0 <= iinfo && iinfo < _parent.ColumnPairs.Length);
193
Contracts.
Assert
(dst.Width == src.Width && dst.Height == src.Height);
ImageLoader.cs (2)
219
Contracts.
Assert
(0 <= iinfo && iinfo < _parent.ColumnPairs.Length);
266
Contracts.
Assert
(0 <= iinfo && iinfo < _parent.ColumnPairs.Length);
ImagePixelExtractor.cs (20)
297
Contracts.
Assert
(0 <= iinfo && iinfo < _parent._columns.Length);
310
Contracts.
Assert
(dims.Length == 3);
319
Contracts.
Assert
(size > 0);
320
Contracts.
Assert
(size == planes * height * width);
354
Contracts.
Assert
(scale != 0);
359
Contracts.
Assert
(!vf.IsEmpty || !vb.IsEmpty);
361
Contracts.
Assert
(!needScale || !vf.IsEmpty);
411
Contracts.
Assert
(idst == size);
458
Contracts.
Assert
(column.Planes > 0);
461
Contracts.
Assert
(type != null);
465
Contracts.
Assert
(height > 0);
466
Contracts.
Assert
(width > 0);
467
Contracts.
Assert
((long)height * width <= int.MaxValue / 4);
724
Contracts.
Assert
(0 < Planes && Planes <= 4);
743
Contracts.
Assert
(planes == Planes);
753
Contracts.
Assert
(ColorsToExtract != 0);
754
Contracts.
Assert
((ColorsToExtract & ImagePixelExtractingEstimator.ColorBits.All) == ColorsToExtract);
758
Contracts.
Assert
(FloatUtils.IsFinite(OffsetImage));
760
Contracts.
Assert
(FloatUtils.IsFiniteNonZero(ScaleImage));
761
Contracts.
Assert
(OutputAsFloatArray || OffsetImage == 0 && ScaleImage == 1);
ImageResizer.cs (4)
244
Contracts.
Assert
((ImageResizingEstimator.ResizingKind)(byte)col.Resizing == col.Resizing);
246
Contracts.
Assert
((ImageResizingEstimator.Anchor)(byte)col.Anchor == col.Anchor);
275
Contracts.
Assert
(0 <= iinfo && iinfo < _parent._columns.Length);
327
Contracts.
Assert
(dst.Width == info.ImageWidth && dst.Height == info.ImageHeight);
VectorToImageTransform.cs (7)
347
Contracts.
Assert
(typeof(TValue) == srcType.RawType);
555
Contracts.
Assert
(0 < Planes && Planes <= 4);
659
Contracts.
Assert
(planes == Planes);
673
Contracts.
Assert
(Colors != 0);
674
Contracts.
Assert
((Colors & ImagePixelExtractingEstimator.ColorBits.All) == Colors);
679
Contracts.
Assert
(FloatUtils.IsFinite(OffsetImage));
681
Contracts.
Assert
(FloatUtils.IsFiniteNonZero(ScaleImage));
Microsoft.ML.KMeansClustering (26)
KMeansModelParameters.cs (3)
243
Contracts.
Assert
(_centroids[i].Length == _dimensionality);
248
Contracts.
Assert
(FloatUtils.IsFinite(values));
282
Contracts.
Assert
(_centroids.Length == _k);
KMeansPlusPlusTrainer.cs (23)
203
Contracts.
Assert
(dimensionality > 0);
473
Contracts.
Assert
(totalTrainingInstances > 0);
474
Contracts.
Assert
(baseMaxInstancesToAccelerate >= 0);
574
Contracts.
Assert
(numRounds > 0);
575
Contracts.
Assert
(numSamplesPerRound > 0);
576
Contracts.
Assert
(totalTrainingInstances > 0);
619
Contracts.
Assert
(0 <= n && n < _acceleratedRowMap.MaxInstancesToAccelerate);
637
Contracts.
Assert
(newClusterL2 >= 0);
639
Contracts.
Assert
(0 <= oldClusterIdx && oldClusterIdx < _clusterDistances.GetLength(1));
653
Contracts.
Assert
(instanceDistanceToBestOldCluster >= 0);
689
Contracts.
Assert
(clusterCount > 0);
690
Contracts.
Assert
(0 <= clusterPrevCount && clusterPrevCount < clusterCount);
720
Contracts.
Assert
(-2 * VectorUtils.DotProduct(in point, in clusters[j]) + clustersL2s[j] > bestWeight);
1171
Contracts.
Assert
(FloatUtils.IsFinite(reducedState.AverageScore));
1319
Contracts.
Assert
(n != -1);
1338
Contracts.
Assert
(KMeansLloydsYinYangTrain.AlmostLeq(bestDistance, _upperBound[n]));
1345
Contracts.
Assert
(AlmostLeq(_lowerBound[n], distance));
1436
Contracts.
Assert
(AlmostEq(reducedStateCacheValues[j], cachedSumCopyValues[j]));
1792
Contracts.
Assert
(centroids.Length >= centroidCount && centroidL2s.Length >= centroidCount && centroidCount > 0);
1793
Contracts.
Assert
(features.Length == centroids[0].Length);
1821
Contracts.
Assert
(FloatUtils.IsFinite(minDistance));
1822
Contracts.
Assert
(centroidCount == 1 || (FloatUtils.IsFinite(secMinDistance) && secCluster >= 0));
1823
Contracts.
Assert
(minDistance <= secMinDistance);
Microsoft.ML.LightGbm (17)
LightGbmMulticlassTrainer.cs (1)
364
Contracts.
Assert
(success);
LightGbmRankingTrainer.cs (1)
270
Contracts.
Assert
(labelCol.IsValid);
LightGbmTrainerBase.cs (2)
1153
Contracts.
Assert
(slot >= lastIdx);
1156
Contracts.
Assert
(lastIdx == slot);
WrappedLightGbmBooster.cs (1)
40
Contracts.
Assert
(numEval <= 1);
WrappedLightGbmDataset.cs (12)
89
Contracts.
Assert
(GetNumCols() == numCol);
90
Contracts.
Assert
(GetNumRows() == numTotalRow);
120
Contracts.
Assert
(startRowIdx == _lastPushedRowID);
121
Contracts.
Assert
(numCol == GetNumCols());
122
Contracts.
Assert
(numRow > 0);
123
Contracts.
Assert
(startRowIdx <= GetNumRows() - numRow);
131
Contracts.
Assert
(startRowIdx == _lastPushedRowID);
132
Contracts.
Assert
(numCol == GetNumCols());
133
Contracts.
Assert
(startRowIdx < GetNumRows());
157
Contracts.
Assert
(labels.Length == GetNumRows());
167
Contracts.
Assert
(weights.Length == GetNumRows());
202
Contracts.
Assert
(initScores.Length % GetNumRows() == 0);
Microsoft.ML.Mkl.Components (30)
ComputeLRTrainingStdThroughHal.cs (5)
31
Contracts.
Assert
(numSelectedParams > 0);
32
Contracts.
Assert
(currentWeightsCount > 0);
33
Contracts.
Assert
(l2Weight > 0);
49
Contracts.
Assert
(hessian == null);
85
Contracts.
Assert
(ioffset == invHessian.Length);
OlsLinearRegression.cs (20)
520
Contracts.
Assert
(ioffset == xtx.Length);
779
Contracts.
Assert
(!Double.IsNaN(rSquaredAdjusted) || standardErrors == null);
781
Contracts.
Assert
((standardErrors == null) == (tValues == null) && (tValues == null) == (pValues == null));
782
Contracts.
Assert
(0 <= rSquared && rSquared <= 1);
783
Contracts.
Assert
(Double.IsNaN(rSquaredAdjusted) || (0 <= rSquaredAdjusted && rSquaredAdjusted <= 1));
787
Contracts.
Assert
(Utils.Size(standardErrors) == weights.Length + 1);
788
Contracts.
Assert
(Utils.Size(tValues) == weights.Length + 1);
789
Contracts.
Assert
(Utils.Size(pValues) == weights.Length + 1);
793
Contracts.
Assert
(FloatUtils.IsFinite(standardErrors[i]));
794
Contracts.
Assert
(FloatUtils.IsFinite(tValues[i]));
795
Contracts.
Assert
(FloatUtils.IsFinite(pValues[i]));
862
Contracts.
Assert
(0 <= RSquared && RSquared <= 1);
864
Contracts.
Assert
(Double.IsNaN(RSquaredAdjusted) || (0 <= RSquaredAdjusted && RSquaredAdjusted <= 1));
866
Contracts.
Assert
(!Double.IsNaN(RSquaredAdjusted) || !HasStatistics);
870
Contracts.
Assert
(_standardErrors == null && _tValues == null && _pValues == null);
873
Contracts.
Assert
(Weight.Length + 1 == _standardErrors.Length);
874
Contracts.
Assert
(Weight.Length + 1 == _tValues.Length);
875
Contracts.
Assert
(Weight.Length + 1 == _pValues.Length);
914
Contracts.
Assert
(Weight.IsDense);
929
Contracts.
Assert
(Weight.IsDense);
VectorWhitening.cs (5)
711
Contracts.
Assert
(count <= indices.Length);
837
Contracts.
Assert
(Kind == WhiteningKind.PrincipalComponentAnalysis || Kind == WhiteningKind.ZeroPhaseComponentAnalysis);
839
Contracts.
Assert
(0 <= Epsilon && Epsilon < float.PositiveInfinity);
841
Contracts.
Assert
(MaximumNumberOfRows > 0);
844
Contracts.
Assert
(Rank >= 0);
Microsoft.ML.OnnxConverter (2)
OnnxContextImpl.cs (1)
121
Contracts.
Assert
(_variableNames.Contains(columnName));
SaveOnnxCommand.cs (1)
417
Contracts.
Assert
(loader != null);
Microsoft.ML.OnnxTransformer (2)
OnnxTransform.cs (2)
643
Contracts.
Assert
(input.Schema == InputSchema);
698
Contracts.
Assert
(outputCache.OutputOnnxValues.Count > 0);
Microsoft.ML.PCA (5)
PcaTransformer.cs (5)
154
Contracts.
Assert
(0 < Rank && Rank <= Dimension);
159
Contracts.
Assert
(FloatUtils.IsFinite(Eigenvectors[i]));
162
Contracts.
Assert
(MeanProjected == null || (MeanProjected.Length == Rank && FloatUtils.IsFinite(MeanProjected)));
395
Contracts.
Assert
(omega[i].Length == y[i].Length);
572
Contracts.
Assert
(0 <= iinfo && iinfo < _numColumns);
Microsoft.ML.Predictor.Tests (4)
CompareBaselines.cs (2)
81
Contracts.
Assert
(!names2[nameLower]);
104
Contracts.
Assert
(!names2[nameLower]);
TestTransposer.cs (2)
85
Contracts.
Assert
(vals.Length == expectedVals.Length);
187
Contracts.
Assert
(result);
Microsoft.ML.Recommender (1)
MatrixFactorizationTrainer.cs (1)
591
Contracts.
Assert
(success);
Microsoft.ML.StandardTrainers (145)
FactorizationMachine\FactorizationMachineTrainer.cs (1)
657
Contracts.
Assert
(success);
Optimizer\SgdOptimizer.cs (3)
399
Contracts.
Assert
(FloatUtils.IsFinite(xprev.GetValues()));
426
Contracts.
Assert
(i == j);
449
Contracts.
Assert
(j == i);
Standard\LinearPredictorUtils.cs (1)
200
Contracts.
Assert
(weightValue.Value is float);
Standard\LogisticRegression\LbfgsPredictorBase.cs (13)
729
Contracts.
Assert
(vec.Length == BiasCount + WeightCount);
745
Contracts.
Assert
((_numChunks == 0) != (_data == null));
746
Contracts.
Assert
((_cursorFactory == null) == (_data == null));
747
Contracts.
Assert
(x.Length == BiasCount + WeightCount);
748
Contracts.
Assert
(gradient.Length == BiasCount + WeightCount);
774
Contracts.
Assert
(xDense.IsDense);
804
Contracts.
Assert
(_data == null);
805
Contracts.
Assert
(_cursorFactory == null);
806
Contracts.
Assert
(_numChunks > 0);
807
Contracts.
Assert
(Utils.Size(_ranges) == _numChunks + 1);
808
Contracts.
Assert
(Utils.Size(_localLosses) == _numChunks);
809
Contracts.
Assert
(Utils.Size(_localGradients) + 1 == _numChunks);
836
Contracts.
Assert
(0 <= ichk && ichk < _numChunks);
Standard\LogisticRegression\LogisticRegression.cs (14)
214
Contracts.
Assert
(editor.Values.Length >= BiasCount && (grad.IsDense || editor.Indices[BiasCount - 1] == BiasCount - 1));
224
Contracts.
Assert
(NumGoodRows > 0);
225
Contracts.
Assert
(WeightSum > 0);
226
Contracts.
Assert
(BiasCount == 1);
227
Contracts.
Assert
(loss >= 0);
228
Contracts.
Assert
(numParams >= BiasCount);
229
Contracts.
Assert
(CurrentWeights.IsDense);
259
Contracts.
Assert
(0 <= priorPosRate && priorPosRate <= 1);
302
Contracts.
Assert
(j == numParams);
338
Contracts.
Assert
(i == hessian.Length - 1);
366
Contracts.
Assert
(0 <= wi && wi < cursor.Features.Length);
374
Contracts.
Assert
(0 <= wj && wj < cursor.Features.Length);
390
Contracts.
Assert
(0 < wi && wi <= cursor.Features.Length);
403
Contracts.
Assert
(0 < wj && wj <= cursor.Features.Length);
Standard\LogisticRegression\MulticlassLogisticRegression.cs (22)
225
Contracts.
Assert
(!string.IsNullOrEmpty(_labelNames[i]));
228
Contracts.
Assert
(_labelNames == null || _labelNames.Length == _numClasses);
261
Contracts.
Assert
(0 <= lab && lab < _numClasses);
272
Contracts.
Assert
(editor.Values.Length >= BiasCount && (grad.IsDense || editor.Indices[BiasCount - 1] == BiasCount - 1));
284
Contracts.
Assert
(pred.InputType.GetVectorSize() > 0);
312
Contracts.
Assert
(NumGoodRows > 0);
313
Contracts.
Assert
(WeightSum > 0);
314
Contracts.
Assert
(BiasCount == _numClasses);
315
Contracts.
Assert
(loss >= 0);
316
Contracts.
Assert
(numParams >= BiasCount);
317
Contracts.
Assert
(CurrentWeights.IsDense);
347
Contracts.
Assert
(_prior[iLabel] >= 0);
365
Contracts.
Assert
(0 <= iLabel && iLabel < _numClasses);
372
Contracts.
Assert
(success);
459
Contracts.
Assert
(weights.Length == numClasses + numClasses * numFeatures);
467
Contracts.
Assert
(weights.Length == NumberOfClasses + NumberOfClasses * NumberOfFeatures);
481
Contracts.
Assert
(labelNames == null || labelNames.Length == numClasses);
515
Contracts.
Assert
(weights[iClass].Length == NumberOfFeatures);
526
Contracts.
Assert
(labelNames == null || labelNames.Length == numClasses);
1047
Contracts.
Assert
(Weights.Length == Biases.Length);
1061
Contracts.
Assert
(0 <= classNumber && classNumber < NumberOfClasses);
1086
Contracts.
Assert
(Utils.Size(_labelNames) == NumberOfClasses);
Standard\ModelStatistics.cs (3)
344
Contracts.
Assert
(stdError == _coeffStdError.GetItemOrDefault(0));
360
Contracts.
Assert
(_coeffStdError.Length == _weights.Length + 1);
377
Contracts.
Assert
(0 <= wi && wi < _weights.Length);
Standard\MulticlassClassification\MetaMulticlassTrainer.cs (1)
169
Contracts.
Assert
(success);
Standard\MulticlassClassification\MulticlassNaiveBayesTrainer.cs (1)
117
Contracts.
Assert
(success);
Standard\MulticlassClassification\OneVersusAllTrainer.cs (7)
573
Contracts.
Assert
(outputNames.Length >= 2);
648
Contracts.
Assert
(CanSavePfa);
654
Contracts.
Assert
(pred.CanSavePfa);
775
Contracts.
Assert
(CanSavePfa);
781
Contracts.
Assert
(pred.CanSavePfa);
794
Contracts.
Assert
(outputNames.Length >= 2);
916
Contracts.
Assert
(outputNames.Length >= 2);
Standard\MulticlassClassification\PairwiseCouplingTrainer.cs (1)
385
Contracts.
Assert
(output.Length >= _numClasses);
Standard\Online\AveragedLinear.cs (1)
184
Contracts.
Assert
(Averaged);
Standard\Online\AveragedPerceptron.cs (1)
131
Contracts.
Assert
(WeightsScale == 1);
Standard\Online\LinearSvm.cs (4)
206
Contracts.
Assert
(_weightsUpdate.GetValues().Length == 0);
225
Contracts.
Assert
(_batch > 0);
236
Contracts.
Assert
(!_noBias || Bias == 0);
262
Contracts.
Assert
(WeightsScale == 1);
Standard\Online\OnlineGradientDescent.cs (1)
109
Contracts.
Assert
(WeightsScale == 1);
Standard\PoissonRegression\PoissonRegression.cs (1)
179
Contracts.
Assert
(editor.Values.Length >= BiasCount && (grad.IsDense || editor.Indices[BiasCount - 1] == BiasCount - 1));
Standard\SdcaBinary.cs (53)
325
Contracts.
Assert
(weightSetCount >= 1);
396
Contracts.
Assert
(id.High == 0);
404
Contracts.
Assert
(count <= maxTrainingExamples);
407
Contracts.
Assert
((long)idLoMax < maxTrainingExamples);
445
Contracts.
Assert
(idToIdx.Count == count);
456
Contracts.
Assert
(SdcaTrainerOptions.MaximumNumberOfIterations.HasValue);
460
Contracts.
Assert
(SdcaTrainerOptions.L2Regularization.HasValue);
504
Contracts.
Assert
(!needLookup);
512
Contracts.
Assert
(invariantsLength <= Utils.ArrayMaxSize);
521
Contracts.
Assert
(dualsLength <= MaxDualTableSize);
528
Contracts.
Assert
(needLookup);
533
Contracts.
Assert
(count <= Utils.ArrayMaxSize);
538
Contracts.
Assert
(dualsLength <= MaxDualTableSize);
545
Contracts.
Assert
(Utils.Size(invariants) > 0);
568
Contracts.
Assert
((idToIdx == null && ((long)idLoMax + 1) * weightSetCount <= Utils.ArrayMaxSize) || (idToIdx != null && count * weightSetCount <= Utils.ArrayMaxSize));
687
Contracts.
Assert
(count > 0);
688
Contracts.
Assert
(numThreads > 0);
701
Contracts.
Assert
(maxIterations > 0);
702
Contracts.
Assert
(rowCount > 0);
703
Contracts.
Assert
(numThreads > 0);
707
Contracts.
Assert
(expectedIterations > 0);
719
Contracts.
Assert
(numFeatures > 0);
795
Contracts.
Assert
(SdcaTrainerOptions.L1Regularization.HasValue);
823
Contracts.
Assert
(featureNormSquared == null);
963
Contracts.
Assert
(Utils.Size(metrics) == 6);
992
Contracts.
Assert
(SdcaTrainerOptions.L2Regularization.HasValue);
993
Contracts.
Assert
(SdcaTrainerOptions.L1Regularization.HasValue);
1062
Contracts.
Assert
(length <= Utils.ArrayMaxSize);
1089
Contracts.
Assert
(length <= 1L << 50);
1118
Contracts.
Assert
(id.High == 0);
1119
Contracts.
Assert
((long)id.Low < maxTrainingExamples);
1129
Contracts.
Assert
(found);
1130
Contracts.
Assert
(0 <= idx && idx < idToIdx.Count);
1149
Contracts.
Assert
(id.High == 0);
1150
Contracts.
Assert
((long)id.Low < maxTrainingExamples);
1161
Contracts.
Assert
(found);
1162
Contracts.
Assert
(0 <= idx && idx < idToIdx.Count);
1163
Contracts.
Assert
(idx == row);
1217
Contracts.
Assert
(size >= 0);
1260
Contracts.
Assert
(0 <= iit && iit < _rgit.Length);
1264
Contracts.
Assert
(it < _count);
1271
Contracts.
Assert
(it == -1);
1282
Contracts.
Assert
(0 <= iit && iit < _rgit.Length);
1286
Contracts.
Assert
(_count == _entries.Length);
1290
Contracts.
Assert
(_count < _entries.Length);
1308
Contracts.
Assert
(size >= _rgit.Length);
1338
Contracts.
Assert
(_rgit.Length > 0);
1339
Contracts.
Assert
(0 <= _count && _count <= _entries.Length);
1343
Contracts.
Assert
(_rgit.Length >= _count || _rgit.Length == HashHelpers.MaxPrime);
1401
Contracts.
Assert
(0 <= min && min < MaxPrime);
1410
Contracts.
Assert
(false);
2022
Contracts.
Assert
(weightSetCount == 1);
2024
Contracts.
Assert
(data.Schema.Feature.HasValue);
Standard\SdcaMulticlass.cs (13)
162
Contracts.
Assert
(success);
179
Contracts.
Assert
(SdcaTrainerOptions.L1Regularization.HasValue);
184
Contracts.
Assert
(Utils.Size(biasReg) == numClasses);
185
Contracts.
Assert
(Utils.Size(biasUnreg) == numClasses);
360
Contracts.
Assert
(duals.Length >= numClasses * count);
362
Contracts.
Assert
(Utils.Size(weights) == numClasses);
363
Contracts.
Assert
(Utils.Size(biasReg) == numClasses);
364
Contracts.
Assert
(Utils.Size(biasUnreg) == numClasses);
365
Contracts.
Assert
(Utils.Size(metrics) == 6);
398
Contracts.
Assert
(dualIndex == iClass + idx * numClasses);
411
Contracts.
Assert
(SdcaTrainerOptions.L2Regularization.HasValue);
412
Contracts.
Assert
(SdcaTrainerOptions.L1Regularization.HasValue);
474
Contracts.
Assert
(0 < length && length <= Utils.ArrayMaxSize);
Standard\SdcaRegression.cs (3)
177
Contracts.
Assert
(maxIterations > 0);
178
Contracts.
Assert
(rowCount > 0);
179
Contracts.
Assert
(numThreads > 0);
Standard\Simple\SimpleTrainers.cs (1)
399
Contracts.
Assert
(!float.IsNaN(_prob));
Microsoft.ML.Sweeper (15)
Algorithms\Grid.cs (4)
83
Contracts.
Assert
(paramSet != null);
189
Contracts.
Assert
(0 <= combination && combination < _nGridPoints);
194
Contracts.
Assert
(sweepParameter.Count > 0);
195
Contracts.
Assert
(div % sweepParameter.Count == 0);
Algorithms\NelderMead.cs (10)
181
Contracts.
Assert
(_pendingSweeps.Count == 1);
231
Contracts.
Assert
(_pendingSweeps.Count == 1);
244
Contracts.
Assert
(_pendingSweeps.Count == 1);
263
Contracts.
Assert
(_pendingSweeps.Count == 1);
282
Contracts.
Assert
(_pendingSweeps.Count + _pendingSweepsNotSubmitted.Count == _dim);
300
Contracts.
Assert
(_centroid != null);
301
Contracts.
Assert
(_simplexVertices.Count == _dim + 1);
338
Contracts.
Assert
(point.Length == _sweepParameters.Count);
433
Contracts.
Assert
(parameterSet.Count == _sweepParameters.Count);
447
Contracts.
Assert
(array.Length == _sweepParameters.Count);
Algorithms\SweeperProbabilityUtils.cs (1)
214
Contracts.
Assert
(array.Length == sweepParams.Length);
Microsoft.ML.TensorFlow (2)
TensorflowTransform.cs (2)
655
Contracts.
Assert
(input.Schema == InputSchema);
766
Contracts.
Assert
(tensors.Length > 0);
Microsoft.ML.TestFramework (35)
BaseTestBaseline.cs (11)
188
Contracts.
Assert
(IsActive);
217
Contracts.
Assert
(IsActive);
240
Contracts.
Assert
(IsActive);
255
Contracts.
Assert
(IsActive);
263
Contracts.
Assert
(IsActive);
271
Contracts.
Assert
(IsActive);
280
Contracts.
Assert
(IsActive);
403
Contracts.
Assert
(IsActive);
462
Contracts.
Assert
(suffixList.Count == seqList.Count);
493
Contracts.
Assert
(skip >= 0);
509
Contracts.
Assert
(skip >= 0);
BaseTestPredictorsMaml.cs (7)
97
Contracts.
Assert
(IsActive);
217
Contracts.
Assert
(predOutPath != null);
252
Contracts.
Assert
(foundOut);
286
Contracts.
Assert
(IsActive);
346
Contracts.
Assert
(IsActive);
361
Contracts.
Assert
(IsActive);
372
Contracts.
Assert
(IsActive);
DataPipe\TestDataPipeBase.cs (9)
640
Contracts.
Assert
(!IsPassing);
654
Contracts.
Assert
(view1.Schema.Count == view2.Schema.Count);
703
Contracts.
Assert
(curs1.Schema.Count == curs2.Schema.Count);
763
Contracts.
Assert
(curs1.Position == curs2.Position);
784
Contracts.
Assert
(curs1.Schema.Count == view2.Schema.Count);
794
Contracts.
Assert
(curs1.IsColumnActive(curs1.Schema[col]));
804
Contracts.
Assert
(cursors[col] != null);
838
Contracts.
Assert
(curs1.Position == cursors[col].Position);
934
Contracts.
Assert
(size >= 0);
TestCommandBase.cs (8)
72
Contracts.
Assert
(CanBeBaselined);
78
Contracts.
Assert
(CanBeBaselined);
109
Contracts.
Assert
(CanBeBaselined);
117
Contracts.
Assert
(CanBeBaselined);
125
Contracts.
Assert
(CanBeBaselined);
208
Contracts.
Assert
((argUsage == Usage.None) != (Utils.Size(names) >= 1));
347
Contracts.
Assert
(skip >= 0);
380
Contracts.
Assert
(Utils.Size(toCompare) == 0 || toCompare.All(x => x != null));
Microsoft.ML.Tests (11)
ExpressionLanguageTests\ExpressionLanguageTests.cs (10)
159
Contracts.
Assert
(ichMin < ichLimChars && ichLimChars < ichLim);
190
Contracts.
Assert
(TestFuncs1.Writer == null);
227
Contracts.
Assert
(ichMin < ichCol && ichCol < ichLim);
234
Contracts.
Assert
(tmp);
273
Contracts.
Assert
(vals.Length == getters.Length);
343
Contracts.
Assert
(false);
395
Contracts.
Assert
(false);
637
Contracts.
Assert
(funcs[i] != null);
638
Contracts.
Assert
(funcs[i].Target == null);
639
Contracts.
Assert
(funcs[i].GetMethodInfo() != null);
TrainerEstimators\SymSgdClassificationTests.cs (1)
61
Contracts.
Assert
(col12Diff && col23Diff && col13Diff);
Microsoft.ML.TimeSeries (58)
AdaptiveSingularSpectrumSequenceModeler.cs (27)
525
Contracts.
Assert
(tMat != null);
526
Contracts.
Assert
(1 <= rank && rank <= tMat.WindowSize);
527
Contracts.
Assert
(Utils.Size(singularVectors) >= tMat.WindowSize * rank);
528
Contracts.
Assert
(Utils.Size(output) >= tMat.SeriesLength);
531
Contracts.
Assert
(k > 0);
549
Contracts.
Assert
(tMat != null);
550
Contracts.
Assert
(1 <= rank && rank <= tMat.WindowSize);
551
Contracts.
Assert
(Utils.Size(singularVectors) >= tMat.WindowSize * rank);
554
Contracts.
Assert
(Utils.Size(output) >= len);
597
Contracts.
Assert
(Utils.Size(alpha) > 0);
598
Contracts.
Assert
(Utils.Size(signal) > 2 * Utils.Size(alpha)); // To assure that the autoregression noise variance is unbiased.
599
Contracts.
Assert
(Utils.Size(series) >= Utils.Size(signal) + startIndex);
604
Contracts.
Assert
(k > 0);
639
Contracts.
Assert
(autoregressionNoiseVariance >= 0);
645
Contracts.
Assert
(tMat != null);
646
Contracts.
Assert
(Utils.Size(series) >= tMat.SeriesLength);
647
Contracts.
Assert
(Utils.Size(outputSignal) >= tMat.SeriesLength);
648
Contracts.
Assert
(Utils.Size(singularVectors) >= tMat.WindowSize * tMat.WindowSize);
649
Contracts.
Assert
(Utils.Size(singularValues) >= tMat.WindowSize);
650
Contracts.
Assert
(1 <= maxRank && maxRank <= tMat.WindowSize - 1);
654
Contracts.
Assert
(k > 0);
740
Contracts.
Assert
(tMat != null);
741
Contracts.
Assert
(Utils.Size(series) >= tMat.SeriesLength);
742
Contracts.
Assert
(Utils.Size(singularVectors) >= tMat.WindowSize * tMat.WindowSize);
743
Contracts.
Assert
(Utils.Size(singularValues) >= tMat.WindowSize);
744
Contracts.
Assert
(1 <= maxRank && maxRank <= tMat.WindowSize - 1);
748
Contracts.
Assert
(k > 0);
EigenUtils.cs (1)
22
Contracts.
Assert
(n * n == count);
IidAnomalyDetectionBase.cs (1)
172
Contracts.
Assert
(state is State);
MovingAverageTransform.cs (3)
204
Contracts.
Assert
(FloatUtils.IsFinite(lastDropped) || Single.IsNaN(lastDropped));
214
Contracts.
Assert
(FloatUtils.IsFinite(newValue) || Single.IsNaN(newValue));
228
Contracts.
Assert
(FloatUtils.IsFinite(currentSum) || Single.IsNaN(currentSum));
PolynomialUtils.cs (11)
44
Contracts.
Assert
(Utils.Size(coefficients) > 1);
140
Contracts.
Assert
(multiplicity > 0);
193
Contracts.
Assert
(uIndex >= 0);
194
Contracts.
Assert
(uLen >= 1);
195
Contracts.
Assert
(uIndex + uLen <= Utils.Size(Coefficients));
196
Contracts.
Assert
(vIndex >= 0);
197
Contracts.
Assert
(vLen >= 1);
198
Contracts.
Assert
(vIndex + vLen <= Utils.Size(Coefficients));
199
Contracts.
Assert
(uIndex + uLen <= vIndex || vIndex + vLen <= uIndex); // makes sure the input ranges are non-overlapping.
200
Contracts.
Assert
(dstIndex >= 0);
201
Contracts.
Assert
(dstIndex + uLen + vLen <= Utils.Size(destination));
SequentialAnomalyDetectionTransformBase.cs (1)
450
Contracts.
Assert
(state is AnomalyDetectionStateBase);
SequentialTransformerBase.cs (5)
814
Contracts.
Assert
(active.Length == n);
817
Contracts.
Assert
(activeInput.Length == _bindings.InputSchema.Count);
848
Contracts.
Assert
(active.Length == _bindings.Schema.Count);
853
Contracts.
Assert
(0 <= col && col < _bindings.AddedColumnIndices.Count);
991
Contracts.
Assert
(originFn != null);
SrCnnAnomalyDetectionBase.cs (1)
162
Contracts.
Assert
(state is State);
SrCnnEntireAnomalyDetector.cs (1)
475
Contracts.
Assert
(deseasonalityMode == SrCnnDeseasonalityMode.Median);
SrCnnTransformBase.cs (1)
272
Contracts.
Assert
(state is SrCnnStateBase);
SsaAnomalyDetectionBase.cs (1)
319
Contracts.
Assert
(state is State);
SsaForecastingBase.cs (1)
237
Contracts.
Assert
(state is State);
TimeSeriesUtils.cs (4)
17
Contracts.
Assert
(queue.Capacity >= 0);
18
Contracts.
Assert
(queue.Count <= queue.Capacity);
46
Contracts.
Assert
(queue.Capacity >= 0);
47
Contracts.
Assert
(queue.Count <= queue.Capacity);
Microsoft.ML.TorchSharp (7)
AutoFormerV2\ObjectDetectionTrainer.cs (2)
124
Contracts.
Assert
(options.MaxEpoch > 0);
879
Contracts.
Assert
(input.Schema == base.InputSchema);
Roberta\QATrainer.cs (2)
105
Contracts.
Assert
(options.MaxEpoch > 0);
830
Contracts.
Assert
(input.Schema == base.InputSchema);
TorchSharpBaseTrainer.cs (3)
90
Contracts.
Assert
(options.BatchSize > 0);
91
Contracts.
Assert
(options.MaxEpoch > 0);
493
Contracts.
Assert
(input.Schema == base.InputSchema);
Microsoft.ML.Transforms (413)
CountFeatureSelection.cs (5)
244
Contracts.
Assert
(size > 0);
245
Contracts.
Assert
(Utils.Size(scores) == size);
247
Contracts.
Assert
(Utils.Size(columnOptions) == size);
392
Contracts.
Assert
(type is PrimitiveDataViewType);
409
Contracts.
Assert
(type.IsKnownSize);
Dracula\CMCountTable.cs (6)
53
Contracts.
Assert
(LabelCardinality > 0);
54
Contracts.
Assert
(Utils.Size(tables[0]) == depth);
147
Contracts.
Assert
(counts.Length == LabelCardinality);
158
Contracts.
Assert
(count >= 0);
221
Contracts.
Assert
(0 < depth && depth < DepthLim);
224
Contracts.
Assert
(0 < width);
Dracula\CountTable.cs (7)
125
Contracts.
Assert
(0 < LabelCardinality && LabelCardinality < LabelCardinalityLim);
128
Contracts.
Assert
(Utils.Size(_priorFrequencies) == LabelCardinality);
129
Contracts.
Assert
(_priorFrequencies.All(x => x >= 0));
132
Contracts.
Assert
(GarbageThreshold >= 0);
136
Contracts.
Assert
(Utils.Size(_garbageCounts) == 0);
139
Contracts.
Assert
(Utils.Size(_garbageCounts) == LabelCardinality);
140
Contracts.
Assert
(_garbageCounts.All(x => x >= 0));
Dracula\DictCountTable.cs (1)
110
Contracts.
Assert
(pair.Value >= 0);
Expression\BuiltinFunctions.cs (15)
75
Contracts.
Assert
(fn.Target == null);
85
Contracts.
Assert
(fn.Target == null);
95
Contracts.
Assert
(fn.Target == null);
105
Contracts.
Assert
(fn.Target == null);
134
Contracts.
Assert
(fn.Target == null);
379
Contracts.
Assert
(values.Length == 1);
390
Contracts.
Assert
(values.Length == 1);
416
Contracts.
Assert
(values.Length > 1);
793
Contracts.
Assert
(0 <= len);
993
Contracts.
Assert
(a >= 2);
996
Contracts.
Assert
(b >= 3);
1013
Contracts.
Assert
(result <= I4.MaxValue);
1063
Contracts.
Assert
(a >= 2);
1066
Contracts.
Assert
(b >= 3);
1092
Contracts.
Assert
(res > 0);
Expression\CharCursor.cs (7)
40
Contracts.
Assert
(0 <= ichLimInit && ichLimInit <= buffer.Length);
59
Contracts.
Assert
(_ichNext < _ichLim);
63
Contracts.
Assert
(_fNoMore);
72
Contracts.
Assert
(0 < dich && dich <= _ichLim - _ichNext + 1);
80
Contracts.
Assert
(ich < _ichLim);
84
Contracts.
Assert
(_fNoMore);
106
Contracts.
Assert
(ichLim == _ichLim);
Expression\CodeGen.cs (75)
40
Contracts.
Assert
(1 <= node.Vars.Length && node.Vars.Length <= MaxParams);
41
Contracts.
Assert
(MaxParams <= 16);
66
Contracts.
Assert
(0 <= v.Index && v.Index < node.Vars.Length);
67
Contracts.
Assert
(types[v.Index] == null);
235
Contracts.
Assert
(value is BL);
239
Contracts.
Assert
(value is I4);
243
Contracts.
Assert
(value is I8);
247
Contracts.
Assert
(value is R4);
251
Contracts.
Assert
(value is R8);
256
Contracts.
Assert
(value is TX);
277
Contracts.
Assert
(node.IsBool);
278
Contracts.
Assert
(node.ExprValue is BL);
284
Contracts.
Assert
(node.IsTX);
285
Contracts.
Assert
(node.ExprValue is TX);
294
Contracts.
Assert
(node.IsNumber);
296
Contracts.
Assert
(value != null);
300
Contracts.
Assert
(value is I4);
304
Contracts.
Assert
(value is I8);
308
Contracts.
Assert
(value is R4);
312
Contracts.
Assert
(value is R8);
346
Contracts.
Assert
(loc.Value.ExprValue == null);
347
Contracts.
Assert
(loc.GenCount >= 0);
351
Contracts.
Assert
(loc.UseCount == 1);
352
Contracts.
Assert
(loc.Index == -1);
358
Contracts.
Assert
(0 <= loc.Index && loc.Index < _cacheWith.Count);
360
Contracts.
Assert
(cache.Value != null);
416
Contracts.
Assert
(node.IsNumber);
417
Contracts.
Assert
(node.Arg.ExprType == node.SrcKind);
504
Contracts.
Assert
(node.Op == BinaryOp.Or || node.Op == BinaryOp.And);
505
Contracts.
Assert
(node.SrcKind == ExprTypeKind.BL);
506
Contracts.
Assert
(node.Left.IsBool);
507
Contracts.
Assert
(node.Right.IsBool);
542
Contracts.
Assert
(node.Left.IsI4);
543
Contracts.
Assert
(node.Right.IsI4);
573
Contracts.
Assert
(node.Left.IsI8);
574
Contracts.
Assert
(node.Right.IsI8);
604
Contracts.
Assert
(node.Left.IsR4);
605
Contracts.
Assert
(node.Right.IsR4);
635
Contracts.
Assert
(node.SrcKind == ExprTypeKind.R8);
636
Contracts.
Assert
(node.Left.IsR8);
637
Contracts.
Assert
(node.Right.IsR8);
695
Contracts.
Assert
(node.Op == BinaryOp.Coalesce);
698
Contracts.
Assert
(node.Left.ExprValue == null);
713
Contracts.
Assert
(false);
755
Contracts.
Assert
(false);
761
Contracts.
Assert
(node.Operands.Items.Length >= 2);
799
Contracts.
Assert
(arg.ExprType == kind);
801
Contracts.
Assert
(arg.ExprType == kind);
804
Contracts.
Assert
(tid == node.TidLax || tid == node.TidStrict);
828
Contracts.
Assert
(items.Length > 2);
870
Contracts.
Assert
(arg.ExprType == kind);
873
Contracts.
Assert
(arg.ExprType == kind);
878
Contracts.
Assert
(tid == node.TidLax || tid == node.TidStrict);
882
Contracts.
Assert
(arg.ExprType == kind);
906
Contracts.
Assert
(node.Op == CompareOp.NotEqual && items.Length > 2);
915
Contracts.
Assert
(arg.ExprType == kind);
924
Contracts.
Assert
(arg.ExprType == kind);
1231
Contracts.
Assert
(false);
1254
Contracts.
Assert
(node.Method.ReturnType != typeof(void));
1262
Contracts.
Assert
(tail >= 0);
1284
Contracts.
Assert
(Utils.Size(ps) == node.Args.Items.Length);
1291
Contracts.
Assert
(node.Args.Items.Length == 1);
1300
Contracts.
Assert
(false);
1313
Contracts.
Assert
(local.Index == -1);
1314
Contracts.
Assert
(local.UseCount >= 0);
1321
Contracts.
Assert
(local.Index == -1);
1347
Contracts.
Assert
(item.Node.UseCount >= 2);
1372
Contracts.
Assert
((flagBldr != null) == lazy);
1389
Contracts.
Assert
(_cacheWith.Count == index + 1);
1394
Contracts.
Assert
(local.Index == index);
1398
Contracts.
Assert
(_cacheWith.Count == index + 1);
1399
Contracts.
Assert
(_cacheWith[index] == cache);
1412
Contracts.
Assert
(false);
1417
Contracts.
Assert
(false);
1423
Contracts.
Assert
(false);
Expression\IlGeneratorExtensions.cs (2)
136
Contracts.
Assert
(!info.IsVirtual);
214
Contracts.
Assert
(0 <= arg && arg <= short.MaxValue);
Expression\KeyWordTable.cs (2)
89
Contracts.
Assert
(!nstr.Value.IsEmpty);
95
Contracts.
Assert
(!nstr.Value.IsEmpty);
Expression\LambdaBinder.cs (11)
1139
Contracts.
Assert
(Kinds.Length > 0);
1199
Contracts.
Assert
(kinds.Length == 1);
1236
Contracts.
Assert
(kinds.Length == Kinds.Length || IsVariable && kinds.Length >= Kinds.Length - 1);
1471
Contracts.
Assert
(ExprTypeKind.Error <= src && src < ExprTypeKind._Lim);
1472
Contracts.
Assert
(ExprTypeKind.Error < dst && dst < ExprTypeKind._Lim);
1703
Contracts.
Assert
(0 <= i1 && i1 < 4);
1704
Contracts.
Assert
(0 <= i2 && i2 < 4);
1705
Contracts.
Assert
(i1 != i2);
1709
Contracts.
Assert
(0 <= index && index < 16);
1737
Contracts.
Assert
(false);
1768
Contracts.
Assert
(a is T);
Expression\LambdaParser.cs (35)
27
Contracts.
Assert
(span.Min <= span.Lim);
55
Contracts.
Assert
(index > 0);
64
Contracts.
Assert
(ivMin <= map.Count);
74
Contracts.
Assert
(0 <= ivMin && ivMin <= map.Count);
75
Contracts.
Assert
(ivMin == map.Count || value < map[ivMin]);
76
Contracts.
Assert
(ivMin == 0 || value >= map[ivMin - 1]);
156
Contracts.
Assert
(types.Length <= LambdaCompiler.MaxParams);
157
Contracts.
Assert
(Utils.Size(perm) == types.Length);
167
Contracts.
Assert
(Utils.Size(perm) == types.Length);
194
Contracts.
Assert
(_errors == null || _errors.Count > 0);
221
Contracts.
Assert
(tidWanted != tok.Kind);
222
Contracts.
Assert
(tidWanted != tok.KindContext);
277
Contracts.
Assert
(cv > 0);
397
Contracts.
Assert
(0 <= index);
418
Contracts.
Assert
(i < _perm.Length);
419
Contracts.
Assert
(0 <= _perm[i] && _perm[i] < _perm.Length);
451
Contracts.
Assert
(Precedence.None <= precMin);
452
Contracts.
Assert
(precMin <= Precedence.PrefixUnary);
464
Contracts.
Assert
(precMin <= Precedence.Power);
628
Contracts.
Assert
(TidCur == tidLax || TidCur == tidStrict);
641
Contracts.
Assert
(list.Count >= 2);
647
Contracts.
Assert
(TidCur != tidLax);
648
Contracts.
Assert
(TidCur != tidStrict);
676
Contracts.
Assert
(TidCur == TokKind.Ident);
677
Contracts.
Assert
(TidPeek() == TokKind.OpenParen);
680
Contracts.
Assert
(TidCur == TokKind.OpenParen);
688
Contracts.
Assert
(TidCur == TokKind.Ident);
689
Contracts.
Assert
(TidPeek() == TokKind.Dot);
690
Contracts.
Assert
(TidPeek(2) == TokKind.Ident);
691
Contracts.
Assert
(TidPeek(3) == TokKind.OpenParen);
694
Contracts.
Assert
(TidCur == TokKind.Dot);
697
Contracts.
Assert
(TidCur == TokKind.OpenParen);
705
Contracts.
Assert
(TidCur == TokKind.OpenParen);
739
Contracts.
Assert
(TidCur == TokKind.With);
748
Contracts.
Assert
(TidCur == TokKind.Comma);
Expression\LexCharUtils.cs (5)
218
Contracts.
Assert
('0' <= ch && ch <= '9');
224
Contracts.
Assert
(IsHexDigit(ch));
227
Contracts.
Assert
(ch <= 'f');
232
Contracts.
Assert
(ch <= 'F');
235
Contracts.
Assert
('0' <= ch && ch <= '9');
Expression\Lexer.cs (19)
153
Contracts.
Assert
(tok.Kind == TokKind.NewLine || tok.Kind == TokKind.Error);
162
Contracts.
Assert
(Eof);
168
Contracts.
Assert
(!Eof);
250
Contracts.
Assert
(LexCharUtils.StartKind(ChCur) == LexStartKind.NumLit);
251
Contracts.
Assert
(LexCharUtils.IsDigit(ChCur) || ChCur == '.');
268
Contracts.
Assert
(LexCharUtils.IsDigit(ChCur) || ChCur == '.' && LexCharUtils.IsDigit(ChPeek(1)));
316
Contracts.
Assert
(LexCharUtils.IsHexDigit(ChCur));
343
Contracts.
Assert
(_sb.Length > 0);
365
Contracts.
Assert
(_sb.Length > 0);
371
Contracts.
Assert
(chSuf == '\0' || chSuf == 'D');
466
Contracts.
Assert
(ChCur == '"');
492
Contracts.
Assert
(ChCur == '"' || ChCur == '\'');
540
Contracts.
Assert
(ChCur == '\\');
636
Contracts.
Assert
(u > 0x0000FFFF);
678
Contracts.
Assert
(LexCharUtils.IsIdentStart(ChCur));
705
Contracts.
Assert
(LexCharUtils.IsIdent(ch));
721
Contracts.
Assert
(ChCur == '/');
784
Contracts.
Assert
(LexCharUtils.StartKind(ChCur) == LexStartKind.Space);
798
Contracts.
Assert
(LexCharUtils.StartKind(ChCur) == LexStartKind.LineTerm);
Expression\MethodGenerator.cs (1)
175
Contracts.
Assert
(!locals.Contains(localBuilder));
Expression\Node.cs (46)
171
public override void PostVisit(LambdaNode node) { Contracts.
Assert
(false); }
172
public override void PostVisit(UnaryOpNode node) { Contracts.
Assert
(false); }
173
public override void PostVisit(BinaryOpNode node) { Contracts.
Assert
(false); }
174
public override void PostVisit(ConditionalNode node) { Contracts.
Assert
(false); }
175
public override void PostVisit(CompareNode node) { Contracts.
Assert
(false); }
176
public override void PostVisit(CallNode node) { Contracts.
Assert
(false); }
177
public override void PostVisit(ListNode node) { Contracts.
Assert
(false); }
178
public override void PostVisit(WithNode node) { Contracts.
Assert
(false); }
179
public override void PostVisit(WithLocalNode node) { Contracts.
Assert
(false); }
185
public override void Visit(NameNode node) { Contracts.
Assert
(false); }
186
public override void Visit(ParamNode node) { Contracts.
Assert
(false); }
188
public override void PostVisit(LambdaNode node) { Contracts.
Assert
(false); }
209
Contracts.
Assert
(false);
279
Contracts.
Assert
(ExprType != 0);
315
Contracts.
Assert
(tmp && kind == ExprType);
324
Contracts.
Assert
(kind != 0);
325
Contracts.
Assert
(ExprValue == null);
326
Contracts.
Assert
(ExprType == 0 || ExprType == kind);
327
Contracts.
Assert
(SrcKind == ExprType);
334
Contracts.
Assert
(kind != 0);
335
Contracts.
Assert
(value == null || value.GetType() == ToSysType(kind));
336
Contracts.
Assert
(ExprValue == null);
337
Contracts.
Assert
(ExprType == 0 || ExprType == kind);
338
Contracts.
Assert
(SrcKind == ExprType);
385
Contracts.
Assert
(expr.ExprType != 0);
464
Contracts.
Assert
(HasType);
469
Contracts.
Assert
(SrcKind == ExprType);
473
Contracts.
Assert
(ExprType == ExprTypeKind.I4);
476
Contracts.
Assert
(ExprValue is I4);
481
Contracts.
Assert
(ExprType == ExprTypeKind.I4);
484
Contracts.
Assert
(ExprValue is I4);
489
Contracts.
Assert
(ExprType == ExprTypeKind.I4 || ExprType == ExprTypeKind.I8 ||
495
Contracts.
Assert
(ExprValue is I4);
500
Contracts.
Assert
(ExprValue is I8);
505
Contracts.
Assert
(ExprValue is R4);
654
Contracts.
Assert
(index >= 0);
754
Contracts.
Assert
(false);
775
Contracts.
Assert
(tok.Kind == TokKind.IntLit);
838
Contracts.
Assert
(tok.Kind == TokKind.True || tok.Kind == TokKind.False);
969
Contracts.
Assert
(delimiters == null || delimiters.Length == items.Length - 1);
1057
Contracts.
Assert
(argCount >= ps.Length - 1);
1058
Contracts.
Assert
(meth.ReturnType != typeof(void));
1061
Contracts.
Assert
(Utils.Size(ps) == argCount);
1080
Contracts.
Assert
(operands.Items.Length >= 2);
1082
Contracts.
Assert
(operands.Delimiters.Length == operands.Items.Length - 1);
1089
Contracts.
Assert
(false);
Expression\Printer.cs (6)
76
Contracts.
Assert
(node is ExprNode);
125
Contracts.
Assert
(false);
153
Contracts.
Assert
(false);
167
Contracts.
Assert
(false);
194
Contracts.
Assert
(false);
486
Contracts.
Assert
(tid == tidLax || tid == tidStrict);
Expression\TokenCursor.cs (12)
60
Contracts.
Assert
(0 <= _itokCur && _itokCur < _itokLim && _itokLim <= _buffer.Length);
63
Contracts.
Assert
((_tokens != null) == (_buffer[_itokLim - 1].Kind != TokKind.Eof));
66
Contracts.
Assert
(_tokCur == _buffer[_itokCur]);
67
Contracts.
Assert
(_tidCur == _tokCur.Kind);
102
Contracts.
Assert
(_tokens != null);
134
Contracts.
Assert
(_tokens != null);
135
Contracts.
Assert
(_itokLim < _buffer.Length);
145
Contracts.
Assert
(tok != null);
160
Contracts.
Assert
(-_itokCur <= ditok && ditok <= _itokLim - _itokCur);
161
Contracts.
Assert
(ditok < _itokLim - _itokCur || _tokens != null);
187
Contracts.
Assert
(-_itokCur <= ditok && ditok <= _itokLim - _itokCur);
188
Contracts.
Assert
(ditok < _itokLim - _itokCur || _tokens != null);
Expression\Tokens.cs (3)
19
Contracts.
Assert
(0 <= ichMin && ichMin <= ichLim);
46
Contracts.
Assert
(tidContext == tid || tid == TokKind.Ident);
54
Contracts.
Assert
(this is T);
Expression\TokKind.cs (1)
174
Contracts.
Assert
(carg == Utils.Size(args));
FourierDistributionSampler.cs (8)
119
Contracts.
Assert
(averageDistance > 0);
142
Contracts.
Assert
(gamma > 0);
143
Contracts.
Assert
(averageDistance > 0);
180
Contracts.
Assert
(FloatUtils.IsFinite(_gamma));
240
Contracts.
Assert
(averageDistance > 0);
264
Contracts.
Assert
(a > 0);
265
Contracts.
Assert
(averageDistance > 0);
303
Contracts.
Assert
(FloatUtils.IsFinite(_a));
GcnTransform.cs (5)
363
Contracts.
Assert
(0 <= iinfo && iinfo < _parent.ColumnPairs.Length);
529
Contracts.
Assert
(0 <= values.Length && values.Length <= length);
551
Contracts.
Assert
(0 <= values.Length && values.Length <= length);
725
Contracts.
Assert
(false);
867
Contracts.
Assert
(0 < Scale && Scale < float.PositiveInfinity);
GroupTransform.cs (2)
452
Contracts.
Assert
(colType is PrimitiveDataViewType);
495
Contracts.
Assert
(0 <= position && position < _size);
KeyToVectorMapping.cs (5)
315
Contracts.
Assert
(slot == (long)kvpSlot.Key * _bitsPerKey[iinfo]);
374
Contracts.
Assert
(dst.Length == bitsPerKey);
411
Contracts.
Assert
(dst.Length == src.Length * bitsPerKey);
417
Contracts.
Assert
(0 < bitsToConsider && bitsToConsider <= sizeof(uint) * 8);
418
Contracts.
Assert
(startIndex >= 0);
LearnerFeatureSelection.cs (7)
121
Contracts.
Assert
(options.Threshold.HasValue != options.NumSlotsToKeep.HasValue);
140
Contracts.
Assert
(options.NumSlotsToKeep.HasValue);
188
Contracts.
Assert
(range.max != null);
191
Contracts.
Assert
(min <= max);
192
Contracts.
Assert
(max < scoresValues.Length);
245
Contracts.
Assert
(heap.Count == topk);
258
Contracts.
Assert
(top >= threshold);
MetricStatistics.cs (1)
58
Contracts.
Assert
(src.Count == dest.Count);
MissingValueDroppingTransformer.cs (1)
220
Contracts.
Assert
(0 <= iinfo && iinfo < _parent.ColumnPairs.Length);
MissingValueReplacing.cs (1)
165
Contracts.
Assert
(type.GetItemType().RawType == typeof(T));
MissingValueReplacingUtils.cs (14)
430
Contracts.
Assert
(double.MinValue <= _cur && _cur <= double.MaxValue);
449
Contracts.
Assert
(double.MinValue <= _cur && _cur <= double.MaxValue);
454
Contracts.
Assert
(double.MinValue <= _cur && _cur <= double.MaxValue);
455
Contracts.
Assert
(_cnz >= 0 && _cna >= 0);
456
Contracts.
Assert
(count >= _cna);
457
Contracts.
Assert
(count - _cna >= _cnz);
468
Contracts.
Assert
(double.MinValue <= stat && stat <= double.MaxValue);
474
Contracts.
Assert
(double.MinValue <= _cur && _cur <= double.MaxValue);
475
Contracts.
Assert
(_cnz >= 0 && _cna >= 0);
476
Contracts.
Assert
(count.High != 0 || count.Low >= (ulong)_cna);
488
Contracts.
Assert
(double.MinValue <= stat && stat <= double.MaxValue);
510
Contracts.
Assert
(valMax > 0 && ((valMax + 1) & valMax) == 0);
511
Contracts.
Assert
(_cna >= 0);
517
Contracts.
Assert
(!val.HasValue || -valMax <= val && val <= valMax);
MutualInformationFeatureSelection.cs (28)
292
Contracts.
Assert
(score >= 0);
300
Contracts.
Assert
(heap.Count == topk);
314
Contracts.
Assert
(top >= threshold);
325
Contracts.
Assert
(size > 0);
326
Contracts.
Assert
(Utils.Size(scores) == size);
327
Contracts.
Assert
(Utils.Size(cols) == size);
328
Contracts.
Assert
(threshold > 0 || (threshold == 0 && tiedScoresToKeep == 0));
492
Contracts.
Assert
(b);
501
Contracts.
Assert
(b);
554
Contracts.
Assert
(labelKeyCount < Utils.ArrayMaxSize);
567
Contracts.
Assert
(labels.IsDense);
572
Contracts.
Assert
(labelsEditor.Values[i] < _numLabels);
632
Contracts.
Assert
(keyCount < Utils.ArrayMaxSize);
646
Contracts.
Assert
(0 < keyCount && keyCount < Utils.ArrayMaxSize);
674
Contracts.
Assert
(iScore < slotCount);
686
Contracts.
Assert
(_labels.Length == features.Length);
718
Contracts.
Assert
(score >= 0);
727
Contracts.
Assert
(_labels.IsDense);
728
Contracts.
Assert
(_labels.Length == features.Length);
737
Contracts.
Assert
(0 <= label && label < _numLabels);
738
Contracts.
Assert
(0 <= feature && feature < numFeatures);
757
Contracts.
Assert
(0 <= label && label < _numLabels);
758
Contracts.
Assert
(0 <= feature && feature < numFeatures);
761
Contracts.
Assert
(ii == featureIndices.Length);
798
Contracts.
Assert
(_singles.Count == 0);
817
Contracts.
Assert
(_singles.Count == 0);
843
Contracts.
Assert
(_doubles.Count == 0);
886
Contracts.
Assert
(tmpDst.Equals(default(TDst)));
OptionalColumnTransform.cs (4)
59
Contracts.
Assert
(Utils.Size(columnTypes) == InfoCount);
60
Contracts.
Assert
(Utils.Size(srcCols) == InfoCount);
182
Contracts.
Assert
(0 <= iinfo && iinfo < InfoCount);
206
Contracts.
Assert
(active.Length == Input.Count);
PermutationFeatureImportance.cs (2)
187
Contracts.
Assert
(input.Count == 1);
191
Contracts.
Assert
(output.Count == 1);
PermutationFeatureImportanceExtensions.cs (1)
643
Contracts.
Assert
(a.Count == b.Count);
ProduceIdTransform.cs (3)
42
Contracts.
Assert
(InfoCount == 1);
47
Contracts.
Assert
(iinfo == 0);
76
Contracts.
Assert
(active.Length == Input.Count);
RandomFourierFeaturizing.cs (5)
183
Contracts.
Assert
(rowSize >= SrcDim);
270
Contracts.
Assert
(0 < cflt);
272
Contracts.
Assert
(0 < cfltAlign && (cfltAlign & (cfltAlign - 1)) == 0);
342
Contracts.
Assert
(resLength == instanceCount);
505
Contracts.
Assert
(0 <= iinfo && iinfo < _parent.ColumnPairs.Length);
SvmLight\SvmLightLoader.cs (2)
163
Contracts.
Assert
(notEmpty);
351
Contracts.
Assert
(keyCount > 0);
Text\LdaTransform.cs (7)
219
Contracts.
Assert
(0 <= columnIndex && columnIndex < _ldas.Length);
525
Contracts.
Assert
(count <= len);
533
Contracts.
Assert
(value >= 0);
534
Contracts.
Assert
(0 <= index && index < len);
537
Contracts.
Assert
(i == 0 || editor.Indices[i - 1] < index);
541
Contracts.
Assert
(index == i);
599
Contracts.
Assert
(0 <= iinfo && iinfo < _parent.ColumnPairs.Length);
Text\NgramHashingTransformer.cs (17)
650
Contracts.
Assert
(friendlyNames.Length == parent._columns.Length);
653
Contracts.
Assert
(invertHashMaxCounts.Length == parent._columns.Length);
663
Contracts.
Assert
(col.Index < _srcTextGetters.Length);
694
Contracts.
Assert
(1 <= lim && lim <= ngram.Length);
695
Contracts.
Assert
(0 <= srcCol);
748
Contracts.
Assert
(0 <= iinfo && iinfo < _parent._columns.Length);
749
Contracts.
Assert
(_iinfoToCollector[iinfo] == null);
769
Contracts.
Assert
(src.ISrcCol == 0);
787
Contracts.
Assert
(srcIndices.Length > 1);
795
Contracts.
Assert
(Utils.Size(srcNames) == srcIndices.Length);
824
Contracts.
Assert
(0 <= icol && icol < srcIndices.Length);
851
Contracts.
Assert
(vec.Length == 1 << _parent._columns[iinfo].NumberOfBits);
1063
Contracts.
Assert
(InputColumnNamesArray.Length > 0);
1069
Contracts.
Assert
(0 < NgramLength && NgramLength <= NgramBufferBuilder.MaxSkipNgramLength);
1071
Contracts.
Assert
(0 <= SkipLength && SkipLength <= NgramBufferBuilder.MaxSkipNgramLength);
1072
Contracts.
Assert
(NgramLength + SkipLength <= NgramBufferBuilder.MaxSkipNgramLength);
1074
Contracts.
Assert
(1 <= NumberOfBits && NumberOfBits <= 30);
Text\NgramTransform.cs (6)
174
Contracts.
Assert
(0 < NgramLength && NgramLength <= NgramBufferBuilder.MaxSkipNgramLength);
176
Contracts.
Assert
(0 <= SkipLength && SkipLength <= NgramBufferBuilder.MaxSkipNgramLength);
177
Contracts.
Assert
(NgramLength + SkipLength <= NgramBufferBuilder.MaxSkipNgramLength);
179
Contracts.
Assert
(Enum.IsDefined(typeof(NgramExtractingEstimator.WeightingCriteria), Weighting));
181
Contracts.
Assert
(Utils.Size(NonEmptyLevels) == NgramLength);
673
Contracts.
Assert
(0 <= iinfo && iinfo < _parent.ColumnPairs.Length);
Text\NgramUtils.cs (17)
49
Contracts.
Assert
(ngramLength > 0);
50
Contracts.
Assert
(skipLength >= 0);
51
Contracts.
Assert
(ngramLength <= MaxSkipNgramLength - skipLength);
52
Contracts.
Assert
(slotLim >= 0);
72
Contracts.
Assert
(icol >= 0);
73
Contracts.
Assert
(keyMax > 0);
141
Contracts.
Assert
(_queue.Count > 0);
149
Contracts.
Assert
(0 <= slot && slot < _slotLim);
162
Contracts.
Assert
(more);
165
Contracts.
Assert
(0 <= slot && slot < _slotLim);
181
Contracts.
Assert
(0 < i && i < _ngramLength);
182
Contracts.
Assert
(0 <= skips && skips <= _skipLength);
183
Contracts.
Assert
(i + skips < _queue.Count);
184
Contracts.
Assert
(i > 1 || skips == 0);
185
Contracts.
Assert
(_ngram.Length == _ngramLength);
192
Contracts.
Assert
(more);
195
Contracts.
Assert
(0 <= slot && slot < _slotLim);
Text\StopWordsRemovingTransformer.cs (5)
152
Contracts.
Assert
(langValues.Min() >= 0);
153
Contracts.
Assert
(maxValue < Utils.ArrayMaxSize);
321
Contracts.
Assert
(0 <= (int)lang && (int)lang < Utils.Size(StopWords));
326
Contracts.
Assert
(stopWordsStream != null);
501
Contracts.
Assert
(0 <= langVal && langVal < Utils.Size(StopWords));
Text\TextFeaturizingEstimator.cs (1)
598
Contracts.
Assert
(charFeatureCol != null || wordFeatureCol != null || !string.IsNullOrEmpty(tparams.OutputTextTokensColumnName));
Text\TextNormalizing.cs (1)
314
Contracts.
Assert
(_combinedDiacriticsPairs[i].Length == 2);
Text\TokenizingByCharacters.cs (4)
497
Contracts.
Assert
(index == len);
509
Contracts.
Assert
(cv >= 0);
546
Contracts.
Assert
(index == len);
603
Contracts.
Assert
(index == len);
Text\WordHashBagProducingTransform.cs (2)
103
Contracts.
Assert
(uniqueSourceNames.Length == options.Columns.Length);
114
Contracts.
Assert
(uniqueSourceNames[iinfo].Length == options.Columns[iinfo].Source.Length);
Text\WordTokenizing.cs (2)
280
Contracts.
Assert
(cv >= 0);
366
Contracts.
Assert
(CanSavePfa);
UngroupTransform.cs (3)
230
Contracts.
Assert
(index >= 0);
231
Contracts.
Assert
(size >= 0);
580
Contracts.
Assert
(0 <= col && col < _ungroupBinding.InputColumnCount);
Microsoft.ML.Vision (15)
DnnRetrainTransform.cs (1)
937
Contracts.
Assert
(tensors.Length > 0);
ImageClassificationTrainer.cs (14)
635
Contracts.
Assert
(success);
852
Contracts.
Assert
(validationFraction >= 0 && validationFraction <= 1);
868
Contracts.
Assert
(examples == featurizedImages.Count());
869
Contracts.
Assert
(featurizedImages.All(x => x.Item2.Length == featureLength));
901
Contracts.
Assert
(validationSetBottleneckFilePath == null ||
905
Contracts.
Assert
(trainBottleneckFilePath != null &&
911
Contracts.
Assert
(_options.EarlyStoppingCriteria == null || validationNeeded);
1087
Contracts.
Assert
(labelFileBytesRead <= labelBufferSizeInBytes);
1088
Contracts.
Assert
(featuresFileBytesRead <= featureBufferSizeInBytes);
1089
Contracts.
Assert
(labelFileBytesRead % sizeof(long) == 0);
1090
Contracts.
Assert
(featuresFileBytesRead % featureFileRecordSize == 0);
1091
Contracts.
Assert
(labelFileBytesRead / sizeof(long) == featuresFileBytesRead / featureFileRecordSize);
1099
Contracts.
Assert
(featureTensorShape[0] <= featuresBufferBytes.Length / featureFileRecordSize);
1100
Contracts.
Assert
(labelTensorShape[0] <= labelBufferBytes.Length / sizeof(long));