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

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

Hi Tim,

Timothy Miller wrote:

> 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.

Ughh, I forgot about this. :-(
It seems that nobody has used operator templates before.
I am going to fix that now ...

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

Ups, I get lots of parse error exceptions.
The first one (if I just run run.sh) is:

\nat :Syntax error at character 126 of input
Couldn't repair and continue parse at character 126 of input
java.lang.Exception: Can't recover from previous error(s)

That's not what you want to demonstrate, or do I miss something?

Petra