48 references to CheckDecode
Microsoft.ML.Core (47)
Data\ModelHeader.cs (31)
326
Contracts.
CheckDecode
(headerBytes.Length == ModelHeader.Size);
342
Contracts.
CheckDecode
(header.FpModel + header.CbModel == reader.FpCur() - fpMin);
398
Contracts.
CheckDecode
(header.FpModel == Size);
399
Contracts.
CheckDecode
(header.FpModel + header.CbModel >= header.FpModel);
404
Contracts.
CheckDecode
(header.CbStringTable == 0);
405
Contracts.
CheckDecode
(header.FpStringChars == 0);
406
Contracts.
CheckDecode
(header.CbStringChars == 0);
409
Contracts.
CheckDecode
(header.FpTail == header.FpModel + header.CbModel);
415
Contracts.
CheckDecode
(header.FpStringTable == header.FpModel + header.CbModel);
416
Contracts.
CheckDecode
(header.CbStringTable % sizeof(long) == 0);
417
Contracts.
CheckDecode
(header.CbStringTable / sizeof(long) < int.MaxValue);
418
Contracts.
CheckDecode
(header.FpStringTable + header.CbStringTable > header.FpStringTable);
419
Contracts.
CheckDecode
(header.FpStringChars == header.FpStringTable + header.CbStringTable);
420
Contracts.
CheckDecode
(header.CbStringChars % sizeof(char) == 0);
421
Contracts.
CheckDecode
(header.FpStringChars + header.CbStringChars >= header.FpStringChars);
424
Contracts.
CheckDecode
(header.FpTail == header.FpStringChars + header.CbStringChars);
432
Contracts.
CheckDecode
(header.CbAssemblyName == 0);
439
Contracts.
CheckDecode
(header.FpAssemblyName == header.FpModel + header.CbModel);
443
Contracts.
CheckDecode
(header.FpAssemblyName == header.FpStringChars + header.CbStringChars);
445
Contracts.
CheckDecode
(header.CbAssemblyName % sizeof(char) == 0);
446
Contracts.
CheckDecode
(header.FpTail == header.FpAssemblyName + header.CbAssemblyName);
450
Contracts.
CheckDecode
(header.FpLim == header.FpTail + sizeof(ulong));
451
Contracts.
CheckDecode
(size == 0 || size >= header.FpLim);
509
Contracts.
CheckDecode
(offsets[cstr - 1] == header.CbStringChars);
516
Contracts.
CheckDecode
(header.FpStringChars + offset == reader.FpCur() - fpMin);
520
Contracts.
CheckDecode
(offsetPrev <= offset && offset <= header.CbStringChars);
521
Contracts.
CheckDecode
(offset % sizeof(char) == 0);
523
Contracts.
CheckDecode
(cch < int.MaxValue);
530
Contracts.
CheckDecode
(offset == header.CbStringChars);
531
Contracts.
CheckDecode
(header.FpStringChars + header.CbStringChars == reader.FpCur() - fpMin);
551
Contracts.
CheckDecode
(header.FpTail == reader.FpCur() - fpMin);
Data\ModelLoadContext.cs (1)
153
Contracts.
CheckDecode
(0 <= id && id < Utils.Size(Strings));
Utilities\Stream.cs (15)
458
Contracts.
CheckDecode
(b <= 1);
472
Contracts.
CheckDecode
(size >= 0);
536
Contracts.
CheckDecode
(size >= 0);
573
Contracts.
CheckDecode
(size >= 0);
610
Contracts.
CheckDecode
(size >= 0);
648
Contracts.
CheckDecode
(size >= 0);
686
Contracts.
CheckDecode
(size >= 0);
724
Contracts.
CheckDecode
(size >= 0);
743
Contracts.
CheckDecode
(b <= 1);
755
Contracts.
CheckDecode
(*((byte*)dst + i) <= 1);
768
Contracts.
CheckDecode
(size >= 0);
806
Contracts.
CheckDecode
(size >= 0);
818
Contracts.
CheckDecode
(bytes.Length == size);
825
Contracts.
CheckDecode
(numBits >= 0);
855
Contracts.
CheckDecode
(read == toRead);
Microsoft.ML.Data (1)
DataLoadSave\Transpose\TransposeLoader.cs (1)
202
/// should be handle with <see cref="Contracts.
CheckDecode
(bool)"/> or by throwing