hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-01 03:35:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

Java: move veryPublic predicate

Browse Source
This commit is contained in:
Jami Cogswell
2023-04-14 17:08:36 -04:00
parent fa1a6da60d
commit 5dbd11a584
1 changed files with 13 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

26
java/ql/lib/semmle/code/java/Member.qll
View File

@@ -340,23 +340,23 @@ class Callable extends StmtParent, Member, @callable {
}
}
/**
* Holds if the given type is public and not a nested type.
* If the given type is a nested type, holds if its enclosing type
* is also public.
*/
private predicate veryPublic(RefType t) {
t.isPublic() and
(
not t instanceof NestedType or
veryPublic(t.(NestedType).getEnclosingType())
)
}
/** A callable that is the same as its source declaration. */
class SrcCallable extends Callable {
SrcCallable() { this.isSourceDeclaration() }
/**
* Holds if the given type is public and not a nested type.
* If the given type is a nested type, holds if its enclosing type
* is also public.
*/
private predicate veryPublic(RefType t) {
t.isPublic() and
(
not t instanceof NestedType or
veryPublic(t.(NestedType).getEnclosingType())
)
}
/**
* Holds if this callable is effectively `public`, meaning that it can be
* called outside the codebase.