Subclass will not be rendered mutable when superclass is definitely not immutable

[Grundlefleck]

Original author: Grundlefleck@gmail.com (December 23, 2009 00:38:41)

Given the following classes:

{{{
public class MutableSupertype {
public int mutableField;

public MutableSupertype(int num) {
    this.mutableField = num;
}

}

final class ImmutableSubtypeOfMutableSupertype extends MutableSupertype {
private final int immutableField = 2;
public ImmutableSubtypeOfMutableSupertype(int immutableField) {
super(immutableField);
}
}

}}}

The class ImmutableSubtypeOfMutableSupertype will be reported as definitely
immutable. This is incorrect because the mutability of MutableSupertype is
inherited, ie the value for mutableField can be changed in instances of
the subclass.

The mutability status of the superclass should be inherited.

Original issue: http://code.google.com/p/mutability-detector/issues/detail?id=4

[Grundlefleck]

From Grundlefleck@gmail.com on December 23, 2009 01:13:15
Fixed in r11, subclasses will inherit mutable status.

[Grundlefleck]

From Grundlefleck@gmail.com on July 04, 2010 19:30:06
Reopening this issue as a simple lookup of the superclass is not sophisticated enough.