312 references to Contracts
Microsoft.ML.CpuMath (312)
AlignedArray.cs (27)
39Contracts.Assert(0 < size); 41Contracts.Assert(sizeof(float) <= cbAlign); 42Contracts.Assert((cbAlign & (cbAlign - 1)) == 0); 44Contracts.Assert((size * sizeof(float)) % cbAlign == 0); 56Contracts.Assert((float*)addr == pv); 61Contracts.Assert(ibMin % sizeof(float) == 0); 101Contracts.Assert(0 <= index && index < _size); 106Contracts.Assert(0 <= index && index < _size); 113Contracts.Assert(0 <= count && count <= _size); 114Contracts.Assert(0 <= index && index <= dst.Length - count); 120Contracts.Assert(0 <= count); 121Contracts.Assert(0 <= start && start <= _size - count); 122Contracts.Assert(0 <= index && index <= dst.Length - count); 128Contracts.Assert(src.Length <= _size); 134Contracts.Assert(0 <= start && start <= _size - src.Length); 144Contracts.Assert(rgposSrc.Length <= valuesSrc.Length); 145Contracts.Assert(0 <= iposMin && iposMin <= iposLim && iposLim <= rgposSrc.Length); 154Contracts.Assert(posMin <= rgposSrc[ipos]); 156Contracts.Assert(iv < _size + _base); 163Contracts.Assert(src != null); 164Contracts.Assert(src._size == _size); 165Contracts.Assert(src._cbAlign == _cbAlign); 176Contracts.Assert(rgposSrc != null); 177Contracts.Assert(0 <= iposMin && iposMin <= iposLim && iposLim <= rgposSrc.Length); 178Contracts.Assert(iposLim - iposMin <= _size); 184Contracts.Assert(ivCur <= ivNextNonZero && ivNextNonZero < _size); 187Contracts.Assert(ivCur == ivNextNonZero);
AlignedMatrix.cs (59)
39Contracts.Assert(0 < cflt); 41Contracts.Assert(0 < cfltAlign && (cfltAlign & (cfltAlign - 1)) == 0); 54Contracts.Assert(0 < size); 56Contracts.Assert(sizeof(float) <= cbAlign); 57Contracts.Assert((cbAlign & (cbAlign - 1)) == 0); 74Contracts.Assert(0 < _size && _size <= _items.Size); 78Contracts.Assert(_items[i] == 0); 104Contracts.Assert(0 <= index && index < _size); 109Contracts.Assert(0 <= index && index < _size); 121Contracts.Assert(0 <= i && i < _size); 131Contracts.AssertValue(rand); 151Contracts.AssertValue(dst); 152Contracts.Assert(0 <= ivDst && ivDst <= dst.Length - _size); 167Contracts.AssertValue(dst); 168Contracts.Assert(0 <= count && count <= dst.Length); 169Contracts.Assert(0 <= ivSrc && ivSrc <= _size - count); 170Contracts.Assert(0 <= ivDst && ivDst <= dst.Length - count); 181Contracts.AssertValue(src); 182Contracts.Assert(0 <= index && index <= src.Length - _size); 197Contracts.AssertValue(src); 198Contracts.Assert(0 <= count && count <= src.Length); 199Contracts.Assert(0 <= ivDst && ivDst <= _size - count); 200Contracts.Assert(0 <= ivSrc && ivSrc <= src.Length - count); 210Contracts.AssertValue(src); 211Contracts.Assert(src._size == _size); 290Contracts.Assert(0 < cflt); 292Contracts.Assert(0 < cfltAlign && (cfltAlign & (cfltAlign - 1)) == 0); 304Contracts.Assert(0 < runLen); 305Contracts.Assert(0 < runCnt); 307Contracts.Assert(sizeof(float) <= cbAlign); 308Contracts.Assert((cbAlign & (cbAlign - 1)) == 0); 328Contracts.Assert(0 < RunLen && RunLen <= RunLenPhy); 329Contracts.Assert(0 < RunCnt && RunCnt <= RunCntPhy); 330Contracts.Assert(RunLenPhy * RunCntPhy == Items.Size); 336Contracts.Assert(Items[i * RunLenPhy + j] == 0); 343Contracts.Assert(Items[i * RunLenPhy + j] == 0); 358Contracts.AssertValue(rand); 361Contracts.Assert(k == i * RunLenPhy); 383Contracts.AssertValue(src); 385Contracts.Assert(src.RunLen == RunLen); 386Contracts.Assert(src.RunCnt == RunCnt); 387Contracts.Assert(src.RunLenPhy == RunLenPhy); 388Contracts.Assert(src.RunCntPhy == RunCntPhy); 432Contracts.AssertValue(dst); 433Contracts.Assert(0 <= ivDst && ivDst <= dst.Length - ValueCount); 461Contracts.AssertValue(src); 462Contracts.Assert(0 <= ivSrc && ivSrc <= src.Length - ValueCount); 538Contracts.AssertValue(dst); 539Contracts.Assert(0 <= row && row < RowCount); 540Contracts.Assert(0 <= ivDst && ivDst <= dst.Length - ColCount); 552Contracts.AssertValue(indices); 602Contracts.AssertValue(dst); 603Contracts.Assert(0 <= ivDst && ivDst <= dst.Length - ValueCount); 620Contracts.AssertValue(dst); 621Contracts.Assert(0 <= row && row < RowCount); 622Contracts.Assert(0 <= ivDst && ivDst <= dst.Length - ColCount); 635Contracts.AssertValue(src); 636Contracts.Assert(0 <= ivSrc && ivSrc <= src.Length - ValueCount); 650Contracts.AssertValue(indices);
AvxIntrinsics.cs (45)
57Contracts.AssertValue(alignedArray); 58Contracts.Assert(alignedArray.Size > 0); 65Contracts.AssertValue(alignedArray); 67Contracts.Assert(((long)alignedBase % Vector256Alignment) == 0); 178Contracts.Assert(HasCompatibleAlignment(mat)); 179Contracts.Assert(HasCompatibleAlignment(src)); 180Contracts.Assert(HasCompatibleAlignment(dst)); 207Contracts.Assert(((nuint)(pMatTemp) % 32) == 0); 208Contracts.Assert(((nuint)(pSrcCurrent) % 32) == 0); 250Contracts.Assert(HasCompatibleAlignment(mat)); 251Contracts.Assert(HasCompatibleAlignment(src)); 252Contracts.Assert(HasCompatibleAlignment(dst)); 301Contracts.Assert(HasCompatibleAlignment(mat)); 302Contracts.Assert(HasCompatibleAlignment(src)); 303Contracts.Assert(HasCompatibleAlignment(dst)); 338Contracts.Assert(((nuint)(pMatTemp) % 32) == 0); 385Contracts.Assert(((nuint)(pMatTemp) % 32) == 0); 386Contracts.Assert(((nuint)(pDstCurrent) % 32) == 0); 529Contracts.Assert(((nuint)(pDstCurrent) % 32) == 0); 570Contracts.Assert(count <= src.Length); 571Contracts.Assert(count <= dst.Length); 665Contracts.Assert(count <= src.Length); 666Contracts.Assert(count <= dst.Length); 719Contracts.Assert(count <= src.Length); 720Contracts.Assert(count <= dst.Length); 721Contracts.Assert(count <= result.Length); 776Contracts.Assert(count <= src.Length); 777Contracts.Assert(count <= dst.Length); 778Contracts.Assert(count <= idx.Length); 827Contracts.Assert(count <= src.Length); 828Contracts.Assert(count <= dst.Length); 876Contracts.Assert(count <= src.Length); 877Contracts.Assert(count <= dst.Length); 878Contracts.Assert(count <= idx.Length); 924Contracts.Assert(count <= src1.Length); 925Contracts.Assert(count <= src2.Length); 926Contracts.Assert(count <= dst.Length); 1031Contracts.Assert(((nuint)(pValues) % 32) == 0); 1342Contracts.Assert(count <= src.Length); 1343Contracts.Assert(count <= dst.Length); 1396Contracts.Assert(count <= src.Length); 1397Contracts.Assert(count <= dst.Length); 1398Contracts.Assert(count <= idx.Length); 1453Contracts.Assert(count <= src.Length); 1454Contracts.Assert(count <= dst.Length);
CpuAligenedMathUtils.cs (8)
21Contracts.AssertValue(mat); 22Contracts.Assert((mat.Items.CbAlign % CpuMathUtils.GetVectorAlignment()) == 0); 34Contracts.AssertValue(vec); 35Contracts.Assert((vec.Items.CbAlign % CpuMathUtils.GetVectorAlignment()) == 0); 55Contracts.Assert(mat.ColCount == src.VectorSize); 56Contracts.Assert(mat.RowCount == dst.VectorSize); 75Contracts.Assert(m.ColCountPhy == A(src).Items.Size); 76Contracts.Assert(m.RowCountPhy == A(dst).Items.Size);
CpuMathUtils.cs (39)
23Contracts.AssertNonEmpty(destination); 35Contracts.AssertNonEmpty(destination); 50Contracts.AssertNonEmpty(source); 51Contracts.AssertNonEmpty(destination); 52Contracts.Assert(count > 0); 53Contracts.Assert(count <= source.Length); 54Contracts.Assert(count <= destination.Length); 69Contracts.AssertNonEmpty(source); 70Contracts.AssertNonEmpty(destination); 71Contracts.Assert(count > 0); 72Contracts.Assert(count <= source.Length); 73Contracts.Assert(count <= destination.Length); 89Contracts.AssertNonEmpty(source); 90Contracts.AssertNonEmpty(destination); 91Contracts.AssertNonEmpty(result); 92Contracts.Assert(count > 0); 93Contracts.Assert(count <= source.Length); 94Contracts.Assert(count <= destination.Length); 95Contracts.Assert(count <= result.Length); 109Contracts.AssertNonEmpty(source); 110Contracts.AssertNonEmpty(destination); 111Contracts.Assert(count > 0); 112Contracts.Assert(count <= source.Length); 113Contracts.Assert(count <= destination.Length); 128Contracts.AssertNonEmpty(left); 129Contracts.AssertNonEmpty(right); 130Contracts.AssertNonEmpty(destination); 131Contracts.Assert(count > 0); 132Contracts.Assert(count <= left.Length); 133Contracts.Assert(count <= right.Length); 134Contracts.Assert(count <= destination.Length); 147Contracts.AssertNonEmpty(source); 160Contracts.AssertNonEmpty(source); 173Contracts.AssertNonEmpty(source); 188Contracts.AssertNonEmpty(left); 189Contracts.AssertNonEmpty(right); 190Contracts.Assert(count > 0); 191Contracts.Assert(left.Length >= count); 192Contracts.Assert(right.Length >= count);
CpuMathUtils.netcoreapp.cs (73)
41Contracts.Assert(matrix.Size == destination.Size * source.Size); 42Contracts.Assert(stride >= 0); 48Contracts.Assert(stride <= destination.Size); 53Contracts.Assert(stride <= source.Size); 61Contracts.Assert(stride <= destination.Size); 66Contracts.Assert(stride <= source.Size); 74Contracts.Assert(stride <= destination.Size); 88Contracts.Assert(stride <= source.Size); 117Contracts.Assert(iposMin >= 0); 118Contracts.Assert(iposMin <= iposLimit); 119Contracts.Assert(iposLimit <= rgposSrc.Length); 120Contracts.Assert(matrix.Size == destination.Size * sourceValues.Size); 128Contracts.AssertNonEmpty(rgposSrc); 129Contracts.Assert(stride >= 0); 133Contracts.Assert(stride <= destination.Size); 138Contracts.Assert(stride <= destination.Size); 143Contracts.Assert(stride <= destination.Size); 169Contracts.AssertNonEmpty(destination); 199Contracts.AssertNonEmpty(source); 200Contracts.AssertNonEmpty(indices); 201Contracts.AssertNonEmpty(destination); 202Contracts.Assert(count > 0); 203Contracts.Assert(count <= source.Length); 204Contracts.Assert(count <= indices.Length); 205Contracts.Assert(count < destination.Length); 235Contracts.AssertNonEmpty(source); 236Contracts.AssertNonEmpty(indices); 237Contracts.AssertNonEmpty(destination); 238Contracts.Assert(count > 0); 239Contracts.Assert(count <= source.Length); 240Contracts.Assert(count <= indices.Length); 241Contracts.Assert(count < destination.Length); 270Contracts.AssertNonEmpty(source); 300Contracts.AssertNonEmpty(source); 329Contracts.AssertNonEmpty(source); 363Contracts.AssertNonEmpty(source); 399Contracts.AssertNonEmpty(left); 400Contracts.AssertNonEmpty(right); 401Contracts.AssertNonEmpty(indices); 402Contracts.Assert(count > 0); 403Contracts.Assert(count < left.Length); 404Contracts.Assert(count <= right.Length); 405Contracts.Assert(count <= indices.Length); 437Contracts.AssertNonEmpty(left); 438Contracts.AssertNonEmpty(right); 439Contracts.Assert(count > 0); 440Contracts.Assert(count <= left.Length); 441Contracts.Assert(count <= right.Length); 456Contracts.Assert(ccol > 0); 457Contracts.Assert(ccol <= cfltRow); 477Contracts.Assert(index >= 0); 478Contracts.Assert(index < c); 496Contracts.Assert(index >= 0); 497Contracts.Assert(index < c); 502Contracts.Assert(ivLogMin > index || index >= ivLogLim); 509Contracts.Assert(index >= ivLogMin); 510Contracts.Assert(index < ivLogLim); 531Contracts.AssertNonEmpty(source); 532Contracts.AssertNonEmpty(v); 533Contracts.AssertNonEmpty(w); 534Contracts.Assert(count > 0); 535Contracts.Assert(count <= source.Length); 536Contracts.Assert(count <= v.Length); 537Contracts.Assert(count <= w.Length); 571Contracts.AssertNonEmpty(source); 572Contracts.AssertNonEmpty(indices); 573Contracts.AssertNonEmpty(v); 574Contracts.AssertNonEmpty(w); 575Contracts.Assert(count > 0); 576Contracts.Assert(count <= source.Length); 577Contracts.Assert(count <= indices.Length); 578Contracts.Assert(count <= v.Length); 579Contracts.Assert(count <= w.Length);
EigenUtils.cs (1)
20Contracts.Assert(n * n == count);
FactorizationMachine\AvxIntrinsics.cs (2)
52Contracts.Assert(Avx.IsSupported); 153Contracts.Assert(Avx.IsSupported);
FactorizationMachine\FactorizationMachineInterface.cs (4)
18Contracts.AssertValue(a); 19Contracts.Assert(a.Size > 0); 25Contracts.AssertValue(a); 27Contracts.Assert(((long)q & (CbAlign - 1)) == 0);
FactorizationMachine\FactorizationMachineInterface.netcoreapp.cs (14)
16Contracts.AssertNonEmpty(fieldIndices); 17Contracts.AssertNonEmpty(featureValues); 18Contracts.AssertNonEmpty(featureIndices); 19Contracts.AssertNonEmpty(linearWeights); 20Contracts.Assert(Compat(latentWeights)); 21Contracts.Assert(Compat(latentSum)); 45Contracts.AssertNonEmpty(fieldIndices); 46Contracts.AssertNonEmpty(featureIndices); 47Contracts.AssertNonEmpty(featureValues); 48Contracts.Assert(Compat(latentSum)); 49Contracts.AssertNonEmpty(linearWeights); 50Contracts.Assert(Compat(latentWeights)); 51Contracts.AssertNonEmpty(linearAccumulatedSquaredGrads); 52Contracts.Assert(Compat(latentAccumulatedSquaredGrads));
ProbabilityFunctions.cs (1)
122Contracts.CheckParam(0 <= p && p <= 1, nameof(p), "Input probability should be in range 0 to 1.");
src\Microsoft.ML.Core\Utilities\Contracts.cs (1)
74Contracts.Assert(false, "Format string arg mismatch: " + ex.Message);
SseIntrinsics.cs (38)
52Contracts.AssertValue(alignedArray); 53Contracts.Assert(alignedArray.Size > 0); 60Contracts.AssertValue(alignedArray); 62Contracts.Assert(((long)alignedBase & (Vector128Alignment - 1)) == 0); 143Contracts.Assert(HasCompatibleAlignment(mat)); 144Contracts.Assert(HasCompatibleAlignment(src)); 145Contracts.Assert(HasCompatibleAlignment(dst)); 207Contracts.Assert(HasCompatibleAlignment(mat)); 208Contracts.Assert(HasCompatibleAlignment(src)); 209Contracts.Assert(HasCompatibleAlignment(dst)); 258Contracts.Assert(HasCompatibleAlignment(mat)); 259Contracts.Assert(HasCompatibleAlignment(src)); 260Contracts.Assert(HasCompatibleAlignment(dst)); 489Contracts.Assert(count <= src.Length); 490Contracts.Assert(count <= dst.Length); 559Contracts.Assert(count <= src.Length); 560Contracts.Assert(count <= dst.Length); 600Contracts.Assert(count <= src.Length); 601Contracts.Assert(count <= dst.Length); 602Contracts.Assert(count <= result.Length); 644Contracts.Assert(count <= src.Length); 645Contracts.Assert(count <= dst.Length); 646Contracts.Assert(count <= idx.Length); 683Contracts.Assert(count <= src.Length); 684Contracts.Assert(count <= dst.Length); 720Contracts.Assert(count <= src.Length); 721Contracts.Assert(count <= dst.Length); 722Contracts.Assert(count <= idx.Length); 756Contracts.Assert(count <= src1.Length); 757Contracts.Assert(count <= src2.Length); 758Contracts.Assert(count <= dst.Length); 1076Contracts.Assert(count <= src.Length); 1077Contracts.Assert(count <= dst.Length); 1117Contracts.Assert(count <= src.Length); 1118Contracts.Assert(count <= dst.Length); 1119Contracts.Assert(count <= idx.Length); 1161Contracts.Assert(count <= src.Length); 1162Contracts.Assert(count <= dst.Length);