215 references to Contracts
Microsoft.ML.CpuMath (215)
AlignedArray.cs (27)
39
Contracts
.Assert(0 < size);
41
Contracts
.Assert(sizeof(float) <= cbAlign);
42
Contracts
.Assert((cbAlign & (cbAlign - 1)) == 0);
44
Contracts
.Assert((size * sizeof(float)) % cbAlign == 0);
56
Contracts
.Assert((float*)addr == pv);
61
Contracts
.Assert(ibMin % sizeof(float) == 0);
101
Contracts
.Assert(0 <= index && index < _size);
106
Contracts
.Assert(0 <= index && index < _size);
113
Contracts
.Assert(0 <= count && count <= _size);
114
Contracts
.Assert(0 <= index && index <= dst.Length - count);
120
Contracts
.Assert(0 <= count);
121
Contracts
.Assert(0 <= start && start <= _size - count);
122
Contracts
.Assert(0 <= index && index <= dst.Length - count);
128
Contracts
.Assert(src.Length <= _size);
134
Contracts
.Assert(0 <= start && start <= _size - src.Length);
144
Contracts
.Assert(rgposSrc.Length <= valuesSrc.Length);
145
Contracts
.Assert(0 <= iposMin && iposMin <= iposLim && iposLim <= rgposSrc.Length);
154
Contracts
.Assert(posMin <= rgposSrc[ipos]);
156
Contracts
.Assert(iv < _size + _base);
163
Contracts
.Assert(src != null);
164
Contracts
.Assert(src._size == _size);
165
Contracts
.Assert(src._cbAlign == _cbAlign);
176
Contracts
.Assert(rgposSrc != null);
177
Contracts
.Assert(0 <= iposMin && iposMin <= iposLim && iposLim <= rgposSrc.Length);
178
Contracts
.Assert(iposLim - iposMin <= _size);
184
Contracts
.Assert(ivCur <= ivNextNonZero && ivNextNonZero < _size);
187
Contracts
.Assert(ivCur == ivNextNonZero);
AlignedMatrix.cs (59)
39
Contracts
.Assert(0 < cflt);
41
Contracts
.Assert(0 < cfltAlign && (cfltAlign & (cfltAlign - 1)) == 0);
54
Contracts
.Assert(0 < size);
56
Contracts
.Assert(sizeof(float) <= cbAlign);
57
Contracts
.Assert((cbAlign & (cbAlign - 1)) == 0);
74
Contracts
.Assert(0 < _size && _size <= _items.Size);
78
Contracts
.Assert(_items[i] == 0);
104
Contracts
.Assert(0 <= index && index < _size);
109
Contracts
.Assert(0 <= index && index < _size);
121
Contracts
.Assert(0 <= i && i < _size);
131
Contracts
.AssertValue(rand);
151
Contracts
.AssertValue(dst);
152
Contracts
.Assert(0 <= ivDst && ivDst <= dst.Length - _size);
167
Contracts
.AssertValue(dst);
168
Contracts
.Assert(0 <= count && count <= dst.Length);
169
Contracts
.Assert(0 <= ivSrc && ivSrc <= _size - count);
170
Contracts
.Assert(0 <= ivDst && ivDst <= dst.Length - count);
181
Contracts
.AssertValue(src);
182
Contracts
.Assert(0 <= index && index <= src.Length - _size);
197
Contracts
.AssertValue(src);
198
Contracts
.Assert(0 <= count && count <= src.Length);
199
Contracts
.Assert(0 <= ivDst && ivDst <= _size - count);
200
Contracts
.Assert(0 <= ivSrc && ivSrc <= src.Length - count);
210
Contracts
.AssertValue(src);
211
Contracts
.Assert(src._size == _size);
290
Contracts
.Assert(0 < cflt);
292
Contracts
.Assert(0 < cfltAlign && (cfltAlign & (cfltAlign - 1)) == 0);
304
Contracts
.Assert(0 < runLen);
305
Contracts
.Assert(0 < runCnt);
307
Contracts
.Assert(sizeof(float) <= cbAlign);
308
Contracts
.Assert((cbAlign & (cbAlign - 1)) == 0);
328
Contracts
.Assert(0 < RunLen && RunLen <= RunLenPhy);
329
Contracts
.Assert(0 < RunCnt && RunCnt <= RunCntPhy);
330
Contracts
.Assert(RunLenPhy * RunCntPhy == Items.Size);
336
Contracts
.Assert(Items[i * RunLenPhy + j] == 0);
343
Contracts
.Assert(Items[i * RunLenPhy + j] == 0);
358
Contracts
.AssertValue(rand);
361
Contracts
.Assert(k == i * RunLenPhy);
383
Contracts
.AssertValue(src);
385
Contracts
.Assert(src.RunLen == RunLen);
386
Contracts
.Assert(src.RunCnt == RunCnt);
387
Contracts
.Assert(src.RunLenPhy == RunLenPhy);
388
Contracts
.Assert(src.RunCntPhy == RunCntPhy);
432
Contracts
.AssertValue(dst);
433
Contracts
.Assert(0 <= ivDst && ivDst <= dst.Length - ValueCount);
461
Contracts
.AssertValue(src);
462
Contracts
.Assert(0 <= ivSrc && ivSrc <= src.Length - ValueCount);
538
Contracts
.AssertValue(dst);
539
Contracts
.Assert(0 <= row && row < RowCount);
540
Contracts
.Assert(0 <= ivDst && ivDst <= dst.Length - ColCount);
552
Contracts
.AssertValue(indices);
602
Contracts
.AssertValue(dst);
603
Contracts
.Assert(0 <= ivDst && ivDst <= dst.Length - ValueCount);
620
Contracts
.AssertValue(dst);
621
Contracts
.Assert(0 <= row && row < RowCount);
622
Contracts
.Assert(0 <= ivDst && ivDst <= dst.Length - ColCount);
635
Contracts
.AssertValue(src);
636
Contracts
.Assert(0 <= ivSrc && ivSrc <= src.Length - ValueCount);
650
Contracts
.AssertValue(indices);
CpuAligenedMathUtils.cs (8)
21
Contracts
.AssertValue(mat);
22
Contracts
.Assert((mat.Items.CbAlign % CpuMathUtils.GetVectorAlignment()) == 0);
34
Contracts
.AssertValue(vec);
35
Contracts
.Assert((vec.Items.CbAlign % CpuMathUtils.GetVectorAlignment()) == 0);
55
Contracts
.Assert(mat.ColCount == src.VectorSize);
56
Contracts
.Assert(mat.RowCount == dst.VectorSize);
75
Contracts
.Assert(m.ColCountPhy == A(src).Items.Size);
76
Contracts
.Assert(m.RowCountPhy == A(dst).Items.Size);
CpuMathUtils.cs (39)
23
Contracts
.AssertNonEmpty(destination);
35
Contracts
.AssertNonEmpty(destination);
50
Contracts
.AssertNonEmpty(source);
51
Contracts
.AssertNonEmpty(destination);
52
Contracts
.Assert(count > 0);
53
Contracts
.Assert(count <= source.Length);
54
Contracts
.Assert(count <= destination.Length);
69
Contracts
.AssertNonEmpty(source);
70
Contracts
.AssertNonEmpty(destination);
71
Contracts
.Assert(count > 0);
72
Contracts
.Assert(count <= source.Length);
73
Contracts
.Assert(count <= destination.Length);
89
Contracts
.AssertNonEmpty(source);
90
Contracts
.AssertNonEmpty(destination);
91
Contracts
.AssertNonEmpty(result);
92
Contracts
.Assert(count > 0);
93
Contracts
.Assert(count <= source.Length);
94
Contracts
.Assert(count <= destination.Length);
95
Contracts
.Assert(count <= result.Length);
109
Contracts
.AssertNonEmpty(source);
110
Contracts
.AssertNonEmpty(destination);
111
Contracts
.Assert(count > 0);
112
Contracts
.Assert(count <= source.Length);
113
Contracts
.Assert(count <= destination.Length);
128
Contracts
.AssertNonEmpty(left);
129
Contracts
.AssertNonEmpty(right);
130
Contracts
.AssertNonEmpty(destination);
131
Contracts
.Assert(count > 0);
132
Contracts
.Assert(count <= left.Length);
133
Contracts
.Assert(count <= right.Length);
134
Contracts
.Assert(count <= destination.Length);
147
Contracts
.AssertNonEmpty(source);
160
Contracts
.AssertNonEmpty(source);
173
Contracts
.AssertNonEmpty(source);
188
Contracts
.AssertNonEmpty(left);
189
Contracts
.AssertNonEmpty(right);
190
Contracts
.Assert(count > 0);
191
Contracts
.Assert(left.Length >= count);
192
Contracts
.Assert(right.Length >= count);
CpuMathUtils.netstandard.cs (61)
32
Contracts
.AssertValue(a);
33
Contracts
.Assert(a.Size > 0);
39
Contracts
.AssertValue(a);
41
Contracts
.Assert(((long)q & (Vector128Alignment - 1)) == 0);
60
Contracts
.Assert(Compat(mat));
61
Contracts
.Assert(Compat(src));
62
Contracts
.Assert(Compat(dst));
63
Contracts
.Assert(mat.Size == dst.Size * src.Size);
73
Contracts
.Assert(0 <= crun && crun <= dst.Size);
78
Contracts
.Assert(0 <= crun && crun <= src.Size);
88
Contracts
.Assert(Compat(mat));
89
Contracts
.Assert(Compat(srcValues));
90
Contracts
.Assert(Compat(dst));
91
Contracts
.Assert(0 <= iposMin && iposMin <= iposLim && iposLim <= rgposSrc.Length);
92
Contracts
.Assert(mat.Size == dst.Size * srcValues.Size);
99
Contracts
.AssertNonEmpty(rgposSrc);
107
Contracts
.Assert(0 <= crun && crun <= dst.Size);
116
Contracts
.AssertNonEmpty(dst);
127
Contracts
.AssertNonEmpty(src);
128
Contracts
.Assert(0 < count && count <= src.Length);
129
Contracts
.AssertNonEmpty(indices);
130
Contracts
.Assert(count <= indices.Length);
131
Contracts
.AssertNonEmpty(dst);
132
Contracts
.Assert(count < dst.Length);
145
Contracts
.AssertNonEmpty(src);
146
Contracts
.Assert(0 < count && count <= src.Length);
147
Contracts
.AssertNonEmpty(indices);
148
Contracts
.Assert(count <= indices.Length);
149
Contracts
.AssertNonEmpty(dst);
150
Contracts
.Assert(count < dst.Length);
163
Contracts
.AssertNonEmpty(src);
174
Contracts
.AssertNonEmpty(src);
185
Contracts
.AssertNonEmpty(src);
196
Contracts
.AssertNonEmpty(src);
207
Contracts
.AssertNonEmpty(a);
208
Contracts
.AssertNonEmpty(b);
209
Contracts
.Assert(0 < count);
210
Contracts
.Assert(count < a.Length);
211
Contracts
.Assert(count <= b.Length);
212
Contracts
.Assert(count <= indices.Length);
225
Contracts
.AssertNonEmpty(a);
226
Contracts
.AssertNonEmpty(b);
227
Contracts
.Assert(0 < count && count <= a.Length);
228
Contracts
.Assert(count <= b.Length);
236
Contracts
.Assert(0 < ccol && ccol <= cfltRow);
253
Contracts
.AssertNonEmpty(src);
254
Contracts
.Assert(count <= src.Length);
255
Contracts
.AssertNonEmpty(v);
256
Contracts
.Assert(count <= v.Length);
257
Contracts
.AssertNonEmpty(w);
258
Contracts
.Assert(count <= w.Length);
259
Contracts
.Assert(count > 0);
272
Contracts
.AssertNonEmpty(source);
273
Contracts
.Assert(count <= source.Length);
274
Contracts
.AssertNonEmpty(indices);
275
Contracts
.Assert(count <= indices.Length);
276
Contracts
.AssertNonEmpty(v);
277
Contracts
.Assert(count <= v.Length);
278
Contracts
.AssertNonEmpty(w);
279
Contracts
.Assert(count <= w.Length);
280
Contracts
.Assert(count > 0);
EigenUtils.cs (1)
20
Contracts
.Assert(n * n == count);
FactorizationMachine\FactorizationMachineInterface.cs (4)
18
Contracts
.AssertValue(a);
19
Contracts
.Assert(a.Size > 0);
25
Contracts
.AssertValue(a);
27
Contracts
.Assert(((long)q & (CbAlign - 1)) == 0);
FactorizationMachine\FactorizationMachineInterface.netstandard.cs (14)
15
Contracts
.AssertNonEmpty(fieldIndices);
16
Contracts
.AssertNonEmpty(featureValues);
17
Contracts
.AssertNonEmpty(featureIndices);
18
Contracts
.AssertNonEmpty(linearWeights);
19
Contracts
.Assert(Compat(latentWeights));
20
Contracts
.Assert(Compat(latentSum));
39
Contracts
.AssertNonEmpty(fieldIndices);
40
Contracts
.AssertNonEmpty(featureIndices);
41
Contracts
.AssertNonEmpty(featureValues);
42
Contracts
.Assert(Compat(latentSum));
43
Contracts
.AssertNonEmpty(linearWeights);
44
Contracts
.Assert(Compat(latentWeights));
45
Contracts
.AssertNonEmpty(linearAccumulatedSquaredGrads);
46
Contracts
.Assert(Compat(latentAccumulatedSquaredGrads));
ProbabilityFunctions.cs (1)
122
Contracts
.CheckParam(0 <= p && p <= 1, nameof(p), "Input probability should be in range 0 to 1.");
src\Microsoft.ML.Core\Utilities\Contracts.cs (1)
74
Contracts
.Assert(false, "Format string arg mismatch: " + ex.Message);