GroovyのAST変換事情

Groovy言語ではAST変換をサポートしているのでその昔からAST変換をつかったライブラリがそこそこあります。アノテーションでコード生成やボイラープレートなどの短縮、コード検査があります。

今回はAST変換の書き方というよりどういった成果物があったり、参考になる情報をまとめておきます。本記事はG* Advent Calendarの12日目になります。

G* Advent Calendar 2017 - Qiita

AST変換の方法
AST変換の事例となる実装

AST変換の方法

Groovy言語はパーサーコンビネーター書きにくいとかあるわけですが、まぁAST変換がいろんなタイミングで出来るようになっています。ただ、2.5.0から便利APIが増えるので少し書きやすくなります。また、2.5.0が来る前でも書きやすくするためのライブラリとしてAsteroidというのがあります。

Groovy 2.4.xまでのAST変換
Groovy 2.5.0で導入される macro API
AST変換サポートライブラリ Asteroid

GroovyのAST変換はアノテーションでスコープを限定したローカルAST変換というものから全体におよぶグローバルAST変換があります。後者はコンパイル時間がのびたりとか（どこまでやるか次第ですが）わけわからない構文が増えて困るみたいなことにならないように気をつけるという感じでしょうか。

Groovy 2.4.x までのAST変換の方法については公式ドキュメントを読むとなんとなくわかると思います。

Groovy Language Documentation - Developing AST transformations

ローカルAST変換は基本はアノテーションを定義して、アノテーションにおける実装クラス側でAST変換系のクラスを継承して変換を実装するという形になります。このときに抽象メソッドのオーバーライドをします。引数に対象のASTがくるのであとはゴニョゴニョといじるという感じです。

Groovy 2.5.0 のmacro APIはもともとは MacroGroovy というライブラリで提供されていた便利APIを公式に導入したという形です。(macroという名前がどうなんだっていうのはあるんですが。。。) まだリリース前なので変わるかもしれませんが、 2.5.0 beta 2 のドキュメントにその記載があります。

Groovy Language Documentation - Macro

2.4.xで少しでもAST変換の記述を楽にするためにAsteroidというライブラリがあります。これは比較的GroovyにおけるAST変換の主なユースケースのためにいろいろラップしているものです。

Asteroid