{ StructuredText:FSharpStructuredToolTipText

{ StructuredText:FSharpStructuredToolTipText

Span:TextSpan

Symbol:FSharpSymbol

SymbolKind:LexerSymbolKind}

letsolution= document.Project.Solution

let!extSourceText= extDocument.GetTextAsync cancellationToken

let!extSpan= RoslynHelpers.TryFSharpRangeToTextSpan(extSourceText, declRange)

letextLineText=(extSourceText.Lines.GetLineFromPosition extSpan.Start).ToString()

let!extParsingOptions,_extSite,extProjectOptions= projectInfoManager.TryGetOptionsForProject extDocId.ProjectId

letextDefines= CompilerEnvironment.GetCompilationDefinesForEditing extParsingOptions

let!extLexerSymbol= Tokenizer.getSymbolAtPosition(extDocId, extSourceText, extSpan.Start, declRange.FileName, extDefines, SymbolLookupKind.Greedy,true)

let!_,_,extCheckFileResults= checker.ParseAndCheckDocument(extDocument, extProjectOptions, allowStaleResults=true, sourceText=extSourceText, userOpName= userOpName)

extCheckFileResults.GetStructuredToolTipText

(declRange.StartLine, extLexerSymbol.Ident.idRange.EndColumn, extLineText, extLexerSymbol.FullIsland, FSharpTokenTag.IDENT, userOpName=userOpName)|> liftAsync

| FSharpToolTipText[]

| FSharpToolTipText[]

| FSharpToolTipText[FSharpStructuredToolTipElement.None]->return! None

extCheckFileResults.GetSymbolUseAtLocation(declRange.StartLine, extLexerSymbol.Ident.idRange.EndColumn, extLineText, extLexerSymbol.FullIsland, userOpName=userOpName)

let!span= RoslynHelpers.TryFSharpRangeToTextSpan(extSourceText, extLexerSymbol.Range)

return{ StructuredText=extTooltipText

return{ StructuredText=extQuickInfoText

Span= span

Symbol= extSymbolUse.Symbol

SymbolKind= extLexerSymbol.Kind}

let!sourceText= document.GetTextAsync cancellationToken

letfcsTextLineNumber= Line.fromZ textLinePos.Line

letlineText=(sourceText.Lines.GetLineFromPosition position).ToString()

let!symbolUse= checkFileResults.GetSymbolUseAtLocation(fcsTextLineNumber, idRange.EndColumn, lineText, lexerSymbol.FullIsland, userOpName=userOpName)

checkFileResults.GetStructuredToolTipText

(fcsTextLineNumber, idRange.EndColumn, lineText, lexerSymbol.FullIsland, FSharpTokenTag.IDENT, userOpName=userOpName)|> liftAsync

| FSharpToolTipText[]

| FSharpToolTipText[]

| FSharpToolTipText[FSharpStructuredToolTipElement.None]->return! None

let!targetTextSpan= RoslynHelpers.TryFSharpRangeToTextSpan(sourceText, lexerSymbol.Range)

return{ StructuredText=targetTooltip

return{ StructuredText=targetQuickInfo

Span= targetTextSpan

Symbol= symbolUse.Symbol

SymbolKind= lexerSymbol.Kind}

if isSignatureFile document.FilePaththen

return symbolUse, None, SometargetTooltipInfo

return symbolUse, None, SometargetQuickInfo

let!findSigDeclarationResult= checkFileResults.GetDeclarationLocation(idRange.StartLine, idRange.EndColumn, lineText, lexerSymbol.FullIsland, preferFlag=true, userOpName=userOpName)|> liftAsync

match findSigDeclarationResultwith

| FSharpFindDeclResult.DeclFound declRangewhen isSignatureFile declRange.FileName->

let!sigTooltipInfo=getTooltipFromRange(checker, projectInfoManager, document, declRange, cancellationToken)

let!sigQuickInfo=getQuickInfoFromRange(checker, projectInfoManager, document, declRange, cancellationToken)

let!findImplDefinitionResult= checkFileResults.GetDeclarationLocation(idRange.StartLine, idRange.EndColumn, lineText, lexerSymbol.FullIsland, preferFlag=false, userOpName=userOpName)|> liftAsync

match findImplDefinitionResultwith

| FSharpFindDeclResult.DeclNotFound_

| FSharpFindDeclResult.ExternalDecl_->return symbolUse, SomesigTooltipInfo, None

| FSharpFindDeclResult.DeclFound declRange->

let!implTooltipInfo=getTooltipFromRange(checker, projectInfoManager, document, declRange, cancellationToken)

return symbolUse, SomesigTooltipInfo, Some{implTooltipInfowith Span=targetTooltipInfo.Span}

let!findImplDefinitionResult= checkFileResults.GetDeclarationLocation(idRange.StartLine, idRange.EndColumn, lineText, lexerSymbol.FullIsland, preferFlag=false, userOpName=userOpName)|> liftAsync

match findImplDefinitionResultwith

| FSharpFindDeclResult.DeclNotFound_

| FSharpFindDeclResult.ExternalDecl_->return symbolUse, SomesigQuickInfo, None

| FSharpFindDeclResult.DeclFound declRange->

let!implQuickInfo=getQuickInfoFromRange(checker, projectInfoManager, document, declRange, cancellationToken)

return symbolUse, SomesigQuickInfo, Some{implQuickInfowith Span=targetQuickInfo.Span}

|_-> async.Return None

|> liftAsync

return result|> Option.defaultValue(symbolUse, None, SometargetTooltipInfo)

return result|> Option.defaultValue(symbolUse, None, SometargetQuickInfo)

letdocumentationBuilder= XmlDocumentation.CreateDocumentationBuilder(xmlMemberIndexService, serviceProvider.DTE)

letdocument= textBuffer.CurrentSnapshot.GetOpenDocumentInCurrentContextWithChanges()

let!symbolUse,sigTooltipInfo,targetTooltipInfo= FSharpQuickInfo.getTooltipInfo(checkerProvider.Checker, projectInfoManager, document, triggerPoint.Position, cancellationToken)

let!symbolUse,sigQuickInfo,targetQuickInfo= FSharpQuickInfo.getQuickInfo(checkerProvider.Checker, projectInfoManager, document, triggerPoint.Position, cancellationToken)

textBuffer.CurrentSnapshot.CreateTrackingSpan(span.Start, span.Length, SpanTrackingMode.EdgeInclusive)

| None, None->returnnull

| Sometooltip, None

| None, Sometooltip->

| SomequickInfo, None

| None, SomequickInfo->

letmainDescription,documentation,typeParameterMap,usage,exceptions= ResizeArray(), ResizeArray(), ResizeArray(), ResizeArray(), ResizeArray()

XmlDocumentation.BuildDataTipText(documentationBuilder, mainDescription.Add, documentation.Add, typeParameterMap.Add, usage.Add, exceptions.Add,tooltip.StructuredText)

letimageId= Tokenizer.GetImageIdForSymbol(tooltip.Symbol,tooltip.SymbolKind)

XmlDocumentation.BuildDataTipText(documentationBuilder, mainDescription.Add, documentation.Add, typeParameterMap.Add, usage.Add, exceptions.Add,quickInfo.StructuredText)

letimageId= Tokenizer.GetImageIdForSymbol(quickInfo.Symbol,quickInfo.SymbolKind)

letnavigation= QuickInfoNavigation(gotoDefinitionService, document, symbolUse.RangeAlternate)

letcontent= QuickInfoViewProvider.provideContent(imageId, mainDescription, documentation, typeParameterMap, usage, exceptions, navigation)

letspan= getTrackingSpantooltip.Span

letspan= getTrackingSpanquickInfo.Span

return QuickInfoItem(span, content)

| SomesigTooltip, SometargetTooltip->

| SomesigQuickInfo, SometargetQuickInfo->

letmainDescription,targetDocumentation,sigDocumentation,typeParameterMap,exceptions,usage= ResizeArray(), ResizeArray(), ResizeArray(), ResizeArray(), ResizeArray(), ResizeArray()

XmlDocumentation.BuildDataTipText(documentationBuilder, ignore, sigDocumentation.Add, ignore, ignore, ignore,sigTooltip.StructuredText)

XmlDocumentation.BuildDataTipText(documentationBuilder, mainDescription.Add, targetDocumentation.Add, typeParameterMap.Add, exceptions.Add, usage.Add,targetTooltip.StructuredText)

XmlDocumentation.BuildDataTipText(documentationBuilder, ignore, sigDocumentation.Add, ignore, ignore, ignore,sigQuickInfo.StructuredText)

XmlDocumentation.BuildDataTipText(documentationBuilder, mainDescription.Add, targetDocumentation.Add, typeParameterMap.Add, exceptions.Add, usage.Add,targetQuickInfo.StructuredText)

mainDescription

if String.IsNullOrWhiteSpace tt.Textthen sbelse sb.Append tt.Text)

|> string

if String.IsNullOrWhiteSpace textthen Noneelse Some text

[match getText targetDocumentation, getText sigDocumentationwith

| None, None->()

| None, Some_->yield! sigDocumentation

| Some_, None->yield! targetDocumentation

| Some implText, Some sigTextwhen implText.Equals(sigText, StringComparison.OrdinalIgnoreCase)->

yield! sigDocumentation

| Some_, Some_->

| Some_, Some_->

yield! sigDocumentation

yield lineBreak

yield seperator

yield lineBreak

yield! targetDocumentation]

|> ResizeArray

letimageId= Tokenizer.GetImageIdForSymbol(targetTooltip.Symbol,targetTooltip.SymbolKind)

letimageId= Tokenizer.GetImageIdForSymbol(targetQuickInfo.Symbol,targetQuickInfo.SymbolKind)

letnavigation= QuickInfoNavigation(gotoDefinitionService, document, symbolUse.RangeAlternate)

letcontent= QuickInfoViewProvider.provideContent(imageId, mainDescription, documentation, typeParameterMap, usage, exceptions, navigation)

letspan= getTrackingSpantargetTooltip.Span

letspan= getTrackingSpantargetQuickInfo.Span

return QuickInfoItem(span, content)

}|> Async.map Option.toObj

|> RoslynHelpers.StartAsyncAsTask cancellationToken

|> RoslynHelpers.StartAsyncAsTask cancellationToken