2019-11-12 06:38:28 +03:00
|
|
|
/**
|
|
|
|
|
* @name Empty block
|
|
|
|
|
* @kind problem
|
|
|
|
|
* @problem.severity warning
|
|
|
|
|
* @id javascript/example/empty-block
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
import javascript
|
2020-10-31 20:46:27 +03:00
|
|
|
|
|
|
|
|
from BlockStmt b
|
2019-11-12 06:38:28 +03:00
|
|
|
where b.getNumStmt() = 0
|
2020-10-31 20:46:27 +03:00
|
|
|
select b, "This is an empty block."
|
