From 2c31c03c6247d0adf5a9a83a8d779c9631b6c10c Mon Sep 17 00:00:00 2001 From: Paul Phillips Date: Sat, 27 Jun 2009 16:08:37 +0000 Subject: Gave a Source method a more precise name. --- src/library/scala/io/Source.scala | 2 +- src/library/scala/xml/parsing/ExternalSources.scala | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'src/library') diff --git a/src/library/scala/io/Source.scala b/src/library/scala/io/Source.scala index 25d9ef644b..28be6c3f92 100644 --- 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 Source from file with given file: URI */ diff --git a/src/library/scala/xml/parsing/ExternalSources.scala b/src/library/scala/xml/parsing/ExternalSources.scala index 4638f4de42..832da420c9 100644 --- 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)() } } -- cgit v1.2.3