From 8a61ff432543a29234193cd1f7c14abd3f3d31a0 Mon Sep 17 00:00:00 2001 From: Felix Mulder Date: Wed, 2 Nov 2016 11:08:28 +0100 Subject: Move compiler and compiler tests to compiler dir --- .../src/dotty/tools/dotc/transform/GetClass.scala | 34 ++++++++++++++++++++++ 1 file changed, 34 insertions(+) create mode 100644 compiler/src/dotty/tools/dotc/transform/GetClass.scala (limited to 'compiler/src/dotty/tools/dotc/transform/GetClass.scala') diff --git a/compiler/src/dotty/tools/dotc/transform/GetClass.scala b/compiler/src/dotty/tools/dotc/transform/GetClass.scala new file mode 100644 index 000000000..6a9a5fda2 --- /dev/null +++ b/compiler/src/dotty/tools/dotc/transform/GetClass.scala @@ -0,0 +1,34 @@ +package dotty.tools.dotc +package transform + +import ast.tpd +import core.Contexts.Context +import core.StdNames.nme +import core.Phases.Phase +import TypeUtils._ +import TreeTransforms.{MiniPhaseTransform, TransformerInfo} + +/** Rewrite `getClass` calls as follow: + * + * For every instance of primitive class C whose boxed class is called B: + * instanceC.getClass -> B.TYPE + * For every instance of non-primitive class D: + * instanceD.getClass -> instanceD.getClass + */ +class GetClass extends MiniPhaseTransform { + import tpd._ + + override def phaseName: String = "getClass" + + // getClass transformation should be applied to specialized methods + override def runsAfter: Set[Class[_ <: Phase]] = Set(classOf[Erasure], classOf[FunctionalInterfaces]) + + override def transformApply(tree: Apply)(implicit ctx: Context, info: TransformerInfo): Tree = { + import ast.Trees._ + tree match { + case Apply(Select(qual, nme.getClass_), Nil) if qual.tpe.widen.isPrimitiveValueType => + clsOf(qual.tpe.widen).withPos(tree.pos) + case _ => tree + } + } +} -- cgit v1.2.3