获取Scala中"超级"调用引用的符号

Question

我正在为refchecks阶段编写一个Scala编译器插件.

如何访问的符号,一个"超级"的呼叫是指,考虑调用点的象征？

例如,在

trait A {
  def m() {}
}

trait B extends A {
  def m() { super.m() }
}

知道了呼叫站点的符号super.m(),我想获得特征的符号A.

Answer 1

我认为使用自我类型注释和多重继承将为您服务：

trait HelperTrait {
  def helperMethod {println("calling helperMethod of HelperTrait")}
}

trait PublicInterface { this: HelperTrait =>
  def useHelperMethod 
  { 
    println("calling useHelperMethod of PublicInterface")
    helperMethod 
  }
}

class ImplementationClass extends PublicInterface with HelperTrait

var obj = new ImplementationClass()
obj.useHelperMethod
obj.helperMethod