7

コンパイラのコードベースは非常に大きく、一度にすべてを把握することはできません :)

現在、「typer」フェーズの後に AST を取得したいだけです。それを行う方法はありますか？

次の方法でコンパイラを実行します。

val settings = new Settings
settings.classpath.value = ...
val compiler = new Global(settings, new ConsoleReporter(settings))
new compiler.Run() {
  override def stopPhase(name: String) = name == "superaccessors"
} compileSources files
4

2 に答える 2

6

(typer の後にツリーをダンプする) を (生の AST 形式でツリーをダンプする-Xprint:typer) と共に使用します。-Yshow-trees-compactも使用する場合-Yshow-trees-stringified、AST は疑似 Scala コードとして追加でダンプされます (注: 最後の 2 つのオプションには 2.10.0 が必要です)。

C:\Projects\Kepler\sandbox @ ticket/6356>cat Test.scala
class C {
  def x = 2
}

C:\Projects\Kepler\sandbox @ ticket/6356>scalac -Xprint:typer -Yshow-trees-compact -Yshow-trees-stringified Test.scala
[[syntax trees at end of typer]]// Scala source: Test.scala
package <empty> {
  class C extends scala.AnyRef {
    def <init>(): C = {
      C.super.<init>();
      ()
    };
    def x: Int = 2
  }
}
PackageDef(
  Ident(<empty>), 
  List(
    ClassDef(Modifiers(), newTypeName("C"), List(), 
      Template(List(Select(Ident(scala), newTypeName("AnyRef"))), emptyValDef, 
      List(
        DefDef(Modifiers(), nme.CONSTRUCTOR, List(), List(List()), TypeTree(), Block(List(Apply(Select(Super(This(newTypeName("C")), tpnme.EMPTY), nme.CONSTRUCTOR), List())), Literal(Constant(())))), 
        DefDef(Modifiers(), newTermName("x"), List(), List(), TypeTree(), Literal(Constant(2))))))))
于 2012-09-14T19:47:14.240 に答える
1

コンパイラのコードベースは非常に大きく、一度にすべてを把握することはできません :)

すべての重要な typer を除いて、Scala コンパイラのほとんどのフェーズは、次の場所で詳細に説明されています。

http://lampwww.epfl.ch/~magarcia/ScalaCompilerCornerReloaded/

于 2012-09-15T07:03:48.403 に答える