Menu
▾
▴
Re: [CZT-Devel] Building from CZT snapshot
|
From: Anthony H. <an...@an...> - 2013-04-09 11:03:05
|
Dear Andrius I apologise. This was not a CZT problem at all. It was, as I should have guessed, the diabolical Maven. (I don’t….no, I’d better not express my opinion of Maven – it isn’t fit for a polite mailing list). So, I have now rebuilt czt and this time it did not give the errors in the VCG I encountered before, and I could successfully build my cztinterface. (Though I did have to change one thing – I see that there is no longer a “typechecker”, but rather a “typechecker-z” – my pom had referred to “typechecker” and so failed the first time.) However your question about which version I was using did prompt a couple of questions in return. The answer is that I was using the master cloned from the Git repository. I was slightly surprised that when I did a fetch after a couple of days there seemed to be no changes. When I looked at the log, it seems the last change to master was on Jan 10 at 17-10-07. Is that correct, or am I doing something wrong with git? What are the nightly builds made from? May I ask a related question, purely about git? When we were using subversion, I referred to the version of czt that I had used in building cztinterface by its svn revision number. What is the git equivalent that allows someone to go and get the exact revision? Is it the checksum, or timestamp, or what? Thanks for all your help, and apologies for bothering you with the maven-induced nonsense Anthony From: Andrius Velykis [mailto:and...@ne...] Sent: 09 April 2013 09:27 To: Anthony Hall Cc: CZT-Devel Subject: Re: [CZT-Devel] Building from CZT snapshot 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 |
