Merge pull request #303 from fsharp/fsi-path-completions

added path completions to fsi

Author: nosami

MonoDevelop.FSharp.Shared/Completions.fs

@@ -2,6 +2,9 @@
 
 open Microsoft.FSharp.Compiler.SourceCodeServices
 open Microsoft.FSharp.Compiler.Interactive.Shell
+open System
+open System.IO
+open System.Text.RegularExpressions
 
 type CompletionData = {
     displayText: string
@@ -12,7 +15,19 @@ type CompletionData = {
     description: string
 }
 
+type PathCompletion = {
+    paths: string seq
+    residue: string
+}
+
 module Completion =
+    let (|FilePath|_|) line =
+        let matches = Regex.Matches(line, "^\s*#(load|r)\s+\"([^\"]*)", RegexOptions.Compiled)
+        if matches.Count > 0 then
+            Some (matches.[0].Groups.[1].Value, matches.[0].Groups.[2].Value)
+        else
+            None
+
     let rec allBaseTypes (entity:FSharpEntity) =
         seq {
             match entity.TryFullName with
@@ -107,12 +122,47 @@ module Completion =
         ]
 
     let mutable symbolList = List.empty
+
+    let getPaths directive (path: string) =
+        seq {
+            // absolute paths
+            if (Directory.Exists path) then
+                yield! Directory.EnumerateDirectories path
+
+                if directive = "load" then
+                    yield! Directory.EnumerateFiles(path, "*.fsx")
+
+                if directive = "r" then
+                    yield! Directory.EnumerateFiles(path, "*.dll")
+        }
+
+    let getPathCompletion (workingFolder: string option) directive (path: string) =
+        let separatorIndex = path.LastIndexOf Path.DirectorySeparatorChar
+        let pathToSeparator, residue, offset = 
+            if separatorIndex > -1 then
+                path.[0..separatorIndex], path.[separatorIndex..], 0
+            else
+                "", path, 1
+
+        let paths = seq {
+            if Path.IsPathRooted pathToSeparator then
+                yield! getPaths directive pathToSeparator
+                       |> Seq.map(fun path -> path.[separatorIndex..])
+            // relative to working folder
+            elif workingFolder.IsSome then
+                let relpath = Path.Combine (workingFolder.Value, pathToSeparator)
+                yield! getPaths directive relpath
+                       |> Seq.map(fun path -> path.[separatorIndex+workingFolder.Value.Length+1+offset..])
+        } 
+
+        { residue=residue; paths=paths  }
+
     let getCompletions (fsiSession: FsiEvaluationSession, input:string, column: int) =
         async {
             let parseResults, checkResults, _checkProjectResults = fsiSession.ParseAndCheckInteraction(input)
             let longName,residue = Parsing.findLongIdentsAndResidue(column, input)
             let! symbols = checkResults.GetDeclarationListSymbols(Some parseResults, 1, column, input, longName, residue, fun (_,_) -> false)
-            let results = symbols 
+            let results = symbols
                           |> List.choose symbolToCompletionData
 
             let completions, symbols = results |> List.unzip
@@ -140,6 +190,8 @@ module Completion =
                     EmptyTip
         }
 
+    
+
     let getParameterHints (fsiSession: FsiEvaluationSession, input:string, column: int) =
         async {
             let _parseResults, checkResults, _checkProjectResults = fsiSession.ParseAndCheckInteraction("();;")

MonoDevelop.FSharpBinding/FSharpInteractivePad.fs

@@ -60,8 +60,10 @@ type FsiDocumentContext() =
     let mutable editor:TextEditor = null
 
     let contextChanged = DelegateEvent<_>()
+    let mutable workingFolder: string option = None
     do 
         project.FileName <- FilePath name
+
     override x.ParsedDocument = pd
     override x.AttachToProject(_) = ()
     override x.ReparseDocument() = ()
@@ -73,7 +75,9 @@ type FsiDocumentContext() =
 
     member x.CompletionWidget with set (value) = completionWidget <- value
     member x.Editor with set (value) = editor <- value
-
+    member x.WorkingFolder
+        with get() = workingFolder
+        and set(folder) = workingFolder <- folder
     interface ICompletionWidget with
         member x.CaretOffset
             with get() = completionWidget.CaretOffset
@@ -151,10 +155,12 @@ type FSharpInteractivePad() =
     let newLineIcon = ImageService.GetIcon("md-template")
 
     let getCorrectDirectory () =
-        if IdeApp.Workbench.ActiveDocument <> null && FileService.isInsideFSharpFile() then
-            let doc = IdeApp.Workbench.ActiveDocument.FileName.ToString()
-            if doc <> null then Path.GetDirectoryName(doc) |> Some else None
-        else None
+        ctx.WorkingFolder <-
+            if IdeApp.Workbench.ActiveDocument <> null && FileService.isInsideFSharpFile() then
+                let doc = IdeApp.Workbench.ActiveDocument.FileName.ToString()
+                if doc <> null then Path.GetDirectoryName(doc) |> Some else None
+            else None
+        ctx.WorkingFolder
 
     let nonBreakingSpace = "\u00A0" // used to disable editor syntax highlighting for output
 

MonoDevelop.FSharpBinding/FSharpParsedDocument.fs

@@ -23,6 +23,12 @@ type FSharpParsedDocument(fileName, location: DocumentLocation option) =
 [<AutoOpen>]
 module DocumentContextExt =
     type DocumentContext with
+        member x.GetWorkingFolder() =
+            if IdeApp.Workbench.ActiveDocument <> null && FileService.isInsideFSharpFile() then
+                let doc = IdeApp.Workbench.ActiveDocument.FileName.ToString()
+                if doc <> null then Path.GetDirectoryName(doc) |> Some else None
+            else None
+
         member x.TryGetFSharpParsedDocument() =
             x.TryGetParsedDocument()
             |> Option.bind (function :? FSharpParsedDocument as fpd -> Some fpd | _ -> None)

MonoDevelop.FSharpBinding/FSharpTextEditorCompletion.fs

@@ -162,6 +162,13 @@ module Completion =
         else
             None
 
+    let (|FilePath|_|) context =
+        let matches = Regex.Matches(context.lineToCaret, "^\s*#(load|r)\s+\"([^\"]*)", RegexOptions.Compiled)
+        if matches.Count > 0 then
+            Some (matches.[0].Groups.[1].Value, matches.[0].Groups.[2].Value)
+        else
+            None
+
     let (|LetIdentifier|_|) context =
         if Regex.IsMatch(context.lineToCaret, "\s?(let!?|override|member)\s+[^=]+$", RegexOptions.Compiled) then
              let document = new TextDocument(context.lineToCaret)
@@ -460,6 +467,16 @@ module Completion =
                 return CompletionDataList()
         }
 
+    let getCompletionList (completions: MonoDevelop.FSharp.Shared.PathCompletion) =
+        let result = CompletionDataList()
+        result.DefaultCompletionString <- completions.residue
+        result.TriggerWordLength <- completions.residue.Length
+        let completions = 
+            completions.paths
+            |> Seq.map (fun path -> CompletionData(path))
+        result.AddRange completions
+        result
+
     let getModifiers context =
         let { 
             column = column
@@ -498,7 +515,15 @@ module Completion =
 
             let! results = async {
                 match completionContext with
-                | InvalidToken 
+                | FilePath (directive, path) ->
+                    let workingFolder =
+                        match documentContext |> Option.tryCast<FsiDocumentContext> with
+                        | Some ctx -> ctx.WorkingFolder
+                        | _ -> documentContext.GetWorkingFolder()
+
+                    let completions = MonoDevelop.FSharp.Shared.Completion.getPathCompletion workingFolder directive path
+                    return getCompletionList completions
+                | InvalidToken
                 | InvalidCompletionChar
                 | DoubleDot
                 | LiteralNumber