mirror of
https://github.com/github/codeql.git
synced 2026-05-05 05:35:13 +02:00
Java: Deprecate UnreachableBlocks.
This commit is contained in:
@@ -0,0 +1,4 @@
|
||||
---
|
||||
category: deprecated
|
||||
---
|
||||
* The `UnreachableBlocks.qll` library has been deprecated.
|
||||
@@ -1,8 +1,10 @@
|
||||
/**
|
||||
* DEPRECATED: This module is no longer maintained, and will be removed in a future release.
|
||||
*
|
||||
* Provides classes and predicates for identifying unreachable blocks under a "closed-world" assumption.
|
||||
*/
|
||||
overlay[local?]
|
||||
module;
|
||||
deprecated module;
|
||||
|
||||
import java
|
||||
import semmle.code.java.controlflow.Guards
|
||||
|
||||
@@ -1,5 +1,8 @@
|
||||
/**
|
||||
* DEPRECATED: This module is no longer maintained, and will be removed in a future release.
|
||||
*/
|
||||
overlay[local?]
|
||||
module;
|
||||
deprecated module;
|
||||
|
||||
import java
|
||||
import semmle.code.java.controlflow.UnreachableBlocks
|
||||
|
||||
Reference in New Issue
Block a user