Java: Deprecate error-prone and rarely used annotation predicates

This commit is contained in:
Marcono1234
2022-03-28 00:22:18 +02:00
committed by Chris Smowton
parent e3c1b96830
commit 4ef2d156c4
4 changed files with 19 additions and 12 deletions

View File

@@ -71,7 +71,7 @@ predicate depends(RefType t, RefType dep) {
a.getAnnotatedElement().(Member).getDeclaringType() = t
|
usesType(a.getType(), dep) or
usesType(a.getAValue().getType(), dep) or
usesType(a.getValue(_).getType(), dep) or
usesType(a.getAnArrayValue(_).getType(), dep)
)
or