Module Guards

Import path

semmle.code.java.controlflow.Guards

Imports

java

Provides all default Java QL imports.

Predicates

guardControls_v1

INTERNAL: Use Guards.controls instead.

guardControls_v2

INTERNAL: Use Guards.controls instead.

Classes

ConditionBlock

A basic block that terminates in a condition, splitting the subsequent control flow.

Guard

A condition that can be evaluated to either true or false. This can either be an Expr of boolean type that isn’t a boolean literal, or a case of a switch statement.