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 [4288916d7549a2f76a1bc5b317316f59d898e46c] by Andre Steingress

Revision 4288916d7549a2f76a1bc5b317316f59d898e46c, committed by Andre Steingress · February 28th, 2011 @ 09:29 AM

fixed sourceposition of boolean expression in ExpressionUtil
https://github.com/andresteingress/gcontracts/commit/4288916d7549a2...

6 changed files

  • A gcontracts-core/src/main/java/org/gcontracts/ast/visitor/DomainModelInjectionVisitor.java
  • R gcontracts-core/src/main/java/org/gcontracts/ast/visitor/ContractDomainModelInjectionVisitor.java
  • M gcontracts-core/src/main/java/org/gcontracts/ast/GContractsASTTransformation.java
  • M gcontracts-core/src/main/java/org/gcontracts/generation/AssertStatementCreationUtility.java
  • M gcontracts-core/src/main/java/org/gcontracts/generation/PreconditionGenerator.java
  • M gcontracts-core/src/main/java/org/gcontracts/util/ExpressionUtil.java