Re: [CZT-Devel] Building from CZT snapshot

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

Dear Anthony,

Thanks for the info. Which CZT sources are you using? I am looking at the
latest CZT source code and have problems matching your stack trace to my
code.. The calls that are made in your stack trace are non-existent in my
code :( Are you working on the `master` branch of the CZT Git repository?
Or are you using the nighly build czt.jar?

Best regards,
Andrius




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

> Dear Andrius****
>
> ** **
>
> Thank you again for a very swift response****
>
> ** **
>
> 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.****
>
> Thank you. I did that and it all compiled OK. However, now I seem to be
> running foul of the new transaction features, because I’m getting a lot of
> test failures of the form “SectionInfoException: There is an ongoing
> transaction for the given key”****
>
> Of course I’m not doing anything manually with transactions so I’ve really
> not got much clue as to how to fix this.****
>
> ** **
>
> The tests work be repeatedly calling the main procedure of my class, and
> that does a new SectionManager(Dialect.Z) each time. So I’m not sure what
> else I need to do. ****
>
> ** **
>
> I attach the main class (CZTCheck, the class that runs the test
> (CZTTestUtils), a failing test set and the surefire reports. If you could
> point me at what I need to do I’d be most grateful!****
>
> ** **
>
> 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).****
>
> That seems to work, yes – though I got a lot of warnings like****
>
> [WARNING] The POM for org.eclipse.m2e:lifecycle-mapping:jar:1.0.0 is
> missing, no dependency information available****
>
> [WARNING] Failed to retrieve plugin descriptor for
> org.eclipse.m2e:lifecycle-mapping:1.0.0: Plugin
> org.eclipse.m2e:lifecycle-mapping:1.0.0 or one of its dependencies could
> not be resolved: Failed to read artifact descriptor for
> org.eclipse.m2e:lifecycle-mapping:jar:1.0.0****
>
> but I don’t know whether that matters****
>
> ** **
>
> And of course I have had a look at the SectionManager apidocs but it looks
> as if I shouldn’t have to do anything explicit unless I’m trying to do
> something clever with incremental compilation – or have I missed something
> there?****
>
> ** **
>
> 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.****
>
> I think that would be *really* helpful – great!****
>
> ** **
>
> Many thanks****
>
> ** **
>
> Anthony****
>
> ** **
>
> 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****
>
> ** **
>
>
> ------------------------------------------------------------------------------
> Minimize network downtime and maximize team effectiveness.
> Reduce network management and security costs.Learn how to hire
> the most talented Cisco Certified professionals. Visit the
> Employer Resources Portal
> http://www.cisco.com/web/learning/employer_resources/index.html
> _______________________________________________
> CZT-Devel mailing list
> CZT...@li...
> https://lists.sourceforge.net/lists/listinfo/czt-devel
>
>