CodeQL library for Java
codeql/java-all 0.5.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.