From 1c2807e5e76b63ea2ba6c24fb4372436734f9066 Mon Sep 17 00:00:00 2001 From: Anders Schack-Mulligen Date: Thu, 4 Oct 2018 17:33:10 +0200 Subject: [PATCH] Java: Add missing private annotations. --- java/ql/src/semmle/code/java/dispatch/DispatchFlow.qll | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/java/ql/src/semmle/code/java/dispatch/DispatchFlow.qll b/java/ql/src/semmle/code/java/dispatch/DispatchFlow.qll index 901821d0289..d1d1fff3979 100644 --- a/java/ql/src/semmle/code/java/dispatch/DispatchFlow.qll +++ b/java/ql/src/semmle/code/java/dispatch/DispatchFlow.qll @@ -96,7 +96,7 @@ private predicate dispatchOrigin(ClassInstanceExpr cie, MethodAccess ma, Method } /** 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 relevant(t.getErasure()) 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. */ -class RelevantNode extends Node { +private class RelevantNode extends Node { RelevantNode() { relevant(this.getType()) } }