Accessing the Abstract Syntax Tree

Feb 11, 2015 at 10:35 AM
I’m working on producing a graphical representation of the Dafny code in Java script. To do this I need to extract the AST data into a text file, CSV file etc. Does anybody know how I access the AST in a way that will allow me to do this?