Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
18 changes: 12 additions & 6 deletions vsintegration/src/FSharp.Editor/CodeFixes/RemoveUnusedOpens.fs
Original file line number Diff line number Diff line change
Expand Up @@ -3,13 +3,14 @@
namespace Microsoft.VisualStudio.FSharp.Editor

open System.Composition
open System.Threading.Tasks
open System.Collections.Immutable

open Microsoft.CodeAnalysis.Text
open Microsoft.CodeAnalysis.CodeFixes
open Microsoft.CodeAnalysis.ExternalAccess.FSharp.Diagnostics

open FSharp.Compiler.Text

open CancellableTasks

[<ExportCodeFixProvider(FSharpConstants.FSharpLanguageName, Name = CodeFix.RemoveUnusedOpens); Shared>]
Expand All @@ -30,14 +31,19 @@ type internal RemoveUnusedOpensCodeFixProvider [<ImportingConstructor>] () =
cancellableTask {
let! sourceText = context.GetSourceTextAsync()

let span =
sourceText.Lines.GetLineFromPosition(context.Span.Start).SpanIncludingLineBreak
let! unusedOpensOpt = UnusedOpensDiagnosticAnalyzer.GetUnusedOpenRanges context.Document

return
ValueSome
unusedOpensOpt
|> ValueOption.map (
List.map (fun m ->
let span = sourceText.Lines[Line.toZ m.StartLine].SpanIncludingLineBreak
TextChange(span, ""))
)
|> ValueOption.map (fun changes ->
{
Name = CodeFix.RemoveUnusedOpens
Message = title
Changes = [ TextChange(span, "") ]
}
Changes = changes
})
}
Original file line number Diff line number Diff line change
Expand Up @@ -19,23 +19,20 @@ open CancellableTasks
[<Export(typeof<IFSharpUnusedOpensDiagnosticAnalyzer>)>]
type internal UnusedOpensDiagnosticAnalyzer [<ImportingConstructor>] () =

static member GetUnusedOpenRanges(document: Document) : Async<Option<range list>> =
asyncMaybe {
do! Option.guard document.Project.IsFSharpCodeFixesUnusedOpensEnabled
let! ct = Async.CancellationToken |> liftAsync
let! sourceText = document.GetTextAsync(ct)

let! _, checkResults =
document.GetFSharpParseAndCheckResultsAsync(nameof (UnusedOpensDiagnosticAnalyzer))
|> CancellableTask.start ct
|> Async.AwaitTask
|> liftAsync

let! unusedOpens =
UnusedOpens.getUnusedOpens (checkResults, (fun lineNumber -> sourceText.Lines.[Line.toZ lineNumber].ToString()))
|> liftAsync

return unusedOpens
static member GetUnusedOpenRanges(document: Document) =
cancellableTask {
if not document.Project.IsFSharpCodeFixesUnusedOpensEnabled then
return ValueNone
else
let! ct = CancellableTask.getCancellationToken ()
let! sourceText = document.GetTextAsync ct

let! _, checkResults = document.GetFSharpParseAndCheckResultsAsync(nameof UnusedOpensDiagnosticAnalyzer)

let! unusedOpens =
UnusedOpens.getUnusedOpens (checkResults, (fun lineNumber -> sourceText.Lines[ Line.toZ lineNumber ].ToString()))

return (ValueSome unusedOpens)
}

interface IFSharpUnusedOpensDiagnosticAnalyzer with
Expand All @@ -44,17 +41,16 @@ type internal UnusedOpensDiagnosticAnalyzer [<ImportingConstructor>] () =
if document.Project.IsFSharpMiscellaneousOrMetadata && not document.IsFSharpScript then
Tasks.Task.FromResult(ImmutableArray.Empty)
else

asyncMaybe {
cancellableTask {
do Trace.TraceInformation("{0:n3} (start) UnusedOpensAnalyzer", DateTime.Now.TimeOfDay.TotalSeconds)
let! sourceText = document.GetTextAsync()
let! unusedOpens = UnusedOpensDiagnosticAnalyzer.GetUnusedOpenRanges(document)
let! unusedOpens = UnusedOpensDiagnosticAnalyzer.GetUnusedOpenRanges document

return
unusedOpens
|> ValueOption.defaultValue List.Empty
|> List.map (fun range ->
Diagnostic.Create(descriptor, RoslynHelpers.RangeToLocation(range, sourceText, document.FilePath)))
|> Seq.toImmutableArray
}
|> Async.map (Option.defaultValue ImmutableArray.Empty)
|> RoslynHelpers.StartAsyncAsTask cancellationToken
|> CancellableTask.start cancellationToken
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ open CodeFixTestFramework
let private codeFix = RemoveUnusedOpensCodeFixProvider()

[<Fact>]
let ``Fixes IDE0005`` () =
let ``Fixes IDE0005 - one unused declaration`` () =
let code =
"""
open System
Expand All @@ -28,3 +28,28 @@ open System
let actual = codeFix |> tryFix code (Manual("open System", "IDE0005"))

Assert.Equal(expected, actual)

[<Theory>]
[<InlineData "open System.Buffers">]
[<InlineData "open System.IO">]
[<InlineData "open System.Text">]
let ``Fixes IDE0005 - multiple unused declarations`` focus =
let code =
"""
open System.Buffers
open System.IO
open System.Text
"""

let expected =
Some
{
Message = "Remove unused open declarations"
FixedCode =
"""
"""
}

let actual = codeFix |> tryFix code (Manual(focus, "IDE0005"))

Assert.Equal(expected, actual)