342 references to ThrowIfFalse
Microsoft.CodeAnalysis.CSharp.Features (44)
ConvertToRawString\IConvertStringProvider.cs (1)
45
Contract.
ThrowIfFalse
(CheckSyntax(stringExpression));
Copilot\CSharpImplementNotImplementedExceptionFixProvider.cs (2)
95
Contract.
ThrowIfFalse
(methodOrProperty is BasePropertyDeclarationSyntax or BaseMethodDeclarationSyntax);
115
Contract.
ThrowIfFalse
(memberImplementationDetails.TryGetValue(methodOrProperty, out var implementationDetails));
EditAndContinue\SyntaxComparer.cs (1)
932
Contract.
ThrowIfFalse
(rightName.HasValue == leftName.HasValue);
ExtractMethod\CSharpMethodExtractor.cs (1)
38
Contract.
ThrowIfFalse
(originalSpanStart >= 0);
ExtractMethod\CSharpMethodExtractor.CSharpCodeGenerator.CallSiteContainerRewriter.cs (8)
67
Contract.
ThrowIfFalse
(variable.Initializer == null);
297
Contract.
ThrowIfFalse
(firstIndex >= 0);
300
Contract.
ThrowIfFalse
(lastIndex >= 0);
302
Contract.
ThrowIfFalse
(firstIndex <= lastIndex);
325
Contract.
ThrowIfFalse
(firstMemberIndex >= 0);
328
Contract.
ThrowIfFalse
(lastMemberIndex >= 0);
330
Contract.
ThrowIfFalse
(firstMemberIndex <= lastMemberIndex);
369
Contract.
ThrowIfFalse
(_firstStatementOrFieldToReplace == _lastStatementOrFieldToReplace);
ExtractMethod\CSharpMethodExtractor.CSharpCodeGenerator.cs (3)
68
Contract.
ThrowIfFalse
(SemanticDocument == selectionResult.SemanticDocument);
255
Contract.
ThrowIfFalse
(controlFlowValueType.SpecialType == SpecialType.System_Int32);
332
Contract.
ThrowIfFalse
(declStatement.Parent.IsStatementContainerNode());
ExtractMethod\CSharpMethodExtractor.CSharpCodeGenerator.ExpressionCodeGenerator.cs (1)
89
Contract.
ThrowIfFalse
(this.SelectionResult.IsExtractMethodOnExpression);
ExtractMethod\CSharpMethodExtractor.CSharpCodeGenerator.MultipleStatementsCodeGenerator.cs (1)
69
Contract.
ThrowIfFalse
(node.IsStatementContainerNode());
ExtractMethod\CSharpMethodExtractor.CSharpCodeGenerator.SingleStatementCodeGenerator.cs (1)
32
Contract.
ThrowIfFalse
(this.SelectionResult.IsExtractMethodOnSingleStatement);
ExtractMethod\CSharpMethodExtractor.PostProcessor.cs (1)
133
Contract.
ThrowIfFalse
(keyValuePair.Value.Count > 0);
ExtractMethod\CSharpSelectionResult.cs (3)
92
Contract.
ThrowIfFalse
(IsExtractMethodOnExpression);
128
Contract.
ThrowIfFalse
(last.IsParentKind(SyntaxKind.GlobalStatement));
129
Contract.
ThrowIfFalse
(last.Parent.IsParentKind(SyntaxKind.CompilationUnit));
ExtractMethod\CSharpSelectionResult.ExpressionResult.cs (2)
36
Contract.
ThrowIfFalse
(IsExtractMethodOnExpression);
151
Contract.
ThrowIfFalse
(
ExtractMethod\CSharpSelectionValidator.cs (3)
90
Contract.
ThrowIfFalse
(ContainsValidSelection);
91
Contract.
ThrowIfFalse
(selectionInfo.Status.Succeeded);
419
Contract.
ThrowIfFalse
(line.LineNumber > 0);
InlineHints\CSharpInlineTypeHintsService.cs (1)
151
Contract.
ThrowIfFalse
(displayAllOverride);
SignatureHelp\ElementAccessExpressionSignatureHelpProvider.cs (2)
294
Contract.
ThrowIfFalse
(openBracket.Parent is BracketedArgumentListSyntax &&
336
Contract.
ThrowIfFalse
(openBracket.Parent is ArrayRankSpecifierSyntax && openBracket.Parent.Parent is ArrayTypeSyntax);
SignatureHelp\GenericNameFullyWrittenSignatureHelpProvider.cs (1)
60
Contract.
ThrowIfFalse
(lessThanToken.Parent is TypeArgumentListSyntax && lessThanToken.Parent.Parent is GenericNameSyntax);
SignatureHelp\InvocationExpressionSignatureHelpProviderBase_MethodGroup.cs (1)
68
Contract.
ThrowIfFalse
(includeInstance || includeStatic);
src\roslyn\src\Analyzers\CSharp\Analyzers\AddAccessibilityModifiers\CSharpAddAccessibilityModifiers.cs (1)
76
Contract.
ThrowIfFalse
(option == AccessibilityModifiersRequired.OmitIfDefault);
src\roslyn\src\Analyzers\CSharp\Analyzers\RemoveUnnecessaryImports\CSharpRemoveUnnecessaryImportsDiagnosticAnalyzer.cs (1)
56
Contract.
ThrowIfFalse
(nodes.Any());
src\roslyn\src\Analyzers\CSharp\Analyzers\UseCollectionExpression\UseCollectionExpressionHelpers.cs (2)
672
Contract.
ThrowIfFalse
(originalInitializer.Parent
760
Contract.
ThrowIfFalse
(expression is ArrayCreationExpressionSyntax or StackAllocArrayCreationExpressionSyntax);
src\roslyn\src\Analyzers\CSharp\CodeFixes\ConvertSwitchStatementToExpression\ConvertSwitchStatementToExpressionCodeFixProvider.Rewriter.cs (1)
106
Contract.
ThrowIfFalse
(_assignmentTarget is IdentifierNameSyntax);
src\roslyn\src\Analyzers\CSharp\CodeFixes\UpgradeProject\CSharpUpgradeProjectCodeFixProvider.cs (2)
92
Contract.
ThrowIfFalse
(LanguageVersionFacts.TryParse(newVersion, out var parsedNewVersion));
106
Contract.
ThrowIfFalse
(LanguageVersionFacts.TryParse(newVersion, out var parsedNewVersion));
src\roslyn\src\Analyzers\CSharp\CodeFixes\UseCompoundAssignment\CSharpUseCompoundCoalesceAssignmentCodeFixProvider.cs (1)
54
Contract.
ThrowIfFalse
(CSharpUseCompoundCoalesceAssignmentDiagnosticAnalyzer.GetWhenTrueAssignment(
src\roslyn\src\Analyzers\CSharp\CodeFixes\UsePrimaryConstructor\CSharpUsePrimaryConstructorCodeFixProvider.cs (1)
468
Contract.
ThrowIfFalse
(member is IFieldSymbol or IPropertySymbol);
src\roslyn\src\Analyzers\CSharp\CodeFixes\UseUtf8StringLiteral\UseUtf8StringLiteralCodeFixProvider.cs (1)
146
Contract.
ThrowIfFalse
(UseUtf8StringLiteralDiagnosticAnalyzer.TryConvertToUtf8String(builder, initializer.ElementValues));
Structure\CSharpStructureHelpers.cs (1)
119
Contract.
ThrowIfFalse
(comment.IsSingleLineComment() || comment.IsMultiLineComment());
Microsoft.CodeAnalysis.CSharp.Workspaces (16)
Simplification\CSharpSimplificationService.cs (1)
173
Contract.
ThrowIfFalse
(SpeculationAnalyzer.CanSpeculateOnNode(nodeToSpeculate));
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\CSharp\EmbeddedLanguages\VirtualChars\CSharpVirtualCharService.cs (3)
140
Contract.
ThrowIfFalse
(tokenText is [.., 'u' or 'U', '8']);
146
Contract.
ThrowIfFalse
(tokenText[0] == '"');
151
Contract.
ThrowIfFalse
(tokenText[endIndexExclusive - 1] == '"');
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\CSharp\Extensions\BlockSyntaxExtensions.cs (1)
199
Contract.
ThrowIfFalse
(preference == ExpressionBodyPreference.WhenOnSingleLine);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\CSharp\Extensions\SyntaxTokenExtensions.cs (2)
266
Contract.
ThrowIfFalse
(genericIdentifier.Kind() == SyntaxKind.IdentifierToken);
270
Contract.
ThrowIfFalse
(token.Kind() == SyntaxKind.LessThanToken);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\CSharp\Formatting\Engine\Trivia\CSharpTriviaFormatter.cs (1)
235
Contract.
ThrowIfFalse
(multilineCommentTrivia.Count == 1);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\CSharp\Formatting\Engine\Trivia\TriviaDataFactory.Analyzer.cs (1)
128
Contract.
ThrowIfFalse
(SyntaxFacts.IsPreprocessorDirective(trivia.Kind()));
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\CSharp\Formatting\Engine\Trivia\TriviaDataFactory.ComplexTrivia.cs (1)
61
Contract.
ThrowIfFalse
(triviaList.Count > 0);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\CSharp\Formatting\Engine\Trivia\TriviaDataFactory.cs (1)
101
Contract.
ThrowIfFalse
(space >= -1);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\CSharp\Formatting\Engine\Trivia\TriviaDataFactory.ModifiedComplexTrivia.cs (2)
72
Contract.
ThrowIfFalse
(this.SecondTokenIsFirstTokenOnLine);
78
Contract.
ThrowIfFalse
(triviaList.Count > 0);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\CSharp\Simplification\Simplifiers\CastSimplifier.cs (1)
869
Contract.
ThrowIfFalse
(conditionalExpression.WhenTrue == armExpression || conditionalExpression.WhenFalse == armExpression);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Workspace\CSharp\SemanticModelReuse\CSharpSemanticModelReuseLanguageService.cs (2)
31
Contract.
ThrowIfFalse
(accessor.Parent is AccessorListSyntax);
32
Contract.
ThrowIfFalse
(accessor.Parent.Parent is BasePropertyDeclarationSyntax);
Microsoft.CodeAnalysis.Features (107)
AddImport\CodeActions\AssemblyReferenceCodeAction.cs (1)
30
Contract.
ThrowIfFalse
(fixData.Kind == AddImportFixKind.ReferenceAssemblySymbol);
AddImport\CodeActions\InstallPackageAndAddImportCodeAction.cs (1)
38
Contract.
ThrowIfFalse
(fixData.Kind == AddImportFixKind.PackageSymbol);
AddImport\CodeActions\MetadataSymbolReferenceCodeAction.cs (1)
24
Contract.
ThrowIfFalse
(fixData.Kind == AddImportFixKind.MetadataSymbol);
AddImport\CodeActions\ProjectSymbolReferenceCodeAction.cs (1)
34
Contract.
ThrowIfFalse
(fixData.Kind == AddImportFixKind.ProjectSymbol);
AddImport\SearchScopes\ProjectSearchScope.cs (1)
19
Contract.
ThrowIfFalse
(project.SupportsCompilation);
AddImport\SymbolReferenceFinder_PackageAssemblySearch.cs (1)
25
Contract.
ThrowIfFalse
(options.SearchNuGetPackages || options.SearchReferenceAssemblies);
CodeFixes\Configuration\ConfigurationUpdater.cs (1)
163
Contract.
ThrowIfFalse
(!string.IsNullOrEmpty(category));
CodeFixes\Service\CodeFixService.FixAllDiagnosticProvider.cs (3)
48
Contract.
ThrowIfFalse
(diagnostics.All(d => d.DocumentId != null));
58
Contract.
ThrowIfFalse
(diagnostics.All(d => d.DocumentId != null));
77
Contract.
ThrowIfFalse
(diagnostics.All(d => d.DocumentId == null));
CodeFixes\Suppression\AbstractSuppressionBatchFixAllProvider.cs (1)
211
Contract.
ThrowIfFalse
(batchOfFixes.Any());
CodeFixes\Suppression\AbstractSuppressionCodeFixProvider.GlobalSuppressMessageFixAllCodeAction.cs (3)
140
Contract.
ThrowIfFalse
(!diagnostic.IsSuppressed);
159
Contract.
ThrowIfFalse
(diagnostic.Location.IsInSource);
181
Contract.
ThrowIfFalse
(!diagnostic.Location.IsInSource);
CodeFixes\Suppression\AbstractSuppressionCodeFixProvider.RemoveSuppressionCodeAction_Pragma.cs (2)
182
Contract.
ThrowIfFalse
(indexOfTriviaToRemoveOrToggle >= 0);
189
Contract.
ThrowIfFalse
(triviaToToggle != default);
Completion\Providers\AbstractAwaitCompletionProvider.cs (1)
229
Contract.
ThrowIfFalse
(dotToken.HasValue);
Completion\Providers\Snippets\SnippetCompletionItem.cs (3)
44
Contract.
ThrowIfFalse
(item.TryGetProperty(SnippetIdentifierKey, out var text));
50
Contract.
ThrowIfFalse
(item.TryGetProperty("Position", out var text));
51
Contract.
ThrowIfFalse
(int.TryParse(text, out var num));
Copilot\ICopilotChangeAnalysisService.cs (1)
56
Contract.
ThrowIfFalse
(document.SupportsSemanticModel);
Diagnostics\CodeAnalysisDiagnosticAnalyzerService.cs (1)
90
Contract.
ThrowIfFalse
(project.Solution.Workspace == _workspace);
Diagnostics\Service\DiagnosticAnalyzerService_DeprioritizationCandidates.cs (1)
34
Contract.
ThrowIfFalse
(s_analyzerToDeprioritizedDiagnosticIds.TryGetValue(analyzer, out var set));
Diagnostics\Service\DiagnosticAnalyzerService.cs (1)
152
Contract.
ThrowIfFalse
(DiagnosticAnalyzerService.s_analyzerToDeprioritizedDiagnosticIds.TryGetValue(analyzer, out var set));
Diagnostics\Service\DocumentAnalysisExecutor.cs (4)
79
Contract.
ThrowIfFalse
(AnalysisScope.Analyzers.Contains(analyzer));
185
Contract.
ThrowIfFalse
(analyzer.IsCompilerAnalyzer());
187
Contract.
ThrowIfFalse
(_compilationBasedAnalyzersInAnalysisScope.Contains(analyzer));
188
Contract.
ThrowIfFalse
(AnalysisScope.TextDocument is Document);
EditAndContinue\AbstractEditAndContinueAnalyzer.cs (17)
230
Contract.
ThrowIfFalse
(oldSymbol != null || newSymbol != null);
519
Contract.
ThrowIfFalse
(oldProject.SupportsEditAndContinue());
520
Contract.
ThrowIfFalse
(newProject.SupportsEditAndContinue());
537
Contract.
ThrowIfFalse
(newDocument == null || newDocument.State.SupportsEditAndContinue());
538
Contract.
ThrowIfFalse
(oldDocument == null || oldDocument.State.SupportsEditAndContinue());
539
Contract.
ThrowIfFalse
(oldDocument != null || newDocument != null);
971
Contract.
ThrowIfFalse
(newExceptionRegions[i].IsDefault);
983
Contract.
ThrowIfFalse
(hasPartner);
1028
Contract.
ThrowIfFalse
(statementPart == -1);
2146
Contract.
ThrowIfFalse
(oldTypedNodes.Count == newTypedNodes.Count);
3184
Contract.
ThrowIfFalse
(newSymbol is INamedTypeSymbol || IsGlobalMain(newSymbol));
3203
Contract.
ThrowIfFalse
(editKind == SemanticEditKind.Insert);
3350
Contract.
ThrowIfFalse
(editKind is SemanticEditKind.Update or SemanticEditKind.Insert);
3637
Contract.
ThrowIfFalse
(oldSymbol != null || newSymbol != null);
4142
Contract.
ThrowIfFalse
(oldMember is IFieldSymbol or IPropertySymbol or IEventSymbol);
5648
Contract.
ThrowIfFalse
(oldCtor is { MethodKind: MethodKind.Constructor or MethodKind.StaticConstructor });
6751
Contract.
ThrowIfFalse
(IsClosureScope(scope));
EditAndContinue\DebuggingSession.cs (4)
562
Contract.
ThrowIfFalse
(solutionUpdate.ModuleUpdates.Updates.IsEmpty);
563
Contract.
ThrowIfFalse
(solutionUpdate.NonRemappableRegions.IsEmpty);
566
Contract.
ThrowIfFalse
(solutionUpdate.ProjectsToRestart.IsEmpty);
567
Contract.
ThrowIfFalse
(solutionUpdate.ProjectsToRebuild.IsEmpty);
EditAndContinue\DeclarationBodyMap.cs (1)
29
Contract.
ThrowIfFalse
(forwardMatch.Count == reverseMatch.Count);
EditAndContinue\DocumentActiveStatementChanges.cs (2)
21
Contract.
ThrowIfFalse
(oldSpans.Length == newStatements.Length);
22
Contract.
ThrowIfFalse
(oldSpans.Length == newExceptionRegions.Length);
EditAndContinue\EditAndContinueDocumentAnalysesCache.cs (1)
71
Contract.
ThrowIfFalse
(oldDocument != null || newDocument != null);
EditAndContinue\EditSession.cs (3)
449
Contract.
ThrowIfFalse
(newProject.CompilationOptions == null);
450
Contract.
ThrowIfFalse
(newProject.ParseOptions == null);
735
Contract.
ThrowIfFalse
(oldProject.Language == newProject.Language);
EditAndContinue\RudeEditReportingCondition.cs (1)
18
Contract.
ThrowIfFalse
(member.Kind is SymbolKind.Method or SymbolKind.Property or SymbolKind.Field);
EditAndContinue\SolutionSnapshotRegistry.cs (2)
54
Contract.
ThrowIfFalse
(_pendingSolutionSnapshots.TryGetValue(id, out var solution));
55
Contract.
ThrowIfFalse
(_pendingSolutionSnapshots.Remove(id));
EditAndContinue\Utilities\BidirectionalMap.cs (1)
21
Contract.
ThrowIfFalse
(forward.Count == reverse.Count);
EditAndContinue\Utilities\Extensions.cs (1)
288
Contract.
ThrowIfFalse
(otherRoot.Parent == null);
EmbeddedLanguages\RegularExpressions\RegexParser.cs (1)
905
Contract.
ThrowIfFalse
(comment.HasValue);
EmbeddedLanguages\StackFrame\StackFrameParser.cs (2)
89
Contract.
ThrowIfFalse
(_lexer.Position == _lexer.Text.Length);
90
Contract.
ThrowIfFalse
(eolToken.Kind == StackFrameKind.EndOfFrame);
EncapsulateField\AbstractEncapsulateFieldService.cs (1)
292
Contract.
ThrowIfFalse
(resolution.IsSuccessful);
ExternalAccess\UnitTesting\Notification\AbstractGlobalOperationNotificationService.cs (3)
43
Contract.
ThrowIfFalse
(_registrations.Count == 0);
73
Contract.
ThrowIfFalse
(_operations.Count == 1);
86
Contract.
ThrowIfFalse
(result);
ExternalAccess\UnitTesting\SolutionCrawler\UnitTestingIdleProcessor.cs (1)
50
Contract.
ThrowIfFalse
(_processorTask == null);
ExternalAccess\UnitTesting\SolutionCrawler\UnitTestingWorkCoordinator.UnitTestingNormalPriorityProcessor.cs (1)
79
Contract.
ThrowIfFalse
(item.DocumentId != null);
ExtractClass\ExtractClassWithDialogCodeAction.cs (1)
208
Contract.
ThrowIfFalse
(remainingResults.Count == 0);
ExtractMethod\AbstractSyntaxTriviaService.cs (1)
35
Contract.
ThrowIfFalse
(textSpan.Contains(tokens[TriviaLocation.AfterBeginningOfSpan].Span) && textSpan.Contains(tokens[TriviaLocation.BeforeEndOfSpan].Span));
ExtractMethod\AbstractSyntaxTriviaService.Result.cs (1)
112
Contract.
ThrowIfFalse
(
ExtractMethod\ExtractMethodFlowControlInformation.cs (1)
103
Contract.
ThrowIfFalse
(valuesIndex == values.Length);
ExtractMethod\MethodExtractor.Analyzer.cs (3)
90
Contract.
ThrowIfFalse
(unused.Count == 0);
511
Contract.
ThrowIfFalse
(variableStyle.ParameterStyle.DeclarationBehavior == DeclarationBehavior.MoveIn || variableStyle.ParameterStyle.DeclarationBehavior == DeclarationBehavior.SplitIn);
835
Contract.
ThrowIfFalse
(parameters.Length == arguments.Length);
ExtractMethod\MethodExtractor.CodeGenerator.cs (1)
392
Contract.
ThrowIfFalse
(variable.GetDeclarationBehavior() is
ExtractMethod\MethodExtractor.VariableInfo.cs (3)
35
Contract.
ThrowIfFalse
(!_useAsReturnValue || _variableStyle.ReturnStyle.ReturnBehavior != ReturnBehavior.None);
86
Contract.
ThrowIfFalse
(variable.CanBeUsedAsReturnValue);
87
Contract.
ThrowIfFalse
(variable.ParameterModifier is ParameterBehavior.Out or ParameterBehavior.Ref);
ExtractMethod\MethodExtractor.VariableSymbol.cs (4)
109
Contract.
ThrowIfFalse
(locationLeft.IsInSource);
110
Contract.
ThrowIfFalse
(locationRight.IsInSource);
111
Contract.
ThrowIfFalse
(locationLeft.SourceTree == locationRight.SourceTree);
150
Contract.
ThrowIfFalse
(Symbol.Ordinal != other.Symbol.Ordinal);
FindUsages\DefinitionItem.cs (3)
136
Contract.
ThrowIfFalse
(classifiedSpans.IsEmpty || sourceSpans.Length == classifiedSpans.Length);
140
Contract.
ThrowIfFalse
(Properties.ContainsKey(MetadataSymbolOriginatingProjectIdGuid));
141
Contract.
ThrowIfFalse
(Properties.ContainsKey(MetadataSymbolOriginatingProjectIdDebugName));
FindUsages\IRemoteFindUsagesService.cs (1)
155
Contract.
ThrowIfFalse
(_idToDefinition.ContainsKey(definitionId));
GenerateType\AbstractGenerateTypeService.Editor.cs (1)
70
Contract.
ThrowIfFalse
(document.Project.Solution == generateTypeOptionsResult.Project.Solution);
LanguageServices\SymbolDisplayService\AbstractSymbolDisplayService.AbstractSymbolDescriptionBuilder.cs (2)
375
Contract.
ThrowIfFalse
(symbolGroup.Length > 0);
384
Contract.
ThrowIfFalse
(symbolGroup.Length > 0);
MetadataAsSource\MetadataAsSourceFileService.cs (1)
165
Contract.
ThrowIfFalse
(threadingService.IsOnMainThread);
NavigateTo\NavigateToSearcher.cs (1)
495
Contract.
ThrowIfFalse
(orderedProjects.SelectMany(s => s).Count() == filteredProjects.SelectMany(s => s).Count());
QuickInfo\Presentation\TaggedTextExtensions.cs (3)
135
Contract.
ThrowIfFalse
(_paragraphs.Count == 0);
136
Contract.
ThrowIfFalse
(_lines.Count == 0);
137
Contract.
ThrowIfFalse
(_runs.Count == 0);
ReplacePropertyWithMethods\ReplacePropertyWithMethodsCodeRefactoringProvider.cs (1)
434
Contract.
ThrowIfFalse
(x.location.Document == y.location.Document);
Snippets\AbstractSnippetService.cs (1)
30
Contract.
ThrowIfFalse
(_identifierToProviderMap.ContainsKey(snippetIdentifier));
src\9547feb31df4cc5d\AbstractRemoveUnusedParametersAndValuesDiagnosticAnalyzer.SymbolStartAnalyzer.BlockAnalyzer.cs (1)
124
Contract.
ThrowIfFalse
(context.FilterSpan != symbolStartAnalyzer._symbolStartAnalysisContext.FilterSpan);
src\roslyn\src\Analyzers\Core\Analyzers\ForEachCast\AbstractForEachCastDiagnosticAnalyzer.cs (1)
58
Contract.
ThrowIfFalse
(option.Value is ForEachExplicitCastInSourcePreference.Always or ForEachExplicitCastInSourcePreference.WhenStronglyTyped);
src\roslyn\src\Analyzers\Core\Analyzers\Helpers\DiagnosticHelper.cs (1)
226
Contract.
ThrowIfFalse
(index >= 0 && index < additionalLocationsLength);
src\roslyn\src\Analyzers\Core\Analyzers\UseAutoProperty\AbstractUseAutoPropertyAnalyzer.cs (1)
485
Contract.
ThrowIfFalse
(TryGetSyntax(getterField, out var fieldDeclaration, out var variableDeclarator, cancellationToken));
src\roslyn\src\Analyzers\Core\Analyzers\UseCollectionInitializer\UpdateExpressionState.cs (1)
250
Contract.
ThrowIfFalse
(this.SyntaxFacts.IsSimpleMemberAccessExpression(memberAccess));
src\roslyn\src\Analyzers\Core\CodeFixes\RemoveUnusedParametersAndValues\AbstractRemoveUnusedValuesCodeFixProvider.cs (1)
512
Contract.
ThrowIfFalse
(node.GetRequiredParent().Parent is TExpressionStatementSyntax);
src\roslyn\src\Analyzers\Core\CodeFixes\UseAutoProperty\AbstractUseAutoPropertyCodeFixProvider.cs (1)
414
Contract.
ThrowIfFalse
(fieldDocument.Project == propertyDocument.Project);
Wrapping\SeparatedSyntaxList\SeparatedSyntaxListCodeActionComputer.cs (1)
339
Contract.
ThrowIfFalse
(comma.IsToken);
Microsoft.CodeAnalysis.Features.ExternalAccess (1)
Copilot\Internal\SemanticSearch\CopilotSemanticSearchQueryExecutor.cs (1)
79
Contract.
ThrowIfFalse
(resultCountLimit > 0);
Microsoft.CodeAnalysis.Workspaces (174)
Classification\SyntaxClassification\SyntacticChangeRangeComputer.cs (2)
135
Contract.
ThrowIfFalse
(currentOld.FullSpan.Start == currentNew.FullSpan.Start);
190
Contract.
ThrowIfFalse
((oldRoot.FullSpan.End - currentOld.FullSpan.End) ==
CodeActions\CodeAction.cs (1)
199
Contract.
ThrowIfFalse
(provider is CodeFixProvider or CodeRefactoringProvider);
CodeCleanup\AbstractCodeCleanerService.cs (1)
213
Contract.
ThrowIfFalse
(hasMultiplePreviousToken || hasMultipleNextToken);
CodeFixes\FixAllOccurrences\BatchFixAllProvider.cs (1)
56
Contract.
ThrowIfFalse
(fixAllContext.Scope is FixAllScope.Document or
CodeFixesAndRefactorings\DocumentBasedFixAllProviderHelpers.cs (1)
76
Contract.
ThrowIfFalse
(
CodeRefactorings\FixAllOccurences\DocumentBasedRefactorAllProvider.cs (1)
86
Contract.
ThrowIfFalse
(refactorAllContext.Scope is RefactorAllScope.Document or RefactorAllScope.Project
CodeRefactorings\FixAllOccurences\RefactorAllScope.cs (1)
65
Contract.
ThrowIfFalse
(refactorFields.SetEquals(fixAllFields));
Diagnostics\DocumentAnalysisScope.cs (1)
51
Contract.
ThrowIfFalse
(TextDocument is AdditionalDocument);
FindSymbols\FindReferences\DependentProjectsFinder.cs (2)
323
Contract.
ThrowIfFalse
(project.SupportsCompilation);
336
Contract.
ThrowIfFalse
(project.SupportsCompilation);
FindSymbols\FindReferences\Finders\AbstractReferenceFinder.cs (1)
630
Contract.
ThrowIfFalse
(notNullOriginalUnreducedSymbol2.GetOriginalUnreducedDefinition().Equals(notNullOriginalUnreducedSymbol2));
FindSymbols\FindReferences\FindReferencesSearchEngine.cs (1)
198
Contract.
ThrowIfFalse
(symbolToGroup.ContainsKey(symbol));
FindSymbols\Shared\AbstractSyntaxIndex.cs (1)
122
Contract.
ThrowIfFalse
(document.SupportsSyntaxTree);
FindSymbols\SymbolFinder_Helpers.cs (3)
128
Contract.
ThrowIfFalse
(equivalentTypesWithDifferingAssemblies.All(kvp => !SymbolEquivalenceComparer.Instance.Equals(kvp.Key.ContainingAssembly, kvp.Value.ContainingAssembly)));
131
Contract.
ThrowIfFalse
(equivalentTypesWithDifferingAssemblies.All(kvp => kvp.Key.ContainingType == null));
132
Contract.
ThrowIfFalse
(equivalentTypesWithDifferingAssemblies.All(kvp => kvp.Value.ContainingType == null));
Remote\ExportRemoteServiceCallbackDispatcherAttribute.cs (1)
19
Contract.
ThrowIfFalse
(serviceInterface.IsInterface);
Remote\RemoteServiceCallbackDispatcher.cs (1)
47
Contract.
ThrowIfFalse
(_callbackInstances.TryGetValue(callbackId, out var instance));
Rename\RenameUtilities.cs (1)
139
Contract.
ThrowIfFalse
(isSubset);
Serialization\SerializableSourceText.cs (1)
172
Contract.
ThrowIfFalse
(kind is SerializationKinds.Bits or SerializationKinds.MemoryMapFile);
Serialization\SerializerService_Reference.cs (7)
175
Contract.
ThrowIfFalse
(TryGetAnalyzerImageReferenceFromGuid(guid, out var analyzerImageReference));
291
Contract.
ThrowIfFalse
(kind is SerializationKinds.Bits or SerializationKinds.MemoryMapFile);
408
Contract.
ThrowIfFalse
(metadataKind == MetadataImageKind.Module);
420
Contract.
ThrowIfFalse
(metadataKind == MetadataImageKind.Module);
430
Contract.
ThrowIfFalse
(kind is SerializationKinds.Bits or SerializationKinds.MemoryMapFile);
468
Contract.
ThrowIfFalse
(storageHandle.Identifier.Size == unmanagedStream.Length);
483
Contract.
ThrowIfFalse
(storageHandle.Identifier.Size == memoryStream.Length);
Serialization\SerializerService.cs (2)
206
Contract.
ThrowIfFalse
(count <= 2);
214
Contract.
ThrowIfFalse
(language is LanguageNames.CSharp or LanguageNames.VisualBasic);
Shared\Extensions\IMethodSymbolExtensions.cs (1)
17
Contract.
ThrowIfFalse
(delegateType.TypeKind == TypeKind.Delegate);
Shared\Extensions\SourceTextExtensions.cs (2)
223
Contract.
ThrowIfFalse
(offset == length);
282
Contract.
ThrowIfFalse
(offset == length);
Shared\TestHooks\AsynchronousOperationListener.cs (3)
113
Contract.
ThrowIfFalse
(_gate.LockHeldByMe());
119
Contract.
ThrowIfFalse
(_gate.LockHeldByMe());
184
Contract.
ThrowIfFalse
(TrackActiveTokens);
src\roslyn\src\Dependencies\Threading\AsyncBatchingWorkQueue`2.cs (1)
270
Contract.
ThrowIfFalse
(batchResultTask.IsCompleted);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Collections\ImmutableIntervalTree`1.cs (1)
248
Contract.
ThrowIfFalse
(rightMaxEndValue > leftMaxEndValue);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Extensions\AnalysisContextExtensions.cs (2)
166
Contract.
ThrowIfFalse
(context.FilterSpan.HasValue);
178
Contract.
ThrowIfFalse
(context.FilterSpan.HasValue);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Extensions\AnalyzerConfigOptionsExtensions.cs (1)
23
Contract.
ThrowIfFalse
(option.Definition.IsEditorConfigOption);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Extensions\StringExtensions.cs (4)
209
Contract.
ThrowIfFalse
(0 <= endPosition && endPosition <= line.Length);
210
Contract.
ThrowIfFalse
(tabSize > 0);
218
Contract.
ThrowIfFalse
(column >= 0);
219
Contract.
ThrowIfFalse
(tabSize > 0);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Extensions\SyntaxNodeExtensions.cs (1)
299
Contract.
ThrowIfFalse
(nodes.Any());
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Context\FormattingContext.cs (1)
413
Contract.
ThrowIfFalse
(intervals.Length == 0);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Engine\AbstractFormatEngine.OperationApplier.cs (5)
52
Contract.
ThrowIfFalse
(triviaInfo.LineBreaks == 0);
85
Contract.
ThrowIfFalse
(triviaInfo.LineBreaks == 0);
123
Contract.
ThrowIfFalse
(triviaInfo.LineBreaks == 0);
451
Contract.
ThrowIfFalse
(triviaInfo.SecondTokenIsFirstTokenOnLine);
478
Contract.
ThrowIfFalse
(baseToken.RawKind != 0 && startToken.RawKind != 0 && endToken.RawKind != 0);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Engine\AbstractTriviaDataFactory.AbstractComplexTrivia.cs (2)
75
Contract.
ThrowIfFalse
(line > 0);
132
Contract.
ThrowIfFalse
(list.Count > 0);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Engine\AbstractTriviaDataFactory.cs (3)
88
Contract.
ThrowIfFalse
(space >= 0);
107
Contract.
ThrowIfFalse
(lineBreaks >= 0);
108
Contract.
ThrowIfFalse
(indentation >= 0);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Engine\AbstractTriviaDataFactory.Whitespace.cs (2)
25
Contract.
ThrowIfFalse
(space >= 0);
55
Contract.
ThrowIfFalse
(line > 0);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Engine\TokenData.cs (2)
28
Contract.
ThrowIfFalse
((indexInStream == -1) || (0 <= indexInStream && indexInStream < tokenStream.TokenCount));
61
Contract.
ThrowIfFalse
(this.TokenStream == other.TokenStream);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Engine\TokenPairWithOperations.cs (1)
29
Contract.
ThrowIfFalse
(0 <= tokenPairIndex && tokenPairIndex < tokenStream.TokenCount - 1);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Engine\TokenStream.cs (6)
136
Contract.
ThrowIfFalse
(0 <= index && index < this.TokenCount);
248
Contract.
ThrowIfFalse
(0 <= pairIndex && pairIndex < this.TokenCount - 1);
427
Contract.
ThrowIfFalse
(this.FormatBeginningOfTree);
439
Contract.
ThrowIfFalse
(this.FormatEndOfTree);
451
Contract.
ThrowIfFalse
(0 <= pairIndex && pairIndex < this.TokenCount - 1);
463
Contract.
ThrowIfFalse
(0 <= pairIndex && pairIndex < this.TokenCount - 1);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Engine\TreeData.Debug.cs (1)
18
Contract.
ThrowIfFalse
(text == _debugNodeData.GetTextBetween(token1, token2));
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Engine\TreeData.Node.cs (1)
17
Contract.
ThrowIfFalse
(root.GetFirstToken(includeZeroWidth: true).RawKind != 0);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Engine\TreeData.StructuredTrivia.cs (1)
21
Contract.
ThrowIfFalse
(trivia.HasStructure);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\FormattingExtensions.cs (1)
183
Contract.
ThrowIfFalse
(lines.Length > 0);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Rules\Operations\AdjustNewLinesOperation.cs (3)
14
Contract.
ThrowIfFalse
(option != AdjustNewLinesOption.ForceLines || line > 0);
15
Contract.
ThrowIfFalse
(option != AdjustNewLinesOption.PreserveLines || line >= 0);
16
Contract.
ThrowIfFalse
(option != AdjustNewLinesOption.ForceLinesIfOnSingleLine || line > 0);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Rules\Operations\AdjustSpacesOperation.cs (1)
14
Contract.
ThrowIfFalse
(space >= 0);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Rules\Operations\IndentBlockOperation.cs (4)
16
Contract.
ThrowIfFalse
(option.IsMaskOn(IndentBlockOption.PositionMask));
35
Contract.
ThrowIfFalse
(option.IsMaskOn(IndentBlockOption.PositionMask));
37
Contract.
ThrowIfFalse
(option.IsMaskOn(IndentBlockOption.RelativePositionMask));
38
Contract.
ThrowIfFalse
(baseToken.Span.End <= textSpan.Start);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\TriviaEngine\AbstractTriviaFormatter.cs (2)
75
Contract.
ThrowIfFalse
(lineBreaks >= 0);
76
Contract.
ThrowIfFalse
(spaces >= 0);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\NamingStyles\Serialization\NamingStylePreferences.cs (4)
61
Contract.
ThrowIfFalse
(serializableRules.IsEmpty == namingStyles.IsEmpty);
62
Contract.
ThrowIfFalse
(serializableRules.IsEmpty == symbolSpecifications.IsEmpty);
80
Contract.
ThrowIfFalse
(namingRules.IsEmpty == namingStyles.IsEmpty);
81
Contract.
ThrowIfFalse
(namingRules.IsEmpty == symbolSpecifications.IsEmpty);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\SymbolKey\SymbolKey.BodyLevelSymbolKey.cs (2)
21
Contract.
ThrowIfFalse
(IsBodyLevelSymbol(symbol));
65
Contract.
ThrowIfFalse
(locations.All(loc => loc != null && loc.IsInSource));
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\SymbolKey\SymbolKey.ErrorTypeSymbolKey.cs (1)
85
Contract.
ThrowIfFalse
(typeArguments.IsDefault);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\SymbolKey\SymbolKey.FunctionPointerTypeSymbolKey.cs (1)
69
Contract.
ThrowIfFalse
(parameterTypes.IsDefault);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\SymbolKey\SymbolKey.NamedTypeSymbolKey.cs (1)
62
Contract.
ThrowIfFalse
(typeArguments.IsDefault);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\SymbolKey\SymbolKey.SymbolKeyReader.cs (2)
418
Contract.
ThrowIfFalse
(Equals(method, _methodSymbolStack[^1]));
434
Contract.
ThrowIfFalse
(Equals(contextualSymbol, _contextualSymbolStack.Peek()));
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\SymbolKey\SymbolKey.SymbolKeyWriter.cs (1)
518
Contract.
ThrowIfFalse
(method.Equals(_methodSymbolStack[^1]));
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\SymbolKey\SymbolKey.TypeParameterOrdinalSymbolKey.cs (1)
13
Contract.
ThrowIfFalse
(symbol.TypeParameterKind == TypeParameterKind.Method);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Utilities\AsyncLazy`1.cs (1)
153
Contract.
ThrowIfFalse
(Monitor.IsEntered(asyncLazy.SyncObject));
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Utilities\CommonFormattingHelpers.cs (4)
48
Contract.
ThrowIfFalse
(spans.Count > 0);
123
Contract.
ThrowIfFalse
(startToken.Equals(endToken) || startToken.Span.End <= endToken.SpanStart);
285
Contract.
ThrowIfFalse
(backwardPosition < parentNode.FullSpan.End);
311
Contract.
ThrowIfFalse
(parentNode.FullSpan.Start < forwardPosition);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Utilities\NonReentrantLock.cs (1)
173
=> Contract.
ThrowIfFalse
(LockHeldByMe());
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Utilities\TaskExtensions.cs (2)
69
Contract.
ThrowIfFalse
(task.IsCompleted);
85
Contract.
ThrowIfFalse
(task.IsCompleted);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Extensions\Symbols\ISymbolExtensions.cs (1)
604
Contract.
ThrowIfFalse
(symbol.IsNormalAnonymousType());
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Workspace\Core\CodeCleanup\CodeCleanupHelpers.cs (1)
17
Contract.
ThrowIfFalse
(document.SupportsSyntaxTree);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Workspace\Core\CodeFixesAndRefactorings\AbstractFixAllSpanMappingService.cs (1)
26
Contract.
ThrowIfFalse
(fixAllScope is FixAllScope.ContainingMember or FixAllScope.ContainingType);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Workspace\Core\CodeGeneration\SyntaxAnnotationExtensions.cs (1)
17
Contract.
ThrowIfFalse
(symbol is CodeGenerationSymbol);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Workspace\Core\Extensions\DocumentExtensions.cs (1)
144
Contract.
ThrowIfFalse
(document.SupportsSemanticModel);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Workspace\Core\Extensions\SyntaxGeneratorExtensions_Negate.cs (1)
556
Contract.
ThrowIfFalse
(syntaxFacts.IsNotPattern(pattern));
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Workspace\Core\Extensions\TextDocumentExtensions.cs (2)
50
Contract.
ThrowIfFalse
(textDocument is AdditionalDocument);
59
Contract.
ThrowIfFalse
(textDocument is AnalyzerConfigDocument);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Workspace\Core\FindSymbols\LinkedFileReferenceLocationEqualityComparer.cs (1)
24
Contract.
ThrowIfFalse
(x.Document == y.Document);
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Workspace\Core\Simplification\AbstractSimplificationService.cs (1)
163
Contract.
ThrowIfFalse
(nodesAndTokensToReduce.Any());
src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Workspace\Core\Utilities\ParsedDocument.cs (1)
70
Contract.
ThrowIfFalse
(Id == oldDocument.Id);
Workspace\Host\DocumentService\AbstractSpanMappingService.cs (1)
32
Contract.
ThrowIfFalse
(mappedSpanResults.Length == textChanges.Length);
Workspace\ProjectSystem\ProjectSystemProjectFactory.cs (10)
225
Contract.
ThrowIfFalse
(_gate.CurrentCount == 0);
232
Contract.
ThrowIfFalse
(_gate.CurrentCount == 0);
326
Contract.
ThrowIfFalse
(_gate.CurrentCount == 0);
373
Contract.
ThrowIfFalse
(_gate.CurrentCount == 0);
395
Contract.
ThrowIfFalse
(_gate.CurrentCount == 0);
434
Contract.
ThrowIfFalse
(_gate.CurrentCount == 0);
464
Contract.
ThrowIfFalse
(_gate.CurrentCount == 0);
468
Contract.
ThrowIfFalse
(_projectUpdateState.ProjectReferenceInfos.Count == 0);
469
Contract.
ThrowIfFalse
(_projectToMaxSupportedLangVersionMap.Count == 0);
470
Contract.
ThrowIfFalse
(_projectToDependencyNodeTargetIdentifier.Count == 0);
Workspace\Solution\Checksum.cs (1)
57
Contract.
ThrowIfFalse
(MemoryMarshal.TryRead(checksum, out Checksum result));
Workspace\Solution\ChecksumCollection.cs (3)
70
Contract.
ThrowIfFalse
(state.TryGetStateChecksums(out var stateChecksums));
82
Contract.
ThrowIfFalse
(state.TryGetStateChecksums(out var stateChecksums));
97
Contract.
ThrowIfFalse
(values.Count == checksums.Children.Length);
Workspace\Solution\DocumentState.cs (3)
47
Contract.
ThrowIfFalse
(ParseOptions is null == TreeSource is null);
339
Contract.
ThrowIfFalse
(SupportsSyntaxTree);
661
Contract.
ThrowIfFalse
(existingId == id);
Workspace\Solution\ProjectCone.cs (1)
21
Contract.
ThrowIfFalse
(projectIds.Contains(rootProjectId));
Workspace\Solution\ProjectDependencyGraph_AddProjectReference.cs (1)
17
Contract.
ThrowIfFalse
(ProjectIds.Contains(projectId));
Workspace\Solution\ProjectDependencyGraph_RemoveAllProjectReferences.cs (1)
16
Contract.
ThrowIfFalse
(ProjectIds.Contains(projectId));
Workspace\Solution\ProjectDependencyGraph_RemoveProject.cs (1)
20
Contract.
ThrowIfFalse
(projectIdsBuilder.Remove(projectId));
Workspace\Solution\ProjectDependencyGraph_RemoveProjectReference.cs (2)
16
Contract.
ThrowIfFalse
(ProjectIds.Contains(projectId));
17
Contract.
ThrowIfFalse
(_referencesMap[projectId].Contains(referencedProjectId));
Workspace\Solution\ProjectDependencyGraph.cs (1)
137
Contract.
ThrowIfFalse
(ProjectIds.Contains(projectId));
Workspace\Solution\ProjectState.cs (2)
973
Contract.
ThrowIfFalse
(oldDocuments.Length == newDocuments.Length);
999
Contract.
ThrowIfFalse
(oldDocuments.Length == newDocuments.Length);
Workspace\Solution\SolutionCompilationState_SourceGenerators.cs (1)
78
Contract.
ThrowIfFalse
(projectState.SupportsCompilation);
Workspace\Solution\SolutionCompilationState.cs (2)
115
Contract.
ThrowIfFalse
(this.SolutionState.SortedProjectStates
1383
Contract.
ThrowIfFalse
(trackerMap.TryGetValue(projectId, out var existingTracker));
Workspace\Solution\SolutionCompilationState.RegularCompilationTracker_Generators.cs (4)
162
Contract.
ThrowIfFalse
(documentId.IsSourceGenerated);
227
Contract.
ThrowIfFalse
(documentId.IsSourceGenerated);
461
Contract.
ThrowIfFalse
(additionalTexts.Length == projectState.AdditionalDocumentStates.Count);
474
Contract.
ThrowIfFalse
(creationPolicy is GeneratedDocumentCreationPolicy.CreateOnlyRequired);
Workspace\Solution\SolutionCompilationState.RegularCompilationTracker.cs (2)
137
Contract.
ThrowIfFalse
(forkedTrackerState is null or InProgressState);
552
Contract.
ThrowIfFalse
(creationPolicy.SkeletonReferenceCreationPolicy is SkeletonReferenceCreationPolicy.CreateIfAbsent or SkeletonReferenceCreationPolicy.DoNotCreate);
Workspace\Solution\SolutionState.cs (5)
171
Contract.
ThrowIfFalse
(SortedProjectStates.Length == ProjectIds.Count);
172
Contract.
ThrowIfFalse
(SortedProjectStates.Length == _dependencyGraph.ProjectIds.Count);
508
Contract.
ThrowIfFalse
(amount is -1 or +1);
537
Contract.
ThrowIfFalse
(newCount == 0);
1195
Contract.
ThrowIfFalse
(projectStateIndex >= 0);
Workspace\Solution\SourceGeneratedDocumentIdentity.cs (1)
29
Contract.
ThrowIfFalse
(documentId.IsSourceGenerated);
Workspace\Solution\StateChecksums.cs (10)
34
Contract.
ThrowIfFalse
(frozenSourceGeneratedDocumentIdentities.Count == frozenSourceGeneratedDocuments.Length);
96
Contract.
ThrowIfFalse
(result.Checksum == checksum);
147
Contract.
ThrowIfFalse
(compilationState.FrozenSourceGeneratedDocumentStates.TryGetState(documentId, out var state));
161
Contract.
ThrowIfFalse
(compilationState.FrozenSourceGeneratedDocumentStates.TryGetState(id, out var state));
174
Contract.
ThrowIfFalse
(solutionState.TryGetStateChecksums(out var solutionChecksums));
180
Contract.
ThrowIfFalse
(solutionState.TryGetStateChecksums(projectCone.RootProjectId, out var solutionChecksums));
250
Contract.
ThrowIfFalse
(result.Checksum == checksum);
421
Contract.
ThrowIfFalse
(result.Checksum == checksum);
435
Contract.
ThrowIfFalse
(state.TryGetStateChecksums(out var stateChecksum));
436
Contract.
ThrowIfFalse
(this == stateChecksum);
Workspace\Solution\VersionSource\RecoverableTextAndVersion.cs (1)
193
Contract.
ThrowIfFalse
(_storageHandle == null); // Cannot save more than once
Workspace\TextExtensions.cs (1)
89
Contract.
ThrowIfFalse
(solution.ContainsAnalyzerConfigDocument(id));
Workspace\Workspace_Editor.cs (6)
474
Contract.
ThrowIfFalse
(_openSourceGeneratedDocumentIdentities.Remove(document.Id));
801
Contract.
ThrowIfFalse
(_bufferToDocumentInCurrentContextMap.ContainsKey(textContainer));
809
Contract.
ThrowIfFalse
(!_bufferToDocumentInCurrentContextMap.ContainsKey(textContainer));
827
Contract.
ThrowIfFalse
(!_bufferToDocumentInCurrentContextMap.ContainsKey(textContainer));
831
Contract.
ThrowIfFalse
(_bufferToDocumentInCurrentContextMap.ContainsKey(textContainer));
855
Contract.
ThrowIfFalse
(doc.TryGetText(out var text));