17 references to Ensures
Microsoft.AspNetCore.Http (4)
src\Http\Shared\CookieHeaderParserShared.cs (1)
185Contract.Ensures((Contract.Result<int>() >= 0) && (Contract.Result<int>() <= (input.Length - offset)));
src\Shared\HttpRuleParser.cs (3)
56Contract.Ensures((Contract.Result<int>() >= 0) && (Contract.Result<int>() <= (input.Length - startIndex))); 70Contract.Ensures((Contract.Result<int>() >= 0) && (Contract.Result<int>() <= (input.Length - startIndex))); 114Contract.Ensures((Contract.Result<int>() >= 0) && (Contract.Result<int>() <= (input.Length - startIndex)));
Microsoft.AspNetCore.Mvc.Core (3)
src\Shared\HttpRuleParser.cs (3)
56Contract.Ensures((Contract.Result<int>() >= 0) && (Contract.Result<int>() <= (input.Length - startIndex))); 70Contract.Ensures((Contract.Result<int>() >= 0) && (Contract.Result<int>() <= (input.Length - startIndex))); 114Contract.Ensures((Contract.Result<int>() >= 0) && (Contract.Result<int>() <= (input.Length - startIndex)));
Microsoft.AspNetCore.Routing (3)
src\Shared\HttpRuleParser.cs (3)
56Contract.Ensures((Contract.Result<int>() >= 0) && (Contract.Result<int>() <= (input.Length - startIndex))); 70Contract.Ensures((Contract.Result<int>() >= 0) && (Contract.Result<int>() <= (input.Length - startIndex))); 114Contract.Ensures((Contract.Result<int>() >= 0) && (Contract.Result<int>() <= (input.Length - startIndex)));
Microsoft.Net.Http.Headers (4)
src\Http\Shared\CookieHeaderParserShared.cs (1)
185Contract.Ensures((Contract.Result<int>() >= 0) && (Contract.Result<int>() <= (input.Length - offset)));
src\Shared\HttpRuleParser.cs (3)
56Contract.Ensures((Contract.Result<int>() >= 0) && (Contract.Result<int>() <= (input.Length - startIndex))); 70Contract.Ensures((Contract.Result<int>() >= 0) && (Contract.Result<int>() <= (input.Length - startIndex))); 114Contract.Ensures((Contract.Result<int>() >= 0) && (Contract.Result<int>() <= (input.Length - startIndex)));
System.Private.CoreLib (3)
src\libraries\System.Private.CoreLib\src\System\Diagnostics\Contracts\Contracts.cs (3)
431/// This method can only be used within the argument to the <see cref="Ensures(bool)"/> contract. 443/// This method can only be used within the argument to the <see cref="Ensures(bool)"/> contract. 455/// This method can only be used within the argument to the <see cref="Ensures(bool)"/> contract.