Requires

FrameworkFork\System.ServiceModel\System\ServiceModel\Channels\BufferedWriteStream.cs (1)

src\Http\Shared\CookieHeaderParserShared.cs (3)

110Contract.Requires(startIndex <= input.Length); // it's OK if index == value.Length. 142Contract.Requires(offset >= 0); 184Contract.Requires(offset >= 0);

src\Shared\HttpRuleParser.cs (4)

113Contract.Requires((startIndex >= 0) && (startIndex < input.Length)); 165Contract.Requires((startIndex >= 0) && (startIndex < input.Length)); 219Contract.Requires(input != null); 220Contract.Requires((startIndex >= 0) && (startIndex < input.Length));

src\Shared\HttpRuleParser.cs (4)

113Contract.Requires((startIndex >= 0) && (startIndex < input.Length)); 165Contract.Requires((startIndex >= 0) && (startIndex < input.Length)); 219Contract.Requires(input != null); 220Contract.Requires((startIndex >= 0) && (startIndex < input.Length));

src\Shared\HttpRuleParser.cs (4)

113Contract.Requires((startIndex >= 0) && (startIndex < input.Length)); 165Contract.Requires((startIndex >= 0) && (startIndex < input.Length)); 219Contract.Requires(input != null); 220Contract.Requires((startIndex >= 0) && (startIndex < input.Length));

ResponseBodyPipeWriter.cs (1)

45Contract.Requires(innerException != null);

BufferStream.cs (1)

311Contract.Requires(innerException != null);

Differs\Differences.cs (3)

13Contract.Requires(id != null); 14Contract.Requires(message != null); 26Contract.Requires(obj != null);

Differs\ElementDifferenceFactory.cs (1)

28Contract.Requires(container != null);

Extensions\CSharp\CSharpCciExtensions.cs (3)

98Contract.Requires(baseType != null); 99Contract.Requires(type != null); 1005Contract.Requires(member != null);

Extensions\DocIdExtensions.cs (1)

65Contract.Requires(reference != null);

Extensions\TypeExtensions.cs (4)

136Contract.Requires(reference != null); 137Contract.Requires(!(reference is Dummy)); 245Contract.Requires(reference != null); 269Contract.Requires(reference != null);

HostEnvironment.cs (2)

193Contract.Requires(probeDir != null); 194Contract.Requires(referencedAssembly != null);

Mappings\AttributesMapping.cs (2)

82Contract.Requires(attributes != null); 83Contract.Requires(comparer != null);

Mappings\ElementMapping.cs (1)

24Contract.Requires(settings.ElementCount >= 0 && settings.ElementCount <= 2);

Traversers\DifferenceTraverser.cs (2)

25Contract.Requires(oldAssemblies != null); 26Contract.Requires(newAssemblies != null);

Traversers\MappingsTypeMemberTraverser.cs (1)

22Contract.Requires(settings != null);

Writers\CSharp\CSDeclarationWriter.cs (1)

48Contract.Requires(writer != null);

Writers\Syntax\IndentionSyntaxWriter.cs (1)

22Contract.Requires(writer != null);

CacheControlHeaderValue.cs (1)

520Contract.Requires(startIndex >= 0);

ContentDispositionHeaderValue.cs (2)

276Contract.Requires(startIndex >= 0); 316Contract.Requires((input.Length > 0) && (startIndex < input.Length));

ContentRangeHeaderValue.cs (1)

229Contract.Requires(startIndex >= 0);

EntityTagHeaderValue.cs (1)

212Contract.Requires(startIndex >= 0);

HeaderUtilities.cs (1)

156Contract.Requires(startIndex <= input.Length); // it's OK if index == value.Length.

HttpHeaderParser.cs (1)

35Contract.Requires((value == null) || ((index >= 0) && (index <= value.Length)));

MediaTypeHeaderValue.cs (2)

562Contract.Requires(startIndex >= 0); 606Contract.Requires((input.Length > 0) && (startIndex < input.Length));

NameValueHeaderValue.cs (3)

338Contract.Requires(startIndex >= 0); 394Contract.Requires(startIndex >= 0); 436Contract.Requires(name.Length > 0);

RangeConditionHeaderValue.cs (1)

135Contract.Requires(startIndex >= 0);

RangeHeaderValue.cs (1)

154Contract.Requires(startIndex >= 0);

RangeItemHeaderValue.cs (2)

108Contract.Requires(startIndex >= 0); 156Contract.Requires(startIndex >= 0);

SetCookieHeaderValue.cs (1)

475Contract.Requires(startIndex >= 0);

src\Http\Shared\CookieHeaderParserShared.cs (3)

110Contract.Requires(startIndex <= input.Length); // it's OK if index == value.Length. 142Contract.Requires(offset >= 0); 184Contract.Requires(offset >= 0);

src\Shared\HttpRuleParser.cs (4)

113Contract.Requires((startIndex >= 0) && (startIndex < input.Length)); 165Contract.Requires((startIndex >= 0) && (startIndex < input.Length)); 219Contract.Requires(input != null); 220Contract.Requires((startIndex >= 0) && (startIndex < input.Length));

StringWithQualityHeaderValue.cs (1)

187Contract.Requires(startIndex >= 0);