330 references to ContractUtils
System.Core (330)
Microsoft\Scripting\Actions\BinaryOperationBinder.cs (5)
36ContractUtils.Requires(OperationIsValid(operation), "operation"); 82ContractUtils.RequiresNotNull(target, "target"); 83ContractUtils.RequiresNotNull(args, "args"); 84ContractUtils.Requires(args.Length == 1, "args"); 87ContractUtils.RequiresNotNull(arg0, "args");
Microsoft\Scripting\Actions\BindingRestrictions.cs (7)
59ContractUtils.RequiresNotNull(restrictions, "restrictions"); 76ContractUtils.RequiresNotNull(expression, "expression"); 77ContractUtils.RequiresNotNull(type, "type"); 101ContractUtils.RequiresNotNull(expression, "expression"); 116ContractUtils.RequiresNotNull(expression, "expression"); 117ContractUtils.Requires(expression.Type == typeof(bool), "expression"); 222throw ContractUtils.Unreachable;
Microsoft\Scripting\Actions\CallInfo.cs (2)
69ContractUtils.RequiresNotNull(argNames, "argNames"); 74ContractUtils.RequiresNotNullItems(argNameCol, "argNames");
Microsoft\Scripting\Actions\CallSite.cs (3)
100ContractUtils.RequiresNotNull(delegateType, "delegateType"); 101ContractUtils.RequiresNotNull(binder, "binder"); 316ContractUtils.Requires(pis.Length > 0 && pis[0].ParameterType == typeof(CallSite), "T");
Microsoft\Scripting\Actions\ConvertBinder.cs (3)
32ContractUtils.RequiresNotNull(type, "type"); 81ContractUtils.RequiresNotNull(target, "target"); 82ContractUtils.Requires(args == null || args.Length == 0, "args");
Microsoft\Scripting\Actions\CreateInstanceBinder.cs (3)
30ContractUtils.RequiresNotNull(callInfo, "callInfo"); 74ContractUtils.RequiresNotNull(target, "target"); 75ContractUtils.RequiresNotNullItems(args, "args");
Microsoft\Scripting\Actions\DeleteIndexBinder.cs (3)
30ContractUtils.RequiresNotNull(callInfo, "callInfo"); 55ContractUtils.RequiresNotNull(target, "target"); 56ContractUtils.RequiresNotNullItems(args, "args");
Microsoft\Scripting\Actions\DeleteMemberBinder.cs (3)
33ContractUtils.RequiresNotNull(name, "name"); 88ContractUtils.RequiresNotNull(target, "target"); 89ContractUtils.Requires(args == null || args.Length == 0);
Microsoft\Scripting\Actions\DynamicMetaObject.cs (18)
54ContractUtils.RequiresNotNull(expression, "expression"); 55ContractUtils.RequiresNotNull(restrictions, "restrictions"); 148ContractUtils.RequiresNotNull(binder, "binder"); 158ContractUtils.RequiresNotNull(binder, "binder"); 169ContractUtils.RequiresNotNull(binder, "binder"); 179ContractUtils.RequiresNotNull(binder, "binder"); 190ContractUtils.RequiresNotNull(binder, "binder"); 202ContractUtils.RequiresNotNull(binder, "binder"); 213ContractUtils.RequiresNotNull(binder, "binder"); 224ContractUtils.RequiresNotNull(binder, "binder"); 235ContractUtils.RequiresNotNull(binder, "binder"); 246ContractUtils.RequiresNotNull(binder, "binder"); 256ContractUtils.RequiresNotNull(binder, "binder"); 267ContractUtils.RequiresNotNull(binder, "binder"); 286ContractUtils.RequiresNotNull(objects, "objects"); 291ContractUtils.RequiresNotNull(mo, "objects"); 293ContractUtils.RequiresNotNull(expr, "objects"); 311ContractUtils.RequiresNotNull(expression, "expression");
Microsoft\Scripting\Actions\DynamicMetaObjectBinder.cs (4)
74ContractUtils.RequiresNotNull(args, "args"); 75ContractUtils.RequiresNotNull(parameters, "parameters"); 76ContractUtils.RequiresNotNull(returnLabel, "returnLabel"); 239ContractUtils.RequiresNotNull(target, "target");
Microsoft\Scripting\Actions\DynamicObject.cs (1)
385ContractUtils.Requires(args[i] is ParameterExpression);
Microsoft\Scripting\Actions\ExpandoObject.cs (15)
277ContractUtils.RequiresNotNull(key, "key"); 355ContractUtils.RequiresNotNull(array, "array"); 356ContractUtils.RequiresArrayRange(array, arrayIndex, _expandoCount, "arrayIndex", "Count"); 481ContractUtils.RequiresNotNull(array, "array"); 482ContractUtils.RequiresArrayRange(array, arrayIndex, _expandoCount, "arrayIndex", "Count"); 561ContractUtils.RequiresNotNull(key, "key"); 572ContractUtils.RequiresNotNull(key, "key"); 580ContractUtils.RequiresNotNull(key, "key"); 636ContractUtils.RequiresNotNull(array, "array"); 637ContractUtils.RequiresArrayRange(array, arrayIndex, _count, "arrayIndex", "Count"); 731ContractUtils.RequiresNotNull(binder, "binder"); 742ContractUtils.RequiresNotNull(binder, "binder"); 753ContractUtils.RequiresNotNull(binder, "binder"); 754ContractUtils.RequiresNotNull(value, "value"); 781ContractUtils.RequiresNotNull(binder, "binder");
Microsoft\Scripting\Actions\GetIndexBinder.cs (3)
31ContractUtils.RequiresNotNull(callInfo, "callInfo"); 56ContractUtils.RequiresNotNull(target, "target"); 57ContractUtils.RequiresNotNullItems(args, "args");
Microsoft\Scripting\Actions\GetMemberBinder.cs (3)
32ContractUtils.RequiresNotNull(name, "name"); 87ContractUtils.RequiresNotNull(target, "target"); 88ContractUtils.Requires(args == null || args.Length == 0, "args");
Microsoft\Scripting\Actions\InvokeBinder.cs (3)
31ContractUtils.RequiresNotNull(callInfo, "callInfo"); 75ContractUtils.RequiresNotNull(target, "target"); 76ContractUtils.RequiresNotNullItems(args, "args");
Microsoft\Scripting\Actions\InvokeMemberBinder.cs (4)
36ContractUtils.RequiresNotNull(name, "name"); 37ContractUtils.RequiresNotNull(callInfo, "callInfo"); 83ContractUtils.RequiresNotNull(target, "target"); 84ContractUtils.RequiresNotNullItems(args, "args");
Microsoft\Scripting\Actions\SetIndexBinder.cs (6)
31ContractUtils.RequiresNotNull(callInfo, "callInfo"); 56ContractUtils.RequiresNotNull(target, "target"); 57ContractUtils.RequiresNotNull(args, "args"); 58ContractUtils.Requires(args.Length >= 2, "args"); 63ContractUtils.RequiresNotNull(value, "args"); 64ContractUtils.RequiresNotNullItems(indexes, "args");
Microsoft\Scripting\Actions\SetMemberBinder.cs (5)
32ContractUtils.RequiresNotNull(name, "name"); 70ContractUtils.RequiresNotNull(target, "target"); 71ContractUtils.RequiresNotNull(args, "args"); 72ContractUtils.Requires(args.Length == 1, "args"); 75ContractUtils.RequiresNotNull(arg0, "args");
Microsoft\Scripting\Actions\UnaryOperationBinder.cs (3)
36ContractUtils.Requires(OperationIsValid(operation), "operation"); 88ContractUtils.RequiresNotNull(target, "target"); 89ContractUtils.Requires(args == null || args.Length == 0, "args");
Microsoft\Scripting\Ast\BlockExpression.cs (19)
109throw ContractUtils.Unreachable; 114throw ContractUtils.Unreachable; 119throw ContractUtils.Unreachable; 123throw ContractUtils.Unreachable; 147throw ContractUtils.Unreachable; 527throw ContractUtils.Unreachable; 531throw ContractUtils.Unreachable; 543throw ContractUtils.Unreachable; 552throw ContractUtils.Unreachable; 556throw ContractUtils.Unreachable; 579throw ContractUtils.Unreachable; 680ContractUtils.RequiresNotNull(expressions, "expressions"); 688ContractUtils.RequiresNotEmpty(expressions, "expressions"); 710ContractUtils.RequiresNotNull(expressions, "expressions"); 752ContractUtils.RequiresNotNull(expressions, "expressions"); 754ContractUtils.RequiresNotEmpty(expressionList, "expressions"); 768ContractUtils.RequiresNotNull(type, "type"); 769ContractUtils.RequiresNotNull(expressions, "expressions"); 774ContractUtils.RequiresNotEmpty(expressionList, "expressions");
Microsoft\Scripting\Ast\CatchBlock.cs (4)
125ContractUtils.RequiresNotNull(variable, "variable"); 150ContractUtils.RequiresNotNull(variable, "variable"); 164ContractUtils.RequiresNotNull(type, "type"); 165ContractUtils.Requires(variable == null || TypeUtils.AreEquivalent(variable.Type, type), "variable");
Microsoft\Scripting\Ast\ConditionalExpression.cs (1)
189ContractUtils.RequiresNotNull(type, "type");
Microsoft\Scripting\Ast\ConstantExpression.cs (1)
128ContractUtils.RequiresNotNull(type, "type");
Microsoft\Scripting\Ast\DebugInfoExpression.cs (7)
66get { throw ContractUtils.Unreachable; } 73get { throw ContractUtils.Unreachable; } 80get { throw ContractUtils.Unreachable; } 87get { throw ContractUtils.Unreachable; } 101get { throw ContractUtils.Unreachable; } 208ContractUtils.RequiresNotNull(document, "document"); 223ContractUtils.RequiresNotNull(document, "document");
Microsoft\Scripting\Ast\DebugViewWriter.cs (1)
311default: throw ContractUtils.Unreachable;
Microsoft\Scripting\Ast\DynamicExpression.cs (23)
132throw ContractUtils.Unreachable; 150throw ContractUtils.Unreachable; 171throw ContractUtils.Unreachable; 175get { throw ContractUtils.Unreachable; } 704ContractUtils.RequiresNotNull(delegateType, "delegateType"); 705ContractUtils.RequiresNotNull(binder, "binder"); 730ContractUtils.RequiresNotNull(delegateType, "delegateType"); 731ContractUtils.RequiresNotNull(binder, "binder"); 759ContractUtils.RequiresNotNull(delegateType, "delegateType"); 760ContractUtils.RequiresNotNull(binder, "binder"); 791ContractUtils.RequiresNotNull(delegateType, "delegateType"); 792ContractUtils.RequiresNotNull(binder, "binder"); 826ContractUtils.RequiresNotNull(delegateType, "delegateType"); 827ContractUtils.RequiresNotNull(binder, "binder"); 890ContractUtils.RequiresNotNull(binder, "binder"); 927ContractUtils.RequiresNotNull(binder, "binder"); 969ContractUtils.RequiresNotNull(binder, "binder"); 1016ContractUtils.RequiresNotNull(binder, "binder"); 1064ContractUtils.RequiresNotNull(arguments, "arguments"); 1065ContractUtils.RequiresNotNull(returnType, "returnType"); 1068ContractUtils.RequiresNotEmpty(args, "args"); 1073ContractUtils.RequiresNotNull(binder, "binder"); 1098ContractUtils.RequiresNotNull(type, "type");
Microsoft\Scripting\Ast\ElementInit.cs (2)
109ContractUtils.RequiresNotNull(addMethod, "addMethod"); 110ContractUtils.RequiresNotNull(arguments, "arguments");
Microsoft\Scripting\Ast\GotoExpression.cs (1)
355ContractUtils.RequiresNotNull(target, targetParameter);
Microsoft\Scripting\Ast\IndexExpression.cs (3)
216ContractUtils.RequiresNotNull(propertyName, "indexerName"); 361ContractUtils.RequiresNotNull(property, "property"); 401ContractUtils.RequiresNotNull(arguments, "arguments");
Microsoft\Scripting\Ast\LabelTarget.cs (1)
97ContractUtils.RequiresNotNull(type, "type");
Microsoft\Scripting\Ast\LambdaExpression.cs (10)
138ContractUtils.RequiresNotNull(debugInfoGenerator, "debugInfoGenerator"); 166ContractUtils.RequiresNotNull(debugInfoGenerator, "debugInfoGenerator"); 171ContractUtils.RequiresNotNull(method, "method"); 172ContractUtils.Requires(method.IsStatic, "method"); 209ContractUtils.RequiresNotNull(debugInfoGenerator, "debugInfoGenerator"); 464ContractUtils.RequiresNotNull(body, "body"); 474ContractUtils.RequiresNotNull(param, "parameter"); 521ContractUtils.RequiresNotNull(delegateType, "delegateType"); 661ContractUtils.RequiresNotEmpty(typeArgs, "typeArgs"); 662ContractUtils.RequiresNotNullItems(typeArgs, "typeArgs");
Microsoft\Scripting\Ast\ListArgumentProvider.cs (6)
62throw ContractUtils.Unreachable; 66throw ContractUtils.Unreachable; 78throw ContractUtils.Unreachable; 87throw ContractUtils.Unreachable; 91throw ContractUtils.Unreachable; 114throw ContractUtils.Unreachable;
Microsoft\Scripting\Ast\ListInitExpression.cs (10)
134ContractUtils.RequiresNotNull(newExpression, "newExpression"); 135ContractUtils.RequiresNotNull(initializers, "initializers"); 146ContractUtils.RequiresNotNull(newExpression, "newExpression"); 147ContractUtils.RequiresNotNull(initializers, "initializers"); 169ContractUtils.RequiresNotNull(newExpression, "newExpression"); 170ContractUtils.RequiresNotNull(initializers, "initializers"); 185ContractUtils.RequiresNotNull(newExpression, "newExpression"); 186ContractUtils.RequiresNotNull(initializers, "initializers"); 227ContractUtils.RequiresNotNull(newExpression, "newExpression"); 228ContractUtils.RequiresNotNull(initializers, "initializers");
Microsoft\Scripting\Ast\MemberAssignment.cs (3)
71ContractUtils.RequiresNotNull(member, "member"); 88ContractUtils.RequiresNotNull(propertyAccessor, "propertyAccessor"); 89ContractUtils.RequiresNotNull(expression, "expression");
Microsoft\Scripting\Ast\MemberExpression.cs (9)
79throw ContractUtils.Unreachable; 149ContractUtils.RequiresNotNull(field, "field"); 193ContractUtils.RequiresNotNull(type, "type"); 218ContractUtils.RequiresNotNull(propertyName, "propertyName"); 238ContractUtils.RequiresNotNull(type, "type"); 239ContractUtils.RequiresNotNull(propertyName, "propertyName"); 259ContractUtils.RequiresNotNull(property, "property"); 286ContractUtils.RequiresNotNull(propertyAccessor, "propertyAccessor"); 355ContractUtils.RequiresNotNull(member, "member");
Microsoft\Scripting\Ast\MemberInitExpression.cs (3)
133default: throw ContractUtils.Unreachable; 173ContractUtils.RequiresNotNull(newExpression, "newExpression"); 174ContractUtils.RequiresNotNull(bindings, "bindings");
Microsoft\Scripting\Ast\MemberListBinding.cs (9)
79ContractUtils.RequiresNotNull(member, "member"); 80ContractUtils.RequiresNotNull(initializers, "initializers"); 93ContractUtils.RequiresNotNull(member, "member"); 94ContractUtils.RequiresNotNull(initializers, "initializers"); 111ContractUtils.RequiresNotNull(propertyAccessor, "propertyAccessor"); 112ContractUtils.RequiresNotNull(initializers, "initializers"); 125ContractUtils.RequiresNotNull(propertyAccessor, "propertyAccessor"); 126ContractUtils.RequiresNotNull(initializers, "initializers"); 136ContractUtils.RequiresNotNull(element, "initializers");
Microsoft\Scripting\Ast\MemberMemberBinding.cs (7)
78ContractUtils.RequiresNotNull(member, "member"); 79ContractUtils.RequiresNotNull(bindings, "bindings"); 90ContractUtils.RequiresNotNull(member, "member"); 91ContractUtils.RequiresNotNull(bindings, "bindings"); 110ContractUtils.RequiresNotNull(propertyAccessor, "propertyAccessor"); 125ContractUtils.RequiresNotNull(propertyAccessor, "propertyAccessor"); 148ContractUtils.RequiresNotNull(b, "bindings");
Microsoft\Scripting\Ast\MethodCallExpression.cs (40)
105throw ContractUtils.Unreachable; 124throw ContractUtils.Unreachable; 130throw ContractUtils.Unreachable; 134get { throw ContractUtils.Unreachable; } 523ContractUtils.RequiresNotNull(method, "method"); 524ContractUtils.RequiresNotNull(arg0, "arg0"); 543ContractUtils.RequiresNotNull(method, "method"); 544ContractUtils.RequiresNotNull(arg0, "arg0"); 545ContractUtils.RequiresNotNull(arg1, "arg1"); 566ContractUtils.RequiresNotNull(method, "method"); 567ContractUtils.RequiresNotNull(arg0, "arg0"); 568ContractUtils.RequiresNotNull(arg1, "arg1"); 569ContractUtils.RequiresNotNull(arg2, "arg2"); 592ContractUtils.RequiresNotNull(method, "method"); 593ContractUtils.RequiresNotNull(arg0, "arg0"); 594ContractUtils.RequiresNotNull(arg1, "arg1"); 595ContractUtils.RequiresNotNull(arg2, "arg2"); 596ContractUtils.RequiresNotNull(arg3, "arg3"); 622ContractUtils.RequiresNotNull(method, "method"); 623ContractUtils.RequiresNotNull(arg0, "arg0"); 624ContractUtils.RequiresNotNull(arg1, "arg1"); 625ContractUtils.RequiresNotNull(arg2, "arg2"); 626ContractUtils.RequiresNotNull(arg3, "arg3"); 627ContractUtils.RequiresNotNull(arg4, "arg4"); 692ContractUtils.RequiresNotNull(method, "method"); 693ContractUtils.RequiresNotNull(arg0, "arg0"); 694ContractUtils.RequiresNotNull(arg1, "arg1"); 720ContractUtils.RequiresNotNull(method, "method"); 721ContractUtils.RequiresNotNull(arg0, "arg0"); 722ContractUtils.RequiresNotNull(arg1, "arg1"); 723ContractUtils.RequiresNotNull(arg2, "arg2"); 752ContractUtils.RequiresNotNull(instance, "instance"); 753ContractUtils.RequiresNotNull(methodName, "methodName"); 775ContractUtils.RequiresNotNull(type, "type"); 776ContractUtils.RequiresNotNull(methodName, "methodName"); 793ContractUtils.RequiresNotNull(method, "method"); 883throw ContractUtils.Unreachable; 907throw ContractUtils.Unreachable; 979ContractUtils.RequiresNotNull(arg, "argument"); 1027ContractUtils.RequiresNotNull(indexes, "indexes");
Microsoft\Scripting\Ast\NewArrayExpression.cs (4)
147ContractUtils.RequiresNotNull(type, "type"); 148ContractUtils.RequiresNotNull(initializers, "initializers"); 205ContractUtils.RequiresNotNull(type, "type"); 206ContractUtils.RequiresNotNull(bounds, "bounds");
Microsoft\Scripting\Ast\NewExpression.cs (5)
166ContractUtils.RequiresNotNull(constructor, "constructor"); 167ContractUtils.RequiresNotNull(constructor.DeclaringType, "constructor.DeclaringType"); 184ContractUtils.RequiresNotNull(constructor, "constructor"); 210ContractUtils.RequiresNotNull(type, "type"); 243ContractUtils.RequiresNotNull(member, "member");
Microsoft\Scripting\Ast\ParameterExpression.cs (2)
201ContractUtils.RequiresNotNull(type, "type"); 222ContractUtils.RequiresNotNull(type, "type");
Microsoft\Scripting\Ast\RuntimeVariablesExpression.cs (1)
106ContractUtils.RequiresNotNull(variables, "variables");
Microsoft\Scripting\Ast\SwitchCase.cs (1)
102ContractUtils.RequiresNotEmpty(values, "testValues");
Microsoft\Scripting\Ast\SwitchExpression.cs (4)
205ContractUtils.RequiresNotEmpty(caseList, "cases"); 206ContractUtils.RequiresNotNullItems(caseList, "cases"); 230ContractUtils.RequiresNotNull(c, "cases"); 252ContractUtils.RequiresNotNull(c, "cases");
Microsoft\Scripting\Ast\SymbolDocumentInfo.cs (1)
32ContractUtils.RequiresNotNull(fileName, "fileName");
Microsoft\Scripting\Ast\TryExpression.cs (1)
184ContractUtils.RequiresNotNullItems(@catch, "handlers");
Microsoft\Scripting\Ast\TypeBinaryExpression.cs (2)
197ContractUtils.RequiresNotNull(type, "type"); 211ContractUtils.RequiresNotNull(type, "type");
Microsoft\Scripting\Ast\UnaryExpression.cs (6)
663ContractUtils.RequiresNotNull(type, "type"); 680ContractUtils.RequiresNotNull(type, "type"); 713ContractUtils.RequiresNotNull(type, "type"); 750ContractUtils.RequiresNotNull(type, "type"); 773ContractUtils.RequiresNotNull(array, "array"); 831ContractUtils.RequiresNotNull(type, "type");
Microsoft\Scripting\Compiler\AssemblyGen.cs (2)
104ContractUtils.RequiresNotNull(name, "name"); 105ContractUtils.RequiresNotNull(parent, "parent");
Microsoft\Scripting\Compiler\ExpressionQuoter.cs (1)
184throw ContractUtils.Unreachable;
Microsoft\Scripting\Compiler\ILGen.cs (19)
101ContractUtils.RequiresNotNull(type, "type"); 135ContractUtils.RequiresNotNull(type, "type"); 163ContractUtils.RequiresNotNull(type, "type"); 212ContractUtils.RequiresNotNull(type, "type"); 254ContractUtils.RequiresNotNull(type, "type"); 265ContractUtils.RequiresNotNull(fi, "fi"); 275ContractUtils.RequiresNotNull(fi, "fi"); 285ContractUtils.RequiresNotNull(fi, "fi"); 296ContractUtils.RequiresNotNull(ci, "ci"); 307ContractUtils.RequiresNotNull(type, "type"); 308ContractUtils.RequiresNotNull(paramTypes, "paramTypes"); 324ContractUtils.RequiresNotNull(value, "value"); 525throw ContractUtils.Unreachable; 602throw ContractUtils.Unreachable; 895ContractUtils.RequiresNotNull(items, "items"); 912ContractUtils.RequiresNotNull(elementType, "elementType"); 913ContractUtils.RequiresNotNull(emit, "emit"); 934ContractUtils.RequiresNotNull(arrayType, "arrayType"); 1043throw ContractUtils.Unreachable;
Microsoft\Scripting\Compiler\LambdaCompiler.Binary.cs (4)
143throw ContractUtils.Unreachable; 280throw ContractUtils.Unreachable; 286throw ContractUtils.Unreachable; 377throw ContractUtils.Unreachable;
Microsoft\Scripting\Compiler\LambdaCompiler.Expressions.cs (1)
713throw ContractUtils.Unreachable;
Microsoft\Scripting\Compiler\LambdaCompiler.Generated.cs (1)
259throw ContractUtils.Unreachable;
Microsoft\Scripting\Compiler\LambdaCompiler.Unary.cs (1)
266throw ContractUtils.Unreachable;
Microsoft\Scripting\Compiler\StackSpiller.Bindings.cs (3)
92throw ContractUtils.Unreachable; 162throw ContractUtils.Unreachable; 214throw ContractUtils.Unreachable;
Microsoft\Scripting\Compiler\StackSpiller.cs (2)
630throw ContractUtils.Unreachable; 680throw ContractUtils.Unreachable;
Microsoft\Scripting\Compiler\StackSpiller.Generated.cs (1)
272throw ContractUtils.Unreachable;
Microsoft\Scripting\Compiler\StackSpiller.Temps.cs (2)
232ContractUtils.RequiresArrayRange(_expressions, first, count, "first", "last"); 305throw ContractUtils.Unreachable;
Microsoft\Scripting\Compiler\VariableBinder.cs (1)
254throw ContractUtils.Unreachable;
Microsoft\Scripting\Utils\ReadOnlyCollectionBuilder.cs (11)
65ContractUtils.Requires(capacity >= 0, "capacity"); 74ContractUtils.Requires(collection != null, "collection"); 100ContractUtils.Requires(value >= _size, "value"); 140ContractUtils.Requires(index <= _size, "index"); 158ContractUtils.Requires(index >= 0 && index < _size, "index"); 175ContractUtils.Requires(index < _size, "index"); 179ContractUtils.Requires(index < _size, "index"); 357ContractUtils.RequiresNotNull(array, "array"); 358ContractUtils.Requires(array.Rank == 1, "array"); 390ContractUtils.Requires(index >= 0, "index"); 391ContractUtils.Requires(count >= 0, "count");