Contract

src\roslyn\src\Dependencies\Collections\Extensions\FixedSizeArrayBuilder.cs (1)

64Contract.ThrowIfTrue(condition, lineNumber, filePath);

src\roslyn\src\Dependencies\Threading\AsyncBatchingWorkQueue`2.cs (1)

270Contract.ThrowIfFalse(batchResultTask.IsCompleted);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Collections\ImmutableIntervalTree`1.cs (2)

237Contract.ThrowIfTrue(leftMaxEndValue < 0 && rightMaxEndValue < 0); 248Contract.ThrowIfFalse(rightMaxEndValue > leftMaxEndValue);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Collections\IntervalTreeHelpers.NodeEnumerator.cs (2)

77Contract.ThrowIfTrue(_currentNodeHasValue); 78Contract.ThrowIfTrue(_stack.Count == 0);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\EmbeddedLanguages\Common\EmbeddedSeparatedSyntaxNodeList.cs (1)

27Contract.ThrowIfTrue(nodesAndTokens.IsDefault);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\EmbeddedLanguages\VirtualChars\VirtualChar.cs (1)

46Contract.ThrowIfTrue(width > MaxWidth);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Extensions\AnalysisContextExtensions.cs (4)

165Contract.ThrowIfNull(context.FilterTree); 166Contract.ThrowIfFalse(context.FilterSpan.HasValue); 177Contract.ThrowIfNull(context.FilterTree); 178Contract.ThrowIfFalse(context.FilterSpan.HasValue);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Extensions\AnalyzerConfigOptionsExtensions.cs (1)

23Contract.ThrowIfFalse(option.Definition.IsEditorConfigOption);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Extensions\LocationExtensions.cs (1)

14Contract.ThrowIfNull(location.SourceTree);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Extensions\SemanticEquivalence.cs (1)

105Contract.ThrowIfTrue(b1 != b2);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Extensions\SemanticModelExtensions.cs (3)

101Contract.ThrowIfNull(semanticModel.ParentModel); 102Contract.ThrowIfTrue(semanticModel.ParentModel.IsSpeculativeSemanticModel); 103Contract.ThrowIfTrue(semanticModel.ParentModel.ParentModel != null);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Extensions\SourceTextExtensions_SharedWithCodeStyle.cs (1)

18Contract.ThrowIfNull(text);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Extensions\StackExtensions.cs (2)

48Contract.ThrowIfNull(stack); 49Contract.ThrowIfNull(range);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Extensions\StringExtensions.cs (10)

16Contract.ThrowIfNull(line); 31Contract.ThrowIfNull(line); 46Contract.ThrowIfNull(lineText); 57Contract.ThrowIfNull(lineText); 208Contract.ThrowIfNull(line); 209Contract.ThrowIfFalse(0 <= endPosition && endPosition <= line.Length); 210Contract.ThrowIfFalse(tabSize > 0); 217Contract.ThrowIfNull(line); 218Contract.ThrowIfFalse(column >= 0); 219Contract.ThrowIfFalse(tabSize > 0);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Extensions\SyntaxNodeExtensions.cs (4)

107Contract.ThrowIfNull(node); 179Contract.ThrowIfTrue(node1.RawKind == 0 || node2.RawKind == 0); 298Contract.ThrowIfNull(nodes); 299Contract.ThrowIfFalse(nodes.Any());

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Extensions\SyntaxTreeExtensions.cs (2)

72Contract.ThrowIfNull(syntaxTree); 134Contract.ThrowIfNull(syntaxTree);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\BottomUpBaseIndentationFinder.cs (1)

34Contract.ThrowIfNull(formattingRules);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Context\FormattingContext.cs (4)

57Contract.ThrowIfNull(engine); 58Contract.ThrowIfNull(tokenStream); 124Contract.ThrowIfNull(operations); 413Contract.ThrowIfFalse(intervals.Length == 0);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Context\FormattingContext.InitialContextFinder.cs (3)

34Contract.ThrowIfNull(tokenStream); 35Contract.ThrowIfNull(formattingRules); 36Contract.ThrowIfNull(rootNode);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Engine\AbstractAggregatedFormattingResult.cs (2)

31Contract.ThrowIfNull(node); 32Contract.ThrowIfNull(formattingResults);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Engine\AbstractFormatEngine.cs (1)

94Contract.ThrowIfTrue(treeData.Root.IsInvalidTokenRange(startToken, endToken));

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Engine\AbstractFormatEngine.OperationApplier.cs (6)

52Contract.ThrowIfFalse(triviaInfo.LineBreaks == 0); 85Contract.ThrowIfFalse(triviaInfo.LineBreaks == 0); 123Contract.ThrowIfFalse(triviaInfo.LineBreaks == 0); 262Contract.ThrowIfNull(previousChangesMap); 451Contract.ThrowIfFalse(triviaInfo.SecondTokenIsFirstTokenOnLine); 478Contract.ThrowIfFalse(baseToken.RawKind != 0 && startToken.RawKind != 0 && endToken.RawKind != 0);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Engine\AbstractTriviaDataFactory.AbstractComplexTrivia.cs (3)

22Contract.ThrowIfNull(treeInfo); 75Contract.ThrowIfFalse(line > 0); 132Contract.ThrowIfFalse(list.Count > 0);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Engine\AbstractTriviaDataFactory.cs (4)

27Contract.ThrowIfNull(treeInfo); 88Contract.ThrowIfFalse(space >= 0); 107Contract.ThrowIfFalse(lineBreaks >= 0); 108Contract.ThrowIfFalse(indentation >= 0);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Engine\AbstractTriviaDataFactory.ModifiedWhitespace.cs (1)

25Contract.ThrowIfNull(original);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Engine\AbstractTriviaDataFactory.Whitespace.cs (2)

25Contract.ThrowIfFalse(space >= 0); 55Contract.ThrowIfFalse(line > 0);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Engine\ChainedFormattingRules.cs (1)

33Contract.ThrowIfNull(formattingRules);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Engine\TokenData.cs (4)

27Contract.ThrowIfNull(tokenStream); 28Contract.ThrowIfFalse((indexInStream == -1) || (0 <= indexInStream && indexInStream < tokenStream.TokenCount)); 61Contract.ThrowIfFalse(this.TokenStream == other.TokenStream); 81Contract.ThrowIfNull(commonRoot);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Engine\TokenPairWithOperations.cs (2)

27Contract.ThrowIfNull(tokenStream); 29Contract.ThrowIfFalse(0 <= tokenPairIndex && tokenPairIndex < tokenStream.TokenCount - 1);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Engine\TokenStream.cs (10)

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Engine\TreeData.cs (1)

40Contract.ThrowIfNull(root);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Engine\TreeData.Debug.cs (1)

18Contract.ThrowIfFalse(text == _debugNodeData.GetTextBetween(token1, token2));

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Engine\TreeData.Node.cs (2)

17Contract.ThrowIfFalse(root.GetFirstToken(includeZeroWidth: true).RawKind != 0); 22Contract.ThrowIfTrue(token.RawKind == 0);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Engine\TreeData.NodeAndText.cs (2)

19Contract.ThrowIfNull(text); 25Contract.ThrowIfTrue(token.RawKind == 0);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Engine\TreeData.StructuredTrivia.cs (1)

21Contract.ThrowIfFalse(trivia.HasStructure);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\FormattingExtensions.cs (1)

183Contract.ThrowIfFalse(lines.Length > 0);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Rules\Operations\AdjustNewLinesOperation.cs (3)

14Contract.ThrowIfFalse(option != AdjustNewLinesOption.ForceLines || line > 0); 15Contract.ThrowIfFalse(option != AdjustNewLinesOption.PreserveLines || line >= 0); 16Contract.ThrowIfFalse(option != AdjustNewLinesOption.ForceLinesIfOnSingleLine || line > 0);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Rules\Operations\AdjustSpacesOperation.cs (1)

14Contract.ThrowIfFalse(space >= 0);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Rules\Operations\AlignTokensOperation.cs (1)

18Contract.ThrowIfNull(tokens);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Rules\Operations\AnchorIndentationOperation.cs (3)

17Contract.ThrowIfTrue(anchorToken.RawKind == 0); 18Contract.ThrowIfTrue(textSpan.Start < 0 || textSpan.Length < 0); 20Contract.ThrowIfTrue(endToken.RawKind == 0);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Rules\Operations\IndentBlockOperation.cs (10)

16Contract.ThrowIfFalse(option.IsMaskOn(IndentBlockOption.PositionMask)); 18Contract.ThrowIfTrue(textSpan.Start < 0 || textSpan.Length < 0); 19Contract.ThrowIfTrue(startToken.RawKind == 0); 20Contract.ThrowIfTrue(endToken.RawKind == 0); 35Contract.ThrowIfFalse(option.IsMaskOn(IndentBlockOption.PositionMask)); 37Contract.ThrowIfFalse(option.IsMaskOn(IndentBlockOption.RelativePositionMask)); 38Contract.ThrowIfFalse(baseToken.Span.End <= textSpan.Start); 40Contract.ThrowIfTrue(textSpan.Start < 0 || textSpan.Length < 0); 41Contract.ThrowIfTrue(startToken.RawKind == 0); 42Contract.ThrowIfTrue(endToken.RawKind == 0);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Rules\Operations\SuppressOperation.cs (3)

21Contract.ThrowIfTrue(textSpan.Start < 0 || textSpan.Length < 0); 22Contract.ThrowIfTrue(startToken.RawKind == 0); 23Contract.ThrowIfTrue(endToken.RawKind == 0);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\TriviaEngine\AbstractTriviaFormatter.cs (6)

71Contract.ThrowIfNull(context); 72Contract.ThrowIfNull(formattingRules); 73Contract.ThrowIfNull(originalString); 75Contract.ThrowIfFalse(lineBreaks >= 0); 76Contract.ThrowIfFalse(spaces >= 0); 78Contract.ThrowIfTrue(token1 == default && token2 == default);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Log\Logger.LogBlock.cs (1)

21Contract.ThrowIfNull(logger);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\NamingStyles\Serialization\NamingStylePreferences.cs (4)

61Contract.ThrowIfFalse(serializableRules.IsEmpty == namingStyles.IsEmpty); 62Contract.ThrowIfFalse(serializableRules.IsEmpty == symbolSpecifications.IsEmpty); 80Contract.ThrowIfFalse(namingRules.IsEmpty == namingStyles.IsEmpty); 81Contract.ThrowIfFalse(namingRules.IsEmpty == symbolSpecifications.IsEmpty);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Options\EditorConfigValueSerializer`1.cs (1)

58Contract.ThrowIfTrue(RoslynString.IsNullOrEmpty(editorConfigStringForValue));

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Services\SyntaxFacts\AbstractDocumentationCommentService.cs (1)

49Contract.ThrowIfNull(documentationComment);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Services\SyntaxFacts\ISyntaxFactsExtensions.cs (1)

29Contract.ThrowIfNull(node);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\SymbolKey\SymbolKey.BodyLevelSymbolKey.cs (5)

21Contract.ThrowIfFalse(IsBodyLevelSymbol(symbol)); 22Contract.ThrowIfTrue(symbol.DeclaringSyntaxReferences.IsEmpty && symbol.Locations.IsEmpty); 61Contract.ThrowIfTrue(symbol.DeclaringSyntaxReferences.IsEmpty && symbol.Locations.IsEmpty); 65Contract.ThrowIfFalse(locations.All(loc => loc != null && loc.IsInSource)); 257Contract.ThrowIfTrue(semanticModel.SyntaxTree != containerDeclaration.SyntaxTree);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\SymbolKey\SymbolKey.BuiltinOperatorSymbolKey.cs (1)

46Contract.ThrowIfNull(returnTypeSymbol);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\SymbolKey\SymbolKey.ErrorTypeSymbolKey.cs (2)

85Contract.ThrowIfFalse(typeArguments.IsDefault); 90Contract.ThrowIfTrue(typeArguments.IsDefault);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\SymbolKey\SymbolKey.FunctionPointerTypeSymbolKey.cs (2)

69Contract.ThrowIfFalse(parameterTypes.IsDefault); 74Contract.ThrowIfTrue(parameterTypes.IsDefault);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\SymbolKey\SymbolKey.NamedTypeSymbolKey.cs (2)

62Contract.ThrowIfFalse(typeArguments.IsDefault); 68Contract.ThrowIfTrue(typeArguments.IsDefault);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\SymbolKey\SymbolKey.SymbolKeyReader.cs (5)

126Contract.ThrowIfNull(result); 417Contract.ThrowIfTrue(_methodSymbolStack.Count == 0); 418Contract.ThrowIfFalse(Equals(method, _methodSymbolStack[^1])); 433Contract.ThrowIfTrue(_contextualSymbolStack.Count == 0); 434Contract.ThrowIfFalse(Equals(contextualSymbol, _contextualSymbolStack.Peek()));

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\SymbolKey\SymbolKey.SymbolKeyWriter.cs (2)

517Contract.ThrowIfTrue(_methodSymbolStack.Count == 0); 518Contract.ThrowIfFalse(method.Equals(_methodSymbolStack[^1]));

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\SymbolKey\SymbolKey.TypeParameterOrdinalSymbolKey.cs (1)

13Contract.ThrowIfFalse(symbol.TypeParameterKind == TypeParameterKind.Method);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Utilities\AnnotationTable.cs (1)

103Contract.ThrowIfNull(ra.Data);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Utilities\AsyncLazy`1.cs (12)

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Utilities\BKTree.cs (7)

54Contract.ThrowIfNull(concatenatedLowerCaseWords, nameof(_concatenatedLowerCaseWords)); 55Contract.ThrowIfTrue(nodes.IsDefault, $"{nameof(nodes)}.{nameof(nodes.IsDefault)}"); 56Contract.ThrowIfTrue(edges.IsDefault, $"{nameof(edges)}.{nameof(edges.IsDefault)}"); 67Contract.ThrowIfNull(value, nameof(value)); 68Contract.ThrowIfNull(_concatenatedLowerCaseWords, nameof(_concatenatedLowerCaseWords)); 69Contract.ThrowIfTrue(_nodes.IsDefault, $"{nameof(_nodes)}.{nameof(_nodes.IsDefault)}"); 70Contract.ThrowIfTrue(_edges.IsDefault, $"{nameof(_edges)}.{nameof(_edges.IsDefault)}");

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Utilities\CommonFormattingHelpers.cs (15)

47Contract.ThrowIfNull(root); 48Contract.ThrowIfFalse(spans.Count > 0); 83Contract.ThrowIfNull(root); 84Contract.ThrowIfTrue(textSpan.IsEmpty); 123Contract.ThrowIfFalse(startToken.Equals(endToken) || startToken.Span.End <= endToken.SpanStart); 147Contract.ThrowIfNull(tree); 148Contract.ThrowIfTrue(token.RawKind == 0); 169Contract.ThrowIfTrue(token1.RawKind == 0 && token2.RawKind == 0); 170Contract.ThrowIfTrue(token1.Equals(token2)); 285Contract.ThrowIfFalse(backwardPosition < parentNode.FullSpan.End); 289Contract.ThrowIfTrue(nextToken.RawKind == 0); 310Contract.ThrowIfNull(parentNode); 311Contract.ThrowIfFalse(parentNode.FullSpan.Start < forwardPosition); 315Contract.ThrowIfTrue(previousToken.RawKind == 0); 359Contract.ThrowIfNull(root);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Utilities\EnumerableConditionalWeakTable.cs (1)

114Contract.ThrowIfFalse(_table.Remove(key));

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Utilities\EnumValueUtilities.cs (1)

148Contract.ThrowIfTrue(typeof(TFromEnum).GetEnumUnderlyingType() != typeof(TToEnum).GetEnumUnderlyingType());

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Utilities\LightweightOverloadResolution.cs (1)

187Contract.ThrowIfTrue(argumentToParameterMap.Count != arguments.Count);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Utilities\NonReentrantLock.cs (1)

173=> Contract.ThrowIfFalse(LockHeldByMe());

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Utilities\ReferenceCountedDisposable.cs (1)

294Contract.ThrowIfNull(weakInstance);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Utilities\TaskExtensions.cs (2)

69Contract.ThrowIfFalse(task.IsCompleted); 85Contract.ThrowIfFalse(task.IsCompleted);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Utilities\ValueTaskExtensions.cs (2)

22Contract.ThrowIfFalse(task.IsCompleted, message); 38Contract.ThrowIfFalse(task.IsCompleted, message);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Extensions\Symbols\INamedTypeSymbolExtensions.cs (3)

347Contract.ThrowIfNull(classOrStructType); 348Contract.ThrowIfNull(interfacesOrAbstractClasses); 349Contract.ThrowIfNull(isImplemented);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Extensions\Symbols\ISymbolExtensions.cs (1)

594Contract.ThrowIfFalse(symbol.IsNormalAnonymousType());

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Extensions\Symbols\ISymbolExtensions_Accessibility.cs (7)

90Contract.ThrowIfNull(symbol); 91Contract.ThrowIfNull(within); 180Contract.ThrowIfNull(type); 218Contract.ThrowIfNull(assembly); 255Contract.ThrowIfNull(containingType); 431Contract.ThrowIfNull(withinType); 432Contract.ThrowIfNull(originalContainingType);