com.io7m.jaffirm:com.io7m.jaffirm.checkstyle (maven): Contract checking (Checkstyle policy)
Keywords: contract|invariant|java|postcondition|precondition