hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

Java: Add missing private annotations.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2018-10-04 17:33:10 +02:00
parent 839168570e
commit 1c2807e5e7
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
java/ql/src/semmle/code/java/dispatch/DispatchFlow.qll
View File

@@ -96,7 +96,7 @@ private predicate dispatchOrigin(ClassInstanceExpr cie, MethodAccess ma, Method
} }
/** Holds if `t` is a type that is relevant for dispatch flow. */ /** Holds if `t` is a type that is relevant for dispatch flow. */
predicate relevant(RefType t) { private predicate relevant(RefType t) {
exists(ClassInstanceExpr cie | dispatchOrigin(cie, _, _) and t = cie.getConstructedType().getSourceDeclaration()) or exists(ClassInstanceExpr cie | dispatchOrigin(cie, _, _) and t = cie.getConstructedType().getSourceDeclaration()) or
relevant(t.getErasure()) or relevant(t.getErasure()) or
exists(RefType r | relevant(r) and t = r.getASourceSupertype()) or exists(RefType r | relevant(r) and t = r.getASourceSupertype()) or
@@ -106,7 +106,7 @@ predicate relevant(RefType t) {
} }
/** A node with a type that is relevant for dispatch flow. */ /** A node with a type that is relevant for dispatch flow. */
class RelevantNode extends Node { private class RelevantNode extends Node {
RelevantNode() { relevant(this.getType()) } RelevantNode() { relevant(this.getType()) }
} }