46 references to Check
Microsoft.ML.Core (46)
CommandLine\ArgumentAttribute.cs (1)
58Contracts.Check(value == null || !(this is DefaultArgumentAttribute));
CommandLine\CmdParser.cs (2)
475Contracts.Check(!field.IsStatic && !field.IsInitOnly && !field.IsLiteral); 1423Contracts.Check(nicks == null || nicks.All(nick => !string.IsNullOrWhiteSpace(nick)));
Data\DataKind.cs (2)
141Contracts.Check(0 <= index && index < KindCount); 158Contracts.Check(kind != InternalDataKind.UG);
Data\ModelHeader.cs (17)
138Contracts.Check(header.FpStringTable == 0); 139Contracts.Check(header.CbStringTable == 0); 140Contracts.Check(header.FpStringChars == 0); 141Contracts.Check(header.CbStringChars == 0); 211Contracts.Check(res); 228Contracts.Check(header.FpModel == ModelHeader.Size); 229Contracts.Check(header.CbModel == 0); 232Contracts.Check(fpCur - fpMin >= header.FpModel); 262Contracts.Check(sig.Length <= 24); 266Contracts.Check(ch <= 0xFF); 288Contracts.Check(sig.Length <= 24); 292Contracts.Check(ch <= 0xFF); 307Contracts.Check(Utils.Size(bytes) >= Size); 374Contracts.Check(Utils.Size(bytes) >= Size); 388Contracts.Check(size >= 0); 469Contracts.Check(fpMin >= 0); 648Contracts.Check(ch <= 0xFF);
Data\ProgressReporter.cs (3)
525Contracts.Check(0 <= index && index < Progress.Length); 536Contracts.Check(0 <= index && index < Progress.Length); 547Contracts.Check(0 <= index && index < Metrics.Length);
Utilities\BinFinder.cs (8)
30Contracts.Check(cbin >= 2); 31Contracts.Check(numZeroes >= 0); 108Contracts.Check(cbin >= 2); 109Contracts.Check(numZeroes >= 0); 185Contracts.Check(cbin >= 2); 186Contracts.Check(numValues > cbin); 187Contracts.Check(counts.Count >= numValues); 188Contracts.Check(path.Length >= cbin + 1);
Utilities\HashArray.cs (1)
237Contracts.Check(destination.Length >= _ct);
Utilities\Hashing.cs (3)
344Contracts.Check(0 <= min); 345Contracts.Check(min <= lim); 346Contracts.Check(lim <= Utils.Size(data));
Utilities\Heap.cs (5)
141Contracts.Check(cv > 1); 355Contracts.Check(iv > 0); 381Contracts.Check(!item.InHeap); 398Contracts.Check(item.InHeap); 401Contracts.Check(Get(ivDst) == item);
Utilities\TaskExtensions.cs (1)
16Contracts.Check(task.IsCompleted);
Utilities\Utils.cs (2)
700Contracts.Check(values.Length >= len); 848Contracts.Check(col.Index < lim);
Utilities\VBufferUtils.cs (1)
401Contracts.Check(0 <= denseCount && denseCount <= dst.Length);