Home
last modified time | relevance | path

Searched refs:Contract (Results 1 – 25 of 1859) sorted by relevance

12345678910>>...75

/dports/lang/mono/mono-5.10.1.57/mcs/class/referencesource/mscorlib/system/
H A Dbitconverter.cs54 Contract.Ensures(Contract.Result<byte[]>() != null); in GetBytes()
55 Contract.Ensures(Contract.Result<byte[]>().Length == 1); in GetBytes()
65 Contract.Ensures(Contract.Result<byte[]>() != null); in GetBytes()
76 Contract.Ensures(Contract.Result<byte[]>() != null); in GetBytes()
90 Contract.Ensures(Contract.Result<byte[]>() != null); in GetBytes()
104 Contract.Ensures(Contract.Result<byte[]>() != null); in GetBytes()
117 Contract.Ensures(Contract.Result<byte[]>() != null); in GetBytes()
127 Contract.Ensures(Contract.Result<byte[]>() != null); in GetBytes()
137 Contract.Ensures(Contract.Result<byte[]>() != null); in GetBytes()
148 Contract.Ensures(Contract.Result<byte[]>() != null); in GetBytes()
[all …]
H A Dconvert.cs1812 Contract.Ensures(Contract.Result<string>() != null); in ToString()
1817 Contract.Ensures(Contract.Result<string>() != null); in ToString()
1822 Contract.Ensures(Contract.Result<string>() != null); in ToString()
1827 Contract.Ensures(Contract.Result<string>() != null); in ToString()
1833 Contract.Ensures(Contract.Result<string>() != null); in ToString()
1839 Contract.Ensures(Contract.Result<string>() != null); in ToString()
1844 Contract.Ensures(Contract.Result<string>() != null); in ToString()
1849 Contract.Ensures(Contract.Result<string>() != null); in ToString()
1854 Contract.Ensures(Contract.Result<string>() != null); in ToString()
2194 Contract.Ensures(Contract.Result<int>() >= 0); in ToBase64CharArray()
[all …]
H A Darray.cs78 Contract.Ensures(Contract.Result<Array>() != null); in CreateInstance()
80 Contract.Ensures(Contract.Result<Array>().Rank == 1); in CreateInstance()
96 Contract.Ensures(Contract.Result<Array>() != null); in CreateInstance()
97 Contract.Ensures(Contract.Result<Array>().Rank == 2); in CreateInstance()
121 Contract.Ensures(Contract.Result<Array>() != null); in CreateInstance()
122 Contract.Ensures(Contract.Result<Array>().Rank == 3); in CreateInstance()
146 Contract.Ensures(Contract.Result<Array>() != null); in CreateInstance()
173 Contract.Ensures(Contract.Result<Array>() != null); in CreateInstance()
204 Contract.Ensures(Contract.Result<Array>() != null); in CreateInstance()
1082 Contract.Ensures(Contract.Result<T[]>() != null); in Empty()
[all …]
H A Dstring.cs125 Contract.Ensures(Contract.Result<String>() != null); in Join()
164 Contract.Ensures(Contract.Result<String>() != null); in Join()
944 Contract.Ensures(Contract.Result<String[]>() != null); in Split()
960 Contract.Ensures(Contract.Result<String[]>() != null); in Split()
966 Contract.Ensures(Contract.Result<String[]>() != null); in Split()
973 Contract.Ensures(Contract.Result<String[]>() != null); in Split()
986 Contract.Ensures(Contract.Result<String[]>() != null); in SplitInternal()
1018 Contract.Ensures(Contract.Result<String[]>() != null); in Split()
2619 Contract.Ensures(Contract.Result<String>() != null); in ToLower()
2630 Contract.Ensures(Contract.Result<String>() != null); in ToLower()
[all …]
/dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Test/
H A DTestCCRewrite.cs65 Contract.Requires (value == 0); in TestEqualsByte()
70 Contract.Requires (value == 0); in TestEqualsSByte()
75 Contract.Requires (value == 0); in TestEqualsUShort()
80 Contract.Requires (value == 0); in TestEqualsShort()
85 Contract.Requires (value == 0); in TestEqualsUInt()
90 Contract.Requires (value == 0); in TestEqualsInt()
95 Contract.Requires (value == 0); in TestEqualsULong()
100 Contract.Requires (value == 0); in TestEqualsLong()
105 Contract.Requires (value == 0); in TestEqualsFloat()
110 Contract.Requires (value == 0); in TestEqualsDouble()
[all …]
/dports/lang/mono/mono-5.10.1.57/mcs/class/referencesource/System.Core/System/Security/Cryptography/
H A DCngAlgorithm.cs107 Contract.Ensures(Contract.Result<CngAlgorithm>() != null);
117 Contract.Ensures(Contract.Result<CngAlgorithm>() != null);
129 Contract.Ensures(Contract.Result<CngAlgorithm>() != null);
141 Contract.Ensures(Contract.Result<CngAlgorithm>() != null);
153 Contract.Ensures(Contract.Result<CngAlgorithm>() != null);
165 Contract.Ensures(Contract.Result<CngAlgorithm>() != null);
177 Contract.Ensures(Contract.Result<CngAlgorithm>() != null);
189 Contract.Ensures(Contract.Result<CngAlgorithm>() != null);
201 Contract.Ensures(Contract.Result<CngAlgorithm>() != null);
213 Contract.Ensures(Contract.Result<CngAlgorithm>() != null);
[all …]
H A DCapiSymmetricAlgorithm.cs114 Contract.Ensures(Contract.Result<int>() >= 0); in DecryptBlocks()
167 Contract.Requires(0 <= offset); in DepadBlock()
168 Contract.Requires(0 <= count); in DepadBlock()
169 …Contract.Ensures(Contract.Result<byte[]>() != null && Contract.Result<byte[]>().Length <= block.Le… in DepadBlock()
247 Contract.Ensures(Contract.Result<int>() >= 0); in EncryptBlocks()
281 Contract.Requires(0 <= count); in PadBlock()
282 …Contract.Ensures(Contract.Result<byte[]>() != null && Contract.Result<byte[]>().Length % InputBloc… in PadBlock()
397 Contract.Ensures(Contract.Result<int>() >= 0); in RawDecryptBlocks()
475 Contract.Ensures(Contract.Result<int>() >= 0); in TransformBlock()
515 Contract.Ensures(Contract.Result<byte[]>() != null); in TransformFinalBlock()
[all …]
H A DCngKeyBlobFormat.cs50 Contract.Ensures(!String.IsNullOrEmpty(Contract.Result<string>()));
73 Contract.Assert(m_format != null); in Equals()
87 Contract.Assert(m_format != null); in GetHashCode()
102 Contract.Ensures(Contract.Result<CngKeyBlobFormat>() != null);
114 Contract.Ensures(Contract.Result<CngKeyBlobFormat>() != null);
126 Contract.Ensures(Contract.Result<CngKeyBlobFormat>() != null);
138 Contract.Ensures(Contract.Result<CngKeyBlobFormat>() != null);
150 Contract.Ensures(Contract.Result<CngKeyBlobFormat>() != null);
162 Contract.Ensures(Contract.Result<CngKeyBlobFormat>() != null);
174 Contract.Ensures(Contract.Result<CngKeyBlobFormat>() != null);
[all …]
H A DAesCryptoServiceProvider.cs77 Contract.Ensures(Contract.Result<byte[]>() != null &&
145 Contract.Ensures(Contract.Result<ICryptoTransform>() != null); in CreateDecryptor()
159 Contract.Ensures(Contract.Result<ICryptoTransform>() != null); in CreateDecryptor()
187 Contract.Requires(key != null); in CreateDecryptor()
188 Contract.Ensures(Contract.Result<ICryptoTransform>() != null); in CreateDecryptor()
206 Contract.Ensures(Contract.Result<ICryptoTransform>() != null); in CreateEncryptor()
225 Contract.Ensures(Contract.Result<ICryptoTransform>() != null); in CreateEncryptor()
254 Contract.Ensures(Contract.Result<ICryptoTransform>() != null); in CreateEncryptor()
301 Contract.Ensures(Contract.Result<KeySizes[]>() != null); in FindSupportedKeySizes()
305 Contract.Ensures(Contract.Result<KeySizes[]>().Length == 0 || in FindSupportedKeySizes()
[all …]
H A DNCryptNative.cs932 Contract.Ensures(Contract.Result<byte[]>() != null); in BuildEccPublicBlob()
1022 Contract.Ensures(Contract.Result<byte[]>() != null); in DeriveKeyMaterial()
1102 Contract.Ensures(Contract.Result<byte[]>() != null); in DeriveKeyMaterial()
1154 Contract.Ensures(Contract.Result<byte[]>() != null); in DeriveKeyMaterialHash()
1177 Contract.Ensures(Contract.Result<byte[]>() != null); in DeriveKeyMaterialHmac()
1198 Contract.Ensures(Contract.Result<byte[]>() != null); in DeriveKeyMaterialTls()
1256 Contract.Ensures(Contract.Result<byte[]>() != null); in ExportKey()
1298 …Contract.Ensures(Contract.Result<byte[]>() != null && Contract.Result<byte[]>().Length >= keySize … in FillKeyParameter()
1640 Contract.Ensures(Contract.Result<byte[]>() != null); in ReverseBytes()
1765 Contract.Ensures(Contract.Result<byte[]>() != null); in SignHash()
[all …]
/dports/lang/mono/mono-5.10.1.57/mcs/class/System.ComponentModel.Composition.4.5/src/ComponentModel/
H A DContractAdditions.cs20 Contract.Ensures(Contract.Result<IEnumerable<ExportDefinition>>() != null);
30 Contract.Ensures(Contract.Result<IEnumerable<ImportDefinition>>() != null);
38 Contract.Requires(definition != null); in GetExportedValue()
46 Contract.Requires(exports != null); in SetImport()
59 Contract.Ensures(Contract.Result<IEnumerable<ExportDefinition>>() != null);
60 …Contract.Ensures(Contract.ForAll(Contract.Result<IEnumerable<ExportDefinition>>(), e => e != null)…
70 Contract.Ensures(Contract.Result<IEnumerable<ImportDefinition>>() != null);
71 …Contract.Ensures(Contract.ForAll(Contract.Result<IEnumerable<ImportDefinition>>(), i => i != null)…
79 Contract.Ensures(Contract.Result<ComposablePart>() != null); in CreatePart()
91 Contract.Ensures(!string.IsNullOrEmpty(Contract.Result<string>()));
[all …]
/dports/lang/mono/mono-5.10.1.57/mcs/class/referencesource/System.Core/Microsoft/Win32/SafeHandles/
H A DNCryptSafeHandles.cs183 Contract.Ensures(Contract.Result<T>() != null);
185 Contract.Ensures(Contract.Result<T>().m_ownershipState == OwnershipState.Duplicate);
188 Contract.Ensures(Contract.Result<T>().IsValidOpenState);
191 Contract.Assert(IsValidOpenState);
213 Contract.Ensures(Contract.Result<T>() != null &&
217 Contract.Ensures(Contract.Result<T>().IsValidOpenState);
219 Contract.Assert(IsValidOpenState);
249 Contract.Ensures(Contract.Result<T>() != null &&
253 Contract.Ensures(Contract.Result<T>().IsValidOpenState);
362 Contract.Requires(!IsClosed); in SetHandleValue()
[all …]
/dports/lang/mono/mono-5.10.1.57/mcs/class/corlib/Test/System.Diagnostics.Contracts/
H A DContractMustUseRewriterTest.cs30 Contract.ContractFailed += (sender, e) => { in CheckMustUseRewriter()
54 () => Contract.Requires (true), in TestRequires()
55 () => Contract.Requires (false), in TestRequires()
56 () => Contract.Requires (true, "Message"), in TestRequires()
57 () => Contract.Requires (false, "Message") in TestRequires()
84 () => Contract.Ensures (true), in TestEnsures()
85 () => Contract.Ensures (false), in TestEnsures()
86 () => Contract.Ensures (true, "Message"), in TestEnsures()
87 () => Contract.Ensures (false, "Message") in TestEnsures()
114 () => Contract.Invariant (true), in TestInvariant()
[all …]
H A DContractCollectionMethodsTest.cs25 Contract.Exists (0, 10, null); in TestExistsInt()
32 Contract.Exists (10, 0, i => false); in TestExistsInt()
38 Assert.IsTrue (Contract.Exists (0, 10, i => i <= 0), "TestExistsInt() #1"); in TestExistsInt()
39 Assert.IsTrue (Contract.Exists (0, 10, i => i >= 9), "TestExistsInt() #2"); in TestExistsInt()
40 Assert.IsFalse (Contract.Exists (0, 10, i => i < 0), "TestExistsInt() #3"); in TestExistsInt()
51 Contract.Exists (Enumerable.Range (0, 10), null); in TestExistsEnumeration()
58 Contract.Exists<int> (null, x => false); in TestExistsEnumeration()
78 Contract.ForAll (0, 10, null); in TestForAllInt()
85 Contract.ForAll (10, 0, i => false); in TestForAllInt()
104 Contract.ForAll (Enumerable.Range (0, 10), null); in TestForAllEnumeration()
[all …]
H A DContractAssertTest.cs25 Contract.Assert (true); in TestAssertTrue()
36 Contract.Assert (false); in TestAssertNoEventHandler()
43 Contract.Assert (false, "Message"); in TestAssertNoEventHandler()
60 Contract.ContractFailed += (sender, e) => { in TestAssertEventHandlerNoAction()
64 Contract.Assert (true); in TestAssertEventHandlerNoAction()
69 Contract.Assert (false); in TestAssertEventHandlerNoAction()
88 Contract.Assert (false); in TestAssertEventHandlerSetHandled()
102 Contract.Assert (false); in TestAssertEventHandlerSetUnwind()
122 Contract.Assert (false); in TestAssertEventHandlerSetUnwindHandled()
141 Contract.Assert (false); in TestAssertEventHandlerThrows()
[all …]
/dports/lang/mono/mono-5.10.1.57/mcs/class/referencesource/mscorlib/system/text/
H A Dstringbuilder.cs333 Contract.Ensures(Contract.Result<String>() != null); in ToString()
376 Contract.Ensures(Contract.Result<String>() != null); in ToString()
460 Contract.Ensures(Contract.Result<int>() >= 0);
560 Contract.Ensures(Contract.Result<StringBuilder>() != null); in Append()
603 Contract.Ensures(Contract.Result<StringBuilder>() != null); in Append()
637 Contract.Ensures(Contract.Result<StringBuilder>() != null); in Append()
710 Contract.Ensures(Contract.Result<StringBuilder>() != null); in Append()
745 Contract.Ensures(Contract.Result<StringBuilder>() != null); in Append()
751 Contract.Ensures(Contract.Result<StringBuilder>() != null); in Append()
1286 Contract.Ensures(Contract.Result<String>() != null); in Append()
[all …]
H A Dlatin1encoding.cs82 Contract.Assert(charLeftOver == 0 || Char.IsHighSurrogate(charLeftOver), in GetByteCount()
125 Contract.Assert(encoder != null, in GetByteCount()
174 Contract.Assert(fallbackBuffer == null || fallbackBuffer.Remaining == 0, in GetByteCount()
185 Contract.Assert(bytes != null, "[Latin1Encoding.GetBytes]bytes is null"); in GetBytes()
187 Contract.Assert(chars != null, "[Latin1Encoding.GetBytes]chars is null"); in GetBytes()
287 Contract.Assert(encoder != null, in GetBytes()
341 Contract.Assert(chars > charStart, in GetBytes()
363 Contract.Assert(chars > charStart, in GetBytes()
388 Contract.Assert(fallbackBuffer == null || fallbackBuffer.Remaining == 0, in GetBytes()
451 Contract.EndContractBlock(); in GetMaxByteCount()
[all …]
/dports/lang/mono/mono-5.10.1.57/mcs/class/referencesource/mscorlib/system/collections/generic/
H A Dlist.cs112 Contract.Ensures(Contract.Result<int>() >= 0);
139 Contract.Ensures(Contract.Result<int>() >= 0);
457 Contract.Ensures(Contract.Result<int>() >= -1); in FindIndex()
463 Contract.Ensures(Contract.Result<int>() >= -1); in FindIndex()
480 Contract.Ensures(Contract.Result<int>() >= -1); in FindIndex()
506 Contract.Ensures(Contract.Result<int>() >= -1); in FindLastIndex()
512 Contract.Ensures(Contract.Result<int>() >= -1); in FindLastIndex()
521 Contract.Ensures(Contract.Result<int>() >= -1); in FindLastIndex()
620 Contract.Ensures(Contract.Result<int>() >= -1); in IndexOf()
853 Contract.Ensures(Contract.Result<int>() >= 0); in RemoveAll()
[all …]
H A Darraysorthelper.cs51 … Contract.Ensures((Contract.Result<int>() >= index && Contract.Result<int>() <= index + length) || in BinarySearch()
312 Contract.Requires(lo >= 0); in IntroSort()
359 Contract.Requires(lo >= 0); in PickPivotAndPartition()
360 Contract.Requires(hi > lo); in PickPivotAndPartition()
362 Contract.Ensures(Contract.Result<int>() >= lo && Contract.Result<int>() <= hi); in PickPivotAndPartition()
396 Contract.Requires(lo >= 0); in Heapsort()
397 Contract.Requires(hi > lo); in Heapsort()
416 Contract.Requires(lo >= 0); in DownHeap()
760 Contract.Ensures(Contract.Result<int>() >= lo && Contract.Result<int>() <= hi); in Sort()
1121 Contract.Ensures(Contract.Result<int>() >= lo && Contract.Result<int>() <= hi); in PickPivotAndPartition()
[all …]
/dports/lang/spidermonkey60/firefox-60.9.0/mobile/android/base/java/org/mozilla/gecko/activitystream/
H A DActivityStreamTelemetry.java158 this.set(Contract.ITEM, Contract.ITEM_SHARE); in fromMenuItemId()
162 this.set(Contract.ITEM, Contract.ITEM_COPY); in fromMenuItemId()
166 this.set(Contract.ITEM, Contract.ITEM_ADD_TO_HOMESCREEN); in fromMenuItemId()
174 this.set(Contract.ITEM, Contract.ITEM_NEW_TAB); in fromMenuItemId()
178 this.set(Contract.ITEM, Contract.ITEM_DISMISS); in fromMenuItemId()
182 this.set(Contract.ITEM, Contract.ITEM_DELETE_HISTORY); in fromMenuItemId()
191 this.set(Contract.SOURCE_SUBTYPE, Contract.SUBTYPE_VISITED); in forHighlightSource()
194 this.set(Contract.SOURCE_SUBTYPE, Contract.SUBTYPE_BOOKMARKED); in forHighlightSource()
210 this.set(Contract.SOURCE_SUBTYPE, Contract.SUBTYPE_PINNED); in forTopSite()
213 this.set(Contract.SOURCE_SUBTYPE, Contract.SUBTYPE_SUGGESTED); in forTopSite()
[all …]
/dports/lang/mono/mono-5.10.1.57/mcs/class/referencesource/mscorlib/system/io/
H A Dstream.cs107 Contract.Ensures(Contract.Result<int>() >= 0);
118 Contract.Ensures(Contract.Result<int>() >= 0);
370 Contract.Ensures(Contract.Result<int>() >= 0); in EndRead()
752 Contract.Ensures(Contract.Result<int>() >= -1); in ReadByte()
753 Contract.Ensures(Contract.Result<int>() < 256); in ReadByte()
781 Contract.Ensures(Contract.Result<Stream>() != null); in Synchronized()
824 Contract.Ensures(Contract.Result<int>() >= 0); in BlockingEndRead()
1255 Contract.Ensures(Contract.Result<int>() >= 0); in EndRead()
1327 Contract.Ensures(Contract.Result<long>() >= 0); in Seek()
1338 Contract.Ensures(Contract.Result<int>() >= 0); in Read()
[all …]
H A Dbufferedstream.cs108 Contract.EndContractBlock(); in BufferedStream()
510 Contract.EndContractBlock(); in Read()
576 Contract.EndContractBlock(); in BeginRead()
641 Contract.Ensures(Contract.Result<Int32>() >= 0); in EndRead()
739 Contract.Assert(offset >= 0); in ReadFromUnderlyingStreamAsync()
740 Contract.Assert(count >= 0); in ReadFromUnderlyingStreamAsync()
865 Contract.EndContractBlock(); in Write()
1005 Contract.EndContractBlock(); in BeginWrite()
1147 Contract.Assert(offset >= 0); in WriteToUnderlyingStreamAsync()
1148 Contract.Assert(count >= 0); in WriteToUnderlyingStreamAsync()
[all …]
/dports/lang/mono/mono-5.10.1.57/external/corefx/src/System.Collections.Immutable/src/System/Collections/Immutable/
H A DImmutableStack_1.cs69 Contract.Ensures(Contract.Result<ImmutableStack<T>>() != null);
70 Contract.Ensures(Contract.Result<ImmutableStack<T>>().IsEmpty);
71 Contract.Assume(s_EmptyField.IsEmpty);
81 Contract.Ensures(Contract.Result<ImmutableStack<T>>() != null); in Clear()
82 Contract.Ensures(Contract.Result<ImmutableStack<T>>().IsEmpty); in Clear()
83 Contract.Assume(s_EmptyField.IsEmpty); in Clear()
152 Contract.Ensures(Contract.Result<ImmutableStack<T>>() != null); in Push()
153 Contract.Ensures(!Contract.Result<ImmutableStack<T>>().IsEmpty); in Push()
176 Contract.Ensures(Contract.Result<ImmutableStack<T>>() != null); in Pop()
256 Contract.Ensures(Contract.Result<ImmutableStack<T>>() != null); in Reverse()
[all …]
/dports/lang/mono/mono-5.10.1.57/mcs/class/referencesource/mscorlib/system/globalization/
H A Dcultureinfo.cs625 Contract.Ensures(Contract.Result<CultureInfo>() != null); in CreateSpecificCulture()
1070 Contract.Ensures(Contract.Result<String>() != null);
1104 Contract.Ensures(Contract.Result<String>() != null);
1134 Contract.Ensures(Contract.Result<String>() != null);
1153 Contract.Ensures(Contract.Result<String>() != null);
1170 Contract.Ensures(Contract.Result<String>() != null);
1179 Contract.Ensures(Contract.Result<String>() != null);
1189 Contract.Ensures(Contract.Result<String>() != null);
1205 Contract.Ensures(Contract.Result<String>() != null);
1358 Contract.Ensures(Contract.Result<String>() != null); in ToString()
[all …]
/dports/lang/mono/mono-5.10.1.57/mcs/class/referencesource/System.Core/System/Linq/Parallel/Partitioning/
H A DPartitionedDataSource.cs78 Contract.Assert(source != null); in InitializePartitions()
79 Contract.Assert(partitionCount > 0); in InitializePartitions()
86 Contract.Assert(source != null); in InitializePartitions()
168 Contract.Assert(source != null); in MakePartitions()
169 Contract.Assert(partitionCount > 0); in MakePartitions()
258 Contract.Assert(sectionSize > 0); in ArrayIndexRangeEnumerator()
288 Contract.Assert(mutables != null); in MoveNextSlowPath()
436 Contract.Assert(sectionSize > 0); in ListIndexRangeEnumerator()
466 Contract.Assert(mutables != null); in MoveNextSlowPath()
616 Contract.Assert(source != null); in ContiguousChunkLazyEnumerator()
[all …]

12345678910>>...75