[CZT-Devel] Object-Z parser v1.0

[Timothy M. <tim...@sv...>]

Hi all,

This is just a quick note to let people know that I have checked a
preliminary version of anObject-Z parser in to the CZT sourceforge
server. The module name is 'oz'. Feedback is most welcome.

If you are only interested in Z, you can also check it out. It parses Z
as well... it's basically a Z parser with Object-Z class paragraphs.
I've tried to follow the ISO Z standard as closely as possible, just
making my own decisions for the Object-Z stuff. I've had a bit of
trouble with some precedence stuff, so at the moment a couple of things
are missing, e.g. schema negation. There are also a few other problems,
e.g. no nested word glue. The input is Latex.

To compile, just type 'ant', unless you are using a version of JavaCup <
1.0k. In that case, run './cup.sh' followed by 'ant code'.

To run a specification, type './run.sh file'. This will parse the
toolkits (number, sequence, Object-Z toolkits etc.) and then the
file supplied on the command line. It only accepts one file at this
primitive stage. There is a small Object-Z example in
'examples/dms.tex'. This will produce a basic GUI (thanks to Petra for
the code for that!) with your specification as a
JTree. If you just type './run.sh' (or 'ant run') this will start the
GUI with just the toolkits in the tree. This will throw an exception,
but it is related to the Jaxb stuff - you should still be able to see
the tree.

Happy parsing!

Tim