Project Group: com.surelogic

SureLogic Promise Annotations

com.surelogic : promises

Provides the annotations necessary to express models of programmer design intent in Java code. Promises are supra-linguistic formal annotations to programs. Each promise has a precise meaning and constrains the implementation and evolution of the code it targets. Promises are also (typically) modular, meaning that the implementation constraint on the code of a promise is limited in scope.

Last Version: 5.0.0

Release Date: Nov 1, 2013