Predicate enumConstEquality
Gets an equality test between an expression e
and an enum constant c
.
Import path
import semmle.code.java.dataflow.NullGuards
Expr
enumConstEquality
(
Expr
e
,
boolean
polarity
,
EnumConstant
c
)