com.github.sebhoss.contract:contract-guice-uel (maven): Annotation-based design by contract library.
Keywords: design-by-contracts|java