Code

WiP: fix replacing of field access#1444

Code

Closed

pvojtechovsky wants to merge 11 commits intoINRIA:masterINRIA/spoon:masterfrom pvojtechovsky:fixSubstOfVariableAccesspvojtechovsky/spoon:fixSubstOfVariableAccessCopy head branch name to clipboard

+212-10

Commits

Commits on Jul 20, 2017

• test: reproduce the problem

  pvojtechovsky

  committed
  b108cb5

  Copy full SHA for b108cb5

• fix SubstitutionVisitor

  pvojtechovsky

  committed
  7566c3e

  Copy full SHA for 7566c3e

• fix old tests - behavior changed!

  pvojtechovsky

  committed
  2069e75

  Copy full SHA for 2069e75

• minor change to force Travis run again

  pvojtechovsky

  committed
  9a561ba

  Copy full SHA for 9a561ba

• Revert "fix old tests - behavior changed!"

  Show description for e284012
  

  surli

  authored and

  pvojtechovsky

  committed
  e284012

  Copy full SHA for e284012

• Add a new test corresponding to the example of INRIA#1444

  

  surli

  authored and

  pvojtechovsky

  committed
  a5e1ca5

  Copy full SHA for a5e1ca5

• Only change the error comment when the contract is not respected with parameter value

  

  surli

  authored and

  pvojtechovsky

  committed
  20c97a3

  Copy full SHA for 20c97a3

• Add the new template test class

  

  surli

  authored and

  pvojtechovsky

  committed
  d906bfd

  Copy full SHA for d906bfd

• Change SubstitutionVisitor to treat differently case A and case B

  

  surli

  authored and

  pvojtechovsky

  committed
  b1a3aba

  Copy full SHA for b1a3aba

• Fix checkstyle

  

  surli

  authored and

  pvojtechovsky

  committed
  435bf93

  Copy full SHA for 435bf93

Commits on Jul 23, 2017

• test: field access in inner class

  pvojtechovsky

  committed
  853e8a3

  Copy full SHA for 853e8a3