Changeset [624918df722e71d61cfe9cc478d663b19c4e2d2b] by Andre Steingress

February 24th, 2011 @ 10:43 PM

Committed by Andre Steingress

  • A gcontracts-core/build.gradle
  • A gcontracts-core/src/main/java/org/gcontracts/ClassInvariantViolation.java
  • A gcontracts-core/src/main/java/org/gcontracts/PostconditionViolation.java
  • A gcontracts-core/src/main/java/org/gcontracts/PreconditionViolation.java
  • A gcontracts-core/src/main/java/org/gcontracts/annotations/Ensures.java
  • A gcontracts-core/src/main/java/org/gcontracts/annotations/Invariant.java
  • A gcontracts-core/src/main/java/org/gcontracts/annotations/Requires.java
  • A gcontracts-core/src/main/java/org/gcontracts/annotations/common/NotNull.java
  • A gcontracts-core/src/main/java/org/gcontracts/annotations/meta/AnnotationProcessingASTTransformation.java
  • A gcontracts-core/src/main/java/org/gcontracts/annotations/meta/ClassInvariant.java
  • A gcontracts-core/src/main/java/org/gcontracts/annotations/meta/ContractElement.java
  • A gcontracts-core/src/main/java/org/gcontracts/annotations/meta/Postcondition.java
  • A gcontracts-core/src/main/java/org/gcontracts/annotations/meta/Precondition.java
  • A gcontracts-core/src/main/java/org/gcontracts/ast/BaseASTTransformation.java
  • A gcontracts-core/src/main/java/org/gcontracts/ast/GContractsASTTransformation.java
  • A gcontracts-core/src/main/java/org/gcontracts/ast/visitor/AnnotationProcessingASTTransformationsVisitor.java
  • A gcontracts-core/src/main/java/org/gcontracts/ast/visitor/BaseAnnotationProcessingASTTransformation.java
  • A gcontracts-core/src/main/java/org/gcontracts/ast/visitor/BaseVisitor.java
  • A gcontracts-core/src/main/java/org/gcontracts/ast/visitor/ContractsErasingVisitor.java
  • A gcontracts-core/src/main/java/org/gcontracts/ast/visitor/ContractsVisitor.java
  • A gcontracts-core/src/main/java/org/gcontracts/ast/visitor/DynamicSetterInjectionVisitor.java
  • A gcontracts-core/src/main/java/org/gcontracts/common/impl/NotNullAnnotationProcessor.java
  • A gcontracts-core/src/main/java/org/gcontracts/common/spi/AnnotationProcessingASTTransformation.java
  • A gcontracts-core/src/main/java/org/gcontracts/generation/AssertStatementCreationUtility.java
  • A gcontracts-core/src/main/java/org/gcontracts/generation/BaseGenerator.java
  • A gcontracts-core/src/main/java/org/gcontracts/generation/CandidateChecks.java
  • A gcontracts-core/src/main/java/org/gcontracts/generation/ClassInvariantGenerator.java
  • A gcontracts-core/src/main/java/org/gcontracts/generation/Configurator.java
  • A gcontracts-core/src/main/java/org/gcontracts/generation/PostconditionGenerator.java
  • A gcontracts-core/src/main/java/org/gcontracts/generation/PreconditionGenerator.java
  • A gcontracts-core/src/main/java/org/gcontracts/generation/TryCatchBlockGenerator.java
  • A gcontracts-core/src/main/java/org/gcontracts/generation/VariableGenerationUtility.java
  • A gcontracts-core/src/main/java/org/gcontracts/util/AnnotationUtils.java
  • A gcontracts-core/src/main/java/org/gcontracts/util/Validate.java
  • A gcontracts-core/src/main/resources/META-INF/services/org.codehaus.groovy.transform.ASTTransformation
  • A gcontracts-core/src/test/groovy/org/gcontracts/ast/visitor/AnnotationProcessingASTTransformationsVisitorTests.groovy
  • A gcontracts-core/src/test/groovy/org/gcontracts/tests/basic/BaseTestClass.groovy
  • A gcontracts-core/src/test/groovy/org/gcontracts/tests/doc/DocumentationExampleTests.groovy
  • A gcontracts-core/src/test/groovy/org/gcontracts/tests/doc/RootClassExampleTests.groovy
  • A gcontracts-core/src/test/groovy/org/gcontracts/tests/doc/StackExampleTests.groovy
  • A gcontracts-core/src/test/groovy/org/gcontracts/tests/inv/InheritanceTests.groovy
  • A gcontracts-core/src/test/groovy/org/gcontracts/tests/inv/POGOClassInvariantTests.groovy
  • A gcontracts-core/src/test/groovy/org/gcontracts/tests/inv/SimpleClassInvariantTests.groovy
  • A gcontracts-core/src/test/groovy/org/gcontracts/tests/other/AbstractClassTests.groovy
  • A gcontracts-core/src/test/groovy/org/gcontracts/tests/other/CandidateChecksTests.groovy
  • A gcontracts-core/src/test/groovy/org/gcontracts/tests/other/MissingLineNumberTests.groovy
  • A gcontracts-core/src/test/groovy/org/gcontracts/tests/post/ImplicitVariableNamesPostconditionTests.groovy
  • A gcontracts-core/src/test/groovy/org/gcontracts/tests/post/InheritanceTests.groovy
  • A gcontracts-core/src/test/groovy/org/gcontracts/tests/post/OldVariablePostconditionTests.groovy
  • A gcontracts-core/src/test/groovy/org/gcontracts/tests/post/ResultAndOldVariablePostconditionTests.groovy
  • A gcontracts-core/src/test/groovy/org/gcontracts/tests/post/ResultVariablePostconditionTests.groovy
  • A gcontracts-core/src/test/groovy/org/gcontracts/tests/post/SimplePostconditionTests.groovy
  • A gcontracts-core/src/test/groovy/org/gcontracts/tests/pre/InheritanceTests.groovy
  • A gcontracts-core/src/test/groovy/org/gcontracts/tests/pre/SimplePreconditionTests.groovy
  • A gcontracts-core/src/test/groovy/org/gcontracts/tests/spring/SimpleSpringIntegrationTests.groovy
  • A gcontracts-core/src/test/groovy/org/gcontracts/util/AnnotationUtilsTests.groovy
  • A gcontracts-core/src/test/groovy/org/springframework/beans/factory/InitializingBean.groovy
  • A gcontracts-core/src/test/groovy/org/springframework/stereotype/Component.groovy
  • A gcontracts-core/src/test/resources/META-INF/services/org.codehaus.groovy.transform.ASTTransformation
  • A gcontracts-spring/build.gradle
  • A settings.gradle
  • R META-INF/MANIFEST.MF
  • R META-INF/license_header.txt
  • R src/main/java/org/gcontracts/ClassInvariantViolation.java
  • R src/main/java/org/gcontracts/PostconditionViolation.java
  • R src/main/java/org/gcontracts/PreconditionViolation.java
  • R src/main/java/org/gcontracts/annotations/Ensures.java
  • R src/main/java/org/gcontracts/annotations/Invariant.java
  • R src/main/java/org/gcontracts/annotations/Requires.java
  • R src/main/java/org/gcontracts/annotations/common/NotNull.java
  • R src/main/java/org/gcontracts/annotations/meta/AnnotationProcessingASTTransformation.java
  • R src/main/java/org/gcontracts/annotations/meta/ClassInvariant.java
  • R src/main/java/org/gcontracts/annotations/meta/ContractElement.java
  • R src/main/java/org/gcontracts/annotations/meta/Postcondition.java
  • R src/main/java/org/gcontracts/annotations/meta/Precondition.java
  • R src/main/java/org/gcontracts/ast/BaseASTTransformation.java
  • R src/main/java/org/gcontracts/ast/GContractsASTTransformation.java
  • R src/main/java/org/gcontracts/ast/visitor/AnnotationProcessingASTTransformationsVisitor.java
  • R src/main/java/org/gcontracts/ast/visitor/BaseAnnotationProcessingASTTransformation.java
  • R src/main/java/org/gcontracts/ast/visitor/BaseVisitor.java
  • R src/main/java/org/gcontracts/ast/visitor/ContractsErasingVisitor.java
  • R src/main/java/org/gcontracts/ast/visitor/ContractsVisitor.java
  • R src/main/java/org/gcontracts/ast/visitor/DynamicSetterInjectionVisitor.java
  • R src/main/java/org/gcontracts/common/impl/NotNullAnnotationProcessor.java
  • R src/main/java/org/gcontracts/common/spi/AnnotationProcessingASTTransformation.java
  • R src/main/java/org/gcontracts/generation/AssertStatementCreationUtility.java
  • R src/main/java/org/gcontracts/generation/BaseGenerator.java
  • R src/main/java/org/gcontracts/generation/CandidateChecks.java
  • R src/main/java/org/gcontracts/generation/ClassInvariantGenerator.java
  • R src/main/java/org/gcontracts/generation/Configurator.java
  • R src/main/java/org/gcontracts/generation/PostconditionGenerator.java
  • R src/main/java/org/gcontracts/generation/PreconditionGenerator.java
  • R src/main/java/org/gcontracts/generation/TryCatchBlockGenerator.java
  • R src/main/java/org/gcontracts/generation/VariableGenerationUtility.java
  • R src/main/java/org/gcontracts/util/AnnotationUtils.java
  • R src/main/java/org/gcontracts/util/Validate.java
  • R META-INF/services/org.codehaus.groovy.transform.ASTTransformation
  • R src/test/groovy/org/gcontracts/ast/visitor/AnnotationProcessingASTTransformationsVisitorTests.groovy
  • R src/test/groovy/org/gcontracts/tests/basic/BaseTestClass.groovy
  • R src/test/groovy/org/gcontracts/tests/doc/DocumentationExampleTests.groovy
  • R src/test/groovy/org/gcontracts/tests/doc/RootClassExampleTests.groovy
  • R src/test/groovy/org/gcontracts/tests/doc/StackExampleTests.groovy
  • R src/test/groovy/org/gcontracts/tests/inv/InheritanceTests.groovy
  • R src/test/groovy/org/gcontracts/tests/inv/POGOClassInvariantTests.groovy
  • R src/test/groovy/org/gcontracts/tests/inv/SimpleClassInvariantTests.groovy
  • R src/test/groovy/org/gcontracts/tests/other/AbstractClassTests.groovy
  • R src/test/groovy/org/gcontracts/tests/other/CandidateChecksTests.groovy
  • R src/test/groovy/org/gcontracts/tests/other/MissingLineNumberTests.groovy
  • R src/test/groovy/org/gcontracts/tests/post/ImplicitVariableNamesPostconditionTests.groovy
  • R src/test/groovy/org/gcontracts/tests/post/InheritanceTests.groovy
  • R src/test/groovy/org/gcontracts/tests/post/OldVariablePostconditionTests.groovy
  • R src/test/groovy/org/gcontracts/tests/post/ResultAndOldVariablePostconditionTests.groovy
  • R src/test/groovy/org/gcontracts/tests/post/ResultVariablePostconditionTests.groovy
  • R src/test/groovy/org/gcontracts/tests/post/SimplePostconditionTests.groovy
  • R src/test/groovy/org/gcontracts/tests/pre/InheritanceTests.groovy
  • R src/test/groovy/org/gcontracts/tests/pre/SimplePreconditionTests.groovy
  • R src/test/groovy/org/gcontracts/tests/spring/SimpleSpringIntegrationTests.groovy
  • R src/test/groovy/org/gcontracts/util/AnnotationUtilsTests.groovy
  • R src/test/groovy/org/springframework/beans/factory/InitializingBean.groovy
  • R src/test/groovy/org/springframework/stereotype/Component.groovy
  • R src/main/resources/services/org.codehaus.groovy.transform.ASTTransformation
  • R src/test/resources/services/org.codehaus.groovy.transform.ASTTransformation
  • M build.gradle
New-ticket Create new ticket

Create your profile

Help contribute to this project by taking a few moments to create your personal profile. Create your profile ยป

core module

Shared Ticket Bins