Java: Add MemberType

This commit is contained in:
Marcono1234
2021-04-02 18:51:02 +02:00
parent 20416ae034
commit d853f0c400
4 changed files with 41 additions and 18 deletions

View File

@@ -100,8 +100,7 @@ predicate potentiallyStatic(InnerClass c) {
m = a.getEnclosingCallable() and
m.getDeclaringType() = c
) and
not c instanceof AnonymousClass and
not c instanceof LocalClass and
c instanceof MemberType and
forall(
InnerClass other // If nested and non-static, ...
|