CodeQL library for Java
codeql/java-all 0.6.2 ( changelog , source )
Search

Member predicate AssertionMethod :: getACheck

Gets a call to the assertion method with checkedArg as argument.

MethodAccess getACheck ( Expr checkedArg )