override__.VisitTypeAbbrev(_,range)= Some range

override__.VisitLetOrUse(binding,range)= Some range

match binding|> Seq.tryFind(fun b-> b.RangeOfHeadPat.StartLine= pos.Line)with

| Some entry->

Some entry.RangeOfBindingAndRhs

|_-> Some range// This can be invalid and should not happen

Some binding.RangeOfBindingAndRhs

let!res= lens.TaggedText

match reswith

| Some(taggedText, navigation)->

logInfof"Tagged text%A" taggedText

lettextBlock=new TextBlock(Background= Brushes.AliceBlue, Opacity=0.0, TextTrimming= TextTrimming.None)

DependencyObjectExtensions.SetDefaultTextProperties(textBlock, formatMap.Value)

do! Async.Sleep800|> liftAsync

logInfof"Rechecking code due to buffer edit!"

let!document= workspace.CurrentSolution.GetDocument(documentId.Value)|> Option.ofObj

let!_,options= projectInfoManager.TryGetOptionsForEditingDocumentOrProject(document)

let!_,parsedInput,checkFileResults= checker.ParseAndCheckDocument(document, options,true,"LineLens")

logInfof"Getting uses of all symbols!"

let!symbolUses= checkFileResults.GetAllUsesOfAllSymbolsInFile()|> liftAsync

lettextSnapshot= buffer.CurrentSnapshot

logInfof"Updating due to buffer edit!"

lettextSnapshot= buffer.CurrentSnapshot

letlineNumber= Line.toZ func.DeclarationLocation.StartLine

if(lineNumber>=0|| lineNumber< textSnapshot.LineCount)then

match func.FullTypeSafewith

| Some_->

let!displayEnv= checkFileResults.GetDisplayEnvForPos func.DeclarationLocation.Start

match displayEnvwith

| Some denv-> FSharpDisplayContext(fun _-> denv)

| None-> displayContext

lettypeLayout= func.FormatLayout displayContext

lettaggedText= ResizeArray()

let!displayEnv= checkFileResults.GetDisplayEnvForPos func.DeclarationLocation.Start

match displayEnvwith

| Some denv-> FSharpDisplayContext(fun _-> denv)

| None-> displayContext

lettypeLayout= func.FormatLayout displayContext

lettaggedText= ResizeArray()

Layout.renderL(Layout.taggedTextListR taggedText.Add) typeLayout|> ignore

letnavigation= QuickInfoNavigation(serviceProvider, checker, projectInfoManager, document, realPosition)

return Some(taggedText, navigation)

| None->

logWarningf"Couldn't acquire CodeLens data for function%A" func

return None

Layout.renderL(Layout.taggedTextListR taggedText.Add) typeLayout|> ignore

letnavigation= QuickInfoNavigation(serviceProvider, checker, projectInfoManager, document, realPosition)

return Some(taggedText, navigation)

elsereturn None

with e->

logErrorf"Error in lazy line lens computation.%A" e

if newResults.ContainsKey fullDeclarationTextthen

logWarningf"New results already contains:%A" fullDeclarationText

newResults.[fullDeclarationText]<- value

for symbolUsein symbolUsesdo

if symbolUse.IsFromDefinitionthen

match symbolUse.Symbolwith

|:? FSharpMemberOrFunctionOrValueas funcwhen func.IsModuleValueOrMember|| func.IsProperty->

letfuncID= func.FullName

letfullDeclarationText= funcID

letfuncID= func.LogicalName+(func.FullType.ToString()|> hash|> string)

letfullDeclarationText= funcID// (textSnapshot.GetText declarationSpan).Replace(func.CompiledName, funcID)

letfullTypeSignature= func.FullType.ToString()

if lastResults.ContainsKey fullDeclarationTextthen

let!res= createTextBox codeLens

if resthen

do! Async.SwitchToContext uiContext

logInfof"Adding ui element for%A"(codeLens.TaggedText)

letuiElement= codeLens.UiElement

DoubleAnimation(

for valuein codeLensToAdddo

lettrackingSpan,codeLens= value

letGrid= lineLens.AddCodeLens trackingSpan

logInfof"Trackingspan%A is being added." trackingSpan

Grid.IsVisibleChanged

|> Event.filter(fun eventArgs-> eventArgs.NewValue:?> bool)

lettrackingSpan,_= oldResult.Value

lineLens.RemoveCodeLens trackingSpan|> ignore

logInfof"Finished updating line lens."

ifnot firstTimeCheckedthen

firstTimeChecked<-true

bufferChangedCts.Cancel()// Stop all ongoing async workflow.

bufferChangedCts.Dispose()

bufferChangedCts<-new CancellationTokenSource()

executeCodeLenseAsync()|> Async.Ignore|> RoslynHelpers.StartAsyncSafe bufferChangedCts.Token"Buffer Changed"

executeCodeLenseAsync()|> Async.Ignore|> RoslynHelpers.StartAsyncSafe bufferChangedCts.Token"Buffer Changed"