/**
 * @id java/examples/emptythen
 * @name If statements with empty then branch
 * @description Finds 'if' statements where the 'then' branch is
 *              an empty block statement
 * @tags if
 *       then
 *       empty
 *       conditional
 *       branch
 */

import java

from IfStmt i
where i.getThen().(Block).getNumStmt() = 0
select i