33 references to Result
Microsoft.AspNetCore.Http (8)
src\Http\Shared\CookieHeaderParserShared.cs (2)
185
Contract.Ensures((Contract.
Result
<int>() >= 0) && (Contract.
Result
<int>() <= (input.Length - offset)));
src\Shared\HttpRuleParser.cs (6)
56
Contract.Ensures((Contract.
Result
<int>() >= 0) && (Contract.
Result
<int>() <= (input.Length - startIndex)));
70
Contract.Ensures((Contract.
Result
<int>() >= 0) && (Contract.
Result
<int>() <= (input.Length - startIndex)));
114
Contract.Ensures((Contract.
Result
<int>() >= 0) && (Contract.
Result
<int>() <= (input.Length - startIndex)));
Microsoft.AspNetCore.Mvc.Core (6)
src\Shared\HttpRuleParser.cs (6)
56
Contract.Ensures((Contract.
Result
<int>() >= 0) && (Contract.
Result
<int>() <= (input.Length - startIndex)));
70
Contract.Ensures((Contract.
Result
<int>() >= 0) && (Contract.
Result
<int>() <= (input.Length - startIndex)));
114
Contract.Ensures((Contract.
Result
<int>() >= 0) && (Contract.
Result
<int>() <= (input.Length - startIndex)));
Microsoft.AspNetCore.Routing (6)
src\Shared\HttpRuleParser.cs (6)
56
Contract.Ensures((Contract.
Result
<int>() >= 0) && (Contract.
Result
<int>() <= (input.Length - startIndex)));
70
Contract.Ensures((Contract.
Result
<int>() >= 0) && (Contract.
Result
<int>() <= (input.Length - startIndex)));
114
Contract.Ensures((Contract.
Result
<int>() >= 0) && (Contract.
Result
<int>() <= (input.Length - startIndex)));
Microsoft.Net.Http.Headers (9)
RangeItemHeaderValue.cs (1)
109
Contract.Ensures((Contract.
Result
<int>() == 0) || (rangeCollection.Count > 0),
src\Http\Shared\CookieHeaderParserShared.cs (2)
185
Contract.Ensures((Contract.
Result
<int>() >= 0) && (Contract.
Result
<int>() <= (input.Length - offset)));
src\Shared\HttpRuleParser.cs (6)
56
Contract.Ensures((Contract.
Result
<int>() >= 0) && (Contract.
Result
<int>() <= (input.Length - startIndex)));
70
Contract.Ensures((Contract.
Result
<int>() >= 0) && (Contract.
Result
<int>() <= (input.Length - startIndex)));
114
Contract.Ensures((Contract.
Result
<int>() >= 0) && (Contract.
Result
<int>() <= (input.Length - startIndex)));
System.Private.CoreLib (4)
src\libraries\System.Private.CoreLib\src\System\Diagnostics\Contracts\Contracts.cs (4)
358
/// <param name="condition">Boolean expression representing the contract. May include <see cref="OldValue"/> and <see cref="
Result
"/>.</param>
374
/// <param name="condition">Boolean expression representing the contract. May include <see cref="OldValue"/> and <see cref="
Result
"/>.</param>
392
/// <param name="condition">Boolean expression representing the contract. May include <see cref="OldValue"/> and <see cref="
Result
"/>.</param>
409
/// <param name="condition">Boolean expression representing the contract. May include <see cref="OldValue"/> and <see cref="
Result
"/>.</param>