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

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

I added a very first version of the new scanner. To run the parser, you 
now also need parser.jar, which
is generated when installing subproject parser by running ant within 
directory <CZT_HOME>/parser.

In order to use the new scanner you need to edit Main.java (just search 
for scanner and you will find the
place). Since the new scanner is not working very well, I left the 
original scanner as the default.

Next thing to do: parse the %%Zchar and %%Zword so that the scanner 
knows them.
At the moment, the scanner uses a fixed map of known latex commands.

Timothy Miller wrote:

> That sounds like a good plan. I already have a SmartScanner version in 
> there - I think it's much the same as the original. It's probably best 
> to use Mark's original version so we don't have multiple versions of 
> the same file floating around.

I didn't bother to do it know; I just used the existing SmartScanner.

> When I hacked your scanner into the parser, it seemed to go fairly 
> smoothly. I ran the bbook.utf8 example through it. The only problem 
> was that it seemed to think that "[NAME, DATE]" was a narrative 
> paragraph. I'm not sure if there is a hidden ZED token (is there a ZED 
> token in unicode?) to start that paragraph, but it didn't seem to 
> recognise it.

Ahhh, right. This is a bug in bbook.utf8. The ZED token is missing ... I 
should update the example files.

> By the way, I made a small change to the parser now so it handles ZED 
> instead of ZSECTION (or did I mention this already?).

Thanks! :-)

Petra