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
4747 ma = unqualifiedCallToNonAbstractMethod ( c , m ) and
4848 // ... there exists an overriding method in a subtype,
4949 n .overrides + ( m ) and
50- n .getDeclaringType ( ) .getAStrictAncestor ( ) = c .getDeclaringType ( ) and
50+ n .getDeclaringType ( ) .getAStrictAncestorI ( ) = c .getDeclaringType ( ) and
5151 // ... the method is in a supertype of c,
5252 m .getDeclaringType ( ) = c .getDeclaringType ( ) .getAnAncestor ( ) and
5353 // ... `n` reads a non-final field `f`,
5454 fa = nonFinalFieldRead ( n , f ) and
5555 // ... which is declared in a subtype of `c`,
56- f .getDeclaringType ( ) .getAStrictAncestor ( ) = c .getDeclaringType ( ) and
56+ f .getDeclaringType ( ) .getAStrictAncestorI ( ) = c .getDeclaringType ( ) and
5757 // ... `f` is written only in the subtype constructor, and
5858 fw = fieldWriteOnlyIn ( d , f ) and
5959 // ... the subtype constructor calls (possibly indirectly) the offending super constructor.
You can’t perform that action at this time.
0 commit comments