nitc/location: add named constructor `opaque_file`

Signed-off-by: Jean Privat <jean@pryen.org>

diff --git a/src/loader.nit b/src/loader.nit
index 6df4d61..991a1fd 100644 (file)
--- a/src/loader.nit
+++ b/src/loader.nit
@@ -395,8 +395,7 @@ redef class ModelBuilder
                        end
                end
 
-               var src = new SourceFile.from_string(path, "")
-               var loc = new Location(src, 0, 0, 0, 0)
+               var loc = new Location.opaque_file(path)
                var res = new MModule(model, mgroup, pn, loc)
                res.filepath = path
 

diff --git a/src/location.nit b/src/location.nit
index 0c5b55d..99083ad 100644 (file)
--- a/src/location.nit
+++ b/src/location.nit
@@ -140,6 +140,15 @@ class Location
                end
        end
 
+       # Initialize a location corresponding to an opaque file.
+       #
+       # The path is used as is and is not open nor read.
+       init opaque_file(path: String)
+       do
+               var source = new SourceFile.from_string(path, "")
+               init(source, 0, 0, 0, 0)
+       end
+
        # The index in the start character in the source
        fun pstart: Int do return file.line_starts[line_start-1] + column_start-1