- removed milestone
PurityAnalysis accepts methods returning mutable references as pure
Issue #104
resolved
PurityAnalysis will accept methods as shown below as pure, even though the reference returned (that is of mutable type) may not be structurally equivalent for different invocations of the method. The method shown is SideEffectFree instead.
class Mutable {
public int field;
}
private static final Mutable ref = new Mutable();
public static Mutable getRef(){
return ref;
}
Comments (2)
-
repo owner -
reporter - changed status to resolved
Resolved by 0ca4664
- Log in to comment
Removing milestone: 0.9.0-M1 (automated comment)