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

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

Petra Malik wrote:
> 
> 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?
> 
Ah, yes, I have tried this, but in visitOpTempPara in the AstToJaxb 
class, each element in the WordOrOperand list is typecast to a Term, so 
the typecast from a String fails.

I've just checked in a version of the parser that demonstrates this. It 
also has the GENSCH rule added to it.

Thanks,
Tim