215 references to Contracts
Microsoft.ML.CpuMath (215)
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);
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.netstandard.cs (61)
32Contracts.AssertValue(a); 33Contracts.Assert(a.Size > 0); 39Contracts.AssertValue(a); 41Contracts.Assert(((long)q & (Vector128Alignment - 1)) == 0); 60Contracts.Assert(Compat(mat)); 61Contracts.Assert(Compat(src)); 62Contracts.Assert(Compat(dst)); 63Contracts.Assert(mat.Size == dst.Size * src.Size); 73Contracts.Assert(0 <= crun && crun <= dst.Size); 78Contracts.Assert(0 <= crun && crun <= src.Size); 88Contracts.Assert(Compat(mat)); 89Contracts.Assert(Compat(srcValues)); 90Contracts.Assert(Compat(dst)); 91Contracts.Assert(0 <= iposMin && iposMin <= iposLim && iposLim <= rgposSrc.Length); 92Contracts.Assert(mat.Size == dst.Size * srcValues.Size); 99Contracts.AssertNonEmpty(rgposSrc); 107Contracts.Assert(0 <= crun && crun <= dst.Size); 116Contracts.AssertNonEmpty(dst); 127Contracts.AssertNonEmpty(src); 128Contracts.Assert(0 < count && count <= src.Length); 129Contracts.AssertNonEmpty(indices); 130Contracts.Assert(count <= indices.Length); 131Contracts.AssertNonEmpty(dst); 132Contracts.Assert(count < dst.Length); 145Contracts.AssertNonEmpty(src); 146Contracts.Assert(0 < count && count <= src.Length); 147Contracts.AssertNonEmpty(indices); 148Contracts.Assert(count <= indices.Length); 149Contracts.AssertNonEmpty(dst); 150Contracts.Assert(count < dst.Length); 163Contracts.AssertNonEmpty(src); 174Contracts.AssertNonEmpty(src); 185Contracts.AssertNonEmpty(src); 196Contracts.AssertNonEmpty(src); 207Contracts.AssertNonEmpty(a); 208Contracts.AssertNonEmpty(b); 209Contracts.Assert(0 < count); 210Contracts.Assert(count < a.Length); 211Contracts.Assert(count <= b.Length); 212Contracts.Assert(count <= indices.Length); 225Contracts.AssertNonEmpty(a); 226Contracts.AssertNonEmpty(b); 227Contracts.Assert(0 < count && count <= a.Length); 228Contracts.Assert(count <= b.Length); 236Contracts.Assert(0 < ccol && ccol <= cfltRow); 253Contracts.AssertNonEmpty(src); 254Contracts.Assert(count <= src.Length); 255Contracts.AssertNonEmpty(v); 256Contracts.Assert(count <= v.Length); 257Contracts.AssertNonEmpty(w); 258Contracts.Assert(count <= w.Length); 259Contracts.Assert(count > 0); 272Contracts.AssertNonEmpty(source); 273Contracts.Assert(count <= source.Length); 274Contracts.AssertNonEmpty(indices); 275Contracts.Assert(count <= indices.Length); 276Contracts.AssertNonEmpty(v); 277Contracts.Assert(count <= v.Length); 278Contracts.AssertNonEmpty(w); 279Contracts.Assert(count <= w.Length); 280Contracts.Assert(count > 0);
EigenUtils.cs (1)
20Contracts.Assert(n * n == count);
FactorizationMachine\FactorizationMachineInterface.cs (4)
18Contracts.AssertValue(a); 19Contracts.Assert(a.Size > 0); 25Contracts.AssertValue(a); 27Contracts.Assert(((long)q & (CbAlign - 1)) == 0);
FactorizationMachine\FactorizationMachineInterface.netstandard.cs (14)
15Contracts.AssertNonEmpty(fieldIndices); 16Contracts.AssertNonEmpty(featureValues); 17Contracts.AssertNonEmpty(featureIndices); 18Contracts.AssertNonEmpty(linearWeights); 19Contracts.Assert(Compat(latentWeights)); 20Contracts.Assert(Compat(latentSum)); 39Contracts.AssertNonEmpty(fieldIndices); 40Contracts.AssertNonEmpty(featureIndices); 41Contracts.AssertNonEmpty(featureValues); 42Contracts.Assert(Compat(latentSum)); 43Contracts.AssertNonEmpty(linearWeights); 44Contracts.Assert(Compat(latentWeights)); 45Contracts.AssertNonEmpty(linearAccumulatedSquaredGrads); 46Contracts.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);