Source file from in-memory string for incremental LSP analysis

Sources/Core/SourceFile.swift

@@ -33,6 +33,14 @@ public struct SourceFile {
     try self.init(contentsOf: URL(fileURLWithPath: filePath))
   }
 
+  /// Creates an instance representing the in-memory edited file at `filePath`.
+  /// `withContent` is the content of the in-memory representation of the file,
+  /// which may be different from what is actually stored on disk.
+  public init(at filePath: URL, withContent content: String) {
+    let storage = Storage(filePath, replaceExisting: true) { content[...] }
+    self.storage = storage
+  }
+
   /// Creates an instance for the `text` given by a multiline string literal in the given
   /// `swiftFile`, the literal's textual content (the line after the opening quotes) being
   /// startLine.
@@ -344,17 +352,26 @@ extension SourceFile {
     }
 
     /// The owner of all instances of `Storage`.
-    private static var allInstances = SharedMutable<[URL: Storage]>([:])
+    private static let allInstances = SharedMutable<[URL: Storage]>([:])
 
     /// Creates an alias to the instance with the given `url` if it exists, or creates a new
     /// instance having the given `url` and the text resulting from `makeText()`.
+    /// Storage instances are cached based on url, where `replaceExisting` defines if an
+    /// existing entry should be replaced with new content, otherwise the storage get the
+    /// content from the previously cached entry.
     fileprivate convenience init(
-      _ url: URL, lineStarts: [Index]? = nil, makeText: () throws -> Substring
+      _ url: URL, lineStarts: [Index]? = nil, replaceExisting: Bool = false, makeText: () throws -> Substring
     ) rethrows {
       self.init(
         aliasing: try Self.allInstances.modify { (c: inout [URL: Storage]) -> Storage in
           try modify(&c[url]) { v in
-            let r = try v ?? Storage(url: url, lineStarts: lineStarts, text: makeText())
+            let r: Storage
+            if !replaceExisting && v != nil {
+              r = v!
+            }
+            else {
+              r = try Storage(url: url, lineStarts: lineStarts, text: makeText())
+            }
             v = r
             return r
           }

Tests/HyloTests/SourceFileTests.swift

@@ -1,5 +1,6 @@
 import Core
 import XCTest
+import Foundation
 
 final class SourceFileTests: XCTestCase {
 
@@ -33,4 +34,12 @@ final class SourceFileTests: XCTestCase {
     XCTAssertEqual(source.line(containing: source.text.endIndex).number, 3)
   }
 
+  func testUpdateSourceFileContent() throws {
+    let url = URL(fileURLWithPath: "foo.hylo")
+    let s1 = SourceFile(at: url, withContent: "import A")
+    XCTAssertEqual(s1.text, "import A")
+    let s2 = SourceFile(at: url, withContent: "import B")
+    XCTAssertEqual(s2.text, "import B")
+  }
+
 }