Freitag, 11. September 2009

ANTLR 3 Java Promela Parser

I just made a first version of my Java Promela parser (the input language of the Spin model checker) available. Grab it while its hot ;-) Hopefully, it will be integrated into the Spin Eclipse Plugin for on-the-fly syntax checking.

Next step would be to transfer this stuff to Xtext and design a proper Promela metamodel and somehow implement a pretty printer for Promela which is needed badly. I'm not sure when i have time to do that though. Does anyone have clever ideas how to pretty print a C preprocessed language? You would have to preprocess the Promela files, pretty print them and then reverse the preprocessing somehow. This sounds kind of tricky to me...