[CZT-Devel] CZT Parser(s) - Circus extension

[Leo F. <le...@cs...>]

Hi all,

I am now with the parser for Circus written using CUP and JLex similar 
to the one available in the CZT.
It recognises Circus programs where the Z part is in comformance with 
the Z standard.
The point is that although the generated AST is in comformance with Z 
standard, it is not in comformance
with CZT AST classes, nor does it has visiting facilities.
The Circus.xsd file is very much based in the CUP file with some 
adjustments to properly integrate with the CZT.

What I would like to do is to integrate the code of this parser within 
the parsing structure available in the CZT.
As far as I could understand, there are some XML template files and the 
ant build script that generates the parser codes.
Is there a kind of GnAST for generating parsers as well, or is it a sort 
of XML transformation that is necessary?
 From the ant script it seems more like the. If that is so, what are the 
files I need to modify to take the Circus CUP into account?

I know a little about CUP and grammars, but never used them.
I am aware that dealing with CUP is not a task as easy as creating the 
Circus.xsd file.
It includes all that shift/reduction rules and conflicts to be solved.
As the Z standard is already implemented in the CZT and some examples of 
extension are available,
I am assuming that including Circus CUP productions is somehow  
straightforward. Am I being overoptimisitic? 

Is there anyone interested in helping doing this integration?

All the best,
Leo

-- 
-------------------------------------------
Leonardo Freitas
PhD - Circus Model Checking
Computer Science @ York University
Formal Methods - HISE Group
HISE - High Integrity Software Engineering
http://www.cs.york.ac.uk/~leo
-------------------------------------------
Beyond reason, there is no court to appeal
-------------------------------------------