HaRe-0.6: StrategyLib-4.0-beta/examples/joos-padl02/testsuite/fowlerWrongReturn.joos

public class Fowler extends Object {

  public Fowler() {
    super();
  }

  public void printOwning(double amount) {
    Name name;
    this.printBanner();
 
  << {
    --Print banner
    System_out.println("name:" + _name);
    return;
    System_out.println("amount" + amount);
  } >>
  }

}