Module Guards

Provides classes and predicates for reasoning about guards and the control flow elements controlled by those guards.

Import path

import semmle.code.java.controlflow.Guards

java	Provides all default Java QL imports.

INTERNAL: Use Guard.controls instead.

ConditionBlock	A basic block that terminates in a condition, splitting the subsequent control flow.
Guard	A guard. This may be any expression whose value determines subsequent control flow. It may also be a switch case, which as a guard is considered to evaluate to either true or false depending on whether the case matches.

GuardValue	An abstract value that a `Guard` may evaluate to.
Guards_v1	INTERNAL: Don’t use.
Guards_v2	INTERNAL: Don’t use.
Guards_v3	INTERNAL: Don’t use.