<dependency> <groupId>org.contract4j</groupId> <artifactId>c4j</artifactId> <version>1.7.4</version> </dependency> @Requires("x >= 0 && y >= 0") @Ensures("result >= x && result >= y") public int add(int x, int y) { return x + y; }