File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed
java/ql/src/Likely Bugs/Inheritance Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -47,13 +47,13 @@ where
47
47
ma = unqualifiedCallToNonAbstractMethod ( c , m ) and
48
48
// ... there exists an overriding method in a subtype,
49
49
n .overrides + ( m ) and
50
- n .getDeclaringType ( ) .getAStrictAncestor ( ) = c .getDeclaringType ( ) and
50
+ n .getDeclaringType ( ) .getAStrictAncestorI ( ) = c .getDeclaringType ( ) and
51
51
// ... the method is in a supertype of c,
52
52
m .getDeclaringType ( ) = c .getDeclaringType ( ) .getAnAncestor ( ) and
53
53
// ... `n` reads a non-final field `f`,
54
54
fa = nonFinalFieldRead ( n , f ) and
55
55
// ... which is declared in a subtype of `c`,
56
- f .getDeclaringType ( ) .getAStrictAncestor ( ) = c .getDeclaringType ( ) and
56
+ f .getDeclaringType ( ) .getAStrictAncestorI ( ) = c .getDeclaringType ( ) and
57
57
// ... `f` is written only in the subtype constructor, and
58
58
fw = fieldWriteOnlyIn ( d , f ) and
59
59
// ... the subtype constructor calls (possibly indirectly) the offending super constructor.
You can’t perform that action at this time.
0 commit comments