Gave a Source method a more precise name.

scala · Jun 27, 2009 · 2c31c03 · 2c31c03
1 parent 7d92d6c
commit 2c31c03
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/library/scala/io/Source.scala b/src/library/scala/io/Source.scala
@@ -63,7 +63,7 @@ object Source {
   /** creates Source from file with given name, setting
    *  its description to filename.
    */
-  def fromFilename(name: String)(implicit codec: Codec = Codec.default): Source = fromFile(new JFile(name))
+  def fromPath(name: String)(implicit codec: Codec = Codec.default): Source = fromFile(new JFile(name))
 
   /** creates <code>Source</code> from file with given file: URI
    */

diff --git a/src/library/scala/xml/parsing/ExternalSources.scala b/src/library/scala/xml/parsing/ExternalSources.scala
@@ -76,7 +76,7 @@ trait ExternalSources { self: ExternalSources with MarkupParser with MarkupHandl
     } else
       fileStr = fileStr.substring(0,
                                   fileStr.lastIndexOf(java.io.File.separator)+1)
-    Source.fromFilename(fileStr + systemId)()
+    Source.fromPath(fileStr + systemId)()
   }
 
 }