2012-09-14 18 views
7

La base de código del compilador es bastante grande, y no puedo entenderlo todo a la vez :)¿Dónde almacena el compilador Scala ASTs?

Actualmente, solo quiero obtener AST después de la fase "typer". ¿Hay una manera de hacerlo?

corro el compilador de la siguiente manera:

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 

Respuesta

6

Uso -Xprint:typer (para volcar árboles después Typer) junto con -Yshow-trees-compact (para volcar los árboles en formato de AST en bruto). Si también usa -Yshow-trees-stringified, los AST se descartarán adicionalmente como código de pseudo Scala (nota: las últimas dos opciones requieren 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)))))))) 
+0

Pero quiero decir, ¿cómo consigo AST dentro de mi programa en ejecución? Programáticamente? – Rogach

+0

Huh. Ya veo. Déjame pensar. –

+4

Usando 'Run.units map (_.body)' –

1

compilador de código base es bastante grande, y no puedo envolver mi cabeza alrededor de todo a la vez :)

Excepto por el todo Typer importante, la mayoría de las fases del compilador de Scala son descrito en detalle en:

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

+0

Bueno, el problema es que me interesan solo las primeras cuatro fases, desde el analizador hasta el tipeador, y esas no se describen en absoluto :( – Rogach

Cuestiones relacionadas