Does anyone have experience with design-by-contract programming in
Java? It seems like most of the dbc frameworks I have looked at for
Java either use Javadoc comments or some type of preproccessor to
implement dbc programming.

It seems like you could do the same basic thing with regular Java code
in your classes. Does anyone know of a standard way to implement dbc
in Java without Javadoc comments of preprocessing? I guess I'm
thinking of a naming convention for methods that verify pre-conditions
and post-conditions, but other things, like an assertion framwork,
might be included.

The Sunburned Surveyor

-------------------------------------------------------------------------
This SF.net email is sponsored by: Splunk Inc.
Still grepping through log files to find problems?  Stop.
Now Search log events and configuration files using AJAX and a browser.
Download your FREE copy of Splunk now >> http://get.splunk.com/
_______________________________________________
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel

Reply via email to