Category Archives: Intro

Getting Started with Annotation Contracts

Annotation Contracts is one of the new features of GContracts 1.2 [0]. The main principle behind is to reuse small but reoccurring parts of pre- and post-condition expressions. This article is about creating a simple @NotNull annotation contract. @NotNull can … Continue reading

Posted in Intro, gcontracts, groovy | 2 Comments