Re: [CZT-Devel] Building from CZT snapshot

[Andrius V. <and...@ne...>]

Dear Anthony,

The SectionManager did change - mostly internally (we added a support for
"transactions" as a step towards better incremental-checking of Z sections
- so that you could re-check only downstream dependencies without throwing
away all upstream ones). Note, however, that this change enforces a bit
stricter way of how it should be called - so let us assist if you encounter
problems regarding to it.

The change in SectionManager interface you encountered is that it now
explicitly requires to provide a dialect to use (see
net.sourceforge.czt.session.Dialect enum for appropriate values). So in
your case it would be `new SectionManager(Dialect.Z)` for Z checking.

You can generate the JavaDocs yourself by running `mvn javadoc:javadoc` for
some module. They will be put into `target/site/apidocs` of the project (I
think).

I know it is a bit annoying to manually have to generate all this. Since we
now have nightly builds, I think I will just put a "nightly" version of the
website as well - the current one has not been updated for 5 years! :(
 Then all the changes that we add would be reflected immediately. This way
all the up-to-date JavaDocs will also be online soon.

Let me know if there are any problems with the JavaDocs.

Best regards,
Andrius


On Mon, Apr 8, 2013 at 3:31 PM, Anthony Hall <an...@an...>wrote:

>    Part of Z Word tools is the cztinterface program which is built from
> the CZT snapshot. I last built it from CZT SVN Version 8214****
>
> ** **
>
> Now I’ve downloaded and built the latest CZT version from Git and I can no
> longer build cztinterface. I get an error “No suitable constructor found
> for SectionManager()” at a line that says ****
>
> SectionManager manager = new SectionManager();****
>
> ** **
>
> I seem to remember that the SectionManager was changed some time ago. Is
> there an up to date javadocs site that I can look at to see the
> documentation of the classes in the current version?****
>
> ** **
>
> Thanks****
>
> ** **
>
> Anthony****
>