Query first get parse & analyzed: code .

The returned class is a Analysis, essentially it's the AST + expression to type map + all other misc: code . It's somewhat the "resolved AST" or "annotated AST".

AST is represented by class Statement. Here is one example of Statement class called Query .