Module Guards

Import path

semmle.code.java.dataflow.Guards

Imports

java

Provides all default Java QL imports.

Predicates

controlsNodeWithSameVar

DEPRECATED: Use semmle.code.java.dataflow.SSA instead.

variableUpdate

Holds if n updates the locally scoped variable v.

Aliases

ConditionBlock

DEPRECATED: Use semmle.code.java.controlflow.Guards instead.