diff options
author | Martin Odersky <odersky@gmail.com> | 2017-03-28 22:35:15 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2017-04-11 09:33:11 +0200 |
commit | 3fe4e061ef90b8dde10b2e9542f17a34c0fbcb5d (patch) | |
tree | 2780821f32afabb8fac92cd9a38ad462b69191b5 /compiler/src/dotty/tools/dotc/core/tasty/TastyUnpickler.scala | |
parent | ca5652cc5a74f00277ce942a001fa6e931ee3728 (diff) | |
download | dotty-3fe4e061ef90b8dde10b2e9542f17a34c0fbcb5d.tar.gz dotty-3fe4e061ef90b8dde10b2e9542f17a34c0fbcb5d.tar.bz2 dotty-3fe4e061ef90b8dde10b2e9542f17a34c0fbcb5d.zip |
Rename NameExtractor -> NameKind
Diffstat (limited to 'compiler/src/dotty/tools/dotc/core/tasty/TastyUnpickler.scala')
-rw-r--r-- | compiler/src/dotty/tools/dotc/core/tasty/TastyUnpickler.scala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/src/dotty/tools/dotc/core/tasty/TastyUnpickler.scala b/compiler/src/dotty/tools/dotc/core/tasty/TastyUnpickler.scala index 756b7db5c..a14691ed5 100644 --- a/compiler/src/dotty/tools/dotc/core/tasty/TastyUnpickler.scala +++ b/compiler/src/dotty/tools/dotc/core/tasty/TastyUnpickler.scala @@ -6,7 +6,7 @@ import scala.collection.mutable import TastyFormat._ import TastyBuffer.NameRef import Names.{Name, TermName, termName, EmptyTermName} -import NameExtractors._ +import NameKinds._ import java.util.UUID object TastyUnpickler { @@ -60,7 +60,7 @@ class TastyUnpickler(reader: TastyReader) { val num = readNat() val originals = until(end)(readName()) val original = if (originals.isEmpty) EmptyTermName else originals.head - uniqueExtractorOfSeparator(separator)(original, num) + uniqueNameKindOfSeparator(separator)(original, num) case DEFAULTGETTER => DefaultGetterName(readName(), readNat()) case VARIANT => @@ -73,7 +73,7 @@ class TastyUnpickler(reader: TastyReader) { if (sig == Signature.NotAMethod) sig = Signature.NotAMethod SignedName(original, sig) case _ => - simpleExtractorOfTag(tag)(readName()) + simpleNameKindOfTag(tag)(readName()) } assert(currentAddr == end, s"bad name $result $start $currentAddr $end") result |