Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

Commit 0661a90

Browse filesBrowse files
committed
Java: add alert filtering helper
1 parent c50cee1 commit 0661a90
Copy full SHA for 0661a90

File tree

2 files changed

+15
-0
lines changed
Filter options

2 files changed

+15
-0
lines changed

‎java/ql/lib/java.qll

Copy file name to clipboardExpand all lines: java/ql/lib/java.qll
+1Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,7 @@ import Customizations
44
import semmle.code.FileSystem
55
import semmle.code.Location
66
import semmle.code.Unit
7+
import semmle.code.java.AlertFiltering
78
import semmle.code.java.Annotation
89
import semmle.code.java.Compilation
910
import semmle.code.java.CompilationUnit
+14Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
/**
2+
* Provides a Java-specific instantiation of the `AlertFiltering` module.
3+
*/
4+
5+
private import codeql.util.AlertFiltering
6+
private import semmle.code.Location
7+
8+
/** Module for applying alert location filtering. */
9+
module AlertFiltering {
10+
import AlertFilteringImpl<Location>
11+
12+
/** Applies alert filtering to the given `Top` locatable. */
13+
predicate filterByLocatable(Top locatable) { filterByLocation(locatable.getLocation()) }
14+
}

0 commit comments

Comments
0 (0)
Morty Proxy This is a proxified and sanitized view of the page, visit original site.