Lighthouse has a new layout. Prefer the old one? Return to the old layout, and switch back any time from the link at the top of each page.

All changesets

Changeset [8166701acad2e0e1f2eb40d50216d350db8360e9] by Andre Steingress

Revision 8166701acad2e0e1f2eb40d50216d350db8360e9, committed by Andre Steingress · February 28th, 2011 @ 09:36 AM

69 changed files

  • M gcontracts-core/src/main/java/org/gcontracts/ClassInvariantViolation.java
  • M gcontracts-core/src/main/java/org/gcontracts/PostconditionViolation.java
  • M gcontracts-core/src/main/java/org/gcontracts/PreconditionViolation.java
  • M gcontracts-core/src/main/java/org/gcontracts/annotations/Ensures.java
  • M gcontracts-core/src/main/java/org/gcontracts/annotations/Invariant.java
  • M gcontracts-core/src/main/java/org/gcontracts/annotations/Requires.java
  • M gcontracts-core/src/main/java/org/gcontracts/annotations/common/NotNull.java
  • M gcontracts-core/src/main/java/org/gcontracts/annotations/meta/AnnotationProcessorImplementation.java
  • M gcontracts-core/src/main/java/org/gcontracts/annotations/meta/ContractElement.java
  • M gcontracts-core/src/main/java/org/gcontracts/ast/BaseASTTransformation.java
  • M gcontracts-core/src/main/java/org/gcontracts/ast/GContractsASTTransformation.java
  • M gcontracts-core/src/main/java/org/gcontracts/ast/visitor/AnnotationProcessorVisitor.java
  • M gcontracts-core/src/main/java/org/gcontracts/ast/visitor/BaseVisitor.java
  • M gcontracts-core/src/main/java/org/gcontracts/ast/visitor/ConfiguratorSetupVisitor.java
  • M gcontracts-core/src/main/java/org/gcontracts/ast/visitor/ContractElementErasingVisitor.java
  • M gcontracts-core/src/main/java/org/gcontracts/ast/visitor/DomainModelInjectionVisitor.java
  • M gcontracts-core/src/main/java/org/gcontracts/ast/visitor/DynamicSetterInjectionVisitor.java
  • M gcontracts-core/src/main/java/org/gcontracts/ast/visitor/LifecycleAfterTransformationVisitor.java
  • M gcontracts-core/src/main/java/org/gcontracts/ast/visitor/LifecycleBeforeTransformationVisitor.java
  • M gcontracts-core/src/main/java/org/gcontracts/common/base/BaseAnnotationProcessor.java
  • M gcontracts-core/src/main/java/org/gcontracts/common/base/BaseLifecycle.java
  • M gcontracts-core/src/main/java/org/gcontracts/common/impl/ClassInvariantAnnotationProcessor.java
  • M gcontracts-core/src/main/java/org/gcontracts/common/impl/EnsuresAnnotationProcessor.java
  • M gcontracts-core/src/main/java/org/gcontracts/common/impl/NotNullAnnotationProcessor.java
  • M gcontracts-core/src/main/java/org/gcontracts/common/impl/RequiresAnnotationProcessor.java
  • M gcontracts-core/src/main/java/org/gcontracts/common/impl/lc/ClassInvariantLifecycle.java
  • M gcontracts-core/src/main/java/org/gcontracts/common/impl/lc/PostconditionLifecycle.java
  • M gcontracts-core/src/main/java/org/gcontracts/common/impl/lc/PreconditionLifecycle.java
  • M gcontracts-core/src/main/java/org/gcontracts/common/spi/AnnotationProcessor.java
  • M gcontracts-core/src/main/java/org/gcontracts/common/spi/Lifecycle.java
  • M gcontracts-core/src/main/java/org/gcontracts/common/spi/ProcessingContextInformation.java
  • M gcontracts-core/src/main/java/org/gcontracts/domain/Contract.java
  • M gcontracts-core/src/main/java/org/gcontracts/generation/AssertStatementCreationUtility.java
  • M gcontracts-core/src/main/java/org/gcontracts/generation/BaseGenerator.java
  • M gcontracts-core/src/main/java/org/gcontracts/generation/CandidateChecks.java
  • M gcontracts-core/src/main/java/org/gcontracts/generation/ClassInvariantGenerator.java
  • M gcontracts-core/src/main/java/org/gcontracts/generation/Configurator.java
  • M gcontracts-core/src/main/java/org/gcontracts/generation/PostconditionGenerator.java
  • M gcontracts-core/src/main/java/org/gcontracts/generation/PreconditionGenerator.java
  • M gcontracts-core/src/main/java/org/gcontracts/generation/TryCatchBlockGenerator.java
  • M gcontracts-core/src/main/java/org/gcontracts/generation/VariableGenerationUtility.java
  • M gcontracts-core/src/main/java/org/gcontracts/util/AnnotationUtils.java
  • M gcontracts-core/src/main/java/org/gcontracts/util/ExpressionUtil.java
  • M gcontracts-core/src/main/java/org/gcontracts/util/LifecycleImplementationLoader.java
  • M gcontracts-core/src/main/java/org/gcontracts/util/Validate.java
  • M gcontracts-core/src/test/groovy/org/gcontracts/ast/visitor/AnnotationProcessingASTTransformationsVisitorTests.groovy
  • M gcontracts-core/src/test/groovy/org/gcontracts/tests/basic/BaseTestClass.groovy
  • M gcontracts-core/src/test/groovy/org/gcontracts/tests/doc/DocumentationExampleTests.groovy
  • M gcontracts-core/src/test/groovy/org/gcontracts/tests/doc/RootClassExampleTests.groovy
  • M gcontracts-core/src/test/groovy/org/gcontracts/tests/doc/StackExampleTests.groovy
  • M gcontracts-core/src/test/groovy/org/gcontracts/tests/inv/InheritanceTests.groovy
  • M gcontracts-core/src/test/groovy/org/gcontracts/tests/inv/POGOClassInvariantTests.groovy
  • M gcontracts-core/src/test/groovy/org/gcontracts/tests/inv/SimpleClassInvariantTests.groovy
  • M gcontracts-core/src/test/groovy/org/gcontracts/tests/other/AbstractClassTests.groovy
  • M gcontracts-core/src/test/groovy/org/gcontracts/tests/other/CandidateChecksTests.groovy
  • M gcontracts-core/src/test/groovy/org/gcontracts/tests/other/MissingLineNumberTests.groovy
  • M gcontracts-core/src/test/groovy/org/gcontracts/tests/post/ImplicitVariableNamesPostconditionTests.groovy
  • M gcontracts-core/src/test/groovy/org/gcontracts/tests/post/InheritanceTests.groovy
  • M gcontracts-core/src/test/groovy/org/gcontracts/tests/post/OldVariablePostconditionTests.groovy
  • M gcontracts-core/src/test/groovy/org/gcontracts/tests/post/ResultAndOldVariablePostconditionTests.groovy
  • M gcontracts-core/src/test/groovy/org/gcontracts/tests/post/ResultVariablePostconditionTests.groovy
  • M gcontracts-core/src/test/groovy/org/gcontracts/tests/post/SimplePostconditionTests.groovy
  • M gcontracts-core/src/test/groovy/org/gcontracts/tests/pre/InheritanceTests.groovy
  • M gcontracts-core/src/test/groovy/org/gcontracts/tests/pre/SimplePreconditionTests.groovy
  • M gcontracts-core/src/test/groovy/org/gcontracts/util/AnnotationUtilsTests.groovy
  • M gcontracts-spring/src/main/java/org/gcontracts/spring/SpringContractsLifecycle.java
  • M gcontracts-spring/src/test/groovy/org/gcontracts/spring/BaseTestClass.groovy
  • M gcontracts-spring/src/test/groovy/org/gcontracts/spring/SimpleSpringIntegrationTests.groovy
  • M gcontracts-spring/src/test/groovy/org/gcontracts/spring/SpringContractsLifecycleTests.groovy