class MyClass { public void doSomething(int value) { } } class MyClass { public int calculateSquare(int value) { int result = value * value; return result; } } class Rectangle { private int width; private int height; @Invariant("width > 0 && height > 0") public Rectangle(int width, int height) { this.width = width; this.height = height; } } <build> <plugins> <plugin> <groupId>org.codehaus.mojo</groupId> <artifactId>aspectj-maven-plugin</artifactId> <version>1.12.6</version> <executions> <execution> <goals> <goal>compile</goal> <goal>test-compile</goal> </goals> </execution> </executions> <dependencies> <dependency> <groupId>com.contract</groupId> <artifactId>contractsforjava</artifactId> <version>1.0.0</version> </dependency> </dependencies> <configuration> <aspectLibraries> <aspectLibrary> <groupId>com.contract</groupId> <artifactId>contractsforjava</artifactId> </aspectLibrary> </aspectLibraries> </configuration> </plugin> </plugins> </build>


上一篇:
下一篇:
切换中文