Group: SureLogic
1.SureLogic Promise Annotations2 usages
com.surelogic » promises Apache
Provides the annotations necessary to express models of programmer
design intent in Java code. Promises are supra-linguistic formal
annotations to programs.
Last Release on Nov 1, 2013