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