Download gcontracts-1.0.1-sources.jar
gcontracts/gcontracts-1.0.1-sources.jar.zip( 18 k)
The download jar file contains the following class files or Java source files.
META-INF/MANIFEST.MF META-INF/services/org.codehaus.groovy.transform.ASTTransformation org.gcontracts.annotations.Ensures.java org.gcontracts.annotations.Invariant.java org.gcontracts.annotations.Requires.java org.gcontracts.ast.ContractValidationASTTransformation.java org.gcontracts.injection.AssertStatementCreator.java org.gcontracts.injection.BasicAssertionInjector.java org.gcontracts.injection.DynamicSetterAssertionInjector.java org.gcontracts.injection.Injector.java org.gcontracts.injection.VariableGenerator.java org.gcontracts.util.AnnotationUtils.java