473 references to ThrowIfFalse
Microsoft.CodeAnalysis.CSharp.EditorFeatures (6)
StringCopyPaste\AbstractPasteProcessor.cs (2)
139
Contract.
ThrowIfFalse
(IsAnyRawStringExpression(StringExpressionBeforePaste));
154
Contract.
ThrowIfFalse
(IsAnyRawStringExpression(StringExpressionBeforePaste));
StringCopyPaste\StringCopyPasteCommandHandler.cs (1)
77
Contract.
ThrowIfFalse
(_threadingContext.HasMainThread);
StringCopyPaste\StringCopyPasteCommandHandler_CutCopy.cs (1)
39
Contract.
ThrowIfFalse
(_threadingContext.HasMainThread);
StringCopyPaste\StringInfo.cs (2)
123
Contract.
ThrowIfFalse
(SyntaxFacts.IsNewLine(text[rawStart]));
138
Contract.
ThrowIfFalse
(SyntaxFacts.IsNewLine(text[rawEnd - 1]));
Microsoft.CodeAnalysis.CSharp.Features (44)
ConvertToRawString\IConvertStringProvider.cs (1)
45
Contract.
ThrowIfFalse
(CheckSyntax(stringExpression));
Copilot\CSharpImplementNotImplementedExceptionFixProvider.cs (2)
91
Contract.
ThrowIfFalse
(methodOrProperty is BasePropertyDeclarationSyntax or BaseMethodDeclarationSyntax);
111
Contract.
ThrowIfFalse
(memberImplementationDetails.TryGetValue(methodOrProperty, out var implementationDetails));
EditAndContinue\SyntaxComparer.cs (1)
923
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\GenericNameSignatureHelpProvider.cs (1)
163
Contract.
ThrowIfFalse
(lessThanToken.Parent is TypeArgumentListSyntax && lessThanToken.Parent.Parent is GenericNameSyntax);
SignatureHelp\InvocationExpressionSignatureHelpProviderBase_MethodGroup.cs (1)
68
Contract.
ThrowIfFalse
(includeInstance || includeStatic);
src\Analyzers\CSharp\Analyzers\AddAccessibilityModifiers\CSharpAddAccessibilityModifiers.cs (1)
76
Contract.
ThrowIfFalse
(option == AccessibilityModifiersRequired.OmitIfDefault);
src\Analyzers\CSharp\Analyzers\RemoveUnnecessaryImports\CSharpRemoveUnnecessaryImportsDiagnosticAnalyzer.cs (1)
53
Contract.
ThrowIfFalse
(nodes.Any());
src\Analyzers\CSharp\Analyzers\UseCollectionExpression\UseCollectionExpressionHelpers.cs (2)
659
Contract.
ThrowIfFalse
(originalInitializer.Parent
747
Contract.
ThrowIfFalse
(expression is ArrayCreationExpressionSyntax or StackAllocArrayCreationExpressionSyntax);
src\Analyzers\CSharp\CodeFixes\ConvertSwitchStatementToExpression\ConvertSwitchStatementToExpressionCodeFixProvider.Rewriter.cs (1)
106
Contract.
ThrowIfFalse
(_assignmentTarget is IdentifierNameSyntax);
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\Analyzers\CSharp\CodeFixes\UseCompoundAssignment\CSharpUseCompoundCoalesceAssignmentCodeFixProvider.cs (1)
55
Contract.
ThrowIfFalse
(CSharpUseCompoundCoalesceAssignmentDiagnosticAnalyzer.GetWhenTrueAssignment(
src\Analyzers\CSharp\CodeFixes\UsePrimaryConstructor\CSharpUsePrimaryConstructorCodeFixProvider.cs (1)
470
Contract.
ThrowIfFalse
(member is IFieldSymbol or IPropertySymbol);
src\Analyzers\CSharp\CodeFixes\UseUtf8StringLiteral\UseUtf8StringLiteralCodeFixProvider.cs (1)
147
Contract.
ThrowIfFalse
(UseUtf8StringLiteralDiagnosticAnalyzer.TryConvertToUtf8String(builder, initializer.ElementValues));
Structure\CSharpStructureHelpers.cs (1)
119
Contract.
ThrowIfFalse
(comment.IsSingleLineComment() || comment.IsMultiLineComment());
Microsoft.CodeAnalysis.CSharp.Workspaces (18)
Simplification\CSharpSimplificationService.cs (1)
173
Contract.
ThrowIfFalse
(SpeculationAnalyzer.CanSpeculateOnNode(nodeToSpeculate));
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\CSharp\EmbeddedLanguages\VirtualChars\CSharpVirtualCharService.cs (3)
141
Contract.
ThrowIfFalse
(tokenText is [.., 'u' or 'U', '8']);
147
Contract.
ThrowIfFalse
(tokenText[0] == '"');
152
Contract.
ThrowIfFalse
(tokenText[endIndexExclusive - 1] == '"');
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\CSharp\Extensions\BlockSyntaxExtensions.cs (1)
177
Contract.
ThrowIfFalse
(preference == ExpressionBodyPreference.WhenOnSingleLine);
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\CSharp\Extensions\SyntaxTokenExtensions.cs (2)
257
Contract.
ThrowIfFalse
(genericIdentifier.Kind() == SyntaxKind.IdentifierToken);
261
Contract.
ThrowIfFalse
(token.Kind() == SyntaxKind.LessThanToken);
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\CSharp\Formatting\Engine\Trivia\CSharpTriviaFormatter.cs (1)
224
Contract.
ThrowIfFalse
(multilineCommentTrivia.Count == 1);
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\CSharp\Formatting\Engine\Trivia\TriviaDataFactory.Analyzer.cs (1)
128
Contract.
ThrowIfFalse
(SyntaxFacts.IsPreprocessorDirective(trivia.Kind()));
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\CSharp\Formatting\Engine\Trivia\TriviaDataFactory.ComplexTrivia.cs (1)
61
Contract.
ThrowIfFalse
(triviaList.Count > 0);
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\CSharp\Formatting\Engine\Trivia\TriviaDataFactory.cs (1)
108
Contract.
ThrowIfFalse
(space >= -1);
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\CSharp\Formatting\Engine\Trivia\TriviaDataFactory.ModifiedComplexTrivia.cs (2)
72
Contract.
ThrowIfFalse
(this.SecondTokenIsFirstTokenOnLine);
78
Contract.
ThrowIfFalse
(triviaList.Count > 0);
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\CSharp\Simplification\Simplifiers\CastSimplifier.cs (1)
852
Contract.
ThrowIfFalse
(conditionalExpression.WhenTrue == armExpression || conditionalExpression.WhenFalse == armExpression);
src\Workspaces\SharedUtilitiesAndExtensions\Workspace\CSharp\Lightup\NullableSyntaxAnnotationEx.cs (2)
29
Contract.
ThrowIfFalse
(ReferenceEquals(Oblivious, NullableSyntaxAnnotation.Oblivious));
30
Contract.
ThrowIfFalse
(ReferenceEquals(AnnotatedOrNotAnnotated, NullableSyntaxAnnotation.AnnotatedOrNotAnnotated));
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.EditorFeatures.Test.Utilities (3)
CompleteStatement\AbstractCompleteStatementTests.cs (1)
54
Contract.
ThrowIfFalse
(spans.Keys.ToArray() is [""]);
Workspaces\EditorTestWorkspace.cs (2)
200
Contract.
ThrowIfFalse
(testDocument.IsSourceGenerated);
222
Contract.
ThrowIfFalse
(threadingContext.HasMainThread && threadingContext.JoinableTaskContext.IsOnMainThread);
Microsoft.CodeAnalysis.EditorFeatures.Text (3)
Extensions.SnapshotSourceText.cs (2)
101
Contract.
ThrowIfFalse
(editorSnapshot.TextBuffer == container.GetTextBuffer());
245
Contract.
ThrowIfFalse
(snapshot == editorSnapshot);
Shared\Extensions\ITextSnapshotLineExtensions.cs (1)
62
Contract.
ThrowIfFalse
(startIndex >= 0);
Microsoft.CodeAnalysis.ExternalAccess.Copilot (1)
Internal\SemanticSearch\CopilotSemanticSearchQueryExecutor.cs (1)
79
Contract.
ThrowIfFalse
(resultCountLimit > 0);
Microsoft.CodeAnalysis.ExternalAccess.Razor.Features (4)
RazorCSharpFormattingInteractionService.cs (3)
48
Contract.
ThrowIfFalse
(document.Project.Language is LanguageNames.CSharp);
75
Contract.
ThrowIfFalse
(root.Language is LanguageNames.CSharp);
86
Contract.
ThrowIfFalse
(root.Language is LanguageNames.CSharp);
RazorUri.cs (1)
29
Contract.
ThrowIfFalse
(IsGeneratedDocumentUri(generatedDocumentUri));
Microsoft.CodeAnalysis.Features (101)
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)
49
Contract.
ThrowIfFalse
(diagnostics.All(d => d.DocumentId != null));
62
Contract.
ThrowIfFalse
(diagnostics.All(d => d.DocumentId != null));
81
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)
216
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)
57
Contract.
ThrowIfFalse
(document.SupportsSemanticModel);
Diagnostics\CodeAnalysisDiagnosticAnalyzerService.cs (1)
89
Contract.
ThrowIfFalse
(project.Solution.Workspace == _workspace);
Diagnostics\Service\DocumentAnalysisExecutor.cs (1)
73
Contract.
ThrowIfFalse
(AnalysisScope.ProjectAnalyzers.Contains(analyzer) || AnalysisScope.HostAnalyzers.Contains(analyzer));
Diagnostics\Service\EngineV2\DiagnosticIncrementalAnalyzer_IncrementalAnalyzer.cs (1)
54
Contract.
ThrowIfFalse
(s_projectToForceAnalysisData.TryGetValue(projectState, out box));
Diagnostics\Service\EngineV2\InProcOrRemoteHostAnalyzerRunner.cs (1)
66
Contract.
ThrowIfFalse
(compilationWithAnalyzers.HasAnalyzers);
EditAndContinue\AbstractEditAndContinueAnalyzer.cs (17)
225
Contract.
ThrowIfFalse
(oldSymbol != null || newSymbol != null);
514
Contract.
ThrowIfFalse
(oldProject.SupportsEditAndContinue());
515
Contract.
ThrowIfFalse
(newProject.SupportsEditAndContinue());
532
Contract.
ThrowIfFalse
(newDocument == null || newDocument.State.SupportsEditAndContinue());
533
Contract.
ThrowIfFalse
(oldDocument == null || oldDocument.State.SupportsEditAndContinue());
534
Contract.
ThrowIfFalse
(oldDocument != null || newDocument != null);
966
Contract.
ThrowIfFalse
(newExceptionRegions[i].IsDefault);
978
Contract.
ThrowIfFalse
(hasPartner);
1023
Contract.
ThrowIfFalse
(statementPart == -1);
2141
Contract.
ThrowIfFalse
(oldTypedNodes.Count == newTypedNodes.Count);
3125
Contract.
ThrowIfFalse
(newSymbol is INamedTypeSymbol || IsGlobalMain(newSymbol));
3144
Contract.
ThrowIfFalse
(editKind == SemanticEditKind.Insert);
3291
Contract.
ThrowIfFalse
(editKind is SemanticEditKind.Update or SemanticEditKind.Insert);
3581
Contract.
ThrowIfFalse
(oldSymbol != null || newSymbol != null);
4086
Contract.
ThrowIfFalse
(oldMember is IFieldSymbol or IPropertySymbol or IEventSymbol);
5525
Contract.
ThrowIfFalse
(oldCtor is { MethodKind: MethodKind.Constructor or MethodKind.StaticConstructor });
6624
Contract.
ThrowIfFalse
(IsClosureScope(scope));
EditAndContinue\DebuggingSession.cs (4)
561
Contract.
ThrowIfFalse
(solutionUpdate.ModuleUpdates.Updates.IsEmpty);
562
Contract.
ThrowIfFalse
(solutionUpdate.NonRemappableRegions.IsEmpty);
565
Contract.
ThrowIfFalse
(solutionUpdate.ProjectsToRestart.IsEmpty);
566
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 (1)
703
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);
EmbeddedLanguages\RegularExpressions\RegexParser.cs (1)
884
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)
205
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)
69
Contract.
ThrowIfFalse
(document.Project.Solution == generateTypeOptionsResult.Project.Solution);
LanguageServices\SymbolDisplayService\AbstractSymbolDisplayService.AbstractSymbolDescriptionBuilder.cs (2)
362
Contract.
ThrowIfFalse
(symbolGroup.Length > 0);
371
Contract.
ThrowIfFalse
(symbolGroup.Length > 0);
MetadataAsSource\MetadataAsSourceFileService.cs (1)
165
Contract.
ThrowIfFalse
(threadingService.IsOnMainThread);
NavigateTo\NavigateToSearcher.cs (1)
494
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\Analyzers\Core\Analyzers\ForEachCast\AbstractForEachCastDiagnosticAnalyzer.cs (1)
58
Contract.
ThrowIfFalse
(option.Value is ForEachExplicitCastInSourcePreference.Always or ForEachExplicitCastInSourcePreference.WhenStronglyTyped);
src\Analyzers\Core\Analyzers\Helpers\DiagnosticHelper.cs (1)
223
Contract.
ThrowIfFalse
(indices.All(idx => idx >= 0 && idx < additionalLocationsLength));
src\Analyzers\Core\Analyzers\RemoveUnusedParametersAndValues\AbstractRemoveUnusedParametersAndValuesDiagnosticAnalyzer.SymbolStartAnalyzer.BlockAnalyzer.cs (1)
124
Contract.
ThrowIfFalse
(context.FilterSpan != symbolStartAnalyzer._symbolStartAnalysisContext.FilterSpan);
src\Analyzers\Core\Analyzers\UseAutoProperty\AbstractUseAutoPropertyAnalyzer.cs (1)
485
Contract.
ThrowIfFalse
(TryGetSyntax(getterField, out var fieldDeclaration, out var variableDeclarator, cancellationToken));
src\Analyzers\Core\Analyzers\UseCollectionInitializer\UpdateExpressionState.cs (1)
230
Contract.
ThrowIfFalse
(this.SyntaxFacts.IsSimpleMemberAccessExpression(memberAccess));
src\Analyzers\Core\CodeFixes\RemoveUnusedParametersAndValues\AbstractRemoveUnusedValuesCodeFixProvider.cs (1)
512
Contract.
ThrowIfFalse
(node.GetRequiredParent().Parent is TExpressionStatementSyntax);
src\Analyzers\Core\CodeFixes\UseAutoProperty\AbstractUseAutoPropertyCodeFixProvider.cs (1)
382
Contract.
ThrowIfFalse
(fieldDocument.Project == propertyDocument.Project);
Wrapping\SeparatedSyntaxList\SeparatedSyntaxListCodeActionComputer.cs (1)
339
Contract.
ThrowIfFalse
(comma.IsToken);
Microsoft.CodeAnalysis.Features.Test.Utilities (2)
EditAndContinue\EditAndContinueTestVerifier.cs (1)
435
Contract.
ThrowIfFalse
(actualSyntaxMaps.HasMap);
EditAndContinue\SourceMarkers.cs (1)
63
Contract.
ThrowIfFalse
(isStartingTag || isEndingTag);
Microsoft.CodeAnalysis.LanguageServer (7)
FileBasedPrograms\VirtualProjectXmlProvider.cs (1)
203
Contract.
ThrowIfFalse
(PathUtilities.IsAbsolute(documentFilePath));
HostWorkspace\FileWatching\LspFileChangeWatcher.cs (1)
34
Contract.
ThrowIfFalse
(SupportsLanguageServerHost(languageServerHost));
HostWorkspace\LanguageServerProjectLoader.cs (1)
197
Contract.
ThrowIfFalse
(PathUtilities.IsAbsolute(projectPath));
HostWorkspace\LoadedProject.cs (2)
122
Contract.
ThrowIfFalse
(newProjectInfo.FilePath == _mostRecentFileInfo.FilePath);
123
Contract.
ThrowIfFalse
(newProjectInfo.TargetFramework == _mostRecentFileInfo.TargetFramework);
ServerConfigurationFactory.cs (1)
31
Contract.
ThrowIfFalse
(_serverConfiguration == null);
Services\ExtensionAssemblyManager.cs (1)
70
Contract.
ThrowIfFalse
(TryGetOrCreateLoadContext(starredCompletionsComponentDll));
Microsoft.CodeAnalysis.LanguageServer.Protocol (10)
Extensions\ProtocolConversions.cs (2)
153
Contract.
ThrowIfFalse
(char.TryParse(context.TriggerCharacter, out var triggerChar));
165
Contract.
ThrowIfFalse
(char.TryParse(context.TriggerCharacter, out var triggerChar));
Handler\Diagnostics\AbstractPullDiagnosticHandler.cs (1)
285
Contract.
ThrowIfFalse
(diagnostics.IsEmpty);
Handler\Diagnostics\DiagnosticSourceProviders\DiagnosticSourceManager.cs (1)
76
Contract.
ThrowIfFalse
(provider.IsEnabled(context.GetRequiredClientCapabilities()));
Handler\InitializeManager.cs (1)
30
Contract.
ThrowIfFalse
(_initializeParams == null);
Handler\InlineCompletions\XmlSnippetParser.CodeSnippet.cs (1)
276
Contract.
ThrowIfFalse
(snippetParts.Any());
Handler\SemanticTokens\SemanticTokensHelpers.cs (1)
328
Contract.
ThrowIfFalse
(tokenLength > 0);
Handler\SourceGenerators\SourceGeneratedDocumentGetTextHandler.cs (1)
49
Contract.
ThrowIfFalse
(document is SourceGeneratedDocument);
LspServices\LspServices.cs (2)
66
Contract.
ThrowIfFalse
(metadata.ServerKind == serverKind);
73
Contract.
ThrowIfFalse
(metadata.ServerKind == WellKnownLspServerKinds.Any);
Microsoft.CodeAnalysis.Remote.ServiceHub (33)
Host\RemoteSolutionCache.cs (1)
97
Contract.
ThrowIfFalse
(_cacheNodes.First.Value.Checksum.Equals(checksum));
Host\RemoteWorkspace.InFlightSolution.cs (9)
58
Contract.
ThrowIfFalse
(workspace._gate.CurrentCount == 0);
80
Contract.
ThrowIfFalse
(_workspace._gate.CurrentCount == 0);
89
Contract.
ThrowIfFalse
(_workspace._gate.CurrentCount == 0);
108
Contract.
ThrowIfFalse
(_workspace._gate.CurrentCount == 0);
145
Contract.
ThrowIfFalse
(_workspace._gate.CurrentCount == 0);
159
Contract.
ThrowIfFalse
(_workspace._gate.CurrentCount == 0);
169
Contract.
ThrowIfFalse
(_workspace._solutionChecksumToSolution.TryGetValue(SolutionChecksum, out var existingSolution));
170
Contract.
ThrowIfFalse
(existingSolution == this);
173
Contract.
ThrowIfFalse
(_workspace._solutionChecksumToSolution.Remove(SolutionChecksum));
Host\RemoteWorkspace.SolutionCreator.cs (7)
59
Contract.
ThrowIfFalse
(solution.Id == newSolutionInfo.Id && solution.FilePath == newSolutionInfo.FilePath);
192
Contract.
ThrowIfFalse
(oldProjectIdToChecksum.Keys.All(newProjectIdToChecksum.Keys.Contains));
574
Contract.
ThrowIfFalse
(document.State.Attributes.Id == newDocumentInfo.Id);
575
Contract.
ThrowIfFalse
(document.State.Attributes.IsGenerated == newDocumentInfo.IsGenerated);
576
Contract.
ThrowIfFalse
(document.State.Attributes.DesignTimeOnly == newDocumentInfo.DesignTimeOnly);
587
Contract.
ThrowIfFalse
(document is Document);
594
Contract.
ThrowIfFalse
(document is Document);
Host\RemoteWorkspace_SolutionCaching.cs (4)
45
Contract.
ThrowIfFalse
(_gate.CurrentCount == 0);
68
Contract.
ThrowIfFalse
(_gate.CurrentCount == 0);
94
Contract.
ThrowIfFalse
(solution.InFlightCount == 1);
104
Contract.
ThrowIfFalse
(_gate.CurrentCount == 0);
Host\SolutionAssetCache.cs (3)
179
Contract.
ThrowIfFalse
(solutionState.TryGetStateChecksums(out var stateChecksums));
184
Contract.
ThrowIfFalse
(projectState.TryGetStateChecksums(out var projectStateChecksums));
197
Contract.
ThrowIfFalse
(documentState.TryGetStateChecksums(out var documentChecksums));
Host\TestUtils.cs (1)
214
Contract.
ThrowIfFalse
(projectCone.Equals(solutionChecksums.ProjectCone));
Services\DiagnosticAnalyzer\DiagnosticComputer.cs (3)
146
Contract.
ThrowIfFalse
(projectAnalyzers.Length > 0 || compilationWithAnalyzers.HostCompilationWithAnalyzers is not null);
156
Contract.
ThrowIfFalse
(hostAnalyzers.Length > 0 || compilationWithAnalyzers.ProjectCompilationWithAnalyzers is not null);
438
Contract.
ThrowIfFalse
(!projectAnalyzers.IsEmpty || !hostAnalyzers.IsEmpty);
Services\ProcessTelemetry\RemoteWorkspaceConfigurationService.cs (1)
31
Contract.
ThrowIfFalse
(_options == null);
Services\SourceGeneration\RemoteSourceGenerationService.cs (2)
44
Contract.
ThrowIfFalse
(id.IsSourceGenerated);
64
Contract.
ThrowIfFalse
(id.IsSourceGenerated);
src\VisualStudio\Core\Def\Telemetry\AbstractWorkspaceTelemetryService.cs (1)
24
Contract.
ThrowIfFalse
(CurrentSession is null);
src\VisualStudio\Core\Def\Telemetry\Shared\TelemetryLogger.cs (1)
150
Contract.
ThrowIfFalse
(_pendingScopes.TryRemove(blockId, out var scope));
Microsoft.CodeAnalysis.Remote.Workspaces (19)
AbstractAssetProvider.cs (1)
83
Contract.
ThrowIfFalse
(RemoteSupportedLanguages.IsSupported(attributes.Language));
BrokeredServiceConnection.cs (7)
62
Contract.
ThrowIfFalse
((callbackDispatcher == null) == (serviceDescriptor.ClientInterface == null));
131
Contract.
ThrowIfFalse
(_callbackDispatcher is not null);
148
Contract.
ThrowIfFalse
(_callbackDispatcher is not null);
232
Contract.
ThrowIfFalse
(_callbackDispatcher is not null);
251
Contract.
ThrowIfFalse
(_callbackDispatcher is not null);
270
Contract.
ThrowIfFalse
(_callbackDispatcher is not null);
289
Contract.
ThrowIfFalse
(_callbackDispatcher is not null);
RemoteHostAssetReader.cs (4)
60
Contract.
ThrowIfFalse
(_solutionChecksum == responseSolutionChecksum);
123
Contract.
ThrowIfFalse
(sequenceReader.TryRead(out var sentinel));
124
Contract.
ThrowIfFalse
(sequenceReader.TryReadLittleEndian(out int length));
132
Contract.
ThrowIfFalse
(sequenceReader.TryCopyTo(checksumBytes));
Serialization\MessagePackFormatters.cs (1)
69
Contract.
ThrowIfFalse
(arrayCount is 1 or 2);
ServiceDescriptors.cs (4)
114
Contract.
ThrowIfFalse
(serviceInterface.IsInterface);
116
Contract.
ThrowIfFalse
(interfaceName.StartsWith(InterfaceNamePrefix, StringComparison.Ordinal));
117
Contract.
ThrowIfFalse
(interfaceName.EndsWith(InterfaceNameSuffix, StringComparison.Ordinal));
124
Contract.
ThrowIfFalse
(callbackInterface == null || callbackInterface.IsInterface);
SolutionAssetStorage.Scope.cs (2)
77
Contract.
ThrowIfFalse
(solutionState.TryGetStateChecksums(out var stateChecksums));
83
Contract.
ThrowIfFalse
(solutionState.TryGetStateChecksums(this.ProjectCone.RootProjectId, out var stateChecksums));
Microsoft.CodeAnalysis.Workspaces (182)
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\DocumentBasedFixAllProvider.cs (1)
84
Contract.
ThrowIfFalse
(fixAllContext.Scope is FixAllScope.Document or FixAllScope.Project
Diagnostics\CompilationWithAnalyzersPair.cs (2)
22
Contract.
ThrowIfFalse
(projectCompilationWithAnalyzers.AnalysisOptions.ReportSuppressedDiagnostics == hostCompilationWithAnalyzers.AnalysisOptions.ReportSuppressedDiagnostics);
23
Contract.
ThrowIfFalse
(projectCompilationWithAnalyzers.AnalysisOptions.ConcurrentAnalysis == hostCompilationWithAnalyzers.AnalysisOptions.ConcurrentAnalysis);
Diagnostics\DocumentAnalysisScope.cs (1)
56
Contract.
ThrowIfFalse
(TextDocument is AdditionalDocument);
FindSymbols\FindReferences\DependentProjectsFinder.cs (2)
313
Contract.
ThrowIfFalse
(project.SupportsCompilation);
326
Contract.
ThrowIfFalse
(project.SupportsCompilation);
FindSymbols\FindReferences\Finders\AbstractReferenceFinder.cs (1)
592
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)
101
Contract.
ThrowIfFalse
(isSubset);
Serialization\SerializableSourceText.cs (1)
179
Contract.
ThrowIfFalse
(kind is SerializationKinds.Bits or SerializationKinds.MemoryMapFile);
Serialization\SerializerService.cs (2)
206
Contract.
ThrowIfFalse
(count <= 2);
214
Contract.
ThrowIfFalse
(language is LanguageNames.CSharp or LanguageNames.VisualBasic);
Serialization\SerializerService_Reference.cs (6)
175
Contract.
ThrowIfFalse
(TryGetAnalyzerImageReferenceFromGuid(guid, out var analyzerImageReference));
283
Contract.
ThrowIfFalse
(kind is SerializationKinds.Bits or SerializationKinds.MemoryMapFile);
400
Contract.
ThrowIfFalse
(metadataKind == MetadataImageKind.Module);
412
Contract.
ThrowIfFalse
(metadataKind == MetadataImageKind.Module);
422
Contract.
ThrowIfFalse
(kind is SerializationKinds.Bits or SerializationKinds.MemoryMapFile);
460
Contract.
ThrowIfFalse
(storageHandle.Identifier.Size == unmanagedStream.Length);
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\Dependencies\Threading\AsyncBatchingWorkQueue`2.cs (1)
270
Contract.
ThrowIfFalse
(batchResultTask.IsCompleted);
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Collections\ImmutableIntervalTree`1.cs (1)
248
Contract.
ThrowIfFalse
(rightMaxEndValue > leftMaxEndValue);
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Extensions\AnalysisContextExtensions.cs (2)
166
Contract.
ThrowIfFalse
(context.FilterSpan.HasValue);
178
Contract.
ThrowIfFalse
(context.FilterSpan.HasValue);
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Extensions\AnalyzerConfigOptionsExtensions.cs (1)
22
Contract.
ThrowIfFalse
(option.Definition.IsEditorConfigOption);
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\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Extensions\SyntaxNodeExtensions.cs (1)
299
Contract.
ThrowIfFalse
(nodes.Any());
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Context\FormattingContext.cs (1)
413
Contract.
ThrowIfFalse
(intervals.Length == 0);
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\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Engine\AbstractTriviaDataFactory.AbstractComplexTrivia.cs (2)
75
Contract.
ThrowIfFalse
(line > 0);
132
Contract.
ThrowIfFalse
(list.Count > 0);
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\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Engine\AbstractTriviaDataFactory.Whitespace.cs (2)
25
Contract.
ThrowIfFalse
(space >= 0);
55
Contract.
ThrowIfFalse
(line > 0);
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\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Engine\TokenPairWithOperations.cs (1)
29
Contract.
ThrowIfFalse
(0 <= tokenPairIndex && tokenPairIndex < tokenStream.TokenCount - 1);
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\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Engine\TreeData.Debug.cs (1)
18
Contract.
ThrowIfFalse
(text == _debugNodeData.GetTextBetween(token1, token2));
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Engine\TreeData.Node.cs (1)
17
Contract.
ThrowIfFalse
(root.GetFirstToken(includeZeroWidth: true).RawKind != 0);
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Engine\TreeData.StructuredTrivia.cs (1)
21
Contract.
ThrowIfFalse
(trivia.HasStructure);
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\FormattingExtensions.cs (1)
183
Contract.
ThrowIfFalse
(lines.Length > 0);
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\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\Rules\Operations\AdjustSpacesOperation.cs (1)
14
Contract.
ThrowIfFalse
(space >= 0);
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\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Formatting\TriviaEngine\AbstractTriviaFormatter.cs (2)
75
Contract.
ThrowIfFalse
(lineBreaks >= 0);
76
Contract.
ThrowIfFalse
(spaces >= 0);
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\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\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\SymbolKey\SymbolKey.ErrorTypeSymbolKey.cs (1)
85
Contract.
ThrowIfFalse
(typeArguments.IsDefault);
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\SymbolKey\SymbolKey.FunctionPointerTypeSymbolKey.cs (1)
69
Contract.
ThrowIfFalse
(parameterTypes.IsDefault);
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\SymbolKey\SymbolKey.NamedTypeSymbolKey.cs (1)
62
Contract.
ThrowIfFalse
(typeArguments.IsDefault);
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\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\SymbolKey\SymbolKey.SymbolKeyWriter.cs (1)
518
Contract.
ThrowIfFalse
(method.Equals(_methodSymbolStack[^1]));
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\SymbolKey\SymbolKey.TypeParameterOrdinalSymbolKey.cs (1)
13
Contract.
ThrowIfFalse
(symbol.TypeParameterKind == TypeParameterKind.Method);
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Utilities\AsyncLazy`1.cs (1)
153
Contract.
ThrowIfFalse
(Monitor.IsEntered(asyncLazy.SyncObject));
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\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Utilities\NonReentrantLock.cs (1)
173
=> Contract.
ThrowIfFalse
(LockHeldByMe());
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Utilities\TaskExtensions.cs (2)
69
Contract.
ThrowIfFalse
(task.IsCompleted);
85
Contract.
ThrowIfFalse
(task.IsCompleted);
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Extensions\Symbols\ISymbolExtensions.cs (1)
560
Contract.
ThrowIfFalse
(symbol.IsNormalAnonymousType());
src\Workspaces\SharedUtilitiesAndExtensions\Workspace\Core\CodeCleanup\CodeCleanupHelpers.cs (1)
17
Contract.
ThrowIfFalse
(document.SupportsSyntaxTree);
src\Workspaces\SharedUtilitiesAndExtensions\Workspace\Core\CodeFixesAndRefactorings\AbstractFixAllSpanMappingService.cs (1)
26
Contract.
ThrowIfFalse
(fixAllScope is FixAllScope.ContainingMember or FixAllScope.ContainingType);
src\Workspaces\SharedUtilitiesAndExtensions\Workspace\Core\CodeGeneration\SyntaxAnnotationExtensions.cs (1)
17
Contract.
ThrowIfFalse
(symbol is CodeGenerationSymbol);
src\Workspaces\SharedUtilitiesAndExtensions\Workspace\Core\Extensions\DocumentExtensions.cs (1)
130
Contract.
ThrowIfFalse
(document.SupportsSemanticModel);
src\Workspaces\SharedUtilitiesAndExtensions\Workspace\Core\Extensions\SyntaxGeneratorExtensions_Negate.cs (1)
552
Contract.
ThrowIfFalse
(syntaxFacts.IsNotPattern(pattern));
src\Workspaces\SharedUtilitiesAndExtensions\Workspace\Core\Extensions\TextDocumentExtensions.cs (2)
50
Contract.
ThrowIfFalse
(textDocument is AdditionalDocument);
59
Contract.
ThrowIfFalse
(textDocument is AnalyzerConfigDocument);
src\Workspaces\SharedUtilitiesAndExtensions\Workspace\Core\FindSymbols\LinkedFileReferenceLocationEqualityComparer.cs (1)
24
Contract.
ThrowIfFalse
(x.Document == y.Document);
src\Workspaces\SharedUtilitiesAndExtensions\Workspace\Core\Simplification\AbstractSimplificationService.cs (1)
163
Contract.
ThrowIfFalse
(nodesAndTokensToReduce.Any());
src\Workspaces\SharedUtilitiesAndExtensions\Workspace\Core\Utilities\ParsedDocument.cs (1)
70
Contract.
ThrowIfFalse
(Id == oldDocument.Id);
Storage\SQLite\v2\Interop\SqlConnection.cs (2)
55
Contract.
ThrowIfFalse
(wrote == length);
316
Contract.
ThrowIfFalse
(MemoryMarshal.TryRead(bytes, out Checksum result));
Storage\SQLite\v2\Interop\SqlStatement.cs (1)
83
Contract.
ThrowIfFalse
(Encoding.UTF8.GetBytes(value.AsSpan(), bytes) == utf8ByteCount);
Storage\SQLite\v2\SQLitePersistentStorage.Accessor.cs (3)
166
Contract.
ThrowIfFalse
(TaskScheduler.Current == this.Storage.Scheduler.ConcurrentScheduler);
225
Contract.
ThrowIfFalse
(TaskScheduler.Current == this.Storage.Scheduler.ExclusiveScheduler);
364
Contract.
ThrowIfFalse
(TaskScheduler.Current == this.Storage.Scheduler.ExclusiveScheduler);
Storage\SQLite\v2\SQLitePersistentStorage_FlushWrites.cs (1)
35
Contract.
ThrowIfFalse
(TaskScheduler.Current == this.Scheduler.ExclusiveScheduler);
Storage\SQLite\v2\SQLitePersistentStorage_StringIds.cs (2)
48
Contract.
ThrowIfFalse
(
67
Contract.
ThrowIfFalse
(TaskScheduler.Current == this.Scheduler.ExclusiveScheduler);
Workspace\Host\DocumentService\AbstractSpanMappingService.cs (1)
32
Contract.
ThrowIfFalse
(mappedSpanResults.Length == textChanges.Length);
Workspace\ProjectSystem\ProjectSystemProjectFactory.cs (10)
207
Contract.
ThrowIfFalse
(_gate.CurrentCount == 0);
214
Contract.
ThrowIfFalse
(_gate.CurrentCount == 0);
308
Contract.
ThrowIfFalse
(_gate.CurrentCount == 0);
355
Contract.
ThrowIfFalse
(_gate.CurrentCount == 0);
383
Contract.
ThrowIfFalse
(_gate.CurrentCount == 0);
422
Contract.
ThrowIfFalse
(_gate.CurrentCount == 0);
447
Contract.
ThrowIfFalse
(_gate.CurrentCount == 0);
451
Contract.
ThrowIfFalse
(_projectUpdateState.ProjectReferenceInfos.Count == 0);
452
Contract.
ThrowIfFalse
(_projectToMaxSupportedLangVersionMap.Count == 0);
453
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.cs (1)
137
Contract.
ThrowIfFalse
(ProjectIds.Contains(projectId));
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\ProjectState.cs (2)
983
Contract.
ThrowIfFalse
(oldDocuments.Length == newDocuments.Length);
1009
Contract.
ThrowIfFalse
(oldDocuments.Length == newDocuments.Length);
Workspace\Solution\SolutionCompilationState.cs (2)
110
Contract.
ThrowIfFalse
(this.SolutionState.SortedProjectStates
1364
Contract.
ThrowIfFalse
(trackerMap.TryGetValue(projectId, out var existingTracker));
Workspace\Solution\SolutionCompilationState.RegularCompilationTracker.cs (2)
137
Contract.
ThrowIfFalse
(forkedTrackerState is null or InProgressState);
543
Contract.
ThrowIfFalse
(creationPolicy.SkeletonReferenceCreationPolicy is SkeletonReferenceCreationPolicy.CreateIfAbsent or SkeletonReferenceCreationPolicy.DoNotCreate);
Workspace\Solution\SolutionCompilationState.RegularCompilationTracker_Generators.cs (3)
125
Contract.
ThrowIfFalse
(documentId.IsSourceGenerated);
186
Contract.
ThrowIfFalse
(documentId.IsSourceGenerated);
420
Contract.
ThrowIfFalse
(additionalTexts.Length == projectState.AdditionalDocumentStates.Count);
Workspace\Solution\SolutionCompilationState_SourceGenerators.cs (1)
69
Contract.
ThrowIfFalse
(projectState.SupportsCompilation);
Workspace\Solution\SolutionState.cs (5)
169
Contract.
ThrowIfFalse
(SortedProjectStates.Length == ProjectIds.Count);
170
Contract.
ThrowIfFalse
(SortedProjectStates.Length == _dependencyGraph.ProjectIds.Count);
509
Contract.
ThrowIfFalse
(amount is -1 or +1);
538
Contract.
ThrowIfFalse
(newCount == 0);
1196
Contract.
ThrowIfFalse
(projectStateIndex >= 0);
Workspace\Solution\SourceGeneratedDocumentIdentity.cs (1)
28
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));
Microsoft.CodeAnalysis.Workspaces.MSBuild (3)
MSBuild\SolutionFileReader.cs (1)
24
Contract.
ThrowIfFalse
(pathResolver.TryGetAbsoluteSolutionPath(solutionFilePath, baseDirectory: Directory.GetCurrentDirectory(), DiagnosticReportingMode.Throw, out var absoluteSolutionPath));
MSBuild\SolutionFileReader.SolutionFilterReader.cs (2)
38
Contract.
ThrowIfFalse
(pathResolver.TryGetAbsoluteSolutionPath(solutionPath, baseDirectory, DiagnosticReportingMode.Throw, out solutionFilename));
61
Contract.
ThrowIfFalse
(pathResolver.TryGetAbsoluteProjectPath(projectPath, baseDirectory, DiagnosticReportingMode.Throw, out var absoluteProjectPath));
Microsoft.CodeAnalysis.Workspaces.MSBuild.UnitTests (1)
src\Workspaces\MSBuild\BuildHost\Rpc\RpcServer.cs (1)
85
_ => Contract.
ThrowIfFalse
(runningTasks.Remove(runningTask)),
Microsoft.CodeAnalysis.Workspaces.Test.Utilities (13)
Fakes\SimpleAssetSource.cs (1)
25
Contract.
ThrowIfFalse
(map.TryGetValue(checksum, out var data));
Remote\InProcRemostHostClient.cs (2)
129
Contract.
ThrowIfFalse
(options.ClientRpcTarget is null == descriptor.ClientInterface is null);
240
Contract.
ThrowIfFalse
(descriptor.ClientInterface == null);
Remote\TestSerializerService.cs (1)
104
Contract.
ThrowIfFalse
(_sharedTestGeneratorReferences.TryGetValue(testGeneratorReferenceGuid, out var generatorReference));
TestExportJoinableTaskContext.cs (1)
53
Contract.
ThrowIfFalse
(dispatcherTaskJoiner?.IsDispatcherSynchronizationContext(currentContext) == true);
Workspaces\TestHostDocument.cs (2)
103
Contract.
ThrowIfFalse
(generator == null || PathUtilities.IsAbsolute(filePath));
168
Contract.
ThrowIfFalse
(project.Id == this.Id.ProjectId);
Workspaces\TestWorkspace_XmlCreation.cs (1)
144
Contract.
ThrowIfFalse
(options.SpecificDiagnosticOptions.IsEmpty);
Workspaces\TestWorkspace`1.cs (5)
486
Contract.
ThrowIfFalse
(IsDocumentOpen(documentId));
496
Contract.
ThrowIfFalse
(IsDocumentOpen(documentId));
506
Contract.
ThrowIfFalse
(IsDocumentOpen(documentId));
515
Contract.
ThrowIfFalse
(testDocument.IsSourceGenerated);
516
Contract.
ThrowIfFalse
(IsDocumentOpen(documentId));
Microsoft.VisualStudio.LanguageServices.CSharp (17)
CSharpPackage.cs (2)
89
Contract.
ThrowIfFalse
(JoinableTaskFactory.Context.IsOnMainThread);
106
Contract.
ThrowIfFalse
(JoinableTaskFactory.Context.IsOnMainThread);
ProjectSystemShim\CSharpProjectShim.OptionsProcessor.cs (1)
159
Contract.
ThrowIfFalse
(
ProjectSystemShim\TempPECompilerService.cs (2)
37
Contract.
ThrowIfFalse
(fileNames.Length == fileContents.Length);
71
Contract.
ThrowIfFalse
(optionNames.Length == optionValues.Length);
SemanticSearch\SemanticSearchQueryExecutor.cs (1)
106
Contract.
ThrowIfFalse
(query is null ^ queryDocument is null);
SemanticSearch\SemanticSearchToolWindowImpl.cs (10)
142
Contract.
ThrowIfFalse
(textDocumentFactory.TryGetTextDocument(_textBuffer, out var textDocument));
288
Contract.
ThrowIfFalse
(threadingContext.JoinableTaskContext.IsOnMainThread);
332
Contract.
ThrowIfFalse
(threadingContext.JoinableTaskContext.IsOnMainThread);
340
Contract.
ThrowIfFalse
(threadingContext.JoinableTaskContext.IsOnMainThread);
357
Contract.
ThrowIfFalse
(threadingContext.JoinableTaskContext.IsOnMainThread);
360
Contract.
ThrowIfFalse
(undoHistoryRegistry.TryGetHistory(_textBuffer, out var undoHistory));
374
Contract.
ThrowIfFalse
(threadingContext.JoinableTaskContext.IsOnMainThread);
375
Contract.
ThrowIfFalse
(IsExecutingUIState());
390
Contract.
ThrowIfFalse
(threadingContext.JoinableTaskContext.IsOnMainThread);
391
Contract.
ThrowIfFalse
(!IsExecutingUIState());
Utilities\CSharpParseOptionsChangingService.cs (1)
50
Contract.
ThrowIfFalse
(LanguageVersionFacts.TryParse(maxLangVersion, out var parsedMaxLanguageVersion));
Microsoft.VisualStudio.LanguageServices.DevKit (1)
src\VisualStudio\Core\Def\Telemetry\Shared\TelemetryLogger.cs (1)
150
Contract.
ThrowIfFalse
(_pendingScopes.TryRemove(blockId, out var scope));
Roslyn.VisualStudio.DiagnosticsWindow (1)
DiagnosticsWindow.cs (1)
71
Contract.
ThrowIfFalse
(Workspace == null);
Roslyn.VisualStudio.Next.UnitTests (4)
Remote\SerializationValidator.cs (2)
213
Contract.
ThrowIfFalse
(solution.CompilationState.TryGetStateChecksums(out var solutionCompilationObjectFromSolution));
218
Contract.
ThrowIfFalse
(solution.CompilationState.SolutionState.TryGetStateChecksums(out var solutionObjectFromSolution));
Services\ServiceHubServicesTests.cs (1)
1433
Contract.
ThrowIfFalse
(workspace.TryApplyChanges(workspace.CurrentSolution.WithDocumentText(normalDocId, SourceText.From("// new text"))));
Services\ServiceHubServicesTests_ExtensionMessageHandler.cs (1)
746
Contract.
ThrowIfFalse
(unloadCalled);