HaRe-0.6: StrategyLib-4.0-beta/examples/joos-rule02/testsuite/eliminate-wrong.joos
--
-- We cannot eliminate the Dummy method because we refer to it.
--
eliminate
in
public class Statement extends Object {
public Statement() {
super();
}
<
public void Dummy() {
}
>
public void printOwning(double amount) {
this.printBanner();
Dummy();
-- Print details
System_out.println("name:" + _name);
System_out.println("amount" + amount);
}
}