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.

Changeset [1e12711e9cf214f9e9acabf5260f0d92b8eb2564] by Andre Steingress

Revision 1e12711e9cf214f9e9acabf5260f0d92b8eb2564, committed by Andre Steingress · February 28th, 2011 @ 08:39 AM

10 changed files

  • A gcontracts-core/src/main/java/org/gcontracts/ast/visitor/ContractDomainModelInjectionVisitor.java
  • A gcontracts-core/src/main/java/org/gcontracts/ast/visitor/ContractElementErasingVisitor.java
  • R gcontracts-core/src/main/java/org/gcontracts/ast/visitor/ContractFinalizerVisitor.java
  • R gcontracts-core/src/main/java/org/gcontracts/ast/visitor/ContractsErasingVisitor.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/LifecycleAfterTransformationVisitor.java
  • M gcontracts-core/src/main/java/org/gcontracts/ast/visitor/LifecycleBeforeTransformationVisitor.java