/dports/lang/mono/mono-5.10.1.57/mcs/class/referencesource/mscorlib/system/ |
H A D | bitconverter.cs | 54 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 D | convert.cs | 1812 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 D | array.cs | 78 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 D | string.cs | 125 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 D | TestCCRewrite.cs | 65 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 D | CngAlgorithm.cs | 107 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 D | CapiSymmetricAlgorithm.cs | 114 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 D | CngKeyBlobFormat.cs | 50 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 D | AesCryptoServiceProvider.cs | 77 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 D | NCryptNative.cs | 932 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 D | ContractAdditions.cs | 20 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 D | NCryptSafeHandles.cs | 183 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 D | ContractMustUseRewriterTest.cs | 30 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 D | ContractCollectionMethodsTest.cs | 25 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 D | ContractAssertTest.cs | 25 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 D | stringbuilder.cs | 333 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 D | latin1encoding.cs | 82 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 D | list.cs | 112 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 D | arraysorthelper.cs | 51 … 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 D | ActivityStreamTelemetry.java | 158 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 D | stream.cs | 107 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 D | bufferedstream.cs | 108 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 D | ImmutableStack_1.cs | 69 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 D | cultureinfo.cs | 625 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 D | PartitionedDataSource.cs | 78 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 …]
|