Discussions View:  Topic list, Topic summary Topics 1 - 5 of 5 You cannot post messages because only members can post, and you are not currently a member. Description: A discussion group about SureLogic tools for Java.  These tools include Flashlight (a profiler that illuminates threading behavior), JSure (a model-based verification tool that helps developers gain confidence in multi-threaded code), and Sierra (a team-oriented bug management platform).   JSure @annotate Javadoc tag processing by the 'javadoc' command    Support for Java 1.4 code allows JSure annotations to be placed in Javadoc comments. For example, /** * @annotate Unique(return) */ public GameMap(int width, int height) { ... } is the Java 1.4 compatible way to annotate @Unique("return") public GameMap(int width, int height) { ... } It is possible to include or exclude the @annotate tag from your... more » By Tim Halloran  - Feb 2 2010 - 1 new of 1 message     Version 3.1.1 of the Flashlight, JSure, and Sierra tools is now available    See [link] for update/ installation instructions. Version 3.1.1 features: o The analysis performance in JSure has been improved. o Several bug fixes to the JSure uniqueness analysis (i.e., the analysis that verifies @Unique @Borrowed annotations). o Improvements to Flashlight's Historical Source view to locate fields... more » By Tim Halloran  - Jan 19 2010 - 1 new of 1 message     Version 3.1.0 of the Flashlight, JSure, and Sierra tools is now available    See [link] for update/ installation instructions. Version 3.1.0 features: o Better support for Java 1.4 projects -- JSure and Flashlight can now be used on Java 1.4 code running on a 1.4 VM o Improved JSure annotation syntax and analysis performance. o Improved Flashlight query descriptions -- each query now "pops-up" a... more » By Tim Halloran  - Dec 22 2009 - 1 new of 1 message     New in Flashlight and JSure 3.1.0 : Improved support for Java 1.4 code    The tools still require a Java 5 (or greater) to be used for the Eclipse that they are running within, however, with the 3.1.0 release of the SureLogic tools, Java 1.4 code is better supported. Flashlight can instrument and collect data about a program run on a Java 1.4 VM (previous releases could not do this) and JSure now supports an... more » By Tim Halloran  - Dec 17 2009 - 1 new of 1 message     New in JSure 3.1.0: Simpler constructor annotation to support locking models    The annotations required on constructors to support locking models have been simplified in JSure version 3.1.0. First, the @SingleThreaded annotation has been deprecated, it is no longer required. If this annotation is in your code it is ignored by the tool. Second, the annotation @Unique("return") on a constructor is now... more » By Tim Halloran  - Dec 17 2009 - 1 message     No more topics in this group. 1 - 5 of 5 XML       Send email to this group: surelogic-tools@googlegroups.com