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

[Petra M. <pe...@cs...>]

Hi again,

Timothy Miller wrote:

> Also, I am having a problem with the AST validator that I cannot 
> solve, but which I think you may be able to. I get an exception when 
> validating operator templates, which you should be able to reproduce 
> if you go to Main.java in the source, and in the "getAst" method, 
> uncomment the lines doing the validation. If you could have a look at 
> that when you get a chance, and let me know what I'm doing wrong, I 
> would be very greatful.

I fixed a bug in corejava (so you have to update and recompile it).
However, there are still exceptions:

... lots of crap ...

DefaultValidationEventHandler: [ERROR]: tag name 
"net.sourceforge.czt.z.jaxb.gen.DeclNameElement" is not allowed. 
Possible tag names are: 
<net.sourceforge.czt.z.jaxb.gen.OperandElement>,<net.sourceforge.czt.z.jaxb.gen.OptempPara.Word> 

     Location:  obj: 
net.sourceforge.czt.z.jaxb.gen.impl.OptempParaElementImpl@384065

... more crap ...

This tells that there is a DeclName inside OptempPara but a Word or an 
Operand is expected.
The WordOrOperand List within OptempPara can only contain Strings or 
instances of class
Operand. I guess you are trying to add DeclName instead which is 
possible; but you get an invalid
AST.
Does that help?

Petra