HaRe-0.6: StrategyLib-4.0-beta/examples/joos-rule02/testsuite/extract-wrong-return.joos

--
-- This refactoring is feasible.
--

extract
  
  printDetails

in

  public class Statement extends Object {

    public Statement() {
      super();
    }

    public void printOwning(double amount) {

      this.printBanner();
 
      < {
      -- Print details
      System_out.println("name:" + _name);
      System_out.println("amount" + amount);
      return;
      } >

    }

  }