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

Module Comparison

Import path

import semmle.code.java.comparison.Comparison

Imports

java

Provides all default Java QL imports.

Predicates

exprImplies

If e1 evaluates to b1 then the subexpression e2 evaluates to b2.